Lorenzo Clemente

Available identifiers

zbMath Open clemente.lorenzoWikidataQ102404247 ScholiaQ102404247MaRDI QIDQ2221810

List of research outcomes

Publication	Date of Publication	Type
On rational recursive sequences	2024-10-08	Paper
Cost Automata, Safe Schemes, and Downward Closures	2023-05-19	Paper
Timed Basic Parallel Processes	2023-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q5094137	2022-08-02	Paper
https://portal.mardi4nfdi.de/entity/Q5089309	2022-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q5020647	2022-01-06	Paper
Binary reachability of timed pushdown automata via quantifier elimination and cyclic order atoms	2021-07-28	Paper
Reachability relations of timed pushdown automata	2021-02-02	Paper
Timed pushdown automata and branching vector addition systems	2021-01-19	Paper
Regular separability of Parikh automata	2020-05-27	Paper
Binary reachability of timed-register pushdown automata and branching vector addition systems	2019-11-22	Paper
Efficient reduction of nondeterministic automata with application to language inclusion testing	2019-02-25	Paper
Timed Pushdown Automata Revisited	2018-04-23	Paper
Multidimensional beyond worst-case and almost-sure problems for mean-payoff objectives	2018-04-23	Paper
The diagonal problem for higher-order recursion schemes is decidable	2018-04-23	Paper
Separability of reachability sets of vector addition systems	2018-04-19	Paper
Reachability analysis of first-order definable pushdown systems	2017-08-31	Paper
Ordered tree-pushdown systems	2017-07-13	Paper
Non-zero sum games for reactive synthesis	2016-04-13	Paper
Stochastic parity games on lossy channel systems	2015-01-15	Paper
Advanced automata minimization	2014-11-27	Paper
Decidable topologies for communicating automata with FIFO and bag channels	2014-09-15	Paper
Reachability of communicating timed processes	2013-03-18	Paper
Advanced Ramsey-based Büchi automata inclusion testing	2011-09-02	Paper
Büchi automata can have smaller quotients	2011-07-07	Paper
Multipebble simulations for alternating automata (extended abstract)	2010-08-31	Paper

Research outcomes over time

This page was built for person: Lorenzo Clemente