Felix Klein
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
8
Active years
2015–2025
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | HOTI | bittide: Control Time, Not Flows. | Martijn Bastiaan, Christiaan Baaij, Martin Izzard, Felix Klein, Sanjay Lall, Tammo Spalink |
| 2021 | ATVA | Live Synthesis. | Bernd Finkbeiner, Felix Klein, Niklas Metzger |
| 2019 | CAV | Temporal Stream Logic: Synthesis Beyond the Bools. | Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito |
| 2019 | FMCAD | Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications. | Gideon Geier, Philippe Heim, Felix Klein, Bernd Finkbeiner |
| 2019 | HASKELL | Synthesizing functional reactive programs. | Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito |
| 2018 | ATVA | Bounded Synthesis of Reactive Programs. | Carsten Gerstacker, Felix Klein, Bernd Finkbeiner |
| 2016 | CAV | Bounded Cycle Synthesis. | Bernd Finkbeiner, Felix Klein |
| 2015 | CSL | What are Strategies in Delay Games? Borel Determinacy for Games with Lookahead. | Felix Klein, Martin Zimmermann |
| 2015 | ICALP | How Much Lookahead is Needed to Win Infinite Games? | Felix Klein, Martin Zimmermann |
| 2015 | SIGGRAPH | The XML3D architecture. | Kristian Sons, Felix Klein, Jan Sutter, Philipp Slusallek |