Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

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

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

Univ. -Prof. Dr. rer. nat. Michael Sedlmair University of Stuttgart

Metaphorical Visualization : Mapping Data to Familiar Concepts, , , , und . CHI EA '22 : Extended Abstracts of the 2022 CHI Conference on Human Factors in Computing Systems, Seite 10. New York, Association for Computing Machinery, (2022)
 

Weitere Publikationen von Autoren mit dem selben Namen

Exploration of Networks using overview+detail with Constraint-based cooperative layout., , , , , und . IEEE Trans. Vis. Comput. Graph., 14 (6): 1293-1300 (2008)Interactive, Constraint-based Layout of Engineering Diagrams., , und . ECEASST, (2008)What academics want when reading digitally., , und . ACM Symposium on Document Engineering, Seite 199-202. ACM, (2014)An Optimization Model for 3D Pipe Routing with Flexibility Constraints., , , , , und . CP, Volume 10416 von Lecture Notes in Computer Science, Seite 321-337. Springer, (2017)Does a Split-View Aid Navigation Within Academic Documents?, , und . DocEng, Seite 211-214. ACM, (2015)VEDD: A Visual Editor for Creation and Semi-Automatic Update of Derived Documents., , und . DocEng, Seite 125-128. ACM, (2015)Visualization of Large Ontologies with Landmarks., , , , und . GRAPP/IVAPP, Seite 461-470. SciTePress, (2013)A generic algorithm for layout of biological networks., , , und . BMC Bioinformatics, (2009)Comparing usability of one-way and multi-way constraints for diagram editing., , , und . ACM Trans. Comput.-Hum. Interact., 14 (4): 19:1-19:38 (2008)Peak-Hour Rail Demand Shifting with Discrete Optimisation., , , , , , und . CP, Volume 11802 von Lecture Notes in Computer Science, Seite 748-763. Springer, (2019)