Christian Rohr

Citée par

	Toutes	Depuis 2018
Citations	1181	507
indice h	17	11
indice i10	23	15

160

120

20082009201020112012201320142015201620172018201920202021202220233 5 15 45 69 106 113 99 97 100 144 113 91 75 82 2

Accès public

Tout afficher

2 articles

1 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Mostafa HerajyFaculty of Science, Port Said UniversityAdresse e-mail validée de sci.psu.edu.eg
Wolfgang MarwanOtto von Guericke University MagdeburgAdresse e-mail validée de ovgu.de
Yann Thierry-MiegLaboratoire d'Informatique de Paris 6Adresse e-mail validée de lip6.fr
Lom HillahLaboratoire d'informatique de Paris 6Adresse e-mail validée de lip6.fr
Karsten WolfProfessor für Informatik, Universität RostockAdresse e-mail validée de uni-rostock.de
Fabrice KordonProfesseur d'Informatique, Sorbonne UniversitéAdresse e-mail validée de lip6.fr
Mary-Ann BlätkeLeibniz Institute of Plant Genetics and Crop Plant Research (IPK)Adresse e-mail validée de ipk-gatersleben.de
Marco BeccutiUniv. degli studi di TorinoAdresse e-mail validée de di.unito.it
Jeroen MeijerEijsinkAdresse e-mail validée de eijsink.nl
Jiri SrbaProfessor of Computer Science, Aalborg UniversityAdresse e-mail validée de cs.aau.dk
Franck PommereauProfessor of Computer Science, Évry University, Paris-Saclay UniversityAdresse e-mail validée de univ-evry.fr
César RodríguezDiffblue, Oxford, UK & Associate Professor, University of Paris 13, FranceAdresse e-mail validée de lipn.fr
Didier BuchsProfessor of Computer Science, Geneva UniversityAdresse e-mail validée de unige.ch
Niels LohmannUniversität RostockAdresse e-mail validée de uni-rostock.de
Loïg JezequelUniversité de Nantes, LS2NAdresse e-mail validée de ls2n.fr
Alexis MarechalUniversidad Privada Boliviana (UPB)Adresse e-mail validée de lp.upb.edu
David GilbertProfessor of Computer Science, Brunel UniversityAdresse e-mail validée de brunel.ac.uk
Fred SchaperProfessor of Systems Biology, Otto-von-Guericke University MagdeburgAdresse e-mail validée de ovgu.de
Simon V. HardyAssociate professor, Université LavalAdresse e-mail validée de ift.ulaval.ca
Carsten MausDKFZ Heidelberg, Division of Theoretical Systems BiologyAdresse e-mail validée de dkfz-heidelberg.de

Suivre

Christian Rohr

BTU Cottbus-Senftenberg

Adresse e-mail validée de b-tu.de


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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	308	2012
Snoopy—a unifying Petri net framework to investigate biomolecular networks C Rohr, W Marwan, M Heiner Bioinformatics 26 (7), 974-975, 2010	194	2010
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	101	2013
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	62	2012
Marcie-model checking and reachability analysis done efficiently M Schwarick, M Heiner, C Rohr 2011 Eighth International Conference on Quantitative Evaluation of SysTems …, 2011	46	2011
Complete Results for the 2015 Edition of the Model Checking Contest F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, A Linard, M Beccuti, ...	42	2015
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	35	2013
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	32	2010
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	32	2008
Manual for colored Petri nets in Snoopy F Liu, M Heiner, C Rohr Brandenburg University of Technology Cottbus, available at: http://www-dssz …, 2012	30	2012
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	29	2017
Coloured hybrid Petri nets for systems biology. M Herajy, F Liu, C Rohr BioPPN@ Petri Nets, 60-76, 2014	24	2014
Application and Theory of Petri Nets M Heiner, M Herajy, F Liu, C Rohr, M Schwarick Springer, 2012	23*	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, ...	23
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	20	2018
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	19	2012
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	17	2016
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	16	2013
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, ...	16
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, ...	16

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs