Author of the publication

HSIM: A Hybrid Stochastic Simulation System for Systems Biology.

, and . SASB, volume 313 of Electronic Notes in Theoretical Computer Science, page 3-21. Elsevier, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Concurrency in Boolean networks., , , , and . CoRR, (2019)Computational Complexity of Minimal Trap Spaces in Boolean Networks., , and . CoRR, (2022)Concurrency in Boolean networks., , , , and . Nat. Comput., 19 (1): 91-109 (2020)Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets., , , , and . GandALF, volume 370 of EPTCS, page 178-193. (2022)CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems., , and . AAAI, page 8146-8153. AAAI Press, (2024)Static Analysis of Boolean Networks Based on Interaction Graphs: A Survey., and . SASB, volume 284 of Electronic Notes in Theoretical Computer Science, page 93-104. Elsevier, (2011)SAT Heritage: A Community-Driven Effort for Archiving, Building and Running More Than Thousand SAT Solvers., , and . SAT, volume 12178 of Lecture Notes in Computer Science, page 107-113. Springer, (2020)Non-Deterministic Updates of Boolean Networks., and . AUTOMATA, volume 90 of OASIcs, page 10:1-10:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Variable-Depth Simulation of Most Permissive Boolean Networks., and . CMSB, volume 13447 of Lecture Notes in Computer Science, page 138-157. Springer, (2022)Synthesis and Simulation of Ensembles of Boolean Networks for Cell Fate Decision., , , , and . CMSB, volume 12314 of Lecture Notes in Computer Science, page 193-209. Springer, (2020)