Christian Rohr
Christian Rohr
BTU Cottbus-Senftenberg
Verified email at b-tu.de
Title
Cited by
Cited by
Year
Snoopy–a unifying Petri net tool
M Heiner, M Herajy, F Liu, C Rohr, M Schwarick
International Conference on Application and Theory of Petri Nets and …, 2012
2462012
Snoopy—a unifying Petri net framework to investigate biomolecular networks
C Rohr, W Marwan, M Heiner
Bioinformatics 26 (7), 974-975, 2010
1842010
MARCIE–model checking and reachability analysis done efficiently
M Heiner, C Rohr, M Schwarick
International Conference on Applications and Theory of Petri Nets and …, 2013
822013
Petri nets in Snoopy: A unifying framework for the graphical display, computational modelling, and simulation of bacterial regulatory networks
W Marwan, C Rohr, M Heiner
Bacterial Molecular Networks: Methods and Protocols, 409-437, 2012
592012
Marcie-model checking and reachability analysis done efficiently
M Schwarick, M Heiner, C Rohr
2011 Eighth International Conference on Quantitative Evaluation of SysTems …, 2011
432011
JAK/STAT signalling–an executable model assembled from molecule-centred modules demonstrating a module-oriented database concept for systems and synthetic biology
MA Blätke, A Dittrich, C Rohr, M Heiner, F Schaper, W Marwan
Molecular BioSystems 9 (6), 1290-1307, 2013
352013
A comparative study of stochastic analysis techniques
M Heiner, C Rohr, M Schwarick, S Streif
Proceedings of the 8th International Conference on Computational Methods in …, 2010
312010
Manual for colored Petri nets in Snoopy
F Liu, M Heiner, C Rohr
Brandenburg University of Technology Cottbus, available at: http://www-dssz …, 2012
302012
Snoopy-a tool to design and execute graph-based formalisms
M Heiner, R Richter, M Schwarick, C Rohr
Petri Net Newsletter 74, 8-22, 2008
272008
Complete Results for the 2015 Edition of the Model Checking Contest
F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, A Linard, M Beccuti, ...
262015
Tri. nh, G., Wolf, K.: Complete Results for the 2016 Edition of the Model Checking Contest, June 2016
F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, G Chiardo, A Hamez, ...
25
Coloured hybrid Petri nets for systems biology.
M Herajy, F Liu, C Rohr
BioPPN@ Petri Nets, 60-76, 2014
222014
Application and Theory of Petri Nets
M Heiner, M Herajy, F Liu, C Rohr, M Schwarick
Springer, 2012
21*2012
Snoopy’s hybrid simulator: a tool to construct and simulate hybrid biological models
M Herajy, F Liu, C Rohr, M Heiner
BMC Systems Biology 11 (1), 71, 2017
182017
Raw report on the model checking contest at Petri nets 2012
F Kordon, A Linard, D Buchs, M Colange, S Evangelista, L Fronc, ...
arXiv preprint arXiv:1209.2382, 2012
182012
Simulative model checking of steady state and time-unbounded temporal operators
C Rohr
Transactions on Petri Nets and Other Models of Concurrency VIII, 142-158, 2013
132013
Complete results for the 2016 edition of the model checking contest, June 2016
F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, G Chiardo, A Hamez, ...
13
Complete results for the 2016 edition of the model checking contest, June 2016
F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, G Chiardo, A Hamez, ...
13
MARCIE’s Secrets of Efficient Model Checking
M Heiner, C Rohr, M Schwarick, AA Tovchigrechko
Transactions on Petri Nets and Other Models of Concurrency XI, 286-296, 2016
122016
Coloured Hybrid Petri Nets: An adaptable modelling approach for multi-scale biological networks
M Herajy, F Liu, C Rohr, M Heiner
Computational biology and chemistry 76, 87-100, 2018
102018
The system can't perform the operation now. Try again later.
Articles 1–20