|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 126 occurrences of 90 keywords
|
|
|
Results
Found 419 publication records. Showing 416 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
84 | Di Wu, Radha Sarma |
Dynamic segmentation and incremental editing of boundary representations in a collaborative design environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Solid Modeling and Applications ![In: Sixth ACM Symposium on Solid Modeling and Applications, Sheraton Inn, Ann Arbor, Michigan, USA, June 4-8, 2001, pp. 289-300, 2001, ACM, 1-58113-366-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
78 | Stephen M. Pizer, P. Thomas Fletcher, Sarang C. Joshi, Andrew Thall, James Z. Chen, Yonatan Fridman, Daniel S. Fritsch, A. Graham Gash, John M. Glotzer, Michael R. Jiroutek, Conglin Lu, Keith E. Muller, Gregg Tracton, Paul A. Yushkevich, Edward L. Chaney |
Deformable M-Reps for 3D Medical Image Segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 55(2-3), pp. 85-106, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
medial, segmentation, medical image, deformable model, shape, object |
74 | David W. Binkley, Susan Horwitz, Thomas W. Reps |
Program Integration for Languages with Procedure Calls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 4(1), pp. 3-35, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
flow-insensitive summary information, semantics-based program integration, program slicing, data-flow analysis, data dependence, control dependence, program dependence graph |
61 | Stephen M. Pizer, Sarang C. Joshi, P. Thomas Fletcher, Martin Styner, Gregg Tracton, James Z. Chen |
Segmentation of Single-Figure Objects by Deformable M-reps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2001, 4th International Conference, Utrecht, The Netherlands, October 14-17, 2001, Proceedings, pp. 862-871, 2001, Springer, 3-540-42697-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
58 | G. Ramalingam, Thomas W. Reps |
A Theory of Program Modifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.2 ![In: TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Developmemnt (CCPSD), pp. 137-152, 1991, Springer, 3-540-53981-6. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
55 | Weihua Zhang, Xiaoyong Li 0002, Jun Ma 0015, Jie Yu 0008 |
REPS: 一种高效的容错并行概率流Skyline查询方法 (REPS: An Efficient Fault-tolerant Approach for Parallel Skyline Queries over Probabilistic Data Streams). ![Search on Bibsonomy](Pics/bibsonomy.png) |
计算机科学 ![In: 计算机科学 42(8), pp. 225-230, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
44 | Douglas D. Dankel II, María Ósk Kristmundsdóttir |
REPS: A Rehabilitation Expert System for Post-stroke Patients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIME ![In: Artificial Intelligence in Medicine, 10th Conference on Artificial Intelligence in Medicine, AIME 2005, Aberdeen, UK, July 23-27, 2005, Proceedings, pp. 94-98, 2005, Springer, 3-540-27831-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
44 | Guillaume Caumon, Charles H. Sword Jr., Jean-Laurent Mallet |
Constrained modifications of non-manifold B-reps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Solid Modeling and Applications ![In: Proceedings of the Eighth ACM Symposium on Solid Modeling and Applications 2003, Seattle, Washington, USA, June 16 - 20, 2003, pp. 310-315, 2003, ACM, 1-58113-752-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
41 | Thomas W. Reps |
Algebraic Properties of Program Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP'90, 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings, pp. 326-340, 1990, Springer, 3-540-52592-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
36 | Cho-Yu Chiang, Ming T. Liu, Mervin E. Muller |
Caching Neighborhood Protocol: A Foundation for Building Dynamic Web Caching Hierarchies with Proxy Servers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP ![In: Proceedings of the International Conference on Parallel Processing 1999, ICPP 1999, Wakamatsu, Japan, September 21-24, 1999, pp. 516-523, 1999, IEEE Computer Society, 0-7695-0350-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Caching Neighborhood Protocol, CNP, caching representatives, C-Reps, Web caching, proxy server |
34 | Suman K. Sen, Mark Foskey, James Stephen Marron, Martin Andreas Styner |
Support vector machine for data on manifolds: An application to image analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBI ![In: Proceedings of the 2008 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, Paris, France, May 14-17, 2008, pp. 1195-1198, 2008, IEEE, 978-1-4244-2003-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Qiong Han, Stephen M. Pizer, Derek Merck, Sarang C. Joshi, Ja-Yeon Jeong |
Multi-figure Anatomical Objects for Shape Statistics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPMI ![In: Information Processing in Medical Imaging, 19th International Conference, IPMI 2005, Glenwood Springs, CO, USA, July 10-15, 2005, Proceedings, pp. 701-712, 2005, Springer, 3-540-26545-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Ming Li, Y. Wei, Dejan Desovski, Hamed Nejad, Sushmita Ghose, Bojan Cukic, Carol S. Smidts |
Validation of a Methodology for Assessing Software Reliability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2-5 November 2004, Saint-Malo, Bretagne, France, pp. 66-76, 2004, IEEE Computer Society, 0-7695-2215-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Viktor Kuncak, Martin C. Rinard |
Boolean Algebra of Shape Analysis Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, Proceedings, pp. 59-72, 2004, Springer, 3-540-20803-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Keith B. Gallagher |
Some Notes on Interprocedural Program Slicing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAM ![In: 4th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004), 15-16 September 2004, Chicago, IL, USA, pp. 36-42, 2004, IEEE Computer Society, 0-7695-2144-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
34 | William C. Thibault, Bruce F. Naylor |
Set operations on polyhedra using binary space partitioning trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGGRAPH ![In: Proceedings of the 14th Annual Conference on Computer Graphics and Interactive Techniques, SIGGRAPH 1987, Anaheim, California, USA, July 27-31, 1987, pp. 153-162, 1987, ACM, 0-89791-227-6. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
28 | Guoqing Zhang, Wenbo Zhao, Jian Liu, Xianming Liu |
REPS: Reconstruction-based Point Cloud Sampling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.05047, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
28 | Tommaso Bonato, Abdul Kabbani, Daniele De Sensi, Rong Pan, Yanfang Le, Costin Raiciu, Mark Handley, Timo Schneider, Nils Blach, Ahmad Ghalayini, Daniel S. F. Alves, Michael Papamichael, Adrian M. Caulfield, Torsten Hoefler |
SMaRTT-REPS: Sender-based Marked Rapidly-adapting Trimmed & Timed Transport with Recycled Entropies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2404.01630, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
28 | Mostafa Ayoubi Mobarhan, Muhammed Salamah |
REPS-AKA5: A robust group-based authentication protocol for IoT applications in LTE system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Internet Things ![In: Internet Things 22, pp. 100700, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Mostafa Ayoubi Mobarhan, Mohammed Salamah |
REPS-AKA3: A secure authentication and re- authentication protocol for LTE networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Netw. Comput. Appl. ![In: J. Netw. Comput. Appl. 201, pp. 103345, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Andrew R. Colligan, Trevor T. Robinson, Declan C. Nolan, Yang Hua, Weijuan Cao |
Hierarchical CADNet: Learning from B-Reps for Machining Feature Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Aided Des. ![In: Comput. Aided Des. 147, pp. 103226, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Anil Surisetty, Deepak Chaurasiya, Nitish Kumar, Alok Singh, Gaurav Dhama, Aakarsh Malhotra, Ankur Arora, Vikrant Dey |
RePS: Relation, Position and Structure aware Entity Alignment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW (Companion Volume) ![In: Companion of The Web Conference 2022, Virtual Event / Lyon, France, April 25 - 29, 2022, pp. 1083-1091, 2022, ACM, 978-1-4503-9130-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Peter Meltzer, Hooman Shayani, Amir Khasahmadi, Pradeep Kumar Jayaraman, Aditya Sanghi, Joseph G. Lambourne |
UVStyle-Net: Unsupervised Few-shot Learning of 3D Style Similarity Measure for B-Reps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2105.02961, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
28 | Aldo Pacchiano, Jonathan N. Lee, Peter L. Bartlett, Ofir Nachum |
Near Optimal Policy Optimization via REPS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.09756, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
28 | Q. Youn Hong, Gershon Elber |
Conformal Microstructure Synthesis in Trimmed Trivariate Based V-Reps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Aided Des. ![In: Comput. Aided Des. 140, pp. 103085, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Peter Meltzer, Hooman Shayani, Amir Khasahmadi, Pradeep Kumar Jayaraman, Aditya Sanghi, Joseph G. Lambourne |
UVStyle-Net: Unsupervised Few-shot Learning of 3D Style Similarity Measure for B-Reps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: 2021 IEEE/CVF International Conference on Computer Vision, ICCV 2021, Montreal, QC, Canada, October 10-17, 2021, pp. 9670-9679, 2021, IEEE, 978-1-6654-2812-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Luigi Barazzetti |
Turning Meshes into B-reps with T-splines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (2) ![In: Computational Science and Its Applications - ICCSA 2021 - 21st International Conference, Cagliari, Italy, September 13-16, 2021, Proceedings, Part II, pp. 34-44, 2021, Springer, 978-3-030-86959-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Aldo Pacchiano, Jonathan N. Lee, Peter L. Bartlett, Ofir Nachum |
Near Optimal Policy Optimization via REPS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, NeurIPS 2021, December 6-14, 2021, virtual., pp. 1100-1110, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
28 | Emiliano Cirillo, Gershon Elber |
Handling heterogeneous structures and materials using blending schemes in V-reps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Aided Geom. Des. ![In: Comput. Aided Geom. Des. 83, pp. 101942, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Yang Song 0016, Elaine Cohen |
Volume Completion for Trimmed B-Reps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV (2) ![In: 23rd International Conference in Information Visualization, IV 2019, Adelaide, Australia, July 16-19, 2019, Part II, pp. 147-155, 2019, IEEE, 978-1-7281-2850-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Adria Colome, Carme Torras |
Dual REPS: A Generalization of Relative Entropy Policy Search Exploiting Bad Experiences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Robotics ![In: IEEE Trans. Robotics 33(4), pp. 978-985, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Jun-Pyo Hong, Jared Vicory, Jörn Schulz, Martin Styner, J. S. Marron, Stephen M. Pizer |
Non-Euclidean classification of medically imaged objects via s-reps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Image Anal. ![In: Medical Image Anal. 31, pp. 37-45, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Jun Wu 0005, Lou Kramer, Rüdiger Westermann |
Shape interior modeling and mass property optimization using ray-reps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Graph. ![In: Comput. Graph. 58, pp. 66-72, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Kareem S. Aggour, Bethany Hoogs |
Financing lead triggers: empowering sales reps through knowledge discovery and fusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: The 19th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, KDD 2013, Chicago, IL, USA, August 11-14, 2013, pp. 1141-1149, 2013, ACM, 978-1-4503-2174-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
28 | Christian Daniel, Gerhard Neumann, Jan Peters 0001 |
Autonomous reinforcement learning with hierarchical REPS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: The 2013 International Joint Conference on Neural Networks, IJCNN 2013, Dallas, TX, USA, August 4-9, 2013, pp. 1-8, 2013, IEEE, 978-1-4673-6128-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
28 | Jin Qian, Yongjie Zhang 0001 |
Automatic unstructured all-hexahedral mesh generation from B-Reps for non-manifold CAD assemblies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Comput. ![In: Eng. Comput. 28(4), pp. 345-359, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
28 | Powei Feng, Joe D. Warren |
A Dual Method for Constructing Multi-material Solids from Ray-Reps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVC (1) ![In: Advances in Visual Computing - 8th International Symposium, ISVC 2012, Rethymnon, Crete, Greece, July 16-18, 2012, Revised Selected Papers, Part I, pp. 92-103, 2012, Springer, 978-3-642-33178-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
28 | Matthias Bein, Dieter W. Fellner, André Stork |
Genetic B-Spline approximation on combined B-reps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 27(6-8), pp. 485-494, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Duane W. Storti, Chris Finley, Mark A. Ganter |
Interval Extensions of Signed Distance Functions: iSDF-reps and Reliable Membership Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Inf. Sci. Eng. ![In: J. Comput. Inf. Sci. Eng. 10(2), 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Duane W. Storti, Mark A. Ganter, William R. Ledoux, Randal P. Ching, Yangqiu Patrick Hu, David R. Haynor |
Wavelet SDF-Reps: Solid Modeling With Volumetric Scans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Inf. Sci. Eng. ![In: J. Comput. Inf. Sci. Eng. 9(3), 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Daniel Wasserrab |
Backing up Slicing: Verifying the Interprocedural Two-Phase Horwitz-Reps-Binkley Slicer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2009, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
28 | Sven Havemann, Dieter W. Fellner |
Progressive Combined B-Reps - Multi-Resolution Meshes for Interactive Real-Time Shape Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. WSCG ![In: J. WSCG 16(1-3), pp. 121-135, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
28 | Stephen M. Pizer, Qiong Han, Sarang C. Joshi, P. Thomas Fletcher, Paul A. Yushkevich, Andrew Thall |
Synthesis, Deformation, and Statistics of 3D Objects via M-Reps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medial Representations ![In: Medial Representations, pp. 241-266, 2008, Springer, 978-1-4020-8657-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Stephen M. Pizer, Martin Styner, Timothy B. Terriberry, Robert E. Broadhurst, Sarang C. Joshi, Edward L. Chaney, P. Thomas Fletcher |
Statistical Applications with Deformable M-Reps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medial Representations ![In: Medial Representations, pp. 269-308, 2008, Springer, 978-1-4020-8657-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Paul A. Yushkevich, John A. Detre, Kathy Z. Tang, Angela Hoang, Dawn Mechanic-Hamilton, María A. Fernández-Seara, Marc Korczykowski, Hui Zhang 0005, James C. Gee |
Hippocampus-Specific fMRI Group Activation Analysis with Continuous M-Reps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (2) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2006, 9th International Conference, Copenhagen, Denmark, October 1-6, 2006, Proceedings, Part II, pp. 284-291, 2006, Springer, 3-540-44727-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Stephen M. Pizer, P. Thomas Fletcher, Andrew Thall, Martin Styner, Guido Gerig, Sarang C. Joshi |
Object models in multiscale intrinsic coordinates via m-reps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Image Vis. Comput. ![In: Image Vis. Comput. 21(1), pp. 5-15, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Katsuhiro Kitajima, Mitsunori Yamaguchi |
A shell-oriented boolean set operations algorithm suited for the b-reps based on boundary edge loops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Comput. Jpn. ![In: Syst. Comput. Jpn. 23(6), pp. 94-111, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
24 | Shaan Nagy, Jinwoo Kim, Loris D'Antoni, Thomas W. Reps |
Automating Unrealizability Logic: Hoare-style Proof Synthesis for Infinite Sets of Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.13244, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
24 | Cynthia Yang, Egill A. Fridgeirsson, Jan A. Kors, Jenna Marie Reps, Peter R. Rijnbeek |
Impact of random oversampling and random undersampling on the performance of prediction models developed using observational health data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Big Data ![In: J. Big Data 11(1), pp. 7, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
24 | Yuanbo Li, Qirun Zhang, Thomas W. Reps |
Single-Source-Single-Target Interleaved-Dyck Reachability via Integer Linear Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 7(POPL), pp. 1003-1026, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Kanghee Park, Loris D'Antoni, Thomas W. Reps |
Synthesizing Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 7(OOPSLA2), pp. 1787-1816, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Jinwoo Kim, Loris D'Antoni, Thomas W. Reps |
Unrealizability Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 7(POPL), pp. 659-688, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps |
Symbolic Quantum Simulation with Quasimodo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.04349, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | John Cyphert, Yotam Feldman, Zachary Kincaid, Thomas W. Reps |
Optimal Symbolic Bound Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.13144, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps |
Weighted Context-Free-Language Ordered Binary Decision Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.13610, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Kanghee Park, Keith J. C. Johnson, Loris D'Antoni, Thomas W. Reps |
Modular System Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.06956, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Abhinav Jain 0001, Chima Adiole, Swarat Chaudhuri, Thomas W. Reps, Chris Jermaine |
Tuning Models of Code with Compiler-Generated Reinforcement Learning Feedback. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.18341, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Mohannad Alhanahnah, Philipp Dominik Schubert, Thomas W. Reps, Somesh Jha, Eric Bodden |
slash: A Technique for Static Configuration-Logic Identification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.06758, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Kanghee Park, Loris D'Antoni, Thomas W. Reps |
Synthesizing Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.11117, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Di Wang 0017, Thomas W. Reps |
Newtonian Program Analysis of Probabilistic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.09064, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Stephen P. Fortin, Jenna Reps, Patrick B. Ryan |
Correction to: Adaptation and validation of a coding algorithm for the Charlson Comorbidity Index in administrative claims data using the SNOMED CT standardized vocabulary. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Medical Informatics Decis. Mak. ![In: BMC Medical Informatics Decis. Mak. 23(1), pp. 109, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps |
Symbolic Quantum Simulation with Quasimodo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (3) ![In: Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III, pp. 213-225, 2023, Springer, 978-3-031-37708-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Martijn J. Schuemie, Jenna Reps, Adam Black, Frank J. DeFalco, Lee Evans, Egill A. Fridgeirsson, James P. Gilbert, Chris Knoll, Martin Lavallee, Gowtham A. Rao, Peter R. Rijnbeek, Katy Sadowski, Anthony G. Sena, Joel N. Swerdel, Ross D. Williams, Marc A. Suchard |
Health-Analytics Data to Evidence Suite (HADES): Open-Source Software for Observational Research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MedInfo ![In: MEDINFO 2023 - The Future Is Accessible - Proceedings of the 19th World Congress on Medical and Health Informatics, Sydney, NSW, Australia, 8-12 July 2023., pp. 966-970, 2023, IOS Press, 978-1-64368-456-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Kanghee Park, Keith J. C. Johnson, Loris D'Antoni, Thomas W. Reps |
Modular System Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 257-267, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Cynthia Yang, Egill A. Fridgeirsson, Jan A. Kors, Jenna Marie Reps, Peter R. Rijnbeek, Jenna Wong, Ross D. Williams |
Does Using a Stacking Ensemble Method to Combine Multiple Base Learners Within a Database Improve Model Transportability? ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIE ![In: Caring is Sharing - Exploiting the Value in Data for Health and Innovation - Proceedings of MIE 2023, Gothenburg, Sweden, 22 - 25 May 2023., pp. 129-130, 2023, IOS Press, 978-1-64368-388-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Ross D. Williams, Sicco den Otter, Jenna Marie Reps, Peter R. Rijnbeek |
The DELPHI Library: Improving Model Validation, Transparency and Dissemination Through a Centralised Library of Prediction Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIE ![In: Caring is Sharing - Exploiting the Value in Data for Health and Innovation - Proceedings of MIE 2023, Gothenburg, Sweden, 22 - 25 May 2023., pp. 139-140, 2023, IOS Press, 978-1-64368-388-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Pankaj Kumar Kalita, Sujit Kumar Muduli, Loris D'Antoni, Thomas W. Reps, Subhajit Roy 0001 |
Synthesizing abstract transformers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 6(OOPSLA2), pp. 1291-1319, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Luis H. John, Jan A. Kors, Jenna Marie Reps, Patrick B. Ryan, Peter R. Rijnbeek |
Logistic regression models for patient-level prediction based on massive observational data: Do we need all data? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Medical Informatics ![In: Int. J. Medical Informatics 163, pp. 104762, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Jinwoo Kim, Loris D'Antoni, Thomas W. Reps |
Unrealizability Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.07117, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps |
CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.06818, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Stephen P. Fortin, Jenna Reps, Patrick B. Ryan |
Adaptation and validation of a coding algorithm for the Charlson Comorbidity Index in administrative claims data using the SNOMED CT standardized vocabulary. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Medical Informatics Decis. Mak. ![In: BMC Medical Informatics Decis. Mak. 22(1), pp. 261, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Jenna Marie Reps, Ross D. Williams, Martijn J. Schuemie, Patrick B. Ryan, Peter R. Rijnbeek |
Learning patient-level prediction models across multiple healthcare databases: evaluation of ensembles for increasing model transportability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Medical Informatics Decis. Mak. ![In: BMC Medical Informatics Decis. Mak. 22(1), pp. 142, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Yuanbo Li, Qirun Zhang, Thomas W. Reps |
Fast Graph Simplification for Interleaved-Dyck Reachability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 44(2), pp. 11:1-11:28, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Jordan Henkel, Goutham Ramakrishnan, Zi Wang, Aws Albarghouthi, Somesh Jha, Thomas W. Reps |
Semantic Robustness of Models of Source Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SANER ![In: IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2022, Honolulu, HI, USA, March 15-18, 2022, pp. 526-537, 2022, IEEE, 978-1-6654-3786-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Mohannad Alhanahnah, Rithik Jain, Vaibhav Rastogi, Somesh Jha, Thomas W. Reps |
Lightweight, Multi-Stage, Compiler-Assisted Application Specialization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroS&P ![In: 7th IEEE European Symposium on Security and Privacy, EuroS&P 2022, Genoa, Italy, June 6-10, 2022, pp. 251-269, 2022, IEEE, 978-1-6654-1614-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Aniek F. Markus, Peter R. Rijnbeek, Jenna Marie Reps |
Why predicting risk can't identify 'risk factors': empirical assessment of model stability in machine learning across observational health databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MLHC ![In: Proceedings of the Machine Learning for Healthcare Conference, MLHC 2022, 5-6 August 2022, Durham, NC, USA., pp. 828-852, 2022, PMLR. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
24 | Jinwoo Kim, Qinheping Hu, Loris D'Antoni, Thomas W. Reps |
Semantics-guided synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 5(POPL), pp. 1-32, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Yuanbo Li, Qirun Zhang, Thomas W. Reps |
On the complexity of bidirected interleaved Dyck-reachability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 5(POPL), pp. 1-28, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Chungsoo Kim, Seng Chan You, Jenna Marie Reps, Jae Youn Cheong, Rae Woong Park |
Machine-learning model to predict the cause of death using a stacking ensemble method for observational data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Am. Medical Informatics Assoc. ![In: J. Am. Medical Informatics Assoc. 28(6), pp. 1098-1107, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Rohan Mukherjee 0001, Yeming Wen, Dipak Chaudhari, Thomas W. Reps, Swarat Chaudhuri, Chris Jermaine |
Neural Program Generation Modulo Static Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2111.01633, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
24 | Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps |
Synthesis with Asymptotic Resource Bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.04188, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
24 | Jordan Henkel, Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim, Thomas W. Reps |
Shipwright: A Human-in-the-Loop System for Dockerfile Repair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.02591, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
24 | Di Wang 0017, Jan Hoffmann 0002, Thomas W. Reps |
Expected-Cost Analysis for Probabilistic Programs and Semantics-Level Adaption of Optional Stopping Theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.16105, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
24 | Mohannad Alhanahnah, Rithik Jain, Vaibhav Rastogi, Somesh Jha, Thomas W. Reps |
Lightweight, Multi-Stage, Compiler-Assisted Application Specialization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2109.02775, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
24 | Pankaj Kumar Kalita, Sujit Kumar Muduli, Loris D'Antoni, Thomas W. Reps, Subhajit Roy 0001 |
Synthesizing Abstract Transformers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2105.00493, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
24 | Di Wang 0017, Jan Hoffmann 0002, Thomas W. Reps |
Sound Probabilistic Inference via Guide Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2104.03598, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
24 | Jenna Marie Reps, Patrick B. Ryan, Peter R. Rijnbeek, Martijn J. Schuemie |
Design matters in patient-level prediction: evaluation of a cohort vs. case-control design when developing predictive models in observational healthcare datasets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Big Data ![In: J. Big Data 8(1), pp. 108, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Jenna Marie Reps, Peter R. Rijnbeek, Alana Cuthbert, Patrick B. Ryan, Nicole Pratt, Martijn J. Schuemie |
An empirical analysis of dealing with patients who are lost to follow-up when developing prognostic models using a cohort design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Medical Informatics Decis. Mak. ![In: BMC Medical Informatics Decis. Mak. 21(1), pp. 43, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Sara Khalid, Cynthia Yang, Clair Blacketer, Talita Duarte-Salles, Sergio Fernández-Bertolín, Chungsoo Kim, Rae Woong Park, Jimyung Park, Martijn J. Schuemie, Anthony G. Sena, Marc A. Suchard, Seng Chan You, Peter R. Rijnbeek, Jenna Marie Reps |
A standardized analytics pipeline for reliable and rapid development and validation of prediction models using observational health data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Methods Programs Biomed. ![In: Comput. Methods Programs Biomed. 211, pp. 106394, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Peizun Liu, Thomas Wahl, Thomas W. Reps |
Interprocedural Context-Unbounded Program Analysis Using Observation Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 42(4), pp. 16:1-16:34, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Loris D'Antoni, Qinheping Hu, Jinwoo Kim, Thomas W. Reps |
Programmable Program Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (1) ![In: Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I, pp. 84-109, 2021, Springer, 978-3-030-81684-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps |
Synthesis with Asymptotic Resource Bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (1) ![In: Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I, pp. 783-807, 2021, Springer, 978-3-030-81684-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Zachary Kincaid, Thomas W. Reps, John Cyphert |
Algebraic Program Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (1) ![In: Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I, pp. 46-83, 2021, Springer, 978-3-030-81684-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Di Wang 0017, Jan Hoffmann 0002, Thomas W. Reps |
Sound probabilistic inference via guide types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 2021., pp. 788-803, 2021, ACM, 978-1-4503-8391-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Di Wang 0017, Jan Hoffmann 0002, Thomas W. Reps |
Central moment analysis for cost accumulators in probabilistic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 2021., pp. 559-573, 2021, ACM, 978-1-4503-8391-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Rohan Mukherjee 0001, Yeming Wen, Dipak Chaudhari, Thomas W. Reps, Swarat Chaudhuri, Christopher M. Jermaine |
Neural Program Generation Modulo Static Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, NeurIPS 2021, December 6-14, 2021, virtual., pp. 18984-18996, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
24 | Jordan Henkel, Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim, Thomas W. Reps |
Shipwright: A Human-in-the-Loop System for Dockerfile Repair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (Companion Volume) ![In: 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2021, Madrid, Spain, May 25-28, 2021, pp. 198-199, 2021, IEEE, 978-1-6654-1219-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Jordan Henkel, Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim, Thomas W. Reps |
Shipwright: A Human-in-the-Loop System for Dockerfile Repair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 43rd IEEE/ACM International Conference on Software Engineering, ICSE 2021, Madrid, Spain, 22-30 May 2021, pp. 1148-1160, 2021, IEEE, 978-1-6654-4831-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Jinwoo Kim, Qinheping Hu, Loris D'Antoni, Thomas W. Reps |
Semantics-Guided Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2008.09836, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
24 | Zi Wang, Ben Liblit, Thomas W. Reps |
TOFU: Target-Orienter FUzzer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2004.14375, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
Displaying result #1 - #100 of 416 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ >>] |
|