( en | de | ru )

 

Disambiguierung von "Smolka, Scott A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Regular Expressions for Irregular Rhythms.

, , , , und . CoRR, (2016)

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.

Pierre-François Scotto

Martina Christine Scotti

Peter Scott

Horst Smolka

Brigitte Smolka

 

Weitere Publikationen von Autoren mit dem selben Namen

A Process-Algebraic Language for Probabilistic I/O Automata., , und . CONCUR, Volume 2761 von Lecture Notes in Computer Science, Seite 189-203. Springer, (2003)Equivalences, Congruences, and Complete Axiomatizations for Probabilistic Processes., und . CONCUR, Volume 458 von Lecture Notes in Computer Science, Seite 367-383. Springer, (1990)A Simplex Architecture for Hybrid Systems Using Barrier Certificates., , , , und . SAFECOMP, Volume 10488 von Lecture Notes in Computer Science, Seite 117-131. Springer, (2017)On the Analysis of Cooperation and Antagonism in Networks of Communicating Processes., und . PODC, Seite 23-38. ACM, (1985)Local Model Checking for Real-Time Systems (Extended Abstract)., und . CAV, Volume 939 von Lecture Notes in Computer Science, Seite 211-224. Springer, (1995)The Concurrency Factory: A Development Environment for Concurrent Systems., , , und . CAV, Volume 1102 von Lecture Notes in Computer Science, Seite 398-401. Springer, (1996)Report on the 6th international symposium on programming.. ACM SIGPLAN Notices, 19 (8): 104-105 (1984)Data flow analysis of distributed communicating processes., und . Int. J. Parallel Program., 19 (1): 1-30 (1990)V-Formation via Model Predictive Control., , , , , und . CoRR, (2020)Composition and Behaviors of Probabilistic I/O Automata., , und . Theor. Comput. Sci., 176 (1-2): 1-38 (1997)