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

Architecture for the heterogeneous federation of Future Internet experimentation facilities., , , , , , , , , and 7 other author(s). Future Network & Mobile Summit, page 1-11. IEEE, (2013)On Redundancy in Linked Geospatial Data., , and . LDQ@ESWC, volume 1376 of CEUR Workshop Proceedings, CEUR-WS.org, (2015)Local Search for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks., , , , and . AIMSA, volume 9883 of Lecture Notes in Computer Science, page 247-258. Springer, (2016)Exploring Directional Path-Consistency for Solving Constraint Networks., , and . Comput. J., 61 (9): 1338-1350 (2018)Efficient Path Consistency Algorithm for Large Qualitative Constraint Networks., , and . IJCAI, page 1202-1208. IJCAI/AAAI Press, (2016)Tackling Large Qualitative Spatial Networks of Scale-Free-Like Structure., and . SETN, volume 8445 of Lecture Notes in Computer Science, page 178-191. Springer, (2014)A Practical Approach for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks., , , , and . ICTAI, page 445-452. IEEE Computer Society, (2015)On the use and effect of graph decomposition in qualitative spatial and temporal reasoning., , and . SAC, page 1874-1879. ACM, (2015)A Qualitative Spatio-Temporal Framework Based on Point Algebra., , , and . AIMSA, volume 8722 of Lecture Notes in Computer Science, page 117-128. Springer, (2014)Incrementally Building Partially Path Consistent Qualitative Constraint Networks., and . AIMSA, volume 8722 of Lecture Notes in Computer Science, page 104-116. Springer, (2014)