×
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

62 Publications have been cited 651 times in 499 Documents Cited by Year
Rudiments of \(\mu\)-calculus. Zbl 0968.03002
Arnold, A.; Niwiński, D.
65
2001
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é
43
1994
Games for synthesis of controllers with partial observation. Zbl 1175.93148
Arnold, A.; Vincent, A.; Walukiewicz, I.
40
2003
The metric space of infinite trees. Algebraic and topological properties. Zbl 0453.68021
Arnold, Andre; Nivat, Maurice
35
1980
A syntactic congruence for rational \(\omega\)-languages. Zbl 0578.68057
Arnold, André
32
1985
Metric interpretations of infinite trees and semantics of non deterministic recursive programs. Zbl 0427.68022
Arnold, A.; Nivat, M.
29
1980
The \(\mu\)-calculus alternation-depth hierarchy is strict on binary trees. Zbl 0945.68118
Arnold, André
28
1999
Morphismes et bimorphismes d’arbres. Zbl 0486.68072
Arnold, A.; Dauchet, M.
27
1982
BI-transductions de forêts. Zbl 0363.68104
Arnold, A.; Dauchet, M.
22
1976
A note about minimal non-deterministic automata. Zbl 0751.68038
Arnold, A.; Dicky, A.; Nivat, M.
18
1992
Comportements de processus. Zbl 0538.68062
Nivat, Maurice; Arnold, André
18
1982
Forets algébriques et homomorphismes inverses. Zbl 0395.68073
Arnold, Andre; Dauchet, Max
17
1978
A linear algorithm to solve fixed-point equations on transition systems. Zbl 0663.68075
Arnold, André; Crubille, Paul
17
1988
Un théorème de duplication pour les forets algébriques. Zbl 0335.68050
Arnold, Andre; Dauchet, Max
17
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.
16
1995
Fixed point characterization of weak monadic logic definable sets of trees. Zbl 0794.03054
Arnold, André; Niwiński, Damian
16
1992
Rational \(\omega\)-languages are non-ambiguous. Zbl 0523.68069
Arnold, Andre
15
1983
Théorie des magmoides. II. Zbl 0443.68053
Arnold, A.; Dauchet, M.
14
1979
Formal computations of non deterministic recursive program schemes. Zbl 0441.68044
Arnold, Andre; Nivat, Maurice
13
1980
Théorie des magmoides. I. Zbl 0391.68037
Arnold, A.; Dauchet, M.
13
1978
An extension of the notions of traces and of asynchronous automata. Zbl 0765.68153
Arnold, A.
12
1991
Non deterministic recursive program schemes. Zbl 0361.68020
Arnold, A.; Nivat, M.
12
1977
A new proof of two theorems about rational transductions. Zbl 0401.68057
Arnold, Andre; Latteux, Michel
10
1979
The AltaRica formalism for describing concurrent systems. Zbl 0942.68054
Arnold, André; Point, Gérald; Griffault, Alain; Rauzy, Antoine
10
1999
An algebraic characterization of transition system equivalences. Zbl 0679.68116
Arnold, André; Dicky, Anne
8
1989
On semantics of nondeterministic recursive program schemes. Zbl 0577.68032
Arnold, A.; Naudin, P.; Nivat, M.
8
1985
Ambiguous classes in \(\mu\)-calculi hierarchies. Zbl 1070.68077
Santocanale, Luigi; Arnold, André
7
2005
Nondeterministic controllers of nondeterministic processes. Zbl 1215.93082
Arnold, André; Walukiewicz, Igor
7
2008
Controlling behaviours of systems: Some basic concepts and some applications. Zbl 0445.68043
Arnold, A.; Nivat, M.
7
1980
Continuous separation of game languages. Zbl 1213.03051
Arnold, André; Niwiński, Damian
7
2007
Topological characterizations of infinite behaviours of transition systems. Zbl 0515.68063
Arnold, Andre
6
1983
On the topological complexity of tree languages. Zbl 1244.03116
Arnold, André; Duparc, Jacques; Murlak, Filip; Niwiński, Damian
5
2008
Calculs infinis, interpretations métriques et plus grands points fixes. Zbl 0486.68013
Nivat, Maurice; Arnold, Andre
5
1978
Fixed point characterization of Büchi automata on infinite trees. Zbl 0721.68040
Arnold, André; Niwinski, Damian
5
1990
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
Construction and analysis of transition systems with MEC. Zbl 0836.68075
Arnold, André; Bégay, Didier; Crubillé, Paul
5
1994
Recursivite et cônes rationnels fermés par intersection. Zbl 0421.68075
Arnold, A.; Latteux, M.
4
1978
An initial semantics for the \(\mu\)-calculus on trees and Rabin’s complementation lemma. Zbl 0873.68157
Arnold, André
3
1995
Optimal word chains for the Thue-Morse word. Zbl 0689.68097
Arnold, A.; Brlek, S.
3
1989
On the separation question for tree languages. Zbl 1245.68116
Arnold, André; Michalewski, Henryk; Niwiński, Damian
3
2012
Semantique des processus communicants. Zbl 0463.68033
Arnold, Andre
3
1981
Un théorème de Chomsky-Schützenberger pour les forets algébriques. Zbl 0363.68105
Arnold, A.; Dauchet, M.
3
1977
Deterministic and non ambiguous rational \(\omega\)-languages. Zbl 0612.68073
Arnold, André
3
1985
Nivat’s processes and their synchronization. Zbl 0997.68077
Arnold, André
3
2002
Verification and comparison of transition systems. Zbl 1497.68325
Arnold, André
3
1993
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
Transition systems and concurrent processes. Zbl 0761.68069
Arnold, André
2
1988
Equivalences and preorders of transition systems. Zbl 0925.03145
Arnold, A.; Dicky, A.
2
1993
Logical definability of fixed points. Zbl 0663.03024
Arnold, André
2
1988
Metric interpretations of recursive program schemes. Zbl 0469.68018
Arnold, Andre; Nivat, Maurice
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
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
An example of sequentialization of a parallel algorithm. Zbl 0686.68051
Arnold, André
1
1989
CAAP ’90. 15th colloquium on trees in algebra and programming, Copenhagen, Denmark, May 15–18, 1990, Proceedings. Zbl 0745.00027
1
1990
Recognizable sets of finite bilabelled transition systems. Zbl 0727.68069
Arnold, A.
1
1990
Ambiguous classes in the games \(\mu\)-calculus hierarchy. Zbl 1029.68095
Arnold, André; Santocanale, Luigi
1
2003
Mathematics for computer science. Zbl 0849.68001
Arnold, André; Guessarian, Irène
1
1996
Affine completeness of the algebra of full binary trees. Zbl 1484.08001
Arnold, André; Cégielski, Patrick; Grigorieff, Serge; Guessarian, Irène
1
2020
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
7
2008
On the topological complexity of tree languages. Zbl 1244.03116
Arnold, André; Duparc, Jacques; Murlak, Filip; Niwiński, Damian
5
2008
Continuous separation of game languages. Zbl 1213.03051
Arnold, André; Niwiński, Damian
7
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.
40
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.
65
2001
The \(\mu\)-calculus alternation-depth hierarchy is strict on binary trees. Zbl 0945.68118
Arnold, André
28
1999
The AltaRica formalism for describing concurrent systems. Zbl 0942.68054
Arnold, André; Point, Gérald; Griffault, Alain; Rauzy, Antoine
10
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.
16
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é
43
1994
Construction and analysis of transition systems with MEC. Zbl 0836.68075
Arnold, André; Bégay, Didier; Crubillé, Paul
5
1994
Verification and comparison of transition systems. Zbl 1497.68325
Arnold, André
3
1993
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.
18
1992
Fixed point characterization of weak monadic logic definable sets of trees. Zbl 0794.03054
Arnold, André; Niwiński, Damian
16
1992
An extension of the notions of traces and of asynchronous automata. Zbl 0765.68153
Arnold, A.
12
1991
Fixed point characterization of Büchi automata on infinite trees. Zbl 0721.68040
Arnold, André; Niwinski, Damian
5
1990
CAAP ’90. 15th colloquium on trees in algebra and programming, Copenhagen, Denmark, May 15–18, 1990, Proceedings. Zbl 0745.00027
1
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é
32
1985
On semantics of nondeterministic recursive program schemes. Zbl 0577.68032
Arnold, A.; Naudin, P.; Nivat, M.
8
1985
Deterministic and non ambiguous rational \(\omega\)-languages. Zbl 0612.68073
Arnold, André
3
1985
Rational \(\omega\)-languages are non-ambiguous. Zbl 0523.68069
Arnold, Andre
15
1983
Topological characterizations of infinite behaviours of transition systems. Zbl 0515.68063
Arnold, Andre
6
1983
Morphismes et bimorphismes d’arbres. Zbl 0486.68072
Arnold, A.; Dauchet, M.
27
1982
Comportements de processus. Zbl 0538.68062
Nivat, Maurice; Arnold, André
18
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
35
1980
Metric interpretations of infinite trees and semantics of non deterministic recursive programs. Zbl 0427.68022
Arnold, A.; Nivat, M.
29
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.
7
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.
14
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.
13
1978
Calculs infinis, interpretations métriques et plus grands points fixes. Zbl 0486.68013
Nivat, Maurice; Arnold, Andre
5
1978
Recursivite et cônes rationnels fermés par intersection. Zbl 0421.68075
Arnold, A.; Latteux, M.
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
Metric interpretations of recursive program schemes. Zbl 0469.68018
Arnold, Andre; Nivat, Maurice
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
Non deterministic recursive program schemes. Zbl 0361.68020
Arnold, A.; Nivat, M.
12
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.
22
1976
Un théorème de duplication pour les forets algébriques. Zbl 0335.68050
Arnold, Andre; Dauchet, Max
17
1976
all top 5

