Andr Platzer
Papers
1
Total Citations
238
H-Index
1
About
No biography available yet.
Research Focus
Artificial intelligence1 · 238 citations
Automation1 · 238 citations
Computer science1 · 238 citations
Control engineering1 · 238 citations
Engineering1 · 238 citations
Hybrid system1 · 238 citations
Logical analysis1 · 238 citations
Machine learning1 · 238 citations
Mathematics1 · 238 citations
Perspective (graphical)1 · 238 citations
Process (computing)1 · 238 citations
Programming language1 · 238 citations
Key Achievements
1
H-Index
1
Papers
238
Total Citations
238
Avg Citations/Paper
🏆 Most Cited Paper
Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics
238 citations · 2010
📈 Most Prolific Year: 2010 (1 Papers)
🤝 Key Collaborators: 0
Top Papers
- 1Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics238 citations · 2010
Not generated yet