Concepedia

Gabriele Puppis

GP

Statistics

Publications

7

Citations

115

H-Index

7

Active since

2006

Affiliations

Laboratoire Bordelais de Recherche en Informatique(Current)

University of Udine

University of Oxford

Centre National de la Recherche Scientifique

Université de Bordeaux

Gabriele Puppis is an author at Laboratoire Bordelais de Recherche en Informatique specializing in computer science, computing, and temporal logic.

Publications per year

2006–2016

7

Publications

7

Decidability of the Interval Temporal Logic ABB over the Natural Numbers

Angelo Montanari, Gabriele Puppis, Pietro Sala et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2010 · 30 citations · Full text

Humanities, Computer Science, Mathematics +16

Querying Visible and Invisible Information

Michael Benedikt, Pierre Bourhis, Balder ten Cate et al. · 2016 · 17 citations · Full text

Computing, Computer Science, Databases +11

Compact and tractable automaton-based representations of time granularities

Ugo Dal Lago, Angelo Montanari, Gabriele Puppis · Theoretical Computer Science · 2006 · 16 citations

Computing, Computer Science, Mathematics +14

Regular Repair of Specifications

Michael Benedikt, Gabriele Puppis, Cristian Riveros · 2011 · 16 citations · Full text

Computing, Computer Science, Algorithms +14

Bounded repairability of word languages

Michael Benedikt, Gabriele Puppis, Cristian Riveros · Journal of Computer and System Sciences · 2013 · 13 citations · Full text

Computing, Computer Science, Computational Linguistics +10

1–5 of 7