Cited by 595 Authors

17 Arnold, André
15 Maletti, Andreas
10 Bozapalidis, Symeon
10 Courcelle, Bruno
10 Santocanale, Luigi
9 Engelfriet, Joost
9 Guessarian, Irène
9 Lange, Martin
8 Skrzypczak, Michał
7 Fülöp, Zoltán
7 Nivat, Maurice
7 Rahonis, George
6 Dauchet, Max
6 Finkel, Olivier
6 Kalampakas, Antonios
6 Niwiński, Damian
6 Venema, Yde
6 Walukiewicz, Igor
5 Allouche, Jean-Paul Simon
5 Droste, Manfred
5 Gastin, Paul
5 Latteux, Michel
5 Michalewski, Henryk
5 Pinchinat, Sophie
5 Shallit, Jeffrey Outlaw
5 Willemse, Tim A. C.
4 Adámek, Jiří
4 Bradfield, Julian Charles
4 Bruse, Florian
4 Carton, Olivier
4 D’Agostino, Giovanna
4 Diekert, Volker
4 Do Long Van
4 Lenzi, Giacomo
4 Litovsky, Igor
4 Löding, Christof
4 Muscholl, Anca
4 Sakarovitch, Jacques
4 Saoudi, Ahmed
4 Seidl, Helmut
4 Terlutte, Alain
3 Bartha, Miklós
3 Belkhir, Walid
3 Berwanger, Dietmar
3 Clarke, Edmund Melson jun.
3 Darondeau, Philippe
3 Devillers, Raymond
3 Duparc, Jacques
3 Ésik, Zoltán
3 Facchini, Alessandro
3 Feuillade, Guillaume
3 Filali, Mamoun
3 Gazda, Maciej W.
3 Geniet, Dominique
3 Goranko, Valentin F.
3 Janin, David
3 Kahrs, Stefan Michael
3 Kleijn, Jetty
3 Komenda, Jan
3 Kufleitner, Manfred
3 Laroussinie, François
3 Le Saëc, Bertrand
3 Lecomte, Dominique
3 Lilin, Eric
3 Morin, Rémi
3 Murlak, Filip
3 Peled, Doron A.
3 Rabinovich, Alexander
3 Tiferet, Doron
3 Tîrnăucă, Cătălin Ionuţ
3 van Breugel, Franck
3 Wilke, Thomas
3 Worrell, James B.
3 Zielonka, Wiesław
2 Aceto, Luca
2 Andersen, Henrik Reif
2 Astesiano, Egidio
2 Badouel, Eric
2 Bahr, Patrick
2 Baier, Christel
2 Balbiani, Philippe
2 Benedikt, Michael A.
2 Benson, David B.
2 Bergeron, Anne
2 Bernet, Julien
2 Bertrand, Nathalie
2 Blattmann, Malte
2 Bloom, Stephen L.
2 Boasson, Luc
2 Bodeveix, Jean-Paul
2 Boudol, Gérard
2 Bouyer, Patricia
2 Carmona, Josep
2 Cheikh, Fahima
2 Cranen, Sjoerd
2 Dawar, Anuj
2 de Bakker, Jacobus W.
2 de Vries, Fer-Jan J.
2 Demri, Stéphane P.
2 Ebinger, Werner
...and 495 more Authors
all top 5

