( en | de | ru )

 

Disambiguation of "Clemente, Lorenzo"

Author of the publication

copydeleteadd this publication to your clipboard
Timed Basic Parallel Processes.

, , and . CONCUR, volume 140 of LIPIcs, page 15:1-15:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (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.

Lorenzo Clemente

Gianluigi Clemente

Peter Clemente

Carl Clemente

Angela Clemente

 

Other publications of authors with the same name

Timed Basic Parallel Processes., , and . CONCUR, volume 140 of LIPIcs, page 15:1-15:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Determinisability of One-Clock Timed Automata., , and . CONCUR, volume 171 of LIPIcs, page 42:1-42:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)On the complexity of the universality and inclusion problems for unambiguous context-free grammars (technical report).. CoRR, (2020)Determinisability of register and timed automata., , and . CoRR, (2021)Cost Automata, Safe Schemes, and Downward Closures., , , and . Fundam. Informaticae, 188 (3): 127-178 (2022)Timed Games and Deterministic Separability., , and . ICALP, volume 168 of LIPIcs, page 121:1-121:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Bidimensional Linear Recursive Sequences and Universality of Unambiguous Register Automata., and . STACS, volume 187 of LIPIcs, page 8:1-8:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Reachability relations of timed pushdown automata., and . J. Comput. Syst. Sci., (2021)Efficient reduction of nondeterministic automata with application to language inclusion testing., and . Logical Methods in Computer Science, (2019)On Rational Recursive Sequences., , , and . CoRR, (2022)