( en | de | ru )

 

Disambiguation of "Faymonville, Peter"

Author of the publication

copydeleteadd this publication to your clipboard
Parametric Linear Dynamic Logic.

, and . GandALF, volume 161 of EPTCS, page 60-73. (2014)

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.

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)
 

Other publications of authors with the same name

StreamLAB: Stream-based Monitoring of Cyber-Physical Systems., , , , , , and . CAV (1), volume 11561 of Lecture Notes in Computer Science, page 421-431. Springer, (2019)Monitoring Parametric Temporal Logic., , and . VMCAI, volume 8318 of Lecture Notes in Computer Science, page 357-375. Springer, (2014)The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results., , , , , , , , , and 4 other author(s). CoRR, (2019)CAPTCHA-based image labeling on the Soylent Grid., , , and . KDD Workshop on Human Computation, page 46-49. ACM, (2009)Encodings of Bounded Synthesis., , , and . TACAS (1), volume 10205 of Lecture Notes in Computer Science, page 354-370. (2017)Monitoring with Parameters.. Saarland University, Saarbrücken, Germany, (2019)BoSy: An Experimentation Framework for Bounded Synthesis., , and . CAV (2), volume 10427 of Lecture Notes in Computer Science, page 325-332. Springer, (2017)A Stream-Based Specification Language for Network Monitoring., , , and . RV, volume 10012 of Lecture Notes in Computer Science, page 152-168. Springer, (2016)BUBL: An effective region labeling tool using a hexagonal lattice., , and . ICCV Workshops, page 2072-2079. IEEE Computer Society, (2009)Stream Runtime Monitoring on UAS., , , , and . RV, volume 10548 of Lecture Notes in Computer Science, page 33-49. Springer, (2017)