Felix Klein

Identifiers

• name variant Felix Klein 0.60 · backfill

Papers (12)

1. Synthesizing Functional Reactive Programs cs.PL · 2019 · author #2
2. The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results cs.LO · 2019 · author #7
3. Bounded Synthesis of Reactive Programs cs.FL · 2018 · author #2
4. Vehicle Platooning Simulations with Functional Reactive Programming cs.PL · 2018 · author #2
5. Reactive Synthesis: Towards Output-Sensitive Algorithms cs.LO · 2018 · author #2
6. Temporal Stream Logic: Synthesis beyond the Bools cs.LO · 2017 · author #2
7. Bounded Cycle Synthesis cs.LO · 2016 · author #2
8. Prompt Delay cs.GT · 2016 · author #1
9. A High-Level LTL Synthesis Format: TLSF v1.0 cs.LO · 2016 · author #2
10. What are Strategies in Delay Games? Borel Determinacy for Games with Lookahead cs.LO · 2015 · author #1
11. Solving 3-Color Parity Games in $ O(n^2) $ Time cs.LO · 2014 · author #1
12. SDSS J120923.7+264047: A new massive galaxy cluster with a bright giant arc astro-ph · 2008 · author #3

Mentions

• 1504.02627 #1 · backfill · confidence 0.70 Felix Klein
• 1412.5159 #1 · backfill · confidence 0.70 Felix Klein
• 0808.0721 #3 · backfill · confidence 0.70 Felix Klein

Frequent Coauthors

• Bernd Finkbeiner 7 shared papers
• Mark Santolucito 3 shared papers
• Ruzica Piskac 3 shared papers
• Martin Zimmermann 2 shared papers
• Swen Jacobs 2 shared papers
• Adam Walker 1 shared papers
• Ayrat Khalimov 1 shared papers
• Carsten Gerstacker 1 shared papers
• Eran O. Ofek 1 shared papers
• Leander Tentrup 1 shared papers
• Maximilien Colange 1 shared papers
• Michael Luttenberger 1 shared papers
• Mouhammad Sakr 1 shared papers
• Peter Faymonville 1 shared papers
• Philipp J. Meyer 1 shared papers
• Roderick Bloem 1 shared papers
• Salomon Sickert 1 shared papers
• Stella Seitz 1 shared papers
• Thibaud Michaud 1 shared papers