Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

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