Autor der Publikation

A Meeting Scheduling System Based on Open Constraint Programming.

, und . CAiSE, Volume 2348 von Lecture Notes in Computer Science, Seite 792-796. Springer, (2002)

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

Recursive Abstractions for Parameterized Systems., und . FM, Volume 5850 von Lecture Notes in Computer Science, Seite 72-88. Springer, (2009)TRACER: A Symbolic Execution Tool for Verification., , , und . CAV, Volume 7358 von Lecture Notes in Computer Science, Seite 758-766. Springer, (2012)A Coinduction Rule for Entailment of Recursively Defined Properties., , und . CP, Volume 5202 von Lecture Notes in Computer Science, Seite 493-508. Springer, (2008)Smart Greybox Fuzzing., , , , und . CoRR, (2018)ApproxSymate: path sensitive program approximation using symbolic execution., , , und . LCTES, Seite 148-162. ACM, (2019)Efficient Memoization for Dynamic Programming with Ad-Hoc Constraints., , und . AAAI, Seite 297-303. AAAI Press, (2008)Reactive Web Agents with Open Constraint Programming., , , und . ISADS, Seite 251-254. IEEE Computer Society, (2001)A Meeting Scheduling System Based on Open Constraint Programming., und . CAiSE, Volume 2348 von Lecture Notes in Computer Science, Seite 792-796. Springer, (2002)A CLP Method for Compositional and Intermittent Predicate Abstraction., , und . VMCAI, Volume 3855 von Lecture Notes in Computer Science, Seite 17-32. Springer, (2006)Abstraction Learning., , und . ATVA, Volume 6252 von Lecture Notes in Computer Science, Seite 17. Springer, (2010)