×
Compute Distance To:
Author ID: nivat.maurice Recent zbMATH articles by "Nivat, Maurice"
Published as: Nivat, Maurice; Nivat, M.; Nivat, Murice
External Links: MGP · Wikidata · dblp · GND · IdRef · theses.fr
all top 5

Co-Authors

27 single-authored
14 Boasson, Luc
12 Del Lungo, Alberto
10 Arnold, André
6 Beauquier, Danièle
6 Frosini, Andrea
6 Podelski, Andreas
6 Saoudi, Ahmed
5 Daurat, Alain
5 Kuba, Attila
5 Pinzani, Renzo
4 Barcucci, Elena
4 Book, Ronald Vernon
4 Courcelle, Bruno
3 Brunetti, Sara
3 Calbrix, Hugues
3 Perrin, Dominique
3 Wang, Patrick Shen-Pei
2 Aït-Kaci, Hassan
2 Autebert, Jean-Michel
2 Beauquier, Joffroy
2 Crestin, Jean-Pierre
2 Ehrig, Hartmut
2 Engelfriet, Joost
2 Floyd, Christiane
2 Gérard, Yan
2 Gire, Françoise
2 Niwiński, Damian
2 Paterson, Michael S.
2 Rinaldi, Simone
2 Thatcher, James W.
2 Vuillon, Laurent
1 Aho, Alfred Vaino
1 Aigrain, Philippe
1 Balogh, Emese
1 Batenburg, Kees Joost
1 Boufkhad, Yacine
1 Brlek, Srečko
1 Brzozowski, Janusz Antoni
1 Cochet, Yves
1 Cousineau, Guy
1 Culik, Karel II
1 Dare, Vincent Rajkumar
1 Dauchet, Max
1 Davis, Larry S.
1 Del Ristoro, Francesco
1 Delporte-Gallet, Carole
1 Dicky, Anne
1 Dubois, Olivier
1 Fauconnier, Hugues
1 Ginsburg, Seymour
1 Girault-Beauquier, Danièle
1 Goldstine, Jonathan
1 Guessarian, Irène
1 Huet, Gerard P.
1 Latteux, Michel
1 Lentin, Andre
1 Maurer, Hermann A.
1 Monien, Burkhard
1 Nagy, Antal
1 Naudin, Patrice
1 Nolin, Louis
1 Oppen, Derek C.
1 Perrot, Jean-Francois
1 Rémila, Eric
1 Reutenauer, Christophe
1 Reynolds, John Charles
1 Robson, Mike
1 Rosenfeld, Azriel
1 Rozenberg, Grzegorz
1 Salomaa, Arto Kustaa
1 Schützenberger, Marcel-Paul
1 Sorri, L.
1 Sudborough, Ivan Hal
1 Van Leeuwen, Jan
1 Wirsing, Martin

Publications by Year

Citations contained in zbMATH Open

