Lukas Bulwahn
Papers
1
Total Citations
5
H-Index
1
About
No biography available yet.
Research Focus
Artificial intelligence1 · 5 citations
Computer science1 · 5 citations
Engineering1 · 5 citations
Engineering management1 · 5 citations
Formal methods1 · 5 citations
Formal verification1 · 5 citations
Programming language1 · 5 citations
Robot1 · 5 citations
Robotics1 · 5 citations
Software engineering1 · 5 citations
Systems engineering1 · 5 citations
Key Achievements
1
H-Index
1
Papers
5
Total Citations
5
Avg Citations/Paper
🏆 Most Cited Paper
Proceedings First Workshop on Formal Verification of Autonomous Vehicles
5 citations · 2017
📈 Most Prolific Year: 2017 (1 Papers)
🤝 Key Collaborators: 2
🏛 Institutions: BMW (Germany)
Top Papers
- 1Proceedings First Workshop on Formal Verification of Autonomous Vehicles5 citations · 2017
Key Collaborators
Not generated yet