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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Abstraction Learning., , und . ATVA, Volume 6252 von Lecture Notes in Computer Science, Seite 17. Springer, (2010)A Meeting Scheduling System Based on Open Constraint Programming., und . CAiSE, Volume 2348 von Lecture Notes in Computer Science, Seite 792-796. Springer, (2002)Why inheritance anomaly is not worth solving., und . ICOOOLPS@ECOOP, Seite 6:1-6:12. ACM, (2014)A CLP Method for Compositional and Intermittent Predicate Abstraction., , und . VMCAI, Volume 3855 von Lecture Notes in Computer Science, Seite 17-32. Springer, (2006)Comparing Weakest Precondition and Weakest Liberal Precondition.. CoRR, (2015)A Constraint-Based Framework for Concurrent and Distributed Programming., und . ISCA PDCS, Seite 51-56. ISCA, (2006)Concurrent Programming Made Easy., , und . ICECCS, Seite 151-. IEEE Computer Society, (2000)Formal Verification of Concurrent and Distributed Constraint-Based Java Programs., und . ICECCS, Seite 76-84. IEEE Computer Society, (2005)A Declarative Approach to Concurrency in Java., und . APLAS, Seite 89-98. (2000)Path-Sensitive Backward Slicing., , , und . SAS, Volume 7460 von Lecture Notes in Computer Science, Seite 231-247. Springer, (2012)