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

Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages., , und . SOFSEM, Volume 7741 von Lecture Notes in Computer Science, Seite 307-318. Springer, (2013)A formal approach for designing CORBA based applications., , , und . ICSE, Seite 188-197. ACM, (2000)ContextErlang: introducing context-oriented programming in the actor model., , und . AOSD, Seite 191-202. ACM, (2012)SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability., , , , und . SEFM, Seite 244-254. IEEE Computer Society, (2010)Bounded Reachability for Temporal Logic over Constraint Systems., , , , , und . TIME, Seite 43-50. IEEE Computer Society, (2010)An Automatic Approach to Enable Replacement of Conversational Services., , und . ICSOC/ServiceWave, Volume 5900 von Lecture Notes in Computer Science, Seite 159-174. (2009)Picture languages: Tiling systems versus tile rewriting grammars., , , und . Theor. Comput. Sci., 356 (1-2): 90-103 (2006)Deterministic recognizability of picture languages by Wang automata., und . ICTCS, Seite 150-154. (2009)Deterministic recognizability of picture languages with Wang automata, und . Discrete Mathematics & Theoretical Computer Science, 12 (4): 73--94 (2010)Comments on temporal logics for real-time system specification., , und . ACM Comput. Surv., 41 (2): 13:1-13:5 (2009)