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

On the Specification and Verification of Performance Properties for a Timed Process Algebra., und . AMAST, Volume 1349 von Lecture Notes in Computer Science, Seite 123-137. Springer, (1997)Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach., und . Artif. Intell., 107 (1): 63-98 (1999)Algebraic characterizations of trace and decorated trace equivalences over tree-like structures., und . Theor. Comput. Sci., 254 (1-2): 337-361 (2001)Model Checking ACTL Constrained Processes.. FroCoS, Volume 3 von Applied Logic Series, Seite 377-388. Kluwer Academic Publishers, (1996)Complex Event Detection in Video Streams., , , , , , , , , und . SOSE, Seite 172-179. IEEE Computer Society, (2016)A Study on the Specification and Verification of Performance Properties (Extended Abstract)., , und . AMAST, Volume 1101 von Lecture Notes in Computer Science, Seite 306-320. Springer, (1996)Hypergraph Partitioning for Video Event Detection., , , , , , , , , und 2 andere Autor(en). SOSE, Seite 197-202. IEEE Computer Society, (2016)Construction of Deadlock-free Designs of Communication Protocols from Observation., und . Comput. J., 45 (2): 162-173 (2002)Fast Processing of Conversion Time Data Flow in Cloud Computing via Weighted FP-Tree Mining Algorithms., und . UIC/ATC/ScalCom, Seite 386-391. IEEE Computer Society, (2015)Algebraic Characterizations of Decorated Trace Equivalences over Tree-Like Structures., und . ICALP, Volume 1099 von Lecture Notes in Computer Science, Seite 63-74. Springer, (1996)