( en | de | ru )

 

Disambiguierung von "Parker, David"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Bisimulation for Demonic Schedulers.

, , und . FoSSaCS, Volume 5504 von Lecture Notes in Computer Science, Seite 318-332. Springer, (2009)

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.

David Parker

Thomas Parker

Darren Parker

June Parker

Jan Parker

 

Weitere Publikationen von Autoren mit dem selben Namen

New business opportunities for EU companies in the ASEAN area, , und . European Commission Asia-invest programme Off. for Off. Publ. of the Europ. Communities, Luxembourg, (2005)A Systematic Approach to Evaluate Sustained Stochastic Oscillations., , , und . BICoB, Seite 134-139. ISCA, (2011)A Framework for Verification of Software with Time and Probabilities., , und . FORMATS, Volume 6246 von Lecture Notes in Computer Science, Seite 25-45. Springer, (2010)Automated Verification and Strategy Synthesis for Probabilistic Systems., und . ATVA, Volume 8172 von Lecture Notes in Computer Science, Seite 5-22. Springer, (2013)Performance analysis of probabilistic timed automata using digital clocks., , , und . Formal Methods Syst. Des., 29 (1): 33-78 (2006)Probabilistic model checking of complex biological pathways., , , , und . Theor. Comput. Sci., 391 (3): 239-257 (2008)Automatic verification of concurrent stochastic systems., , , und . Formal Methods Syst. Des., 58 (1-2): 188-250 (2021)Symbolic Representations and Analysis of Large Probabilistic Systems., und . Validation of Stochastic Systems, Volume 2925 von Lecture Notes in Computer Science, Seite 296-338. Springer, (2004)Finite-Horizon Bisimulation Minimisation for Probabilistic Systems., , und . SPIN, Volume 9641 von Lecture Notes in Computer Science, Seite 147-164. Springer, (2016)Planning for Automated Vehicles with Human Trust., , , , , , und . ACM Trans. Cyber Phys. Syst., 6 (4): 31:1-31:21 (2022)