Christian Rohr

21 papers B 3Journal 11Unranked 6
YearRankTypeTitle / Venue / Authors
2020 B conf
Efficient Unfolding of Coloured Petri Nets Using Interval Decision Diagrams.
Petri Nets
Martin Schwarick, Christian Rohr, Fei Liu, George Assaf, Jacek Chodak, Monika Heiner
2019 J jnl
Towards dynamic genome-scale models.
Briefings Bioinform.
David R. Gilbert, Monika Heiner, Yasoda Jayaweera, Christian Rohr
2018 J jnl
BioModelKit: Spatial Modelling of Complex Multiscale Molecular Biosystems Based on Modular Models.
Fundam. Informaticae
Mary Ann Blätke, Christian Rohr
2018 J jnl
Coloured Hybrid Petri Nets: An adaptable modelling approach for multi-scale biological networks.
Comput. Biol. Chem.
Mostafa Herajy, Fei Liu, Christian Rohr, Monika Heiner
2018 J jnl
Discrete-Time Leap Method For Stochastic Simulation.
Fundam. Informaticae
Christian Rohr
2018 J jnl
Petri-net-based 2D design of DNA walker circuits.
Nat. Comput.
David R. Gilbert, Monika Heiner, Christian Rohr
2017 J jnl
Snoopy's hybrid simulator: a tool to construct and simulate hybrid biological models.
BMC Syst. Biol.
Mostafa Herajy, Fei Liu, Christian Rohr, Monika Heiner
2016 — conf
Discrete-Time Leap Method for Stochastic Simulation.
PNSE @ Petri Nets
Christian Rohr
2016 J jnl
MARCIE's Secrets of Efficient Model Checking.
Trans. Petri Nets Other Model. Concurr.
Monika Heiner, Christian Rohr, Martin Schwarick, Alexey A. Tovchigrechko
2015 — conf
A Colored Petri net approach for spatial Biomodel Engineering based on the modular model composition framework Biomodelkit.
BioPPN@Petri Nets
Mary Ann Blätke, Christian Rohr
2014 — ch.
A Petri-Net-Based Framework for Biomodel Engineering.
Large-Scale Networks in Engineering and Life Sciences
Mary Ann Blätke, Christian Rohr, Monika Heiner, Wolfgang Marwan
2014 — conf
Coloured hybrid Petri nets for systems biology.
BioPPN@Petri Nets
Mostafa Herajy, Fei Liu, Christian Rohr
2013 B conf
MARCIE - Model Checking and Reachability Analysis Done Efficiently.
Petri Nets
Monika Heiner, Christian Rohr, Martin Schwarick
2013 J jnl
Model Checking Contest @ Petri Nets, Report on the 2013 edition.
CoRR
Fabrice Kordon, Alban Linard, Marco Beccuti, Didier Buchs, Lukasz Fronc, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Legond-Aubry, Niels Lohmann, Alexis Marechal, Emmanuel Paviot-Adet, Franck Pommereau, César Rodríguez, Christian Rohr, Yann Thierry-Mieg, Harro Wimmel, Karsten Wolf
2013 J jnl
Simulative Model Checking of Steady State and Time-Unbounded Temporal Operators.
Trans. Petri Nets Other Model. Concurr.
Christian Rohr
2012 J jnl
Raw Report on the Model Checking Contest at Petri Nets 2012
CoRR
Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Lukasz Fronc, Lom-Messan Hillah, Niels Lohmann, Emmanuel Paviot-Adet, Franck Pommereau, Christian Rohr, Yann Thierry-Mieg, Harro Wimmel, Karsten Wolf
2012 B conf
Snoopy - A Unifying Petri Net Tool.
Petri Nets
Monika Heiner, Mostafa Herajy, Fei Liu, Christian Rohr, Martin Schwarick
2011 — conf
MARCIE - Model Checking and Reachability Analysis Done EffiCIEntly.
QEST
Martin Schwarick, Monika Heiner, Christian Rohr
2010 — conf
A comparative study of stochastic analysis techniques.
CMSB
Monika Heiner, Christian Rohr, Martin Schwarick, Stefan Streif
2010 — conf
Simulative CSL model checking of Stochastic Petri nets in IDD-MC.
AWPN
Christian Rohr
2010 J jnl
Snoopy - a unifying Petri net framework to investigate biomolecular networks.
Bioinform.
Christian Rohr, Wolfgang Marwan, Monika Heiner