Cited in 72 Serials

132 Theoretical Computer Science
28 Information and Computation
19 Acta Informatica
15 Journal of Computer and System Sciences
14 Information Processing Letters
12 International Journal of Foundations of Computer Science
12 RAIRO. Informatique Théorique et Applications
10 RAIRO. Theoretical Informatics and Applications
9 RAIRO, Informatique Théorique
9 Discrete Event Dynamic Systems
8 Annals of Pure and Applied Logic
7 Automatica
7 Logical Methods in Computer Science
6 Mathematical Systems Theory
6 Mathematical Structures in Computer Science
5 Theory of Computing Systems
5 Fundamenta Informaticae
4 Fuzzy Sets and Systems
4 Formal Methods in System Design
4 The Journal of Logic and Algebraic Programming
4 Journal of Logical and Algebraic Methods in Programming
3 Discrete Mathematics
2 International Journal of Control
2 Calcolo
2 Journal of Algebra
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 Journal of Applied Non-Classical Logics
2 European Journal of Control
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 Soviet Mathematics
1 Semigroup Forum
1 Topology and its Applications
1 Advances in Applied Mathematics
1 Ergodic Theory and Dynamical Systems
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 de Théorie des Nombres de Bordeaux
1 Journal of Mathematical Sciences (New York)
1 Mathematical Logic Quarterly (MLQ)
1 Selecta Mathematica. New Series
1 Annals of Mathematics and Artificial Intelligence
1 Mathematical Problems in Engineering
1 Data Mining and Knowledge Discovery
1 Journal of Integer Sequences
1 Central European Journal of Mathematics
1 ACM Transactions on Computational Logic
1 Oberwolfach Reports
1 Frontiers of Computer Science
1 Applied Mathematics and Nonlinear Sciences

Citations by Year