×
Compute Distance To:
Author ID: arnold.andre Recent zbMATH articles by "Arnold, André"
Published as: Arnold, André; Arnold, A.; Arnold, Andre

Publications by Year

Citations contained in zbMATH Open

60 Publications have been cited 558 times in 425 Documents Cited by Year
Rudiments of \(\mu\)-calculus. Zbl 0968.03002
Arnold, A.; Niwiński, D.
47
2001
Games for synthesis of controllers with partial observation. Zbl 1175.93148
Arnold, A.; Vincent, A.; Walukiewicz, I.
38
2003
The metric space of infinite trees. Algebraic and topological properties. Zbl 0453.68021
Arnold, Andre; Nivat, Maurice
32
1980
A syntactic congruence for rational \(\omega\)-languages. Zbl 0578.68057
Arnold, André
29
1985
Metric interpretations of infinite trees and semantics of non deterministic recursive programs. Zbl 0427.68022
Arnold, A.; Nivat, M.
27
1980
The \(\mu\)-calculus alternation-depth hierarchy is strict on binary trees. Zbl 0945.68118
Arnold, André
24
1999
Morphismes et bimorphismes d’arbres. Zbl 0486.68072
Arnold, A.; Dauchet, M.
23
1982
BI-transductions de forêts. Zbl 0363.68104
Arnold, A.; Dauchet, M.
20
1976
A note about minimal non-deterministic automata. Zbl 0751.68038
Arnold, A.; Dicky, A.; Nivat, M.
17
1992
A linear algorithm to solve fixed-point equations on transition systems. Zbl 0663.68075
Arnold, André; Crubille, Paul
17
1988
Forets algébriques et homomorphismes inverses. Zbl 0395.68073
Arnold, Andre; Dauchet, Max
17
1978
Un théorème de duplication pour les forets algébriques. Zbl 0335.68050
Arnold, Andre; Dauchet, Max
16
1976
A relative of the Thue-Morse sequence. Zbl 0839.11007
Allouche, Jean-Paul; Arnold, André; Berstel, Jean; Brlek, Srećko; Jockusch, William; Plouffe, Simon; Sagan, Bruce E.
15
1995
Comportements de processus. Zbl 0538.68062
Nivat, Maurice; Arnold, André
15
1982
Fixed point characterization of weak monadic logic definable sets of trees. Zbl 0794.03054
Arnold, André; Niwiński, Damian
14
1992
Formal computations of non deterministic recursive program schemes. Zbl 0441.68044
Arnold, Andre; Nivat, Maurice
13
1980
Théorie des magmoides. II. Zbl 0443.68053
Arnold, A.; Dauchet, M.
13
1979
Théorie des magmoides. I. Zbl 0391.68037
Arnold, A.; Dauchet, M.
12
1978
Rational \(\omega\)-languages are non-ambiguous. Zbl 0523.68069
Arnold, Andre
11
1983
An extension of the notions of traces and of asynchronous automata. Zbl 0765.68153
Arnold, A.
10
1991
Non deterministic recursive program schemes. Zbl 0361.68020
Arnold, A.; Nivat, M.
10
1977
A new proof of two theorems about rational transductions. Zbl 0401.68057
Arnold, Andre; Latteux, Michel
10
1979
Finite transition systems. Semantics of communicating systems. Transl. from French by John Plaice. (Systèmes de transitions finis et sémantique de processus communicants). Zbl 0796.68141
Arnold, André
9
1994
The AltaRica formalism for describing concurrent systems. Zbl 0942.68054
Arnold, André; Point, Gérald; Griffault, Alain; Rauzy, Antoine
9
1999
An algebraic characterization of transition system equivalences. Zbl 0679.68116
Arnold, André; Dicky, Anne
8
1989
Ambiguous classes in \(\mu\)-calculi hierarchies. Zbl 1070.68077
Santocanale, Luigi; Arnold, André
7
2005
On semantics of nondeterministic recursive program schemes. Zbl 0577.68032
Arnold, A.; Naudin, P.; Nivat, M.
7
1985
Controlling behaviours of systems: Some basic concepts and some applications. Zbl 0445.68043
Arnold, A.; Nivat, M.
6
1980
Nondeterministic controllers of nondeterministic processes. Zbl 1215.93082
Arnold, André; Walukiewicz, Igor
6
2008
Une propriété des forets algébriques ”de Greibach”. Zbl 0473.68073
Arnold, Andre; Leguy, Bernard
5
1980
Synchronized behaviours of processes and rational relations. Zbl 0478.68027
Arnold, A.
5
1982
Continuous separation of game languages. Zbl 1213.03051
Arnold, André; Niwiński, Damian
5
2007
Recursivite et cônes rationnels fermés par intersection. Zbl 0421.68075
Arnold, A.; Latteux, M.
4
1978
Calculs infinis, interpretations métriques et plus grands points fixes. Zbl 0486.68013
Nivat, Maurice; Arnold, Andre
4
1978
Fixed point characterization of Büchi automata on infinite trees. Zbl 0721.68040
Arnold, André; Niwinski, Damian
4
1990
On the topological complexity of tree languages. Zbl 1244.03116
Arnold, André; Duparc, Jacques; Murlak, Filip; Niwiński, Damian
4
2008
Construction and analysis of transition systems with MEC. Zbl 0836.68075
Arnold, André; Bégay, Didier; Crubillé, Paul
3
1994
Optimal word chains for the Thue-Morse word. Zbl 0689.68097
Arnold, A.; Brlek, S.
3
1989
An initial semantics for the \(\mu\)-calculus on trees and Rabin’s complementation lemma. Zbl 0873.68157
Arnold, André
3
1995
Un théorème de Chomsky-Schützenberger pour les forets algébriques. Zbl 0363.68105
Arnold, A.; Dauchet, M.
3
1977
Sur l’inversion des morphismes d’arbres. Zbl 0385.68059
Arnold, A.; Dauchet, M.
3
1978
Semantique des processus communicants. Zbl 0463.68033
Arnold, Andre
3
1981
Nivat’s processes and their synchronization. Zbl 0997.68077
Arnold, André
3
2002
On the separation question for tree languages. Zbl 1245.68116
Arnold, André; Michalewski, Henryk; Niwiński, Damian
3
2012
Transition systems and concurrent processes. Zbl 0761.68069
Arnold, André
2
1988
Schemas de programmes recursifs non déterministes avec appel ”synchrone”. Zbl 0405.68012
Arnold, A.
2
1978
Logical definability of fixed points. Zbl 0663.03024
Arnold, André
2
1988
Semantique algébrique de l’appel par valeur. Zbl 0378.68008
Arnold, Andre
2
1978
Une rélation d’équivalence decidable sur la classe des forets reconnaissables. Zbl 0392.68065
Arnold, A.; Dauchet, M.
2
1978
Equivalences and preorders of transition systems. Zbl 0925.03145
Arnold, A.; Dicky, A.
2
1993
Affine completeness of the algebra of full binary trees. Zbl 1484.08001
Arnold, André; Cégielski, Patrick; Grigorieff, Serge; Guessarian, Irène
1
2020
Topological characterizations of infinite behaviours of transition systems. Zbl 0515.68063
Arnold, Andre
1
1983
Deterministic and non ambiguous rational \(\omega\)-languages. Zbl 0612.68073
Arnold, André
1
1985
Recognizable subsets of the two letter plactic monoid. Zbl 1337.68172
Arnold, A.; Kanta, M.; Krob, D.
1
1997
An example of sequentialization of a parallel algorithm. Zbl 0686.68051
Arnold, André
1
1989
An algebraic characterization of observational equivalence. Zbl 0871.68130
Arnold, André; Castellani, Ilaria
1
1996
Metric interpretations of recursive program schemes. Zbl 0469.68018
Arnold, Andre; Nivat, Maurice
1
1978
Recognizable sets of finite bilabelled transition systems. Zbl 0727.68069
Arnold, A.
1
1990
Mathematics for computer science. Zbl 0849.68001
Arnold, André; Guessarian, Irène
1
1996
Ambiguous classes in the games \(\mu\)-calculus hierarchy. Zbl 1029.68095
Arnold, André; Santocanale, Luigi
1
2003
Affine completeness of the algebra of full binary trees. Zbl 1484.08001
Arnold, André; Cégielski, Patrick; Grigorieff, Serge; Guessarian, Irène
1
2020
On the separation question for tree languages. Zbl 1245.68116
Arnold, André; Michalewski, Henryk; Niwiński, Damian
3
2012
Nondeterministic controllers of nondeterministic processes. Zbl 1215.93082
Arnold, André; Walukiewicz, Igor
6
2008
On the topological complexity of tree languages. Zbl 1244.03116
Arnold, André; Duparc, Jacques; Murlak, Filip; Niwiński, Damian
4
2008
Continuous separation of game languages. Zbl 1213.03051
Arnold, André; Niwiński, Damian
5
2007
Ambiguous classes in \(\mu\)-calculi hierarchies. Zbl 1070.68077
Santocanale, Luigi; Arnold, André
7
2005
Games for synthesis of controllers with partial observation. Zbl 1175.93148
Arnold, A.; Vincent, A.; Walukiewicz, I.
38
2003
Ambiguous classes in the games \(\mu\)-calculus hierarchy. Zbl 1029.68095
Arnold, André; Santocanale, Luigi
1
2003
Nivat’s processes and their synchronization. Zbl 0997.68077
Arnold, André
3
2002
Rudiments of \(\mu\)-calculus. Zbl 0968.03002
Arnold, A.; Niwiński, D.
47
2001
The \(\mu\)-calculus alternation-depth hierarchy is strict on binary trees. Zbl 0945.68118
Arnold, André
24
1999
The AltaRica formalism for describing concurrent systems. Zbl 0942.68054
Arnold, André; Point, Gérald; Griffault, Alain; Rauzy, Antoine
9
1999
Recognizable subsets of the two letter plactic monoid. Zbl 1337.68172
Arnold, A.; Kanta, M.; Krob, D.
1
1997
An algebraic characterization of observational equivalence. Zbl 0871.68130
Arnold, André; Castellani, Ilaria
1
1996
Mathematics for computer science. Zbl 0849.68001
Arnold, André; Guessarian, Irène
1
1996
A relative of the Thue-Morse sequence. Zbl 0839.11007
Allouche, Jean-Paul; Arnold, André; Berstel, Jean; Brlek, Srećko; Jockusch, William; Plouffe, Simon; Sagan, Bruce E.
15
1995
An initial semantics for the \(\mu\)-calculus on trees and Rabin’s complementation lemma. Zbl 0873.68157
Arnold, André
3
1995
Finite transition systems. Semantics of communicating systems. Transl. from French by John Plaice. (Systèmes de transitions finis et sémantique de processus communicants). Zbl 0796.68141
Arnold, André
9
1994
Construction and analysis of transition systems with MEC. Zbl 0836.68075
Arnold, André; Bégay, Didier; Crubillé, Paul
3
1994
Equivalences and preorders of transition systems. Zbl 0925.03145
Arnold, A.; Dicky, A.
2
1993
A note about minimal non-deterministic automata. Zbl 0751.68038
Arnold, A.; Dicky, A.; Nivat, M.
17
1992
Fixed point characterization of weak monadic logic definable sets of trees. Zbl 0794.03054
Arnold, André; Niwiński, Damian
14
1992
An extension of the notions of traces and of asynchronous automata. Zbl 0765.68153
Arnold, A.
10
1991
Fixed point characterization of Büchi automata on infinite trees. Zbl 0721.68040
Arnold, André; Niwinski, Damian
4
1990
Recognizable sets of finite bilabelled transition systems. Zbl 0727.68069
Arnold, A.
1
1990
An algebraic characterization of transition system equivalences. Zbl 0679.68116
Arnold, André; Dicky, Anne
8
1989
Optimal word chains for the Thue-Morse word. Zbl 0689.68097
Arnold, A.; Brlek, S.
3
1989
An example of sequentialization of a parallel algorithm. Zbl 0686.68051
Arnold, André
1
1989
A linear algorithm to solve fixed-point equations on transition systems. Zbl 0663.68075
Arnold, André; Crubille, Paul
17
1988
Transition systems and concurrent processes. Zbl 0761.68069
Arnold, André
2
1988
Logical definability of fixed points. Zbl 0663.03024
Arnold, André
2
1988
A syntactic congruence for rational \(\omega\)-languages. Zbl 0578.68057
Arnold, André
29
1985
On semantics of nondeterministic recursive program schemes. Zbl 0577.68032
Arnold, A.; Naudin, P.; Nivat, M.
7
1985
Deterministic and non ambiguous rational \(\omega\)-languages. Zbl 0612.68073
Arnold, André
1
1985
Rational \(\omega\)-languages are non-ambiguous. Zbl 0523.68069
Arnold, Andre
11
1983
Topological characterizations of infinite behaviours of transition systems. Zbl 0515.68063
Arnold, Andre
1
1983
Morphismes et bimorphismes d’arbres. Zbl 0486.68072
Arnold, A.; Dauchet, M.
23
1982
Comportements de processus. Zbl 0538.68062
Nivat, Maurice; Arnold, André
15
1982
Synchronized behaviours of processes and rational relations. Zbl 0478.68027
Arnold, A.
5
1982
Semantique des processus communicants. Zbl 0463.68033
Arnold, Andre
3
1981
The metric space of infinite trees. Algebraic and topological properties. Zbl 0453.68021
Arnold, Andre; Nivat, Maurice
32
1980
Metric interpretations of infinite trees and semantics of non deterministic recursive programs. Zbl 0427.68022
Arnold, A.; Nivat, M.
27
1980
Formal computations of non deterministic recursive program schemes. Zbl 0441.68044
Arnold, Andre; Nivat, Maurice
13
1980
Controlling behaviours of systems: Some basic concepts and some applications. Zbl 0445.68043
Arnold, A.; Nivat, M.
6
1980
Une propriété des forets algébriques ”de Greibach”. Zbl 0473.68073
Arnold, Andre; Leguy, Bernard
5
1980
Théorie des magmoides. II. Zbl 0443.68053
Arnold, A.; Dauchet, M.
13
1979
A new proof of two theorems about rational transductions. Zbl 0401.68057
Arnold, Andre; Latteux, Michel
10
1979
Forets algébriques et homomorphismes inverses. Zbl 0395.68073
Arnold, Andre; Dauchet, Max
17
1978
Théorie des magmoides. I. Zbl 0391.68037
Arnold, A.; Dauchet, M.
12
1978
Recursivite et cônes rationnels fermés par intersection. Zbl 0421.68075
Arnold, A.; Latteux, M.
4
1978
Calculs infinis, interpretations métriques et plus grands points fixes. Zbl 0486.68013
Nivat, Maurice; Arnold, Andre
4
1978
Sur l’inversion des morphismes d’arbres. Zbl 0385.68059
Arnold, A.; Dauchet, M.
3
1978
Schemas de programmes recursifs non déterministes avec appel ”synchrone”. Zbl 0405.68012
Arnold, A.
2
1978
Semantique algébrique de l’appel par valeur. Zbl 0378.68008
Arnold, Andre
2
1978
Une rélation d’équivalence decidable sur la classe des forets reconnaissables. Zbl 0392.68065
Arnold, A.; Dauchet, M.
2
1978
Metric interpretations of recursive program schemes. Zbl 0469.68018
Arnold, Andre; Nivat, Maurice
1
1978
Non deterministic recursive program schemes. Zbl 0361.68020
Arnold, A.; Nivat, M.
10
1977
Un théorème de Chomsky-Schützenberger pour les forets algébriques. Zbl 0363.68105
Arnold, A.; Dauchet, M.
3
1977
BI-transductions de forêts. Zbl 0363.68104
Arnold, A.; Dauchet, M.
20
1976
Un théorème de duplication pour les forets algébriques. Zbl 0335.68050
Arnold, Andre; Dauchet, Max
16
1976
all top 5

