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 × Italy
1 × Poland
1 × Spain
1 × USA
2 × United Kingdom
Collaborated with:
M.Dauchet L.Santocanale G.Lenzi J.Marcinkowski D.Bégay J.Radoux
Talks about:
hierarchi (2) transit (2) infinit (2) system (2) comparison (1) character (1) behaviour (1) calculus (1) topolog (1) softwar (1)

Person: André Arnold

DBLP DBLP: Arnold:Andr=eacute=

Contributed to:

FoSSaCS 20032003
LICS 20012001
FME 19961996
ICALP 19831983
ICALP 19781978
ICALP 19761976

Wrote 7 papers:

FoSSaCS-2003-ArnoldS #ambiguity #calculus #game studies #μ-calculus
Ambiguous Classes in the Games μ-Calculus Hierarchy (AA, LS), pp. 70–86.
LICS-2001-ArnoldLM #infinity #monad
The Hierarchy inside Closed Monadic Σ₁ Collapses on the Infinite Binary Tree (AA, GL, JM), pp. 157–166.
FME-1996-ArnoldBR #debugging #embedded #formal method #using
An Example of Use of Formal Methods to Debug an Embedded Software (AA, DB, JPR), pp. 649–661.
ICALP-1983-Arnold #behaviour #infinity
Topological Characterizations of Infinite Behaviours of Transition Systems (AA), pp. 28–38.
ICALP-1978-ArnoldD #french #morphism
Sul l’inversion des morphisms d’arbres (AA, MD), pp. 26–35.
ICALP-1976-ArnoldD #french
Bi-transductions de forêts (AA, MD), pp. 74–86.
TAPSOFT-1993-Arnold #comparison #verification
Verification and Comparison of Transition Systems (AA), pp. 121–135.

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.