Concepedia

Lorenzo Clemente

LC

Statistics

Publications

6

Citations

150

H-Index

6

Active since

2013

Affiliations

University of Edinburgh(Current)

Université de Bordeaux

University of Warsaw

Laboratoire Bordelais de Recherche en Informatique

Institut Polytechnique de Bordeaux

Lorenzo Clemente is an author at University of Edinburgh specializing in computer science, engineering, and computational complexity.

Top concepts

EngineeringComputer ScienceComputational ComplexityFormal MethodsAutomated ReasoningFormal VerificationMathematical ProgrammingBusinessStatisticsGame Theory

Publications per year

2013–2019

6

Publications

6

Advanced automata minimization

Richard Mayr, Lorenzo Clemente · 2013 · 39 citations

Timed Pushdown Automata Revisited

Lorenzo Clemente, Sławomir Lasota · 2015 · 26 citations

Pushdown Automata, Engineering, Timed Pushdown Automata +13

Efficient reduction of nondeterministic automata with application to language inclusion testing

Lorenzo Clemente, Richard Mayr · SHILAP Revista de lepidopterología · 2019 · 25 citations · Full text

The Diagonal Problem for Higher-Order Recursion Schemes is Decidable

Lorenzo Clemente, Paweł Parys, Sylvain Salvati et al. · 2016 · 23 citations · Full text

Non-deterministic Recursion Scheme, Engineering, Reachability Problem +15

Multidimensional beyond Worst-Case and Almost-Sure Problems for Mean-Payoff Objectives

Lorenzo Clemente, Jean-François Raskin · 2015 · 19 citations

Mathematical Programming, Engineering, Game Theory +19

1–5 of 6