Follow
Lorenzo Clemente
Lorenzo Clemente
Verified email at mimuw.edu.pl - Homepage
Title
Cited by
Cited by
Year
Advanced automata minimization
R Mayr, L Clemente
ACM SIGPLAN Notices 48 (1), 63-74, 2013
632013
Advanced Ramsey-based Büchi automata inclusion testing
PA Abdulla, YF Chen, L Clemente, L Holík, CD Hong, R Mayr, T Vojnar
International Conference on Concurrency Theory, 187-202, 2011
592011
Simulation subsumption in Ramsey-based Büchi automata universality and inclusion testing
PA Abdulla, YF Chen, L Clemente, L Holík, CD Hong, R Mayr, T Vojnar
International Conference on Computer Aided Verification, 132-147, 2010
472010
Non-zero sum games for reactive synthesis
R Brenguier, L Clemente, P Hunter, GA Pérez, M Randour, JF Raskin, ...
Language and Automata Theory and Applications, 3-23, 2016
422016
Timed pushdown automata revisited
L Clemente, S Lasota
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 738-749, 2015
392015
Decidable topologies for communicating automata with FIFO and bag channels
L Clemente, F Herbreteau, G Sutre
International Conference on Concurrency Theory, 281-296, 2014
302014
The diagonal problem for higher-order recursion schemes is decidable
L Clemente, P Parys, S Salvati, I Walukiewicz
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-10, 2016
282016
Multidimensional beyond worst-case and almost-sure problems for mean-payoff objectives
L Clemente, JF Raskin
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 257-268, 2015
252015
Efficient reduction of nondeterministic automata with application to language inclusion testing
R Mayr, L Clemente
Logical Methods in Computer Science 15, 2019
212019
Reachability of communicating timed processes
L Clemente, F Herbreteau, A Stainer, G Sutre
International Conference on Foundations of Software Science and …, 2013
202013
Reachability analysis of first-order definable pushdown systems
L Clemente, S Lasota
arXiv preprint arXiv:1504.02651, 2015
182015
Regular separability of Parikh automata
L Clemente, W Czerwiński, S Lasota, C Paperman
arXiv preprint arXiv:1612.06233, 2016
172016
Ordered tree-pushdown systems
L Clemente, P Parys, S Salvati, I Walukiewicz
arXiv preprint arXiv:1510.03278, 2015
172015
Separability of reachability sets of vector addition systems
L Clemente, W Czerwiński, S Lasota, C Paperman
arXiv preprint arXiv:1609.00214, 2016
152016
Büchi automata can have smaller quotients
L Clemente
International Colloquium on Automata, Languages, and Programming, 258-270, 2011
152011
Timed pushdown automata and branching vector addition systems
L Clemente, S Lasota, R Lazić, F Mazowiecki
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017
112017
Bidimensional linear recursive sequences and universality of unambiguous register automata
C Barloy, L Clemente
arXiv preprint arXiv:2101.01033, 2021
102021
Timed games and deterministic separability
L Clemente, S Lasota, R Piórkowski
arXiv preprint arXiv:2004.12868, 2020
62020
Binary reachability of timed pushdown automata via quantifier elimination and cyclic order atoms
L Clemente, S Lasota
arXiv preprint arXiv:1804.10772, 2018
62018
Determinisability of one-clock timed automata
L Clemente, S Lasota, R Piórkowski
arXiv preprint arXiv:2007.09340, 2020
52020
The system can't perform the operation now. Try again later.
Articles 1–20