Lorenzo Clemente

Available identifiers

zbMath Open clemente.lorenzoWikidataQ102404247 ScholiaQ102404247MaRDI QIDQ2221810

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q5002803	2021-07-28	Paper
Reachability relations of timed pushdown automata	2021-02-02	Paper
https://portal.mardi4nfdi.de/entity/Q5144629	2021-01-19	Paper
https://portal.mardi4nfdi.de/entity/Q5111449	2020-05-27	Paper
Binary Reachability of Timed-register Pushdown Automata and Branching Vector Addition Systems	2019-11-22	Paper
https://portal.mardi4nfdi.de/entity/Q4625701	2019-02-25	Paper
Multidimensional beyond Worst-Case and Almost-Sure Problems for Mean-Payoff Objectives	2018-04-23	Paper
Timed Pushdown Automata Revisited	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
https://portal.mardi4nfdi.de/entity/Q5351961	2017-08-31	Paper
https://portal.mardi4nfdi.de/entity/Q5275365	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	2010-08-31	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Lorenzo Clemente