Skip to content
cs-conference-ranking.org

Andr Arnold

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

13

Venues

8

Active years

1976–2021

Best venue rank

A*

Where they publish

Papers

13 indexed papers, newest first.

YearVenueTitleAuthors
2021CSLA Quasi-Polynomial Black-Box Algorithm for Fixed Point Evaluation.Andr Arnold, Damian Niwinski, Pawel Parys
2012STACSOn the separation question for tree languages.Andr Arnold, Henryk Michalewski, Damian Niwinski
2003FOSSACSAmbiguous Classes in the Games -Calculus Hierarchy.Andr Arnold, Luigi Santocanale
2001LICSThe Hierarchy inside Closed Monadic SigmaAndr Arnold, Giacomo Lenzi, Jerzy Marcinkowski
1996FMAn Example of Use of Formal Methods to Debug an Embedded Software.Andr Arnold, Didier Bgay, Jean-Pierre Radoux
1994STACSHypertransition Systems.Andr Arnold
1993MFCSEquivalences and Preorders of Transition Systems.Andr Arnold, Anne Dicky
1983ICALPTopological Characterizations of Infinite Behaviours of Transition Systems.Andr Arnold
1980MFCSControlling Behaviours of Systems: Some Basic Concepts and some Applications.Andr Arnold, Maurice Nivat
1979FCTForets de Greibach et homomorphismes inverses.Andr Arnold, Bernard Leguy
1978ICALPSul l'inversion des morphisms d'arbres.Andr Arnold, Max Dauchet
1977FCTNon Deterministic Recursive Program Schemes.Andr Arnold, Maurice Nivat
1976ICALPBi-transductions de forts.Andr Arnold, Max Dauchet