Hanna Klaudel - Concepedia

Author

Hanna Klaudel

Informatique, BioInformatique, Systèmes Complexes

Also Known As

H. Klaudel, Hanna Klaudel, Klaudel, H., Klaudel, Hanna, M Klaudel

129

Publications

658

Citations

H-Index

Concepts

All Affiliations

Informatique, BioInformatique, Systèmes Complexes Université d'Évry Val-d'Essonne Université Libre de Bruxelles Newcastle University Centre National de la Recherche Scientifique

About

Hanna Klaudel is an author at Informatique, BioInformatique, Systèmes Complexes specializing in engineering, automated reasoning, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	7	7	152
2	Computer Science	4	4	107
3	Natural Sciences	1	1	15
4	Biology	1	1	11
5	Computer Engineering	1	1	23

Hanna Klaudel

Publications

185

Citations

H-Index

Page 1

	Year	Citations
M-nets: An algebra of high-level Petri nets, with an application to the semantics of concurrent programming languages Eike Best, Wojciech Frączak, Richard P. Hopkins, Acta Informatica Petri NetConcurrent Programming LanguagesEngineeringProgram AnalysisAutomated Reasoning	1998	55
A Class of Composable High Level Petri Nets with an Application to the Semantics of B(PN)2 Eike Best, Hans Fleischhack, Wojciech Frączak, Applications and Theory of Petri Nets Petri NetComputational LogicFormal SpecificationEngineeringAutomated Reasoning	1995	23
A compositional Petri net translation of general <i>π</i> -calculus terms Raymond Devillers, Hanna Klaudel, Maciej Koutny Formal Aspects of Computing	2008	21
General parameterised refinement and recursion for the M-net calculus Raymond Devillers, Hanna Klaudel, Robert-C. Riemann Theoretical Computer Science EngineeringAutomated ReasoningM-net CalculusFormal MethodsComputational Complexity	2003	19
VerifCar: a framework for modeling and model checking communicating autonomous vehicles Johan Arcile, Raymond Devillers, Hanna Klaudel Autonomous Agents and Multi-Agent Systems EngineeringFormal ModelingAutonomous VehiclesAutomated ReasoningAutomation	2019	16
Integrated regulatory networks (IRNs): Spatially organized biochemical modules Jean‐Louis Giavitto, Hanna Klaudel, Franck Pommereau Theoretical Computer Science EngineeringNatural SciencesBiological NetworkComputational BiologyMolecular Biology	2011	15
Petri Net Semantics of the Finite π-calculus Terms Raymond Devillers, Hanna Klaudel, Maciej Koutny Fundamenta Informaticae Petri NetProcess CalculusEngineeringOperational SemanticsAutomated Reasoning	2006	13
Petri nets with causal time for system verification Cécile Bui Thanh, Hanna Klaudel, Franck Pommereau Electronic Notes in Theoretical Computer Science	2003	12
Discrete causal model view of biological networks Franck Delaplace, Hanna Klaudel, Amandine Cartier-Michaud BiologyRegulatory PathwaysEnvironmental SignalingNetwork ScienceBiological Networks	2010	11

Page 1