Folgen
Christian Rohr
Christian Rohr
BTU Cottbus-Senftenberg
Bestätigte E-Mail-Adresse bei b-tu.de
Titel
Zitiert von
Zitiert von
Jahr
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
2932012
Snoopy—a unifying Petri net framework to investigate biomolecular networks
C Rohr, W Marwan, M Heiner
Bioinformatics 26 (7), 974-975, 2010
1942010
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
992013
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
622012
Marcie-model checking and reachability analysis done efficiently
M Schwarick, M Heiner, C Rohr
2011 Eighth International Conference on Quantitative Evaluation of SysTems …, 2011
452011
Complete Results for the 2015 Edition of the Model Checking Contest
F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, A Linard, M Beccuti, ...
442015
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
362013
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
322010
Manual for colored Petri nets in Snoopy
F Liu, M Heiner, C Rohr
Brandenburg University of Technology Cottbus, available at: http://www-dssz …, 2012
312012
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
302008
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), 1-16, 2017
262017
Coloured hybrid Petri nets for systems biology.
M Herajy, F Liu, C Rohr
BioPPN@ Petri Nets, 60-76, 2014
242014
Application and Theory of Petri Nets
M Heiner, M Herajy, F Liu, C Rohr, M Schwarick
Springer, 2012
23*2012
Complete results for the 2016 edition of the model checking contest, June 2016
F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, B Berthomieu, G Ciardo, ...
21
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
192012
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
182018
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
172016
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
142013
Complete results for the 2016 edition of the model checking contest, June 2016
F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, B Berthomieu, G Ciardo, ...
14
Complete results for the 2016 edition of the model checking contest, June 2016
F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, B Berthomieu, G Ciardo, ...
14
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20