Author of the publication

A Perfect Class of Context-Sensitive Timed Languages.

, , , , and . DLT, volume 9840 of Lecture Notes in Computer Science, page 38-50. Springer, (2016)

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

Bounded Model Checking for Unbounded Client Server Systems., , and . CoRR, (2022)Kleene Theorem for Labelled Free Choice Nets without Distributed Choice.. PNSE @ Petri Nets, volume 1591 of CEUR Workshop Proceedings, page 132-152. CEUR-WS.org, (2016)Kleene Theorems for Product Systems., , and . DCFS, volume 6808 of Lecture Notes in Computer Science, page 235-247. Springer, (2011)Combining Free Choice and Time in Petri Nets., , and . TIME, page 120-129. IEEE Computer Society, (2016)Kleene Theorems for Labelled Free Choice Nets., and . PNSE @ Petri Nets, volume 1160 of CEUR Workshop Proceedings, page 75-89. CEUR-WS.org, (2014)Kleene Theorems for Free Choice Automata over Distributed Alphabets.. Trans. Petri Nets Other Model. Concurr., (2019)On Timed Scope-Bounded Context-Sensitive Languages., , , and . DLT, volume 11647 of Lecture Notes in Computer Science, page 168-181. Springer, (2019)Kleene Theorems for Free Choice Nets Labelled with Distributed Alphabets.. PNSE@Petri Nets/ACSD, volume 2138 of CEUR Workshop Proceedings, page 77-98. CEUR-WS.org, (2018)