Robert Sachtleben
Papers
1
Total Citations
7
H-Index
1
About
No biography available yet.
Research Focus
Artificial intelligence1 · 7 citations
Code (set theory)1 · 7 citations
Compiler1 · 7 citations
Computer science1 · 7 citations
Control (management)1 · 7 citations
Engineering1 · 7 citations
Engineering management1 · 7 citations
Focus (optics)1 · 7 citations
Programming language1 · 7 citations
SWOT analysis1 · 7 citations
Software1 · 7 citations
Software engineering1 · 7 citations
Key Achievements
1
H-Index
1
Papers
7
Total Citations
7
Avg Citations/Paper
🏆 Most Cited Paper
Qualification of proof assistants, checkers, and generators: Where are we and what next?
7 citations · 2023
📈 Most Prolific Year: 2023 (1 Papers)
🤝 Key Collaborators: 2
🏛 Institutions: University of Bremen
Top Papers
- 1
Key Collaborators
Not generated yet