Autor der Publikation

An approach to multicore parallelism using functional programming: A case study based on Presburger Arithmetic.

, und . J. Log. Algebraic Methods Program., 84 (1): 2-18 (2015)

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

Using interval logics for temporal analysis of security protocols., und . FMSE, Seite 24-31. ACM, (2003)An Extended Duration Calculus for Hybrid Real-Time Systems., , und . Hybrid Systems, Volume 736 von Lecture Notes in Computer Science, Seite 36-59. Springer, (1992)Semantics and Completeness of Duration Calculus., und . REX Workshop, Volume 600 von Lecture Notes in Computer Science, Seite 209-225. Springer, (1991)Specification & Verification of Higher Order Processes., und . MFCS, Volume 452 von Lecture Notes in Computer Science, Seite 322-328. Springer, (1990)Generating web-based systems from specifications., , und . SAC, Seite 1647-1653. ACM, (2004)A Theory of Duration Calculus with Application., und . Domain Modeling and the Duration Calculus, Volume 4710 von Lecture Notes in Computer Science, Seite 119-176. Springer, (2007)Timed Traces and Strand Spaces., und . CSR, Volume 4649 von Lecture Notes in Computer Science, Seite 373-386. Springer, (2007)Generation of ERP Systems from REA Specifications., , und . ICSOFT (ISDM/ABF), Seite 12-19. INSTICC Press, (2008)An Adequate First Order Interval Logic., und . COMPOS, Volume 1536 von Lecture Notes in Computer Science, Seite 584-608. Springer, (1997)Eine sequelartige Sprachschnittstelle für das NF2-Modell., , und . Sprachen für Datenbanken, Volume 72 von Informatik-Fachberichte, Seite 134-147. Springer, (1983)