Cited by 524 Authors

18 Arnold, André
12 Maletti, Andreas
10 Bozapalidis, Symeon
9 Guessarian, Irène
8 Courcelle, Bruno
8 Santocanale, Luigi
7 Engelfriet, Joost
7 Fülöp, Zoltán
6 Dauchet, Max
6 Lange, Martin
6 Skrzypczak, Michał
5 Diekert, Volker
5 Kalampakas, Antonios
5 Nivat, Maurice
5 Niwiński, Damian
5 Pinchinat, Sophie
5 Rahonis, George
5 Shallit, Jeffrey O.
5 Willemse, Tim A. C.
4 Allouche, Jean-Paul Simon
4 Carton, Olivier
4 D’Agostino, Giovanna
4 Finkel, Olivier
4 Gastin, Paul
4 Latteux, Michel
4 Lenzi, Giacomo
4 Litovsky, Igor
4 Michalewski, Henryk
4 Muscholl, Anca
4 Sakarovitch, Jacques
4 Saoudi, Ahmed
4 Terlutte, Alain
4 van Breugel, Franck
4 Venema, Yde
4 Walukiewicz, Igor
3 Adámek, Jiří
3 Bartha, Miklós
3 Bertrand, Nathalie
3 Bradfield, Julian Charles
3 Clarke, Edmund Melson jun.
3 Darondeau, Philippe
3 Do Long Van
3 Droste, Manfred
3 Feuillade, Guillaume
3 Gazda, Maciej W.
3 Goranko, Valentin F.
3 Kahrs, Stefan Michael
3 Kleijn, Jetty
3 Kufleitner, Manfred
3 Kuske, Dietrich
3 Laroussinie, François
3 Le Saëc, Bertrand
3 Madelaine, Eric
3 Morin, Rémi
3 Seidl, Helmut
3 Tiferet, Doron
2 Aceto, Luca
2 Andersen, Henrik Reif
2 Astesiano, Egidio
2 Badouel, Eric
2 Balbiani, Philippe
2 Belkhir, Walid
2 Benson, David B.
2 Bernet, Julien
2 Berwanger, Dietmar
2 Bloom, Stephen L.
2 Boudol, Gérard
2 Bouyer, Patricia
2 Bruse, Florian
2 Cheikh, Fahima
2 de Bakker, Jacobus W.
2 Demri, Stéphane P.
2 Dewaskar, Miheer
2 Duparc, Jacques
2 Ebinger, Werner
2 Enqvist, Sebastian
2 Ésik, Zoltán
2 Facchini, Alessandro
2 Filali, Mamoun
2 Finkel, Alain
2 Fisman, Dana
2 Fleischer, Lukas
2 Foustoucos, Eugénie
2 French, Tim
2 Gallier, Jean H.
2 Genest, Blaise
2 Geniet, Dominique
2 Gimbert, Hugo
2 Girard, Antoine
2 Gradara, Sara
2 Grosu, Radu
2 Hammer, Jacob
2 Harju, Tero
2 Henrio, Ludovic
2 Herrmann, Luisa
2 Jäger, Gerhard
2 Janin, David
2 Keesmaat, N. W.
2 Kochergin, Vadim Vasil’evich
2 Komenda, Jan
...and 424 more Authors
all top 5

