Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

A High-Level LTL Synthesis Format: TLSF v1.1 (Extended Version)., und . SYNT@CAV, Volume 229 von EPTCS, Seite 112-132. (2016)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)Bounded Synthesis of Reactive Programs., , und . ATVA, Volume 11138 von Lecture Notes in Computer Science, Seite 441-457. Springer, (2018)Configurable instances of 3D models for declarative 3D in the web., , , und . Web3D, Seite 71-79. ACM, (2014)A High-Level LTL Synthesis Format: TLSF v1.1., , und . SYNT@CAV, Volume 229 von EPTCS, Seite 112-132. (2016)The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results., , , , , , , , , und 4 andere Autor(en). CoRR, (2019)Reactive Synthesis: Towards Output-Sensitive Algorithms., und . CoRR, (2018)Temporal Stream Logic: Synthesis beyond the Bools., , , und . CoRR, (2017)XML3D and Xflow: Combining Declarative 3D for the Web with Generic Data Flows., , , und . IEEE Computer Graphics and Applications, 33 (5): 38-47 (2013)shade.js: Adaptive Material Descriptions., , , und . Comput. Graph. Forum, 33 (7): 51-60 (2014)