Jan-David Quesel
Papers
1
Total Citations
13
H-Index
1
About
No biography available yet.
Research Focus
Algebra over a field1 · 13 citations
Combinatorics1 · 13 citations
Computer science1 · 13 citations
Differential (mechanical device)1 · 13 citations
Discrete mathematics1 · 13 citations
Extension (predicate logic)1 · 13 citations
Gas meter prover1 · 13 citations
Geometry1 · 13 citations
Liveness1 · 13 citations
Mathematical proof1 · 13 citations
Mathematics1 · 13 citations
Noetherian1 · 13 citations
Key Achievements
1
H-Index
1
Papers
13
Total Citations
13
Avg Citations/Paper
🏆 Most Cited Paper
Playing Hybrid Games with KeYmaera
13 citations · 2012
📈 Most Prolific Year: 2012 (1 Papers)
🤝 Key Collaborators: 1
🏛 Institutions: Carl von Ossietzky Universität Oldenburg
Top Papers
- 1Playing Hybrid Games with KeYmaera13 citations · 2012
Key Collaborators
Not generated yet