BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Puppis:Gabriele

Contributed to:

ICALP (2) 20112011
LICS 20112011
CSL 20102010
ICALP (2) 20102010
PODS 20102010
CSL 20092009
LICS 20072007

Wrote 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.
A Contraction Method to Decide MSO Theories of Deterministic Trees (AM, GP), pp. 141–150.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.