Frank Ciesinski
Papers
1
Total Citations
27
H-Index
1
About
No biography available yet.
Research Focus
Algorithm1 · 27 citations
Artificial intelligence1 · 27 citations
Automaton1 · 27 citations
Computer science1 · 27 citations
Context (archaeology)1 · 27 citations
Controller (irrigation)1 · 27 citations
Decidability1 · 27 citations
Finite-state machine1 · 27 citations
Markov decision process1 · 27 citations
Markov process1 · 27 citations
Mathematics1 · 27 citations
Model checking1 · 27 citations
Key Achievements
1
H-Index
1
Papers
27
Total Citations
27
Avg Citations/Paper
🏆 Most Cited Paper
Model Checking Linear-Time Properties of Probabilistic Systems
27 citations · 2009
📈 Most Prolific Year: 2009 (1 Papers)
🤝 Key Collaborators: 2
🏛 Institutions: TU Dresden
Top Papers
- 1Model Checking Linear-Time Properties of Probabilistic Systems27 citations · 2009
Key Collaborators
Not generated yet