103 Publications have been cited 1,388 times in 884 Documents Cited by Year
Graph structure and monadic second-order logic. A language-theoretic approach. Zbl 1257.68006
Courcelle, Bruno; Engelfriet, Joost
147
2012
Transductions des langages de Chomsky. Zbl 0313.68065
Nivat, Maurice
107
1968
Adherences of languages. Zbl 0471.68052
Boasson, Luc; Nivat, Maurice
77
1980
Reconstructing convex polyominoes from horizontal and vertical projections. Zbl 0872.68134
Barcucci, Elena; Del Lungo, Alberto; Nivat, Maurice; Pinzani, Renzo
66
1996
On the palindromic complexity of infinite words. Zbl 1067.68113
Brlek, S.; Hamel, S.; Nivat, M.; Reutenauer, C.
55
2004
Infinite words, infinite trees, infinite computations. Zbl 0423.68012
Nivat, M.
49
1979
Une généralisation du monoide bicyclique. Zbl 0206.30304
Nivat, M.; Perrot, J.-F.
46
1970
On translating one polyomino to tile the plane. Zbl 0754.05030
Beauquier, D.; Nivat, M.
40
1991
Sur les ensembles de mots infinis engendres par une grammaire algébrique. Zbl 0387.68050
Nivat, Maurice
32
1978
The metric space of infinite trees. Algebraic and topological properties. Zbl 0453.68021
Arnold, Andre; Nivat, Maurice
32
1980
Éléments de la théorie générale des codes. Zbl 0208.45101
Nivat, M.
31
1966
Sur diverses familles de langages fermées par transduction rationnelle. Zbl 0242.68037
Boasson, L.; Nivat, M.
31
1973
The algebraic semantics of recursive program schemes. Zbl 0384.68016
Courcelle, B.; Nivat, M.
30
1978
Une généralisation des ensembles de Dyck. Zbl 0215.56005
Cochet, Y.; Nivat, M.
30
1971
Metric interpretations of infinite trees and semantics of non deterministic recursive programs. Zbl 0427.68022
Arnold, A.; Nivat, M.
26
1980
Mots infinis engendres par une grammaire algébrique. Zbl 0371.68025
Nivat, Maurice
24
1977
On the interpretation of recursive polyadic program schemes. Zbl 0346.68041
Nivat, Maurice
22
1975
Congruences parfaites et quasi-parfaites. Zbl 0338.02018
Nivat, Maurice
22
1973
Quelques problèmes ouverts en théorie des langages algébriques. Zbl 0434.68056
Autebert, J. M.; Beauquier, J.; Boasson, L.; Nivat, M.
20
1979
Tiling the plane with one tile. Zbl 0755.52008
Girault-Beauquier, D.; Nivat, M.
19
1991
Reversal-bounded acceptors and intersections of linear languages. Zbl 0292.68023
Book, Ronald; Nivat, Maurice; Paterson, Michael
18
1975
A note about minimal non-deterministic automata. Zbl 0751.68038
Arnold, A.; Dicky, A.; Nivat, M.
16
1992
Tiling figures of the plane with two bars. Zbl 0815.05022
Beauquier, Danièle; Nivat, Maurice; Remila, Eric; Robson, Mike
16
1995
Reconstruction of 4- and 8-connected convex discrete sets from row and column projections. Zbl 1007.65108
Brunetti, S.; Del Lungo, A.; Del Ristoro, F.; Kuba, A.; Nivat, M.
16
2001
Relations rationnelles infinitaires. Zbl 0552.68064
Gire, F.; Nivat, M.
15
1984
The number of convex polyominoes reconstructible from their orthogonal projections. Zbl 0856.05024
Del Lungo, Alberto; Nivat, Maurice; Pinzani, Renzo
15
1996
X-rays characterizing some classes of discrete sets. Zbl 0994.65142
Barcucci, Elena; Del Lungo, Alberto; Nivat, Maurice; Pinzani, Renzo
14
2001
Comportements de processus. Zbl 0538.68062
Nivat, Maurice; Arnold, André
13
1982
Formal computations of non deterministic recursive program schemes. Zbl 0441.68044
Arnold, Andre; Nivat, Maurice
13
1980
A codicity undecidable problem in the plane. Zbl 1053.68067
Beauquier, Danièle; Nivat, Maurice
12
2003
Ensembles reconnaissables de mots biinfinis. Zbl 0619.68067
Nivat, Maurice; Perrin, Dominique
11
1986
Salient and reentrant points of discrete sets. Zbl 1115.52300
Daurat, Alain; Nivat, Maurice
11
2003
Langages algébriques sur le magma libre et semantique des schemas de programme. Zbl 0279.68010
Nivat, M.
11
1973
Familles de langages translatables et fermées par crochet. Zbl 0311.68047
Boasson, L.; Crestin, J. P.; Nivat, M.
11
1973
Homogeneous subsets of \(\mathbb Z^2\) and plane tilings. (Sous-ensembles homogènes de \(\mathbb Z^2\) et pavages du plan.) Zbl 1115.52301
Nivat, Maurice
11
2002
Linear languages and the intersection closures of classes of languages. Zbl 0376.68049
Book, Ronald V.; Nivat, Maurice
10
1978
Binary matrices under the microscope: A tomographical problem. Zbl 1113.68107
Frosini, Andrea; Nivat, Maurice
10
2007
The rational index: a complexity measure for languages. Zbl 0469.68083
Boasson, Luc; Courcelle, Bruno; Nivat, Maurice
10
1981
Non deterministic recursive program schemes. Zbl 0361.68020
Arnold, A.; Nivat, M.
9
1977
Minimal ascending and descending tree automata. Zbl 0868.68080
Nivat, Maurice; Podelski, Andreas
9
1997
Reconstruction of connected sets from two projections. Zbl 0965.68114
Del Lungo, Alberto; Nivat, Maurice
9
1999
A sufficient condition for non-uniqueness in binary tomography with absorption. Zbl 1081.68117
Kuba, Attila; Nivat, Murice
9
2005
Le cylindre des langages linéaires. Zbl 0352.68087
Boasson, L.; Nivat, M.
8
1977
Efficient recognition of rational relations. Zbl 0483.68044
Van Leeuwen, Jan; Nivat, Maurice
8
1982
Reconstruction of discrete sets with absorption. Zbl 1004.65056
Kuba, Attila; Nivat, Maurice
8
2001
Some necessary clarifications about the chords’ problem and the partial digest problem. Zbl 1080.68104
Daurat, A.; Gérard, Y.; Nivat, M.
8
2005
Centers of languages. Zbl 0457.68082
Boasson, L.; Nivat, M.
8
1981
Reconstruction of lattice sets from their horizontal, vertical and diagonal \(X\)-rays. Zbl 1001.68177
Barcucci, Elena; Brunetti, Sara; Del Lungo, Alberto; Nivat, Maurice
7
2001
Reconstruction of discrete sets with absorption. Zbl 1043.68807
Kuba, Attila; Nivat, Maurice
7
2000
Tree automata and languages. Zbl 0781.00007
6
1992
Medians of discrete sets according to a linear distance. Zbl 0960.51007
Daurat, A.; Del Lungo, A.; Nivat, M.
6
2000
Automata on infinite words. Ecole de Printemps d’Informatique Théorique, Le Mont Dore, May 14-18, 1984. Zbl 0563.00019
6
1985
Rational bijection of rational sets. Zbl 0432.68051
Maurer, H. A.; Nivat, M.
6
1980
Controlling behaviours of systems: Some basic concepts and some applications. Zbl 0445.68043
Arnold, A.; Nivat, M.
6
1980
On a tomographic equivalence between (0,1)-matrices. Zbl 1055.68142
Nivat, Maurice
6
2004
The chords’ problem. Zbl 0996.68214
Daurat, Alain; Gérard, Yan; Nivat, Maurice
6
2002
Definite tree languages (cont’d). Zbl 0677.68066
Nivat, Maurice; Podelski, Andreas
5
1989
On semantics of nondeterministic recursive program schemes. Zbl 0577.68032
Arnold, A.; Naudin, P.; Nivat, M.
5
1985
A new complexity measure for languages. Zbl 0431.68077
Boasson, Luc; Courcelle, Bruno; Nivat, Maurice
5
1977
On ultimately periodic words of rational \(\omega\)-languages. (Sur les mots ultimement périodiques des langages rationnels de mots infinis.) Zbl 0917.20053
Calbrix, Hugues; Nivat, Maurice; Podelski, Andreas
5
1994
Reconstruction of binary matrices from absorbed projections. Zbl 1055.68608
Balogh, E.; Kuba, A.; Del Lungo, A.; Nivat, M.
5
2002
Automata on infinite objects and their applications to logic and programming. Zbl 0691.68068
Nivat, M.; Saoudi, A.
4
1989
About rational sets of factors of a bi-infinite word. Zbl 0571.68066
Beauquier, D.; Nivat, M.
4
1985
Prefix and period languages of rational \(\omega\)-languages. Zbl 1096.68651
Calbrix, Hugues; Nivat, Maurice
4
1996
Scanning integer matrices by means of two rectangular windows. Zbl 1160.68043
Frosini, Andrea; Nivat, Maurice; Rinaldi, Simone
4
2008
Ensembles reconnaissables de mots biinfinis. Zbl 0589.68056
Nivat, Maurice; Perrin, Dominique
4
1986
Calculs infinis, interpretations métriques et plus grands points fixes. Zbl 0486.68013
Nivat, Maurice; Arnold, Andre
4
1978
Binary tree codes. Zbl 0798.68083
Nivat, Maurice
4
1992
Ordres et types de langages. Zbl 0354.68107
Boasson, Luc; Nivat, Maurice
3
1977
Intersections of linear context-free languages and reversal-bounded multipushdown machines. (Extended abstract). Zbl 0361.68105
Book, Ronald; Nivat, Maurice; Paterson, Michael
3
1974
The medians of discrete sets. Zbl 1338.68261
Del Lungo, A.; Nivat, M.; Pinzani, R.; Sorri, L.
3
1998
Langages algébriques de mots biinfinis. (Algebraic languages of biinfinite words). Zbl 0742.68039
Gire, F.; Nivat, M.
3
1991
Transductions et familles de langages. Zbl 0245.68018
Boasson, Luc; Nivat, Maurice
3
1971
Reconstruction of discrete sets from three or more X-rays. Zbl 0971.68629
Barcucci, Elena; Brunetti, Sara; Del Lungo, Alberto; Nivat, Maurice
3
2000
Salient and reentrant points of discrete sets. Zbl 1108.52027
Daurat, Alain; Nivat, Maurice
3
2005
Binary matrices under the microscope: A tomographical problem. Zbl 1113.68577
Frosini, Andrea; Nivat, Maurice
2
2004
Behaviors of processes and synchronized systems of processes. Zbl 0538.68063
Nivat, Maurice
2
1982
Formal language theory. Perspectives and open problems. (Proceedings of a symposium held in Santa Barbara, California, December 10–14, 1979). Zbl 0545.68065
2
1980
On a tomographic equivalence between \((0,1)\) matrices. Zbl 1112.05303
Frosini, A.; Nivat, M.
2
2005
Automata on infinite trees and Kleene closure of regular tree sets. Zbl 0669.68039
Nivat, M.; Saoudi, A.
2
1988
On rational expressions representing infinite rational trees: Application to the structure of flow charts. Zbl 0421.68013
Cousineau, Guy; Nivat, Maurice
2
1979
Non deterministic programs: An algebraic overview. Zbl 0444.68011
Nivat, Maurice
2
1980
Infinitary relations. Zbl 0479.68055
Nivat, Maurice
2
1981
Le cylindre des langages linéaires n’est pas principal. Zbl 0316.68046
Boasson, L.; Nivat, M.
2
1975
Congruences de Thue et \(t\)-langages. Zbl 0242.68040
Nivat, M.
2
1972
Reconstructing \((h,v)\)-convex \(2\)-dimensional patterns of objects from approximate horizontal and vertical projections. Zbl 1044.68154
Boufkhad, Yacine; Dubois, Olivier; Nivat, Maurice
2
2003
Discrete tomography: Reconstruction under periodicity constraints. Zbl 1056.68592
Del Lungo, Alberto; Frosini, Andrea; Nivat, Maurice; Vuillon, Laurent
2
2002
An introduction to periodical discrete sets from a tomographical perspective. Zbl 1080.68105
Frosini, Andrea; Nivat, Maurice; Vuillon, Laurent
2
2005
Sur l’irreductibilite de certaines représentations de monoides. Zbl 0131.02002
Nivat, M.
2
1965
Parallel generation of infinite images. Zbl 0699.68103
Nivat, M.; Saoudi, A.; Dare, V. R.
2
1990
Ordres et types de langages. Zbl 0359.68096
Boasson, Luc; Nivat, Maurice
1
1977
Opérateurs sur les familles de langages. Zbl 0399.68073
Nivat, M.
1
1978
A bijection for the total area of parallelogram polyominoes. Zbl 1058.05016
Del Lungo, Alberto; Nivat, Maurice; Pinzani, Renzo; Rinaldi, Simone
1
2004
Resolution of equations in algebraic structures. Volume I: Algebraic techniques. Zbl 1109.68521
1
1989
Parallel image processing. Zbl 0995.68549
1
1992
Formalisation de la semantique des langages de programmation: Ses buts et ses moyens. Zbl 0333.68012
Nivat, M.
1
1976
Metric interpretations of recursive program schemes. Zbl 0469.68018
Arnold, Andre; Nivat, Maurice
1
1978
Algebraic methodology and software technology. 5th international conference, AMAST ’96, Munich, Germany, July 1-5, 1996. Proceedings. Zbl 0851.00082
1
1996
Sur une classe de transducteurs. Zbl 0189.02102
Nivat, M.
1
1967
Suffix, prefix and maximal tree codes. Zbl 0798.68082
Aigrain, Philippe; Nivat, Maurice
1
1992
Graph structure and monadic second-order logic. A language-theoretic approach. Zbl 1257.68006
Courcelle, Bruno; Engelfriet, Joost
147
2012
Scanning integer matrices by means of two rectangular windows. Zbl 1160.68043
Frosini, Andrea; Nivat, Maurice; Rinaldi, Simone
4
2008
Binary matrices under the microscope: A tomographical problem. Zbl 1113.68107
Frosini, Andrea; Nivat, Maurice
10
2007
A sufficient condition for non-uniqueness in binary tomography with absorption. Zbl 1081.68117
Kuba, Attila; Nivat, Murice
9
2005
Some necessary clarifications about the chords’ problem and the partial digest problem. Zbl 1080.68104
Daurat, A.; Gérard, Y.; Nivat, M.
8
2005
Salient and reentrant points of discrete sets. Zbl 1108.52027
Daurat, Alain; Nivat, Maurice
3
2005
On a tomographic equivalence between \((0,1)\) matrices. Zbl 1112.05303
Frosini, A.; Nivat, M.
2
2005
An introduction to periodical discrete sets from a tomographical perspective. Zbl 1080.68105
Frosini, Andrea; Nivat, Maurice; Vuillon, Laurent
2
2005
On the palindromic complexity of infinite words. Zbl 1067.68113
Brlek, S.; Hamel, S.; Nivat, M.; Reutenauer, C.
55
2004
On a tomographic equivalence between (0,1)-matrices. Zbl 1055.68142
Nivat, Maurice
6
2004
Binary matrices under the microscope: A tomographical problem. Zbl 1113.68577
Frosini, Andrea; Nivat, Maurice
2
2004
A bijection for the total area of parallelogram polyominoes. Zbl 1058.05016
Del Lungo, Alberto; Nivat, Maurice; Pinzani, Renzo; Rinaldi, Simone
1
2004
A codicity undecidable problem in the plane. Zbl 1053.68067
Beauquier, Danièle; Nivat, Maurice
12
2003
Salient and reentrant points of discrete sets. Zbl 1115.52300
Daurat, Alain; Nivat, Maurice
11
2003
Reconstructing \((h,v)\)-convex \(2\)-dimensional patterns of objects from approximate horizontal and vertical projections. Zbl 1044.68154
Boufkhad, Yacine; Dubois, Olivier; Nivat, Maurice
2
2003
Homogeneous subsets of \(\mathbb Z^2\) and plane tilings. (Sous-ensembles homogènes de \(\mathbb Z^2\) et pavages du plan.) Zbl 1115.52301
Nivat, Maurice
11
2002
The chords’ problem. Zbl 0996.68214
Daurat, Alain; Gérard, Yan; Nivat, Maurice
6
2002
Reconstruction of binary matrices from absorbed projections. Zbl 1055.68608
Balogh, E.; Kuba, A.; Del Lungo, A.; Nivat, M.
5
2002
Discrete tomography: Reconstruction under periodicity constraints. Zbl 1056.68592
Del Lungo, Alberto; Frosini, Andrea; Nivat, Maurice; Vuillon, Laurent
2
2002
Reconstruction of 4- and 8-connected convex discrete sets from row and column projections. Zbl 1007.65108
Brunetti, S.; Del Lungo, A.; Del Ristoro, F.; Kuba, A.; Nivat, M.
16
2001
X-rays characterizing some classes of discrete sets. Zbl 0994.65142
Barcucci, Elena; Del Lungo, Alberto; Nivat, Maurice; Pinzani, Renzo
14
2001
Reconstruction of discrete sets with absorption. Zbl 1004.65056
Kuba, Attila; Nivat, Maurice
8
2001
Reconstruction of lattice sets from their horizontal, vertical and diagonal \(X\)-rays. Zbl 1001.68177
Barcucci, Elena; Brunetti, Sara; Del Lungo, Alberto; Nivat, Maurice
7
2001
Reconstruction of discrete sets with absorption. Zbl 1043.68807
Kuba, Attila; Nivat, Maurice
7
2000
Medians of discrete sets according to a linear distance. Zbl 0960.51007
Daurat, A.; Del Lungo, A.; Nivat, M.
6
2000
Reconstruction of discrete sets from three or more X-rays. Zbl 0971.68629
Barcucci, Elena; Brunetti, Sara; Del Lungo, Alberto; Nivat, Maurice
3
2000
Reconstruction of connected sets from two projections. Zbl 0965.68114
Del Lungo, Alberto; Nivat, Maurice
9
1999
The medians of discrete sets. Zbl 1338.68261
Del Lungo, A.; Nivat, M.; Pinzani, R.; Sorri, L.
3
1998
Minimal ascending and descending tree automata. Zbl 0868.68080
Nivat, Maurice; Podelski, Andreas
9
1997
Reconstructing convex polyominoes from horizontal and vertical projections. Zbl 0872.68134
Barcucci, Elena; Del Lungo, Alberto; Nivat, Maurice; Pinzani, Renzo
66
1996
The number of convex polyominoes reconstructible from their orthogonal projections. Zbl 0856.05024
Del Lungo, Alberto; Nivat, Maurice; Pinzani, Renzo
15
1996
Prefix and period languages of rational \(\omega\)-languages. Zbl 1096.68651
Calbrix, Hugues; Nivat, Maurice
4
1996
Algebraic methodology and software technology. 5th international conference, AMAST ’96, Munich, Germany, July 1-5, 1996. Proceedings. Zbl 0851.00082
1
1996
Tiling figures of the plane with two bars. Zbl 0815.05022
Beauquier, Danièle; Nivat, Maurice; Remila, Eric; Robson, Mike
16
1995
On ultimately periodic words of rational \(\omega\)-languages. (Sur les mots ultimement périodiques des langages rationnels de mots infinis.) Zbl 0917.20053
Calbrix, Hugues; Nivat, Maurice; Podelski, Andreas
5
1994
A note about minimal non-deterministic automata. Zbl 0751.68038
Arnold, A.; Dicky, A.; Nivat, M.
16
1992
Tree automata and languages. Zbl 0781.00007
6
1992
Binary tree codes. Zbl 0798.68083
Nivat, Maurice
4
1992
Parallel image processing. Zbl 0995.68549
1
1992
Suffix, prefix and maximal tree codes. Zbl 0798.68082
Aigrain, Philippe; Nivat, Maurice
1
1992
On translating one polyomino to tile the plane. Zbl 0754.05030
Beauquier, D.; Nivat, M.
40
1991
Tiling the plane with one tile. Zbl 0755.52008
Girault-Beauquier, D.; Nivat, M.
19
1991
Langages algébriques de mots biinfinis. (Algebraic languages of biinfinite words). Zbl 0742.68039
Gire, F.; Nivat, M.
3
1991
About the effect of the number of successful paths in an infinite tree on the recognizability by a finite automaton with Büchi conditions. Zbl 0925.03180
Beauquier, D.; Nivat, M.; Niwiński, D.
1
1991
Parallel generation of infinite images. Zbl 0699.68103
Nivat, M.; Saoudi, A.; Dare, V. R.
2
1990
Parallélisation d’algorithmes avec un nombre fixe de processeurs. (Parallelization of algorithms with a fixed number of processors). Zbl 0701.68024
Delporte-Gallet, C.; Fauconnier, H.; Nivat, M.
1
1990
Definite tree languages (cont’d). Zbl 0677.68066
Nivat, Maurice; Podelski, Andreas
5
1989
Automata on infinite objects and their applications to logic and programming. Zbl 0691.68068
Nivat, M.; Saoudi, A.
4
1989
Resolution of equations in algebraic structures. Volume I: Algebraic techniques. Zbl 1109.68521
1
1989
Automata on infinite trees and Kleene closure of regular tree sets. Zbl 0669.68039
Nivat, M.; Saoudi, A.
2
1988
Ensembles reconnaissables de mots biinfinis. Zbl 0619.68067
Nivat, Maurice; Perrin, Dominique
11
1986
Ensembles reconnaissables de mots biinfinis. Zbl 0589.68056
Nivat, Maurice; Perrin, Dominique
4
1986
Automata on infinite words. Ecole de Printemps d’Informatique Théorique, Le Mont Dore, May 14-18, 1984. Zbl 0563.00019
6
1985
On semantics of nondeterministic recursive program schemes. Zbl 0577.68032
Arnold, A.; Naudin, P.; Nivat, M.
5
1985
About rational sets of factors of a bi-infinite word. Zbl 0571.68066
Beauquier, D.; Nivat, M.
4
1985
Relations rationnelles infinitaires. Zbl 0552.68064
Gire, F.; Nivat, M.
15
1984
Comportements de processus. Zbl 0538.68062
Nivat, Maurice; Arnold, André
13
1982
Efficient recognition of rational relations. Zbl 0483.68044
Van Leeuwen, Jan; Nivat, Maurice
8
1982
Behaviors of processes and synchronized systems of processes. Zbl 0538.68063
Nivat, Maurice
2
1982
The rational index: a complexity measure for languages. Zbl 0469.68083
Boasson, Luc; Courcelle, Bruno; Nivat, Maurice
10
1981
Centers of languages. Zbl 0457.68082
Boasson, L.; Nivat, M.
8
1981
Infinitary relations. Zbl 0479.68055
Nivat, Maurice
2
1981
Adherences of languages. Zbl 0471.68052
Boasson, Luc; Nivat, Maurice
77
1980
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.
26
1980
Formal computations of non deterministic recursive program schemes. Zbl 0441.68044
Arnold, Andre; Nivat, Maurice
13
1980
Rational bijection of rational sets. Zbl 0432.68051
Maurer, H. A.; Nivat, M.
6
1980
Controlling behaviours of systems: Some basic concepts and some applications. Zbl 0445.68043
Arnold, A.; Nivat, M.
6
1980
Formal language theory. Perspectives and open problems. (Proceedings of a symposium held in Santa Barbara, California, December 10–14, 1979). Zbl 0545.68065
2
1980
Non deterministic programs: An algebraic overview. Zbl 0444.68011
Nivat, Maurice
2
1980
Infinite words, infinite trees, infinite computations. Zbl 0423.68012
Nivat, M.
49
1979
Quelques problèmes ouverts en théorie des langages algébriques. Zbl 0434.68056
Autebert, J. M.; Beauquier, J.; Boasson, L.; Nivat, M.
20
1979
On rational expressions representing infinite rational trees: Application to the structure of flow charts. Zbl 0421.68013
Cousineau, Guy; Nivat, Maurice
2
1979
Sur les ensembles de mots infinis engendres par une grammaire algébrique. Zbl 0387.68050
Nivat, Maurice
32
1978
The algebraic semantics of recursive program schemes. Zbl 0384.68016
Courcelle, B.; Nivat, M.
30
1978
Linear languages and the intersection closures of classes of languages. Zbl 0376.68049
Book, Ronald V.; Nivat, Maurice
10
1978
Calculs infinis, interpretations métriques et plus grands points fixes. Zbl 0486.68013
Nivat, Maurice; Arnold, Andre
4
1978
Opérateurs sur les familles de langages. Zbl 0399.68073
Nivat, M.
1
1978
Metric interpretations of recursive program schemes. Zbl 0469.68018
Arnold, Andre; Nivat, Maurice
1
1978
Mots infinis engendres par une grammaire algébrique. Zbl 0371.68025
Nivat, Maurice
24
1977
Non deterministic recursive program schemes. Zbl 0361.68020
Arnold, A.; Nivat, M.
9
1977
Le cylindre des langages linéaires. Zbl 0352.68087
Boasson, L.; Nivat, M.
8
1977
A new complexity measure for languages. Zbl 0431.68077
Boasson, Luc; Courcelle, Bruno; Nivat, Maurice
5
1977
Ordres et types de langages. Zbl 0354.68107
Boasson, Luc; Nivat, Maurice
3
1977
Ordres et types de langages. Zbl 0359.68096
Boasson, Luc; Nivat, Maurice
1
1977
Formalisation de la semantique des langages de programmation: Ses buts et ses moyens. Zbl 0333.68012
Nivat, M.
1
1976
On the interpretation of recursive polyadic program schemes. Zbl 0346.68041
Nivat, Maurice
22
1975
Reversal-bounded acceptors and intersections of linear languages. Zbl 0292.68023
Book, Ronald; Nivat, Maurice; Paterson, Michael
18
1975
Le cylindre des langages linéaires n’est pas principal. Zbl 0316.68046
Boasson, L.; Nivat, M.
2
1975
Intersections of linear context-free languages and reversal-bounded multipushdown machines. (Extended abstract). Zbl 0361.68105
Book, Ronald; Nivat, Maurice; Paterson, Michael
3
1974
Sur diverses familles de langages fermées par transduction rationnelle. Zbl 0242.68037
Boasson, L.; Nivat, M.
31
1973
Congruences parfaites et quasi-parfaites. Zbl 0338.02018
Nivat, Maurice
22
1973
Langages algébriques sur le magma libre et semantique des schemas de programme. Zbl 0279.68010
Nivat, M.
11
1973
Familles de langages translatables et fermées par crochet. Zbl 0311.68047
Boasson, L.; Crestin, J. P.; Nivat, M.
11
1973
Congruences de Thue et \(t\)-langages. Zbl 0242.68040
Nivat, M.
2
1972
Une généralisation des ensembles de Dyck. Zbl 0215.56005
Cochet, Y.; Nivat, M.
30
1971
Transductions et familles de langages. Zbl 0245.68018
Boasson, Luc; Nivat, Maurice
3
1971
Une généralisation du monoide bicyclique. Zbl 0206.30304
Nivat, M.; Perrot, J.-F.
46
1970
Transductions des langages de Chomsky. Zbl 0313.68065
Nivat, Maurice
107
1968
Sur une classe de transducteurs. Zbl 0189.02102
Nivat, M.
1
1967
...and 3 more Documents
all top 5

