Christian Rohr

Affiliations:
  • Brandenburg University of Technology, Computer Science Department, Cottbus, Germany


According to our database1, Christian Rohr authored at least 19 papers between 2010 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Efficient Unfolding of Coloured Petri Nets Using Interval Decision Diagrams.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2020

2019
Towards dynamic genome-scale models.
Briefings Bioinform., 2019

2018
Petri-net-based 2D design of DNA walker circuits.
Nat. Comput., 2018

Discrete-Time Leap Method For Stochastic Simulation.
Fundam. Informaticae, 2018

BioModelKit: Spatial Modelling of Complex Multiscale Molecular Biosystems Based on Modular Models.
Fundam. Informaticae, 2018

Coloured Hybrid Petri Nets: An adaptable modelling approach for multi-scale biological networks.
Comput. Biol. Chem., 2018

2017
Snoopy's hybrid simulator: a tool to construct and simulate hybrid biological models.
BMC Syst. Biol., 2017

2016
MARCIE's Secrets of Efficient Model Checking.
Trans. Petri Nets Other Model. Concurr., 2016

2015
A Colored Petri net approach for spatial Biomodel Engineering based on the modular model composition framework Biomodelkit.
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), 2015

2014
Coloured hybrid Petri nets for systems biology.
Proceedings of the 5th International Workshop on Biological Processes & Petri Nets co-located with 35th International Conference on Application and Theory of Petri Nets and Concurreny (PETRI NETS 2014), 2014

A Petri-Net-Based Framework for Biomodel Engineering.
Proceedings of the Large-Scale Networks in Engineering and Life Sciences, 2014

2013
Simulative Model Checking of Steady State and Time-Unbounded Temporal Operators.
Trans. Petri Nets Other Model. Concurr., 2013

Model Checking Contest @ Petri Nets, Report on the 2013 edition.
CoRR, 2013

2012
Raw Report on the Model Checking Contest at Petri Nets 2012
CoRR, 2012

Snoopy - A Unifying Petri Net Tool.
Proceedings of the Application and Theory of Petri Nets - 33rd International Conference, 2012

2011
MARCIE - Model Checking and Reachability Analysis Done EffiCIEntly.
Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

2010
Snoopy - a unifying Petri net framework to investigate biomolecular networks.
Bioinform., 2010

A comparative study of stochastic analysis techniques.
Proceedings of the Computational Methods in Systems Biology, 8th International Conference, 2010

Simulative CSL model checking of Stochastic Petri nets in IDD-MC.
Proceedings of the 17th German Workshop on Algorithms and Tools for Petri Nets, 2010


  Loading...