( en | de | ru )

 

Disambiguierung von "Klein, Felix"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Bounded Synthesis of Reactive Programs.

, , und . ATVA, Volume 11138 von Lecture Notes in Computer Science, Seite 441-457. Springer, (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Felix Klein

Felix Klein

Felix Klein

Felix Klein-Franke

Felix Alexander Klein

 

Weitere Publikationen von Autoren mit dem selben Namen

Reactive Synthesis: Towards Output-Sensitive Algorithms., und . CoRR, (2018)Temporal Stream Logic: Synthesis beyond the Bools., , , und . CoRR, (2017)The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results., , , , , , , , , und 4 andere Autor(en). CoRR, (2019)Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications., , , und . CoRR, (2021)Reactive Synthesis: Towards Output-Sensitive Algorithms., und . Dependable Software Systems Engineering, Volume 50 von NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2017)Ueber die sogenannte Nicht-Euklidische Geometrie. Zweiter Aufsatz.. Mathematische Annalen, 6 (2): 112--145 (1873)The Reactive Synthesis Competition (SYNTCOMP): 2018-2021., , , , , , , , , und 15 andere Autor(en). CoRR, (2022)Synthesizing functional reactive programs., , , und . Haskell@ICFP, Seite 162-175. ACM, (2019)Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications., , , und . FMCAD, Seite 138-146. IEEE, (2019)Bounded Synthesis of Reactive Programs., , und . ATVA, Volume 11138 von Lecture Notes in Computer Science, Seite 441-457. Springer, (2018)