Cited by 855 Authors

30 Nivat, Maurice
18 Frosini, Andrea
18 Latteux, Michel
15 Boasson, Luc
14 Courcelle, Bruno
14 Rinaldi, Simone
13 Arnold, André
13 Book, Ronald Vernon
13 Brlek, Srečko
13 Pelantová, Edita
12 Restivo, Antonio
11 Brunetti, Sara
11 Kuba, Attila
11 Labbé, Sébastien
11 Starosta, Štěpán
10 Autebert, Jean-Michel
10 Del Lungo, Alberto
10 Finkel, Olivier
10 Vuillon, Laurent
9 Blondin Massé, Alexandre
9 Dulio, Paolo
8 Anselmo, Marcella
8 Berstel, Jean
8 de Bakker, Jacobus W.
8 Engelfriet, Joost
8 Greibach, Sheila A.
8 Lawson, Mark Verus
7 Balázs, Péter
7 Bardyla, Serhii
7 Beauquier, Joffroy
7 Dare, Vincent Rajkumar
7 Dauchet, Max
7 Daurat, Alain
7 Droste, Manfred
7 Giammarresi, Dora
7 Harju, Tero
7 Madonia, Maria
7 Narendran, Paliath
7 Reutenauer, Christophe
7 Terlutte, Alain
6 Barcucci, Elena
6 Ésik, Zoltán
6 Guessarian, Irène
6 Litovsky, Igor
6 Meyer, John-Jules Charles
6 Otto, Friedrich
6 Perrin, Dominique
6 Picouleau, Christophe
6 Pinzani, Renzo
6 Saoudi, Ahmed
6 Siromoney, Rani
6 Timmerman, Erick
6 Wrathall, Celia
5 Beauquier, Danièle
5 Choffrut, Christian
5 Culik, Karel II
5 Ginsburg, Seymour
5 Glen, Amy
5 Jarray, Fethi
5 Kleijn, Jetty
5 Maneth, Sebastian
5 Okhotin, Alexander
5 Sénizergues, Géraud
5 Shallit, Jeffrey O.
5 Staiger, Ludwig
5 Subramanian, Kumbakonam Govindarajan
5 van Breugel, Franck
5 Zamboni, Luca Quardo
4 Adámek, Jiří
4 Balogh, Emese
4 Bar-Noy, Amotz
4 Batenburg, Kees Joost
4 Bozapalidis, Symeon
4 Brandenburg, Franz-Josef
4 Castiglione, Giusi
4 de Luca, Aldo
4 Frougny, Christiane
4 Fülöp, Zoltán
4 Gallier, Jean H.
4 Garon, Ariane
4 Gérard, Yan
4 Gire, Françoise
4 Hajdu, Lajos
4 Haussler, David
4 Head, Thomas J.
4 Ibarra, Oscar H.
4 Iván, Szabolcs
4 Karhumaki, Juhani
4 Krieger, Wolfgang
4 Majster-Cederbaum, Mila E.
4 McNaughton, Robert
4 O’Dunlaing, Colm P.
4 Peleg, David
4 Peri, Carla
4 Pierre, Laurent
4 Provençal, Xavier
4 Rawitz, Dror
4 Sakarovitch, Jacques
3 Abramsky, Samson
3 Ambrož, Petr
...and 755 more Authors
all top 5

