( en | de | ru )

 

Disambiguierung von "Klein, Felix"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results.

, , , , , , , , , , , , , , , und . SYNT@CAV, Volume 229 von EPTCS, Seite 149-177. (2016)

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

Temporal Stream Logic: Synthesis beyond the Bools., , , und . CoRR, (2017)Reactive Synthesis: Towards Output-Sensitive Algorithms., und . CoRR, (2018)Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications., , , und . CoRR, (2021)The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results., , , , , , , , , und 4 andere Autor(en). CoRR, (2019)Ueber Liniengeometrie und metrische Geometrie. Mathematische Annalen, 5 (2): 257--277 (1872)Bounded Synthesis of Reactive Programs., , und . ATVA, Volume 11138 von Lecture Notes in Computer Science, Seite 441-457. Springer, (2018)Live synthesis., , und . Innov. Syst. Softw. Eng., 18 (3): 443-454 (2022)Synthesizing stream control.. Saarland University, Saarbrücken, Germany, (2020)The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results., , , , , , , , , und 4 andere Autor(en). SYNT@CAV, Volume 260 von EPTCS, Seite 116-143. (2017)Live Synthesis., , und . ATVA, Volume 12971 von Lecture Notes in Computer Science, Seite 153-169. Springer, (2021)