Gabriele Puppis
Gabriele Puppis
Dept. of Mathematics, Computer Science, and Physics
Geverifieerd e-mailadres voor uniud.it - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
672010
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
382009
Automata vs. logics on data words
M Benedikt, C Ley, G Puppis
International Workshop on Computer Science Logic, 110-124, 2010
342010
What you must remember when processing data words
M Benedikt, C Ley, G Puppis
302010
A decidable spatial logic with cone-shaped cardinal directions
A Montanari, G Puppis, P Sala
International Workshop on Computer Science Logic, 394-408, 2009
302009
Time granularities and ultimately periodic automata
D Bresolin, A Montanari, G Puppis
European Workshop on Logics in Artificial Intelligence, 513-525, 2004
262004
Towards compact and tractable automaton-based representations of time granularities
U Dal Lago, A Montanari, G Puppis
Italian Conference on Theoretical Computer Science, 72-85, 2003
262003
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
22*2016
Regular repair of specifications
M Benedikt, G Puppis, C Riveros
2011 IEEE 26th Annual Symposium on Logic in Computer Science, 335-344, 2011
222011
Minimizing resources of sweeping and streaming string transducers
F Baschenis, O Gauwin, A Muscholl, G Puppis
202016
Regular languages of words over countable linear orderings
O Carton, T Colcombet, G Puppis
International Colloquium on Automata, Languages, and Programming, 125-136, 2011
202011
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
162011
One-way definability of sweeping transducers
F Baschenis, O Gauwin, A Muscholl, G Puppis
142015
Walking on data words
A Manuel, A Muscholl, G Puppis
International Computer Science Symposium in Russia, 64-75, 2013
142013
Automata for branching and layered temporal structures
G Puppis
PhD thesis, Department of Mathematics and Computer Science, University of …, 2006
142006
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
122017
Bounded repairability of word languages
M Benedikt, G Puppis, C Riveros
Journal of Computer and System Sciences 79 (8), 1302-1321, 2013
122013
The cost of traveling between languages
M Benedikt, G Puppis, C Riveros
International Colloquium on Automata, Languages, and Programming, 234-245, 2011
122011
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
122007
Time granularities, calendar algebra
U Dal Lago, A Montanari, G Puppis
and automata. Technical Report 4, Dipartimento di Matematica e Informatica …, 2003
122003
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20