You are not logged in | Log in

Lorenzo Clemente

Number of publications: 25

2024

2023

2022

2021

2020

2019

2018

2017

2016

  • Ocan Sankur, Mathieu Sassolas, Guillermo A. P\'erez, Mickael Randour, Romain Brenguier, Paul Hunter, Jean-Franćcois Raskin, Lorenzo Clemente , Non-Zero Sum Games for Reactive Synthesis, International Conference on Language and Automata Theory and Applications, 2016. See in PBN
  • Paweł Parys , Sylvain Salvati, Igor Walukiewicz, Lorenzo Clemente , The Diagonal Problem for Higher-Order Recursion Schemes is Decidable, 31st Annual ACM/IEEE Symposium on Logic in Computer Science, New York, the United States of America, 5 July 2016 - 8 July 2016. See in PBN

2015

  • Jean-Francois Raskin, Lorenzo Clemente , Multidimensional beyond Worst-Case and Almost-Sure Problems for Mean-Payoff Objectives, 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Kyoto, Japan, July 6-10, 2015, 2015. See in PBN
  • Igor Walukiewicz, Paweł Parys , Sylvain Salvati, Lorenzo Clemente , Ordered Tree-Pushdown Systems, 35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2015), Bangalore, India, 16 December 2015 - 18 December 2015. See in PBN

2014