Christian Rohr

According to our database, Christian Rohr authored at least 19 papers between 2010 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Efficient Unfolding of Coloured Petri Nets Using Interval Decision Diagrams.

Martin Schwarick, Christian Rohr, Fei Liu, George Assaf, Jacek Chodak, Monika Heiner

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2020

2019

Towards dynamic genome-scale models.

David R. Gilbert, Monika Heiner, Yasoda Jayaweera, Christian Rohr

Briefings Bioinform., 2019

2018

Petri-net-based 2D design of DNA walker circuits.

David R. Gilbert, Monika Heiner, Christian Rohr

Nat. Comput., 2018

Discrete-Time Leap Method For Stochastic Simulation.

Christian Rohr

Fundam. Informaticae, 2018

BioModelKit: Spatial Modelling of Complex Multiscale Molecular Biosystems Based on Modular Models.

Mary Ann Blätke, Christian Rohr

Fundam. Informaticae, 2018

Coloured Hybrid Petri Nets: An adaptable modelling approach for multi-scale biological networks.

Mostafa Herajy, Fei Liu, Christian Rohr, Monika Heiner

Comput. Biol. Chem., 2018

2017

Snoopy's hybrid simulator: a tool to construct and simulate hybrid biological models.

Mostafa Herajy, Fei Liu, Christian Rohr, Monika Heiner

BMC Syst. Biol., 2017

2016

MARCIE's Secrets of Efficient Model Checking.

Monika Heiner, Christian Rohr, Martin Schwarick, Alexey A. Tovchigrechko

Trans. Petri Nets Other Model. Concurr., 2016

2015

A Colored Petri net approach for spatial Biomodel Engineering based on the modular model composition framework Biomodelkit.

Mary Ann Blätke, Christian Rohr

Proceedings of the 6th International Workshop on Biological Processes & Petri Nets co-located with 36th International Conference on Application and Theory of Petri Nets and Concurreny (PETRI NETS 2015), 2015

2014

Coloured hybrid Petri nets for systems biology.

Mostafa Herajy, Fei Liu, Christian Rohr

Proceedings of the 5th International Workshop on Biological Processes & Petri Nets co-located with 35th International Conference on Application and Theory of Petri Nets and Concurreny (PETRI NETS 2014), 2014

A Petri-Net-Based Framework for Biomodel Engineering.

Mary Ann Blätke, Christian Rohr, Monika Heiner, Wolfgang Marwan

Proceedings of the Large-Scale Networks in Engineering and Life Sciences, 2014

2013

Simulative Model Checking of Steady State and Time-Unbounded Temporal Operators.

Christian Rohr

Trans. Petri Nets Other Model. Concurr., 2013

Model Checking Contest @ Petri Nets, Report on the 2013 edition.

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

CoRR, 2013

MARCIE - Model Checking and Reachability Analysis Done Efficiently.

Monika Heiner, Christian Rohr, Martin Schwarick

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

2012

Raw Report on the Model Checking Contest at Petri Nets 2012

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

CoRR, 2012

Snoopy - A Unifying Petri Net Tool.

Monika Heiner, Mostafa Herajy, Fei Liu, Christian Rohr, Martin Schwarick

Proceedings of the Application and Theory of Petri Nets - 33rd International Conference, 2012

2010

Snoopy - a unifying Petri net framework to investigate biomolecular networks.

Christian Rohr, Wolfgang Marwan, Monika Heiner

Bioinform., 2010

A comparative study of stochastic analysis techniques.

Monika Heiner, Christian Rohr, Martin Schwarick, Stefan Streif

Proceedings of the Computational Methods in Systems Biology, 8th International Conference, 2010

Simulative CSL model checking of Stochastic Petri nets in IDD-MC.

Christian Rohr

Proceedings of the 17th German Workshop on Algorithms and Tools for Petri Nets, 2010