PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Kwiatkowska, Marta Z."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Challenges for modeling and simulation methods in systems biology.

, , , , , , , , und . Winter Simulation Conference, Seite 1720-1730. IEEE Computer Society, (2006)

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.

Marta Burczyk University of Stuttgart

Marta Gil Pérez University of Stuttgart

Francesca Zermiani University of Stuttgart

InteRead. Dataset, (2024)

M. Zimmer

Viktor Zaverkin University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

On Incremental Quantitative Verification for Probabilistic Systems., , , und . HOWARD-60, Seite 245-257. EasyChair, (2014)Performance analysis of probabilistic timed automata using digital clocks., , , und . Formal Methods in System Design, 29 (1): 33-78 (2006)2011 CAV award announcement., , , und . Formal Methods in System Design, 41 (1): 1-2 (2012)Probabilistic Model Checking for Biology., und . Software Systems Safety, Volume 36 von NATO Science for Peace and Security Series, D: Information and Communication Security, IOS Press, (2014)Advances in Probabilistic Model Checking., und . Software Safety and Security, Volume 33 von NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2012)Event Fairness and Non-interleaving Concurrency.. Formal Asp. Comput., 1 (3): 213-228 (1989)A refinement-based process algebra for timed automata., und . Formal Asp. Comput., 17 (2): 138-159 (2005)Probabilistic verification of Herman's self-stabilisation algorithm., , und . Formal Asp. Comput., 24 (4-6): 661-670 (2012)Probabilistic model checking of complex biological pathways., , , , und . Theor. Comput. Sci., 391 (3): 239-257 (2008)Duality and the Completeness of the Modal mu-Calculus., , und . Theor. Comput. Sci., 151 (1): 3-27 (1995)