( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results.

, , , , , , , , , , , , , и . SYNT@CAV, том 260 из EPTCS, стр. 116-143. (2017)

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.

Rudolf Faymonville

Karl Faymonville

Christoph Faymonville

Tanja Elisabeth Peters

George Gershwins und Jerome Kerns Musicalsongs: ihre Ähnlichkeit, Wahrnehmung und musikalische Struktur. Uni Köln, (2008)

Andre Peters

Description and determination of soil hydraulic properties on the laboratory scale. TU Braunschweig, (2008)
 

Другие публикации лиц с тем же именем

Encodings of Bounded Synthesis., , , и . TACAS (1), том 10205 из Lecture Notes in Computer Science, стр. 354-370. (2017)Monitoring with Parameters.. Saarland University, Saarbrücken, Germany, (2019)Monitoring Parametric Temporal Logic., , и . VMCAI, том 8318 из Lecture Notes in Computer Science, стр. 357-375. Springer, (2014)The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results., , , , , , , , , и 4 other автор(ы). CoRR, (2019)CAPTCHA-based image labeling on the Soylent Grid., , , и . KDD Workshop on Human Computation, стр. 46-49. ACM, (2009)The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results., , , , , , , , , и 4 other автор(ы). SYNT@CAV, том 260 из EPTCS, стр. 116-143. (2017)Real-time Stream-based Monitoring., , , и . CoRR, (2017)BoSy: An Experimentation Framework for Bounded Synthesis., , и . CAV (2), том 10427 из Lecture Notes in Computer Science, стр. 325-332. Springer, (2017)A Stream-Based Specification Language for Network Monitoring., , , и . RV, том 10012 из Lecture Notes in Computer Science, стр. 152-168. Springer, (2016)BUBL: An effective region labeling tool using a hexagonal lattice., , и . ICCV Workshops, стр. 2072-2079. IEEE Computer Society, (2009)