Cited in 119 Serials

293 Theoretical Computer Science
45 Journal of Computer and System Sciences
43 RAIRO, Informatique Théorique
32 Information Processing Letters
31 Information and Computation
29 Discrete Applied Mathematics
25 Acta Informatica
22 RAIRO. Informatique Théorique et Applications
18 Mathematical Systems Theory
17 Semigroup Forum
16 RAIRO. Theoretical Informatics and Applications
15 Discrete Mathematics
11 International Journal of Foundations of Computer Science
10 European Journal of Combinatorics
8 Linear Algebra and its Applications
7 Discrete & Computational Geometry
7 International Journal of Computer Mathematics
6 Journal of Algebra
5 Information Sciences
5 MSCS. Mathematical Structures in Computer Science
5 Journal of Mathematical Imaging and Vision
4 Calcolo
4 Journal of Pure and Applied Algebra
4 Topology and its Applications
4 Journal of Symbolic Computation
3 Periodica Mathematica Hungarica
3 Bulletin de la Société Mathématique de France
3 Journal of Combinatorial Theory. Series A
3 Journal of Soviet Mathematics
3 Transactions of the American Mathematical Society
3 Advances in Applied Mathematics
3 Ergodic Theory and Dynamical Systems
3 Computational Geometry
3 Pattern Recognition
3 Fundamenta Informaticae
3 RAIRO. Theoretical Informatics and Applications
3 Revue Française d’Automatique, Informatique, Recherche Opérationnelle. Série Rouge
2 International Journal of Control
2 Israel Journal of Mathematics
2 Journal of Mathematical Analysis and Applications
2 Advances in Mathematics
2 Annales de l’Institut Fourier
2 Fuzzy Sets and Systems
2 Systems & Control Letters
2 Journal of Automated Reasoning
2 Formal Aspects of Computing
2 International Journal of Computational Geometry & Applications
2 Mathematical Logic Quarterly (MLQ)
2 The Electronic Journal of Combinatorics
2 Annals of Mathematics and Artificial Intelligence
2 Theory of Computing Systems
2 Matematychni Studiï
2 Journal of the ACM
2 Journal of Integer Sequences
2 JP Journal of Algebra, Number Theory and Applications
2 Logical Methods in Computer Science
2 Discrete Mathematics, Algorithms and Applications
2 European Journal of Mathematics
1 Bulletin of the Australian Mathematical Society
1 International Journal of Theoretical Physics
1 Inverse Problems
1 Mathematische Semesterberichte
1 Problems of Information Transmission
1 The Mathematical Intelligencer
1 Algebra Universalis
1 Aplikace Matematiky
1 Applied Mathematics and Computation
1 International Journal of Computer & Information Sciences
1 Inventiones Mathematicae
1 Journal of Functional Analysis
1 Journal of Number Theory
1 The Journal of Symbolic Logic
1 Kybernetika
1 Mathematische Nachrichten
1 Mathematika
1 Monatshefte für Mathematik
1 SIAM Journal on Computing
1 Tôhoku Mathematical Journal. Second Series
1 Science of Computer Programming
1 Acta Mathematica Hungarica
1 Acta Applicandae Mathematicae
1 Annals of Pure and Applied Logic
1 Physica D
1 Acta Mathematicae Applicatae Sinica. English Series
1 Algorithmica
1 SIAM Journal on Discrete Mathematics
1 Random Structures & Algorithms
1 Japan Journal of Industrial and Applied Mathematics
1 International Journal of Algebra and Computation
1 Journal of Global Optimization
1 Discrete Event Dynamic Systems
1 European Journal of Operational Research
1 Applicable Algebra in Engineering, Communication and Computing
1 The Australasian Journal of Combinatorics
1 Applied Categorical Structures
1 Combinatorics, Probability and Computing
1 Fractals
1 Discrete and Continuous Dynamical Systems
1 International Journal of Shape Modeling
1 Journal of Automata, Languages and Combinatorics
...and 19 more Serials
all top 5

