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 × Czech Republic
1 × Germany
1 × Spain
2 × USA
Collaborated with:
P.Gastin P.Bouyer V.Diekert W.Zielonka D.D'Souza P.Madhusudan C.Dufourd E.Fleury
Talks about:
automata (3) trace (3) time (3) infinit (2) decomposit (1) asynchron (1) composit (1) cellular (1) theorem (1) partial (1)

Person: Antoine Petit

DBLP DBLP: Petit:Antoine

Contributed to:

CAV 20032003
CAV 20002000
ICALP 19991999
DLT 19951995
ICALP 19921992
ICALP 19911991

Wrote 6 papers:

Timed Control with Partial Observability (PB, DD, PM, AP), pp. 180–192.
CAV-2000-BouyerDFP #automaton #question
Are Timed Automata Updatable? (PB, CD, EF, AP), pp. 464–479.
ICALP-1999-BouyerP #automaton #composition
Decomposition and Composition of Timed Automata (PB, AP), pp. 210–219.
DLT-1995-DiekertGP #traceability
Recent Developments in Trace Theory (VD, PG, AP), pp. 373–385.
ICALP-1992-GastinP #automaton #infinity
Asynchronous Cellular Automata for Infinite Traces (PG, AP), pp. 583–594.
ICALP-1991-GastinPZ #infinity #theorem
A Kleene Theorem for Infinite Trace Languages (PG, AP, WZ), pp. 254–266.

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.