Lorenzo Clemente

University of Warsaw - Warsaw / Poland

Others

AD Scientific Index ID: 1796428

Uniwersytet Warszawski

Registration, Add Profile,
Premium Membership

Print Your Certificate

Lorenzo Clemente's MOST POPULAR ARTICLES

1-) Advanced Ramsey-based Büchi automata inclusion testingPA Abdulla, YF Chen, L Clemente, L Holík, CD Hong, R Mayr, T VojnarInternational Conference on Concurrency Theory, 187-202, 2011662011

2-) Advanced automata minimizationR Mayr, L ClementeACM SIGPLAN Notices 48 (1), 63-74, 2013652013

3-) Simulation subsumption in Ramsey-based Büchi automata universality and inclusion testingPA Abdulla, YF Chen, L Clemente, L Holík, CD Hong, R Mayr, T VojnarInternational Conference on Computer Aided Verification, 132-147, 2010532010

4-) Non-zero sum games for reactive synthesisR Brenguier, L Clemente, P Hunter, GA Pérez, M Randour, JF Raskin, ...Language and Automata Theory and Applications, 3-23, 2016542016

5-) Efficient reduction of nondeterministic automata with application to language inclusion testingL Clemente, R MayrLogical Methods in Computer Science 15, 2019392019

ARTICLES

Add your articles