Travelled to:1 × Germany
1 × Japan
1 × Switzerland
1 × United Kingdom
2 × Italy
Collaborated with:S.Lasota R.Mayr J.Raskin ∅ F.Herbreteau A.Stainer G.Sutre P.A.Abdulla Y.Chen L.Holík C.Hong T.Vojnar
Talks about:automata (4) reachabl (2) pushdown (2) büchi (2) time (2) multidimension (1) subsumpt (1) quotient (1) communic (1) univers (1)
Person: Lorenzo Clemente
DBLP: Clemente:Lorenzo
Contributed to:
2015
2015
2013
2013
2011
2010Wrote 7 papers:
- CSL-2015-ClementeL #analysis #automaton #first-order #reachability
- Reachability Analysis of First-order Definable Pushdown Systems (LC, SL), pp. 244–259.
- LICS-2015-ClementeL #automaton #revisited
- Timed Pushdown Automata Revisited (LC, SL), pp. 738–749.
- LICS-2015-ClementeR #multi #problem #worst-case
- Multidimensional beyond Worst-Case and Almost-Sure Problems for Mean-Payoff Objectives (LC, JFR), pp. 257–268.
- FoSSaCS-2013-ClementeHSS #communication #process #reachability
- Reachability of Communicating Timed Processes (LC, FH, AS, GS), pp. 81–96.
- POPL-2013-MayrC #automaton
- Advanced automata minimization (RM, LC), pp. 63–74.
- ICALP-v2-2011-Clemente #automaton
- Büchi Automata Can Have Smaller Quotients (LC), pp. 258–270.
- CAV-2010-AbdullaCCHHMV #automaton #simulation #testing
- Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing (PAA, YFC, LC, LH, CDH, RM, TV), pp. 132–147.