Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Univ. -Prof. Dr. Michael Pradel University of Stuttgart

LExecutor: Learning-Guided Execution, and . Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, page 1522-1534. Association for Computing Machinery, (2023)
 

Other publications of authors with the same name

A data-driven software tool for enabling cooperative information sharing among police departments., and . European Journal of Operational Research, 141 (3): 660-678 (2002)Distributed Cases for Case-Based Reasoning: Facilitating Use of Multiple Cases.. AAAI, page 304-309. AAAI Press / The MIT Press, (1990)Combining Case-Based Reasoning, Explanation-Based Learning, and Learning form Instruction.. ML, page 20-22. Morgan Kaufmann, (1989)Acquiring knowledge by explaining observed problem solving., and . SIGART Newsletter, (1989)Empirical Analysis of Case-Based Reasoning and Other Prediction Methods in a Social Science Domain: Repeat Criminal Victimization., and . ICCBR, volume 2689 of Lecture Notes in Computer Science, page 452-464. Springer, (2003)The most reliable flight itinerary problem., , and . Networks, 73 (3): 325-343 (2019)Encouraging Self-Explanation Through Case-Based Tutoring: A Case Study., and . ICCBR, volume 1266 of Lecture Notes in Computer Science, page 132-144. Springer, (1997)Empirical Analysis of Case-Editing Approaches for Numeric Prediction., and . SCSS, page 79-84. Springer, (2009)Generation and visualization of four-dimensional MR angiography data using an undersampled 3-D projection trajectory., , , , , , , , , and . IEEE Trans. Med. Imaging, 25 (2): 148-157 (2006)An automated entity-relationship clustering algorithm for conceptual database design., , and . Inf. Syst., 32 (5): 773-792 (2007)