Bernd Finkbeiner

Helmholtz Center for Information Security

Papers

3

Total Citations

11

H-Index

3

About

No biography available yet.

Research Focus

Theoretical computer science3 · 11 citations
Computer science3 · 11 citations
Programming language3 · 11 citations
Temporal logic3 · 11 citations
Implementation2 · 8 citations
Extension (predicate logic)2 · 8 citations
Linear temporal logic1 · 5 citations
Artificial intelligence1 · 3 citations
Robustness (evolution)1 · 3 citations
Formalism (music)1 · 3 citations
Software engineering1 · 3 citations
Specification1 · 3 citations

Key Achievements

3
H-Index
3
Papers
11
Total Citations
4
Avg Citations/Paper
🏆 Most Cited Paper
Live Synthesis
5 citations · 2021
📈 Most Prolific Year: 2021 (1 Papers)
🤝 Key Collaborators: 7
🏛 Institutions: Helmholtz Center for Information Security

Top Papers

  1. 1
    Live Synthesis
    5 citations · 2021
  2. 2
    Live synthesis
    3 citations · 2022
  3. 3
    Temporal Behavior Trees: Robustness and Segmentation
    3 citations · 2024

Key Collaborators

FKF. Klein2 shared papersNMNiklas Metzger2 shared papersEJEmily Jensen1 shared papersSSSriram Sankaranarayanan1 shared papersJCJohann C. Dauer1 shared papersJSJasdeep Singh1 shared papersSSSebastian Schirmer1 shared papers
Not generated yet