
Publications of Christian Rohr
All genres
Journal Article (3)
1.
Journal Article
9 (6), pp. 1290 - 1307 (2013)
JAK/STAT signalling – an executable model assembled from molecule-centred modules demonstrating a module-oriented database concept for systems and synthetic biology. Molecular BioSystems 2.
Journal Article
26 (7), pp. 974 - 975 (2010)
Snoopy - a unifying Petri net framework to investigate biomolecular networks. Bioinformatics 3.
Journal Article
74 (April), pp. 8 - 22 (2008)
Snoopy - A Tool to Design and Execute Graph-Based Formalisms. [Extended Version]. Petri Net Newsletter Book Chapter (4)
4.
Book Chapter
9930, pp. 286 - 296. Springer, Berlin, Heidelberg (2016)
MARCIE’s Secrets of Efficient Model Checking. In: Transactions on petri nets and other models of concurrency XI. Lecture Notes in Computer Science, Vol. 5.
Book Chapter
A Petri-Net-Based Framework for Biomodel Engineering. In: Large-Scale Networks in Engineering and Life Sciences, pp. 317 - 366. Springer International Publishing, Cham (2014)
6.
Book Chapter
8100, pp. 142 - 158. Springer, Berlin, Heidelberg (2013)
Simulative Model Checking of Steady-State and Time-Unbounded Temporal Operators. In: Transactions on Petri Nets and Other Models of Concurrency VIII. Lecture Notes in Computer Science, Vol. 7.
Book Chapter
804, pp. 409 - 437. Springer, New York, NY (2012)
Petri Nets in Snoopy: A Unifying Framework for the Graphical Display, Computational Modelling, and Simulation of Bacterial Regulatory Networks. In: Bacterial Molecular Networks. Methods in Molecular Biology, Vol. Conference Paper (11)
8.
Conference Paper
1591, pp. 362 - 376. 7rd International Workshop on Biological Processes & Petri Nets (BioPPN 2016), Toruń, Poland , June 20, 2016. (2016)
Discrete-Time Leap Method For Stochastic Simulation. In: Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, including the International Workshop on Biological Processes & Petri Nets 2016. CEUR Workshop Proceedings, Vol. 9.
Conference Paper
4 (11), pp. 195 - 214 (2015)
Dictyostelium discoideum: Aggregation and Synchronisation of Amoebas in Time and Space. Dagstuhl Seminar 14481 "Multiscale Spatial Computational Systems Biology", Wadern, Germany, November 23, 2014 - November 28, 2014. Dagstuhl Reports 10.
Conference Paper
1373, pp. 37 - 54. 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), Brussels, Belgium, June 21, 2015 - June 26, 2015. (2015)
A coloured Petri net approach for spatial Biomodel Engineering based on the modular model composition framework Biomodelkit. In: 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), Vol. 11.
Conference Paper
4 (11), pp. 195 - 214 (2015)
Multiscale modeling of S1P metabolism, secretion and signaling. Dagstuhl Seminar 14481 "Multiscale Spatial Computational Systems Biology", Wadern, Germany, November 23, 2014 - November 28, 2014. Dagstuhl Reports 12.
Conference Paper
1159, pp. 60 - 76. 5th International Workshop on Biological Processes & Petri Nets (BioPPN 2014), Tunis, Tunesia, June 23, 2014. (2014)
Coloured hybrid Petri nets for systems biology. In: BioPPN 2014, a satellite event of PETRI NETS 2014. CEUR Workshop Proceedings, Vol. 13.
Conference Paper
7927, pp. 389 - 399. International Conference on Application and Theory of Petri Nets and Concurrency - PETRI NETS 2013, Milano, Italy, June 24, 2013 - June 28, 2013. Springer, Berlin, Heidelberg (2013)
MARCIE – Model Checking and Reachability Analysis Done Efficiently. In: Application and Theory of Petri Nets and Concurrency. PETRI NETS 2013. Lecture Notes in Computer Science, Vol. 14.
Conference Paper
7347, pp. 398 - 407. International Conference on Application and Theory of Petri Nets and Concurrency - PETRI NETS 2012, Trento, Italy, September 29, 2010 - October 01, 2010. (2012)
Snoopy – A Unifying Petri Net Tool. In: Application and Theory of Petri Nets. PETRI NETS 2012. Lecture Notes in Computer Science, Vol. 15.
Conference Paper
852, pp. 62 - 75. 3rd International Workshop on Biological Processes & Petri Nets (BioPPN 2012), Hamburg, Germany, June 25, 2012. (2012)
Simulative Model Checking of Steady-State and Time-Unbounded Temporal Operators. In: Proceedings of the 3rd International Workshop on Biological Processes & Petri Nets, a satellite event of PETRI NETS 2012. CEUR Workshop Proceedings, Vol. 16.
Conference Paper
MARCIE - Model Checking and Reachability Analysis Done EffiCIEntly. In: 2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST), pp. 91 - 100. 2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST), Aachen, Germany, September 05, 2011 - September 08, 2011. (2011)
17.
Conference Paper
A comparative study of stochastic analysis techniques. In: CMSB '10 Proceedings of the 8th International Conference on Computational Methods in Systems Biology, pp. 96 - 106. 8th International Conference on Computational Methods in Systems Biology - CMSB '10, Trento, Italy, September 29, 2010 - October 01, 2010. (2010)
18.
Conference Paper
643, pp. 88 - 93. 17th German Workshop on Algorithms and Tools for Petri Nets (AWPN 2010), Cottbus, Germany, October 07, 2010 - October 08, 2010. (2010)
Simulative CSL model checking of Stochastic Petri nets in IDD-MC. In: Proc. 17th German Workshop on Algorithms and Tools for Petri Nets (AWPN 2010). CEUR Workshop Proceedings, Vol. Talk (8)
19.
Talk
Discrete-time leap method for stochastic simulation. 7th International Workshop on Biological Processes & Petri Nets (BioPPN 2016), Toruń, Poland (2016)
20.
Talk
A coloured Petri net approach for spatial Biomodel Engineering based on the modular model composition framework Biomodelkit. 6th International Workshop on Biological Processes & Petri Nets (BioPPN 2015), Brussels, Belgium (2015)