Papers
2
Total Citations
8
H-Index
2
About
No biography available yet.
Research Focus
Computer science2 · 8 citations
Extension (predicate logic)2 · 8 citations
Implementation2 · 8 citations
Programming language2 · 8 citations
Temporal logic2 · 8 citations
Theoretical computer science2 · 8 citations
Linear temporal logic1 · 5 citations
Embedded system1 · 3 citations
System requirements specification1 · 3 citations
High-level synthesis1 · 3 citations
Software engineering1 · 3 citations
Key Achievements
2
H-Index
2
Papers
8
Total Citations
4
Avg Citations/Paper
🏆 Most Cited Paper
Live Synthesis
5 citations · 2021
📈 Most Prolific Year: 2021 (1 Papers)
🤝 Key Collaborators: 2
🏛 Institutions: Helmholtz Center for Information Security
Top Papers
- 1Live Synthesis5 citations · 2021
- 2Live synthesis3 citations · 2022
Key Collaborators
Not generated yet