( en | de | ru )

 

Disambiguierung von "Smolka, Scott A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Swarm Model Checking on the GPU.

, , , und . SPIN, Volume 11636 von Lecture Notes in Computer Science, Seite 94-113. Springer, (2019)

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.

Martina Christine Scotti

Pierre-François Scotto

Peter Scott

Horst Smolka

Ernst Smolka

 

Weitere Publikationen von Autoren mit dem selben Namen

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)Report on the 6th international symposium on programming.. ACM SIGPLAN Notices, 19 (8): 104-105 (1984)On the Analysis of Cooperation and Antagonism in Networks of Communicating Processes., und . PODC, Seite 23-38. ACM, (1985)A Simplex Architecture for Hybrid Systems Using Barrier Certificates., , , , und . SAFECOMP, Volume 10488 von Lecture Notes in Computer Science, Seite 117-131. Springer, (2017)Local Model Checking for Real-Time Systems (Extended Abstract)., und . CAV, Volume 939 von Lecture Notes in Computer Science, Seite 211-224. Springer, (1995)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)The Concurrency Factory: A Development Environment for Concurrent Systems., , , und . CAV, Volume 1102 von Lecture Notes in Computer Science, Seite 398-401. Springer, (1996)Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems., , , , , , und . IEEE Access, (2020)