Publikationen von Christian Rohr

Blätke, M. A.; Dittrich, A.; Rohr, C.; Heiner, M.; Schaper, F.; Marwan, W.: JAK/STAT signalling – an executable model assembled from molecule-centred modules demonstrating a module-oriented database concept for systems and synthetic biology. Molecular BioSystems 9 (6), S. 1290 - 1307 (2013)

Rohr, C.; Marwan, W.; Heiner, M.: Snoopy - a unifying Petri net framework to investigate biomolecular networks. Bioinformatics 26 (7), S. 974 - 975 (2010)

Heiner, M.; Richter, R.; Rohr, C.; Schwarick, M.: Snoopy - A Tool to Design and Execute Graph-Based Formalisms. [Extended Version]. Petri Net Newsletter 74 (April), S. 8 - 22 (2008)

Heiner, M.; Rohr, C.; Schwarick , M.; Tovchigrechko, A. A.: MARCIE’s Secrets of Efficient Model Checking. In: Transactions on petri nets and other models of concurrency XI. Lecture Notes in Computer Science, Bd. 9930, S. 286 - 296. Springer, Berlin, Heidelberg (2016)

Blätke, M. A.; Rohr, C.; Heiner, M.; Marwan, W.: A Petri-Net-Based Framework for Biomodel Engineering. In: Large-Scale Networks in Engineering and Life Sciences, S. 317 - 366. Springer International Publishing, Cham (2014)

Rohr, C.: 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, Bd. 8100, S. 142 - 158. Springer, Berlin, Heidelberg (2013)

Marwan, W.; Rohr, C.; Heiner, M.: 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, Bd. 804, S. 409 - 437. Springer, New York, NY (2012)

Rohr, C.: 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, Bd. 1591, S. 362 - 376. 7rd International Workshop on Biological Processes & Petri Nets (BioPPN 2016), Toruń, Poland , 20. Juni 2016. (2016)

Beccuti, M.; Blätke, M. A.; Falk, M.; Hardy, S.; Heiner, M.; Maus, C.; Nähring, C.; Rohr, C.: Dictyostelium discoideum: Aggregation and Synchronisation of Amoebas in Time and Space. Dagstuhl Seminar 14481 "Multiscale Spatial Computational Systems Biology", Wadern, Germany, 23. November 2014 - 28. November 2014. Dagstuhl Reports 4 (11), S. 195 - 214 (2015)

Blätke, M. A.; Rohr, C.: 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), Bd. 1373, S. 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, 21. Juni 2015 - 26. Juni 2015. (2015)

Cordero, F.; Gambin, A.; Kierzek, A.; Madelaine, G.; Niehren, J.; Rohr, C.; Wronowska, W.: Multiscale modeling of S1P metabolism, secretion and signaling. Dagstuhl Seminar 14481 "Multiscale Spatial Computational Systems Biology", Wadern, Germany, 23. November 2014 - 28. November 2014. Dagstuhl Reports 4 (11), S. 195 - 214 (2015)

Herajy, M.; Liu, F.; Rohr, C.: Coloured hybrid Petri nets for systems biology. In: BioPPN 2014, a satellite event of PETRI NETS 2014. CEUR Workshop Proceedings, Bd. 1159, S. 60 - 76. 5th International Workshop on Biological Processes & Petri Nets (BioPPN 2014), Tunis, Tunesia, 23. Juni 2014. (2014)

Heiner, M.; Rohr, C.; Schwarick , M.: 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, Bd. 7927, S. 389 - 399. International Conference on Application and Theory of Petri Nets and Concurrency - PETRI NETS 2013, Milano, Italy, 24. Juni 2013 - 28. Juni 2013. Springer, Berlin, Heidelberg (2013)

Heiner, M.; Herajy, M.; Liu, F.; Rohr, C.; Schwarick , M.: Snoopy – A Unifying Petri Net Tool. In: Application and Theory of Petri Nets. PETRI NETS 2012. Lecture Notes in Computer Science, Bd. 7347, S. 398 - 407. International Conference on Application and Theory of Petri Nets and Concurrency - PETRI NETS 2012, Trento, Italy, 29. September 2010 - 01. Oktober 2010. (2012)

Rohr, C.: 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, Bd. 852, S. 62 - 75. 3rd International Workshop on Biological Processes & Petri Nets (BioPPN 2012), Hamburg, Germany, 25. Juni 2012. (2012)

Schwarick , M.; Heiner, M.; Rohr, C.: MARCIE - Model Checking and Reachability Analysis Done EffiCIEntly. In: 2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST), S. 91 - 100. 2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST), Aachen, Germany, 05. September 2011 - 08. September 2011. (2011)

Heiner, M.; Rohr, C.; Schwarick , M.; Streif, S.: A comparative study of stochastic analysis techniques. In: CMSB '10 Proceedings of the 8th International Conference on Computational Methods in Systems Biology, S. 96 - 106. 8th International Conference on Computational Methods in Systems Biology - CMSB '10, Trento, Italy, 29. September 2010 - 01. Oktober 2010. (2010)

Rohr, C.: 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, Bd. 643, S. 88 - 93. 17th German Workshop on Algorithms and Tools for Petri Nets (AWPN 2010), Cottbus, Germany, 07. Oktober 2010 - 08. Oktober 2010. (2010)

Rohr, C.: Discrete-time leap method for stochastic simulation. 7th International Workshop on Biological Processes & Petri Nets (BioPPN 2016), Toruń, Poland (2016)

Blätke, M. A.; Rohr, C.: 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)