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 × Austria
1 × Denmark
1 × France
1 × Hungary
1 × Spain
Collaborated with:
T.Place B.Bollig P.Gastin B.Monmege N.Caniart E.Fleury J.Leroux B.Genest A.Muscholl H.Seidl
Talks about:
logic (3) automata (2) weight (2) pebbl (2) order (2) model (2) first (2) check (2) hierarchi (1) character (1)

Person: Marc Zeitoun

DBLP DBLP: Zeitoun:Marc

Contributed to:

ICALP (2) 20142014
CSL-LICS 20142014
ICALP (2) 20102010
TACAS 20082008
ICALP 20022002

Wrote 6 papers:

ICALP-v2-2014-PlaceZ #first-order #quantifier #word
Going Higher in the First-Order Quantifier Alternation Hierarchy on Words (TP, MZ), pp. 342–353.
LICS-CSL-2014-BolligGMZ #automaton #logic
Logical characterization of weighted pebble walking automata (BB, PG, BM, MZ), p. 10.
LICS-CSL-2014-PlaceZ #first-order #logic #regular expression
Separating regular languages with first-order logic (TP, MZ), p. 10.
ICALP-v2-2010-BolligGMZ #automaton #logic #transitive
Pebble Weighted Automata and Transitive Closure Logics (BB, PG, BM, MZ), pp. 587–598.
TACAS-2008-CaniartFLZ #model checking
Accelerating Interpolation-Based Model-Checking (NC, EF, JL, MZ), pp. 428–442.
ICALP-2002-GenestMSZ #infinity #model checking
Infinite-State High-Level MSCs: Model-Checking and Realizability (BG, AM, HS, MZ), pp. 657–668.

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.