Gabriele Puppis
Home

Interests
  • Automata theory
  • Logics
  • Algebra
  • Databases

Short bio  (Download CV)
  • MSc in CS, Udine University, Italy (2002)
  • PhD in CS, Udine University, Italy (2006)
  • Postdoc, Udine University, Italy (2006-2008)
  • Postdoc, Oxford University, UK (2009-2012)
  • Junior Research Fellowship, Linacre College Oxford, UK (2010-2012)
  • CNRS researcher at LaBRI, France (2012-now)


Selected publications  (View all)
  • With C. Riveros and S. Staworko: Bounded Reparability for Regular Tree Languages (Conference paper - to appear).
    In Proceedings of the 15th International Conference on Database Theory (ICDT).
    Pdf Bibtex Slides
  • With T. Colcombet and C. Ley: On the Use of Guards for Logics with Data (Conference paper).
    In Proceedings of the 36th International Symposium on Mathematical Foundations of Computer Science (MFCS). LNCS, volume 6907, pages 243-255, Springer.
    Pdf Bibtex Slides
  • With M. Benedikt and C. Riveros: The Cost of Traveling between Languages (Conference paper).
    In Proceedings of the 38th International Colloquium on Automata, Languages and Programming (ICALP). LNCS, volume 6756, pages 234-245, Springer.
    Pdf Bibtex
  • With O. Carton and T. Colcombet: Regular Languages of Words over Countable Linear Orderings (Conference paper).
    In Proceedings of the 38th International Colloquium on Automata, Languages and Programming (ICALP). LNCS, volume 6756, pages 125-136, Springer.
    Pdf Bibtex