Cited in 70 Serials

123 Theoretical Computer Science
27 Information and Computation
19 Acta Informatica
13 Information Processing Letters
13 RAIRO. Informatique Théorique et Applications
12 Journal of Computer and System Sciences
10 International Journal of Foundations of Computer Science
10 RAIRO. Theoretical Informatics and Applications
9 RAIRO, Informatique Théorique
8 Discrete Event Dynamic Systems
7 Mathematical Systems Theory
6 MSCS. Mathematical Structures in Computer Science
5 Annals of Pure and Applied Logic
5 Theory of Computing Systems
5 Journal of Logical and Algebraic Methods in Programming
4 Automatica
4 Fuzzy Sets and Systems
4 Formal Methods in System Design
4 Logical Methods in Computer Science
3 Discrete Mathematics
2 International Journal of Control
2 Calcolo
2 Journal of Number Theory
2 Journal of Pure and Applied Algebra
2 Systems & Control Letters
2 Science of Computer Programming
2 Journal of Logic, Language and Information
2 Fundamenta Informaticae
2 The Journal of Logic and Algebraic Programming
2 Journal of Applied Logic
2 RAIRO. Theoretical Informatics and Applications
1 Artificial Intelligence
1 International Journal of General Systems
1 Journal of the Franklin Institute
1 Journal of Mathematical Analysis and Applications
1 Moscow University Mathematics Bulletin
1 Annales de l’Institut Fourier
1 Aplikace Matematiky
1 Applied Mathematics and Computation
1 Computing
1 Information Sciences
1 Journal of Algebra
1 Journal of Soviet Mathematics
1 Semigroup Forum
1 Topology and its Applications
1 Advances in Applied Mathematics
1 Ergodic Theory and Dynamical Systems
1 Order
1 Journal of Automated Reasoning
1 International Journal of Approximate Reasoning
1 Japan Journal of Industrial and Applied Mathematics
1 International Journal of Algebra and Computation
1 International Journal of Computer Mathematics
1 Linear Algebra and its Applications
1 Indagationes Mathematicae. New Series
1 International Journal of Robust and Nonlinear Control
1 Cybernetics and Systems Analysis
1 Applied Categorical Structures
1 Journal of Applied Non-Classical Logics
1 Journal de Théorie des Nombres de Bordeaux
1 Journal of Mathematical Sciences (New York)
1 Selecta Mathematica. New Series
1 Annals of Mathematics and Artificial Intelligence
1 Mathematical Problems in Engineering
1 European Journal of Control
1 Data Mining and Knowledge Discovery
1 Journal of Integer Sequences
1 ACM Transactions on Computational Logic
1 Frontiers of Computer Science
1 Applied Mathematics and Nonlinear Sciences

Citations by Year