Gabriele Puppis

Cited by

	All	Since 2018
Citations	778	294
h-index	16	11
i10-index	32	12

2003200420052006200720082009201020112012201320142015201620172018201920202021202220233 9 16 14 28 12 18 42 49 43 31 49 53 43 57 33 71 46 52 36 56

Public access

View all

9 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Angelo MontanariProfessor of Computer Science, Univ. of UdineVerified email at uniud.it
Michael BenediktProfessor of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
Anca MuschollLaBRI, Univ. of BordeauxVerified email at labri.fr
Pietro SalaAssociate Professor in Computer Science, University of VeronaVerified email at univr.it
Cristian RiverosAssociate Professor, Computer Science Department, PUC ChileVerified email at uc.cl
Clemens LeyFounder of Bitcoin ComputerVerified email at bitcoincomputer.io
Ugo Dal LagoUniversity of Bologna and INRIA Sophia AntipolisVerified email at cs.unibo.it
Pierre BourhisResearcher, CNRSVerified email at univ-lille.fr
Balder ten CateAssociate ProfessorVerified email at uva.nl
Sougata BoseUniversity of LiverpoolVerified email at liverpool.ac.uk
Davide BresolinUniversità di PadovaVerified email at unipd.it
Olivier CartonIRIF & Université de ParisVerified email at irif.fr
Guido SciaviccoUniversitá di FerraraVerified email at unife.it
Huy VuOxford UniversityVerified email at cs.ox.ac.uk
Michał PilipczukUniversity of WarsawVerified email at mimuw.edu.pl
Filip MazowieckiUniversity of WarsawVerified email at mimuw.edu.pl
Amaldev ManuelIndian Institute of Technology GoaVerified email at iitgoa.ac.in
Paul GallotComputer science Postdoc, University of BremenVerified email at uni-bremen.de
Diego FigueiraCNRS, LaBRI, Univ. BordeauxVerified email at labri.fr
Tiziano VillaProfessore d'informatica, Universita' di VeronaVerified email at univr.it

Gabriele Puppis

Dept. of Mathematics, Computer Science, and Physics

Verified email at uniud.it - Homepage

Languages & automata theory Logics Algebras Database theory


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Maximal decidable fragments of Halpern and Shoham’s modal logic of intervals A Montanari, G Puppis, P Sala International Colloquium on Automata, Languages, and Programming, 345-356, 2010	74	2010
Decidability of the interval temporal logic ABBar over the natural numbers A Montanari, G Puppis, P Sala, G Sciavicco arXiv preprint arXiv:0912.3429, 2009	46	2009
Automata vs. logics on data words M Benedikt, C Ley, G Puppis Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual …, 2010	39	2010
A decidable spatial logic with cone-shaped cardinal directions A Montanari, G Puppis, P Sala Computer Science Logic: 23rd international Workshop, CSL 2009, 18th Annual …, 2009	38	2009
What you must remember when processing data words M Benedikt, C Ley, G Puppis AMW'10: Proceedings of the 4th Alberto Mendelzon International Workshop on …, 2010	36	2010
Regular repair of specifications M Benedikt, G Puppis, C Riveros 2011 IEEE 26th Annual Symposium on Logic in Computer Science, 335-344, 2011	28	2011
Towards compact and tractable automaton-based representations of time granularities U Dal Lago, A Montanari, G Puppis Theoretical Computer Science: 8th Italian Conference, ICTCS 2003, Bertinoro …, 2003	28	2003
The many facets of string transducers (invited talk) A Muscholl, G Puppis 36th International Symposium on Theoretical Aspects of Computer Science …, 2019	26	2019
Regular languages of words over countable linear orderings O Carton, T Colcombet, G Puppis International Colloquium on Automata, Languages, and Programming, 125-136, 2011	26	2011
Time granularities and ultimately periodic automata D Bresolin, A Montanari, G Puppis Logics in Artificial Intelligence: 9th European Conference, JELIA 2004 …, 2004	26	2004
Minimizing resources of sweeping and streaming string transducers F Baschenis, O Gauwin, A Muscholl, G Puppis	24	2016
Querying visible and invisible information M Benedikt, P Bourhis, B Ten Cate, G Puppis Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016	23*	2016
Logics with rigidly guarded data tests G Puppis, T Colcombet, C Ley Logical Methods in Computer Science 11, 2015	19	2015
Untwisting two-way transducers in elementary time F Baschenis, O Gauwin, A Muscholl, G Puppis 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017	17	2017
Walking on data words A Manuel, A Muscholl, G Puppis Theory of Computing Systems 59 (2), 180-208, 2016	16	2016
One-way definability of sweeping transducers F Baschenis, O Gauwin, A Muscholl, G Puppis Proceedings of the 35th IARCS Conference on Foundations of Software …, 2015	16	2015
On the use of guards for logics with data T Colcombet, C Ley, G Puppis International Symposium on Mathematical Foundations of Computer Science, 243-255, 2011	16	2011
Compact and tractable automaton-based representations of time granularities U Dal Lago, A Montanari, G Puppis Theoretical Computer Science 373 (1-2), 115-141, 2007	16	2007
Origin-equivalence of two-way word transducers is in PSPACE S Bose, A Muscholl, V Penelle, G Puppis arXiv preprint arXiv:1807.08053, 2018	15	2018
Bounded repairability of word languages M Benedikt, G Puppis, C Riveros Journal of Computer and System Sciences 79 (8), 1302-1321, 2013	14	2013

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors