PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Rohr, Christian"

Author of the publication

copydeleteadd this publication to your clipboard
MARCIE's Secrets of Efficient Model Checking.

, , , and . T. Petri Nets and Other Models of Concurrency, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dr. Norbert Röhrl University of Stuttgart

Prof. Dr. Christian Rohrer University of Stuttgart

Univ. -Prof. Dr. Oliver Röhrle University of Stuttgart

Raphael Rohrmüller University of Stuttgart

Univ. -Prof. Dr. Christian Rohde University of Stuttgart

Rigorous derivation of discrete fracture models for Darcy flow in the limit of vanishing aperture, and . Networks and heterogeneous media, 19 (1): 114-156 (2024)
 

Other publications of authors with the same name

Petri-net-based 2D design of DNA walker circuits., , and . Natural Computing, 17 (1): 161-182 (2018)BioModelKit: Spatial Modelling of Complex Multiscale Molecular Biosystems Based on Modular Models., and . Fundam. Inform., 160 (1-2): 221-254 (2018)Raw Report on the Model Checking Contest at Petri Nets 2012, , , , , , , , , and 4 other author(s). CoRR, (2012)Simulative Model Checking of Steady State and Time-Unbounded Temporal Operators.. Trans. Petri Nets and Other Models of Concurrency, (2013)MARCIE - Model Checking and Reachability Analysis Done Efficiently., , and . Petri Nets, volume 7927 of Lecture Notes in Computer Science, page 389-399. Springer, (2013)MARCIE - Model Checking and Reachability Analysis Done EffiCIEntly., , and . QEST, page 91-100. IEEE Computer Society, (2011)Snoopy - a unifying Petri net framework to investigate biomolecular networks., , and . Bioinformatics, 26 (7): 974-975 (2010)MARCIE's Secrets of Efficient Model Checking., , , and . T. Petri Nets and Other Models of Concurrency, (2016)Coloured Hybrid Petri Nets: An adaptable modelling approach for multi-scale biological networks., , , and . Computational Biology and Chemistry, (2018)A Colored Petri net approach for spatial Biomodel Engineering based on the modular model composition framework Biomodelkit., and . BioPPN@Petri Nets, volume 1373 of CEUR Workshop Proceedings, page 37-54. CEUR-WS.org, (2015)