Travelled to:1 × Canada
1 × Czech Republic
1 × France
1 × Poland
1 × Portugal
1 × Switzerland
1 × USA
Collaborated with:M.Benedikt A.Montanari C.Riveros P.Sala O.Carton T.Colcombet C.Ley H.Vu
Talks about:logic (3) decid (3) regular (2) languag (2) order (2) word (2) determinist (1) fragment (1) countabl (1) contract (1)
Person: Gabriele Puppis
DBLP: Puppis:Gabriele
Contributed to:
2011
2011
20102010
201020092007Wrote 8 papers:
- ICALP-v2-2011-BenediktPR #cost analysis
- The Cost of Traveling between Languages (MB, GP, CR), pp. 234–245.
- ICALP-v2-2011-CartonCP #linear #order #regular expression #word
- Regular Languages of Words over Countable Linear Orderings (OC, TC, GP), pp. 125–136.
- LICS-2011-BenediktPR #specification
- Regular Repair of Specifications (MB, GP, CR), pp. 335–344.
- CSL-2010-BenediktLP #automaton #logic #word
- Automata vs. Logics on Data Words (MB, CL, GP), pp. 110–124.
- ICALP-v2-2010-MontanariPS #decidability #logic
- Maximal Decidable Fragments of Halpern and Shoham’s Modal Logic of Intervals (AM, GP, PS), pp. 345–356.
- PODS-2010-BenediktPV #higher-order #query
- Positive higher-order queries (MB, GP, HV), pp. 27–38.
- CSL-2009-MontanariPS #decidability #logic
- A Decidable Spatial Logic with Cone-Shaped Cardinal Directions (AM, GP, PS), pp. 394–408.
- LICS-2007-MontanariP
- A Contraction Method to Decide MSO Theories of Deterministic Trees (AM, GP), pp. 141–150.