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

Charlie - An Extensible Petri Net Analysis Tool., , und . Petri Nets, Volume 9115 von Lecture Notes in Computer Science, Seite 200-211. Springer, (2015)Symbolic on-the-fly analysis of stochastic Petri nets.. Brandenburg University of Technology, Cottbus - Senftenberg, Germany, (2014)Snoopy - A Unifying Petri Net Tool., , , , und . Petri Nets, Volume 7347 von Lecture Notes in Computer Science, Seite 398-407. Springer, (2012)Transient Analysis of Stochastic Petri Nets With Interval Decision Diagrams.. AWPN, Volume 380 von CEUR Workshop Proceedings, Seite 43-48. CEUR-WS.org, (2008)Snoopy: a tool to design and animate/simulate graph-based formalisms., , und . SimuTools, Seite 15. ICST/ACM, (2008)A comparative study of stochastic analysis techniques., , , und . CMSB, Seite 96-106. ACM, (2010)IDD-based model validation of biochemical networks., und . Theor. Comput. Sci., 412 (26): 2884-2908 (2011)MARCIE's Secrets of Efficient Model Checking., , , und . T. Petri Nets and Other Models of Concurrency, (2016)Symbolic Model Checking of Stochastic Reward Nets.. CS&P, Volume 928 von CEUR Workshop Proceedings, Seite 343-357. CEUR-WS.org, (2012)CSL Model Checking of Biochemical Networks with Interval Decision Diagrams., und . CMSB, Volume 5688 von Lecture Notes in Computer Science, Seite 296-312. Springer, (2009)