Volgen
Christian Rohr
Christian Rohr
BTU Cottbus-Senftenberg
Geverifieerd e-mailadres voor b-tu.de
Titel
Geciteerd door
Geciteerd door
Jaar
Snoopy–a unifying Petri net tool
M Heiner, M Herajy, F Liu, C Rohr, M Schwarick
Application and Theory of Petri Nets: 33rd International Conference, PETRI …, 2012
3442012
Snoopy—a unifying Petri net framework to investigate biomolecular networks
C Rohr, W Marwan, M Heiner
Bioinformatics 26 (7), 974-975, 2010
2012010
MARCIE–model checking and reachability analysis done efficiently
M Heiner, C Rohr, M Schwarick
Application and Theory of Petri Nets and Concurrency: 34th International …, 2013
1032013
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
672012
Complete Results for the 2015 Edition of the Model Checking Contest
F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, A Linard, M Beccuti, ...
502015
Marcie-model checking and reachability analysis done efficiently
M Schwarick, M Heiner, C Rohr
2011 Eighth International Conference on Quantitative Evaluation of SysTems …, 2011
502011
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
392013
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
372010
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-16, 2017
342017
Manual for colored Petri nets in Snoopy
F Liu, M Heiner, C Rohr
Brandenburg University of Technology Cottbus, available at: http://www-dssz …, 2012
342012
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
332008
Application and Theory of Petri Nets
M Heiner, M Herajy, F Liu, C Rohr, M Schwarick
Springer, 2012
28*2012
Coloured hybrid Petri nets for systems biology.
M Herajy, F Liu, C Rohr
BioPPN@ Petri Nets, 60-76, 2014
272014
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
262018
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, ...
25
Efficient Unfolding of Coloured Petri Nets using Interval Decision Diagrams
M Schwarick, C Rohr, F Liu, G Assaf, J Chodak, M Heiner
212020
Towards dynamic genome-scale models
D Gilbert, M Heiner, Y Jayaweera, C Rohr
Briefings in bioinformatics 20 (4), 1167-1180, 2019
202019
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
202013
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
202012
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
182016
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20