Autor der Publikation

HSIM: A Hybrid Stochastic Simulation System for Systems Biology.

, und . SASB, Volume 313 von Electronic Notes in Theoretical Computer Science, Seite 3-21. Elsevier, (2012)

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

Concurrency in Boolean networks., , , , und . CoRR, (2019)Computational Complexity of Minimal Trap Spaces in Boolean Networks., , und . CoRR, (2022)Concurrency in Boolean networks., , , , und . Nat. Comput., 19 (1): 91-109 (2020)Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets., , , , und . GandALF, Volume 370 von EPTCS, Seite 178-193. (2022)CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems., , und . AAAI, Seite 8146-8153. AAAI Press, (2024)Static Analysis of Boolean Networks Based on Interaction Graphs: A Survey., und . SASB, Volume 284 von Electronic Notes in Theoretical Computer Science, Seite 93-104. Elsevier, (2011)Tuning Temporal Features within the Stochastic π-Calculus., , und . IEEE Trans. Software Eng., 37 (6): 858-871 (2011)BioSimulators: a central registry of simulation engines and services for recommending specific tools., , , , , , , , , und 65 andere Autor(en). Nucleic Acids Res., 50 (W1): 108-114 (2022)Preface., , und . Theor. Comput. Sci., (2019)BioSimulators: a central registry of simulation engines and services for recommending specific tools., , , , , , , , , und 61 andere Autor(en). CoRR, (2022)