Cited in 42 Fields

715 Computer science (68-XX)
102 Mathematical logic and foundations (03-XX)
101 Combinatorics (05-XX)
90 Group theory and generalizations (20-XX)
44 Information and communication theory, circuits (94-XX)
43 Convex and discrete geometry (52-XX)
24 Category theory; homological algebra (18-XX)
21 Biology and other natural sciences (92-XX)
20 General topology (54-XX)
16 Order, lattices, ordered algebraic structures (06-XX)
16 Numerical analysis (65-XX)
14 General algebraic systems (08-XX)
14 Number theory (11-XX)
12 Associative rings and algebras (16-XX)
12 Topological groups, Lie groups (22-XX)
12 Dynamical systems and ergodic theory (37-XX)
12 Operations research, mathematical programming (90-XX)
11 Linear and multilinear algebra; matrix theory (15-XX)
8 Integral transforms, operational calculus (44-XX)
7 Systems theory; control (93-XX)
6 Commutative algebra (13-XX)
6 Functional analysis (46-XX)
5 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
4 Measure and integration (28-XX)
4 Quantum theory (81-XX)
3 History and biography (01-XX)
3 Algebraic geometry (14-XX)
3 Ordinary differential equations (34-XX)
3 Difference and functional equations (39-XX)
3 Harmonic analysis on Euclidean spaces (42-XX)
3 Statistical mechanics, structure of matter (82-XX)
2 General and overarching topics; collections (00-XX)
2 Sequences, series, summability (40-XX)
2 Geometry (51-XX)
2 Manifolds and cell complexes (57-XX)
1 Field theory and polynomials (12-XX)
1 Partial differential equations (35-XX)
1 Abstract harmonic analysis (43-XX)
1 Operator theory (47-XX)
1 Differential geometry (53-XX)
1 Probability theory and stochastic processes (60-XX)
1 Optics, electromagnetic theory (78-XX)

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.