( en | de | ru )

 

Disambiguation of "Gastin, Paul"

Author of the publication

copydeleteadd this publication to your clipboard
Timed Systems through the Lens of Logic.

, , , and . LICS, page 1-13. IEEE, (2019)

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.

Fritz Paul

Klaus Paul

Reta Pauls

Gotthard Paulus

Otto Pauli

 

Other publications of authors with the same name

Fair Synthesis for Asynchronous Distributed Systems., and . ACM Trans. Comput. Log., 14 (2): 9:1-9:31 (2013)Editorial., and . Journal of Automata, Languages and Combinatorics, 7 (2): 165 (2002)Asynchronous Cellular Automata for Pomsets Without Auto-concurrency., and . CONCUR, volume 1119 of Lecture Notes in Computer Science, page 627-638. Springer, (1996)Intersection of Regular Signal-Event (Timed) Languages., , and . FORMATS, volume 4202 of Lecture Notes in Computer Science, page 52-66. Springer, (2006)Fast Algorithms for Handling Diagonal Constraints in Timed Automata., , and . CAV (1), volume 11561 of Lecture Notes in Computer Science, page 41-59. Springer, (2019)Specification and Verification using Temporal Logics., and . Modern Applications of Automata Theory, volume 2 of IISc Research Monographs Series, World Scientific, (2012)Avoiding State Explosion for Distributed Systems with Timestamps., , and . FME, volume 2021 of Lecture Notes in Computer Science, page 119-134. Springer, (2001)Recognizable Complex Trace Languages., , and . MFCS, volume 520 of Lecture Notes in Computer Science, page 131-140. Springer, (1991)On Recognizable and Rational Formal Power Series in Partially Commuting Variables., and . ICALP, volume 1256 of Lecture Notes in Computer Science, page 682-692. Springer, (1997)Weighted Automata and Weighted Logics., and . ICALP, volume 3580 of Lecture Notes in Computer Science, page 513-525. Springer, (2005)