עקוב אחר
Christian Rohr
Christian Rohr
BTU Cottbus-Senftenberg
כתובת אימייל מאומתת בדומיין b-tu.de
כותרת
צוטט על ידי
צוטט על ידי
שנה
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‏
3592012
Snoopy—a unifying Petri net framework to investigate biomolecular networks‏
C Rohr, W Marwan, M Heiner‏
Bioinformatics 26 (7), 974-975, 2010‏
2042010
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‏
1102013
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‏
692012
Complete Results for the 2015 Edition of the Model Checking Contest‏
F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, A Linard, M Beccuti, ...‏
552015
Marcie-model checking and reachability analysis done efficiently‏
M Schwarick, M Heiner, C Rohr‏
2011 Eighth International Conference on Quantitative Evaluation of SysTems …, 2011‏
522011
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‏
412013
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‏
392017
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
Manual for colored Petri nets in Snoopy‏
F Liu, M Heiner, C Rohr‏
Brandenburg University of Technology Cottbus, available at: http://www-dssz …, 2012‏
362012
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‏
352008
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‏
292018
Coloured hybrid Petri nets for systems biology.‏
M Herajy, F Liu, C Rohr‏
BioPPN@ Petri Nets, 60-76, 2014‏
292014
Application and Theory of Petri Nets‏
M Heiner, M Herajy, F Liu, C Rohr, M Schwarick‏
Springer, 2012‏
28*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, ...‏
27
Towards dynamic genome-scale models‏
D Gilbert, M Heiner, Y Jayaweera, C Rohr‏
Briefings in bioinformatics 20 (4), 1167-1180, 2019‏
232019
Efficient Unfolding of Coloured Petri Nets using Interval Decision Diagrams‏
M Schwarick, C Rohr, F Liu, G Assaf, J Chodak, M Heiner‏
202020
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
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‏
192013
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
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20