Hanna Klaudel
Hanna Klaudel publishes mostly in Computational Theory and Mathematics, Molecular Biology and Artificial Intelligence, on topics such as Petri Nets in System Modeling, Formal Methods in Verification and Business Process Modeling and Analysis.
- World rank
- #1,244,437 of 1,633,909 ranked researchers
- Rank in France
- #76,087 of 96,116
- Works
- 43
- Citations
- 44
- Citations per work
- 1.0
What does Hanna Klaudel research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Computational Theory and Mathematics39% of their works
- 2Molecular Biology8% of their works
- 3Artificial Intelligence8% of their works
- 4Computer Networks and Communications7% of their works
- 5Management Information Systems7% of their works
- 6Hardware and Architecture6% of their works
Research topics
Which keywords describe Hanna Klaudel's research?
The keywords of their largest research topics: Model Checking, Deadlock Prevention, Petri Nets, Satisfiability Modulo Theories, Symbolic Model Checker, Business Process Management, Workflow Mining and Distributed Systems.
- Hard Real-Time Systems
- Static Analysis
- QoS-Aware Middleware
- Formal Verification
- Distributed Systems
- Business Process Management
- Satisfiability Modulo Theories
- Deadlock Prevention
- Model Checking
- Petri Nets
- Symbolic Model Checker
- Workflow Mining
- Fault Tolerance
- Gene Regulatory Networks
- Semantic Web Services
- Stochastic Gene Expression
- Scheduling Algorithms
Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most.
All 17 words, with their numbers
- Model Checking192 topics
- Deadlock Prevention181 topic
- Petri Nets181 topic
- Satisfiability Modulo Theories151 topic
- Symbolic Model Checker151 topic
- Business Process Management61 topic
- Workflow Mining61 topic
- Distributed Systems51 topic
- Fault Tolerance51 topic
- Formal Verification41 topic
- Gene Regulatory Networks41 topic
- QoS-Aware Middleware41 topic
- Semantic Web Services41 topic
- Static Analysis41 topic
- Stochastic Gene Expression41 topic
- Hard Real-Time Systems31 topic
- Scheduling Algorithms31 topic
Where does Hanna Klaudel work?
Hanna Klaudel's main affiliation in the publication record is Informatique, BioInformatique, Systèmes Complexes, France.
How many publications and citations does Hanna Klaudel have?
Science Explorer counts 43 works and 44 citations for Hanna Klaudel, ranking #1,244,437 of 1,633,909 researchers worldwide on the composite score.
Ranked on field-normalised excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.
Papers, co-authors, who cited this work and researchers on the nearest topics are in the interactive view on the map. Is this your page? Request a correction or removal.