×
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é
7 Podelski, Andreas
6 Beauquier, Danièle
6 Frosini, Andrea
6 Saoudi, Ahmed
5 Daurat, Alain
5 Kuba, Attila
5 Pinzani, Renzo
4 Barcucci, Elena
4 Book, Ronald Vernon
4 Calbrix, Hugues
4 Courcelle, Bruno
3 Brunetti, Sara
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, Mike 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 Fuchi, Kazuhiro
1 Ginsburg, Seymour
1 Girault-Beauquier, Danièle
1 Goldstine, Jonathan
1 Guessarian, Irène
1 Huet, Gerard P.
1 Latteux, Michel
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

109 Publications have been cited 1,531 times in 1,085 Documents Cited by Year
Graph structure and monadic second-order logic. A language-theoretic approach. Zbl 1257.68006
Courcelle, Bruno; Engelfriet, Joost
210
2012
Transductions des langages de Chomsky. Zbl 0313.68065
Nivat, Maurice
119
1968
Adherences of languages. Zbl 0471.68052
Boasson, Luc; Nivat, Maurice
80
1980
Reconstructing convex polyominoes from horizontal and vertical projections. Zbl 0872.68134
Barcucci, Elena; Del Lungo, Alberto; Nivat, Maurice; Pinzani, Renzo
76
1996
On the palindromic complexity of infinite words. Zbl 1067.68113
Brlek, S.; Hamel, S.; Nivat, M.; Reutenauer, C.
60
2004
On the interpretation of recursive polyadic program schemes. Zbl 0346.68041
Nivat, Maurice
56
1975
Une généralisation du monoide bicyclique. Zbl 0206.30304
Nivat, M.; Perrot, J.-F.
54
1970
Infinite words, infinite trees, infinite computations. Zbl 0423.68012
Nivat, M.
52
1979
On translating one polyomino to tile the plane. Zbl 0754.05030
Beauquier, D.; Nivat, M.
47
1991
The metric space of infinite trees. Algebraic and topological properties. Zbl 0453.68021
Arnold, Andre; Nivat, Maurice
35
1980
The algebraic semantics of recursive program schemes. Zbl 0384.68016
Courcelle, B.; Nivat, M.
34
1978
Éléments de la théorie générale des codes. Zbl 0208.45101
Nivat, M.
33
1966
Congruences parfaites et quasi-parfaites. Zbl 0338.02018
Nivat, Maurice
33
1973
Sur les ensembles de mots infinis engendres par une grammaire algébrique. Zbl 0387.68050
Nivat, Maurice
33
1978
Resolution of equations in algebraic structures. Volume I: Algebraic techniques. Zbl 1109.68521
32
1989
Sur diverses familles de langages fermées par transduction rationnelle. Zbl 0242.68037
Boasson, L.; Nivat, M.
32
1973
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.
29
1980
Relations rationnelles infinitaires. Zbl 0552.68064
Gire, F.; Nivat, M.
26
1984
Mots infinis engendres par une grammaire algébrique. Zbl 0371.68025
Nivat, Maurice
24
1977
Tiling the plane with one tile. Zbl 0755.52008
Girault-Beauquier, D.; Nivat, M.
23
1991
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
Resolution of equations in algebraic structures. Volume II: Rewriting techniques. Zbl 1109.68499
20
1989
Tiling figures of the plane with two bars. Zbl 0815.05022
Beauquier, Danièle; Nivat, Maurice; Remila, Eric; Robson, Mike
19
1995
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
The number of convex polyominoes reconstructible from their orthogonal projections. Zbl 0856.05024
Del Lungo, Alberto; Nivat, Maurice; Pinzani, Renzo
18
1996
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.
18
2001
Reversal-bounded acceptors and intersections of linear languages. Zbl 0292.68023
Book, Ronald; Nivat, Maurice; Paterson, Michael
18
1975
Ultimately periodic words of rational \(\omega \)-languages. Zbl 1509.68128
Calbrix, Hugues; Nivat, Maurice; Podelski, Andreas
17
1994
X-rays characterizing some classes of discrete sets. Zbl 0994.65142
Barcucci, Elena; Del Lungo, Alberto; Nivat, Maurice; Pinzani, Renzo
16
2001
Langages algébriques sur le magma libre et semantique des schemas de programme. Zbl 0279.68010
Nivat, M.
16
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
15
2002
Binary matrices under the microscope: A tomographical problem. Zbl 1113.68107
Frosini, Andrea; Nivat, Maurice
15
2007
A codicity undecidable problem in the plane. Zbl 1053.68067
Beauquier, Danièle; Nivat, Maurice
15
2003
Reconstruction of connected sets from two projections. Zbl 0965.68114
Del Lungo, Alberto; Nivat, Maurice
14
1999
Formal computations of non deterministic recursive program schemes. Zbl 0441.68044
Arnold, Andre; Nivat, Maurice
13
1980
The rational index: a complexity measure for languages. Zbl 0469.68083
Boasson, Luc; Courcelle, Bruno; Nivat, Maurice
12
1981
Ensembles reconnaissables de mots biinfinis. Zbl 0619.68067
Nivat, Maurice; Perrin, Dominique
12
1986
Non deterministic recursive program schemes. Zbl 0361.68020
Arnold, A.; Nivat, M.
12
1977
Centers of languages. Zbl 0457.68082
Boasson, L.; Nivat, M.
11
1981
Familles de langages translatables et fermées par crochet. Zbl 0311.68047
Boasson, L.; Crestin, J. P.; Nivat, M.
11
1973
Le cylindre des langages linéaires. Zbl 0352.68087
Boasson, L.; Nivat, M.
11
1977
Salient and reentrant points of discrete sets. Zbl 1115.52300
Daurat, Alain; Nivat, Maurice
11
2003
Tree automata and languages. Zbl 0781.00007
10
1992
Minimal ascending and descending tree automata. Zbl 0868.68080
Nivat, Maurice; Podelski, Andreas
10
1997
Efficient recognition of rational relations. Zbl 0483.68044
Van Leeuwen, Jan; Nivat, Maurice
10
1982
Linear languages and the intersection closures of classes of languages. Zbl 0376.68049
Book, Ronald V.; Nivat, Maurice
10
1978
Automata on infinite words. Ecole de Printemps d’Informatique Théorique, Le Mont Dore, May 14-18, 1984. Zbl 0563.00019
9
1985
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.
9
2005
Reconstruction of discrete sets with absorption. Zbl 1043.68807
Kuba, Attila; Nivat, Maurice
9
2000
Reconstruction of discrete sets with absorption. Zbl 1004.65056
Kuba, Attila; Nivat, Maurice
8
2001
On semantics of nondeterministic recursive program schemes. Zbl 0577.68032
Arnold, A.; Naudin, P.; Nivat, M.
8
1985
Controlling behaviours of systems: Some basic concepts and some applications. Zbl 0445.68043
Arnold, A.; Nivat, M.
7
1980
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
Rational bijection of rational sets. Zbl 0432.68051
Maurer, H. A.; Nivat, M.
6
1980
Non deterministic programs: An algebraic overview. Zbl 0444.68011
Nivat, Maurice
6
1980
Behaviors of processes and synchronized systems of processes. Zbl 0538.68063
Nivat, Maurice
6
1982
A new complexity measure for languages. Zbl 0431.68077
Boasson, Luc; Courcelle, Bruno; Nivat, Maurice
6
1977
The chords’ problem. Zbl 0996.68214
Daurat, Alain; Gérard, Yan; Nivat, Maurice
6
2002
Medians of discrete sets according to a linear distance. Zbl 0960.51007
Daurat, A.; Del Lungo, A.; Nivat, M.
6
2000
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
6
1994
On a tomographic equivalence between (0,1)-matrices. Zbl 1055.68142
Nivat, Maurice
6
2004
Definite tree languages (cont’d). Zbl 0677.68066
Nivat, Maurice; Podelski, Andreas
6
1989
Binary tree codes. Zbl 0798.68083
Nivat, Maurice
5
1992
Calculs infinis, interpretations métriques et plus grands points fixes. Zbl 0486.68013
Nivat, Maurice; Arnold, Andre
5
1978
Scanning integer matrices by means of two rectangular windows. Zbl 1160.68043
Frosini, Andrea; Nivat, Maurice; Rinaldi, Simone
5
2008
Reconstruction of binary matrices from absorbed projections. Zbl 1055.68608
Balogh, E.; Kuba, A.; Del Lungo, A.; Nivat, M.
5
2002
On rational expressions representing infinite rational trees: Application to the structure of flow charts. Zbl 0421.68013
Cousineau, Guy; Nivat, Maurice
4
1979
About rational sets of factors of a bi-infinite word. Zbl 0571.68066
Beauquier, D.; Nivat, M.
4
1985
Algebraic methods in semantics. (Seminar on ’The Application of Algebra to Language Definition and Compilation’, held in Fontainebleau, France, June 1982). Zbl 0568.00021
4
1985
Langages algébriques de mots biinfinis. (Algebraic languages of biinfinite words). Zbl 0742.68039
Gire, F.; Nivat, M.
4
1991
Prefix and period languages of rational \(\omega\)-languages. Zbl 1096.68651
Calbrix, Hugues; Nivat, Maurice
4
1996
Automata on infinite objects and their applications to logic and programming. Zbl 0691.68068
Nivat, M.; Saoudi, A.
4
1989
Intersections of linear context-free languages and reversal-bounded multipushdown machines. (Extended abstract). Zbl 0361.68105
Book, Ronald; Nivat, Maurice; Paterson, Michael
4
1974
Ensembles reconnaissables de mots biinfinis. Zbl 0589.68056
Nivat, Maurice; Perrin, Dominique
4
1986
A bijection for the total area of parallelogram polyominoes. Zbl 1058.05016
Del Lungo, Alberto; Nivat, Maurice; Pinzani, Renzo; Rinaldi, Simone
3
2004
Infinitary relations. Zbl 0479.68055
Nivat, Maurice
3
1981
On a tomographic equivalence between \((0,1)\) matrices. Zbl 1112.05303
Frosini, A.; Nivat, M.
3
2005
Salient and reentrant points of discrete sets. Zbl 1108.52027
Daurat, Alain; Nivat, Maurice
3
2005
Parallel generation of infinite images. Zbl 0699.68103
Nivat, M.; Saoudi, A.; Dare, V. R.
3
1990
Discrete tomography: Reconstruction under periodicity constraints. Zbl 1056.68592
Del Lungo, Alberto; Frosini, Andrea; Nivat, Maurice; Vuillon, Laurent
3
2002
Reconstructing \((h,v)\)-convex \(2\)-dimensional patterns of objects from approximate horizontal and vertical projections. Zbl 1044.68154
Boufkhad, Yacine; Dubois, Olivier; Nivat, Maurice
3
2003
Reconstruction of discrete sets from three or more X-rays. Zbl 0971.68629
Barcucci, Elena; Brunetti, Sara; Del Lungo, Alberto; Nivat, Maurice
3
2000
Ordres et types de langages. Zbl 0354.68107
Boasson, Luc; Nivat, Maurice
3
1977
Transductions et familles de langages. Zbl 0245.68018
Boasson, Luc; Nivat, Maurice
3
1971
The medians of discrete sets. Zbl 1338.68261
Del Lungo, A.; Nivat, M.; Pinzani, R.; Sorri, L.
3
1998
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
Foundations of software science and computation structures. 1st international conference, FoSSaCS ’98. Held as part of the joint European conferences on Theory and practice of software, ETAPS ’98, Lisbon, Portugal, March 28 - April 4, 1998. Proceedings. Zbl 0889.00031
2
1998
Metric interpretations of recursive program schemes. Zbl 0469.68018
Arnold, Andre; Nivat, Maurice
2
1978
An introduction to periodical discrete sets from a tomographical perspective. Zbl 1080.68105
Frosini, Andrea; Nivat, Maurice; Vuillon, Laurent
2
2005
Automata on infinite trees and Kleene closure of regular tree sets. Zbl 0669.68039
Nivat, M.; Saoudi, A.
2
1988
Congruences de Thue et \(t\)-langages. Zbl 0242.68040
Nivat, M.
2
1972
Le cylindre des langages linéaires n’est pas principal. Zbl 0316.68046
Boasson, L.; Nivat, M.
2
1975
Sur l’irreductibilite de certaines représentations de monoides. Zbl 0131.02002
Nivat, M.
2
1965
Binary matrices under the microscope: A tomographical problem. Zbl 1113.68577
Frosini, Andrea; Nivat, Maurice
2
2004
Suffix, prefix and maximal tree codes. Zbl 0798.68082
Aigrain, Philippe; Nivat, Maurice
1
1992
Programming of future generation computers. Proceedings of the first Franco-Japanese symposium on programming of future generation computers, Tokyo, Japan, 6-8 October 1986. Zbl 0639.00038
1
1988
Opérateurs sur les familles de langages. Zbl 0399.68073
Nivat, M.
1
1978
Graph structure and monadic second-order logic. A language-theoretic approach. Zbl 1257.68006
Courcelle, Bruno; Engelfriet, Joost
210
2012
Scanning integer matrices by means of two rectangular windows. Zbl 1160.68043
Frosini, Andrea; Nivat, Maurice; Rinaldi, Simone
5
2008
Binary matrices under the microscope: A tomographical problem. Zbl 1113.68107
Frosini, Andrea; Nivat, Maurice
15
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.
9
2005
On a tomographic equivalence between \((0,1)\) matrices. Zbl 1112.05303
Frosini, A.; Nivat, M.
3
2005
Salient and reentrant points of discrete sets. Zbl 1108.52027
Daurat, Alain; Nivat, Maurice
3
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.
60
2004
On a tomographic equivalence between (0,1)-matrices. Zbl 1055.68142
Nivat, Maurice
6
2004
A bijection for the total area of parallelogram polyominoes. Zbl 1058.05016
Del Lungo, Alberto; Nivat, Maurice; Pinzani, Renzo; Rinaldi, Simone
3
2004
Binary matrices under the microscope: A tomographical problem. Zbl 1113.68577
Frosini, Andrea; Nivat, Maurice
2
2004
A codicity undecidable problem in the plane. Zbl 1053.68067
Beauquier, Danièle; Nivat, Maurice
15
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
3
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
15
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
3
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.
18
2001
X-rays characterizing some classes of discrete sets. Zbl 0994.65142
Barcucci, Elena; Del Lungo, Alberto; Nivat, Maurice; Pinzani, Renzo
16
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
9
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
14
1999
The medians of discrete sets. Zbl 1338.68261
Del Lungo, A.; Nivat, M.; Pinzani, R.; Sorri, L.
3
1998
Foundations of software science and computation structures. 1st international conference, FoSSaCS ’98. Held as part of the joint European conferences on Theory and practice of software, ETAPS ’98, Lisbon, Portugal, March 28 - April 4, 1998. Proceedings. Zbl 0889.00031
2
1998
Minimal ascending and descending tree automata. Zbl 0868.68080
Nivat, Maurice; Podelski, Andreas
10
1997
Reconstructing convex polyominoes from horizontal and vertical projections. Zbl 0872.68134
Barcucci, Elena; Del Lungo, Alberto; Nivat, Maurice; Pinzani, Renzo
76
1996
The number of convex polyominoes reconstructible from their orthogonal projections. Zbl 0856.05024
Del Lungo, Alberto; Nivat, Maurice; Pinzani, Renzo
18
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
19
1995
Algebraic methodology and software technology. 4th international conference, AMAST ’95, Montreal, Canada, July 3–7, 1995. Proceedings. Zbl 1492.68008
1
1995
Ultimately periodic words of rational \(\omega \)-languages. Zbl 1509.68128
Calbrix, Hugues; Nivat, Maurice; Podelski, Andreas
17
1994
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
6
1994
A note about minimal non-deterministic automata. Zbl 0751.68038
Arnold, A.; Dicky, A.; Nivat, M.
18
1992
Tree automata and languages. Zbl 0781.00007
10
1992
Binary tree codes. Zbl 0798.68083
Nivat, Maurice
5
1992
Suffix, prefix and maximal tree codes. Zbl 0798.68082
Aigrain, Philippe; Nivat, Maurice
1
1992
Parallel image processing. Zbl 0995.68549
1
1992
On translating one polyomino to tile the plane. Zbl 0754.05030
Beauquier, D.; Nivat, M.
47
1991
Tiling the plane with one tile. Zbl 0755.52008
Girault-Beauquier, D.; Nivat, M.
23
1991
Langages algébriques de mots biinfinis. (Algebraic languages of biinfinite words). Zbl 0742.68039
Gire, F.; Nivat, M.
4
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.
3
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
Resolution of equations in algebraic structures. Volume I: Algebraic techniques. Zbl 1109.68521
32
1989
Resolution of equations in algebraic structures. Volume II: Rewriting techniques. Zbl 1109.68499
20
1989
Definite tree languages (cont’d). Zbl 0677.68066
Nivat, Maurice; Podelski, Andreas
6
1989
Automata on infinite objects and their applications to logic and programming. Zbl 0691.68068
Nivat, M.; Saoudi, A.
4
1989
Automata on infinite trees and Kleene closure of regular tree sets. Zbl 0669.68039
Nivat, M.; Saoudi, A.
2
1988
Programming of future generation computers. Proceedings of the first Franco-Japanese symposium on programming of future generation computers, Tokyo, Japan, 6-8 October 1986. Zbl 0639.00038
1
1988
Ensembles reconnaissables de mots biinfinis. Zbl 0619.68067
Nivat, Maurice; Perrin, Dominique
12
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
9
1985
On semantics of nondeterministic recursive program schemes. Zbl 0577.68032
Arnold, A.; Naudin, P.; Nivat, M.
8
1985
About rational sets of factors of a bi-infinite word. Zbl 0571.68066
Beauquier, D.; Nivat, M.
4
1985
Algebraic methods in semantics. (Seminar on ’The Application of Algebra to Language Definition and Compilation’, held in Fontainebleau, France, June 1982). Zbl 0568.00021
4
1985
Relations rationnelles infinitaires. Zbl 0552.68064
Gire, F.; Nivat, M.
26
1984
Comportements de processus. Zbl 0538.68062
Nivat, Maurice; Arnold, André
18
1982
Efficient recognition of rational relations. Zbl 0483.68044
Van Leeuwen, Jan; Nivat, Maurice
10
1982
Behaviors of processes and synchronized systems of processes. Zbl 0538.68063
Nivat, Maurice
6
1982
The rational index: a complexity measure for languages. Zbl 0469.68083
Boasson, Luc; Courcelle, Bruno; Nivat, Maurice
12
1981
Centers of languages. Zbl 0457.68082
Boasson, L.; Nivat, M.
11
1981
Infinitary relations. Zbl 0479.68055
Nivat, Maurice
3
1981
Adherences of languages. Zbl 0471.68052
Boasson, Luc; Nivat, Maurice
80
1980
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
Rational bijection of rational sets. Zbl 0432.68051
Maurer, H. A.; Nivat, M.
6
1980
Non deterministic programs: An algebraic overview. Zbl 0444.68011
Nivat, Maurice
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
Infinite words, infinite trees, infinite computations. Zbl 0423.68012
Nivat, M.
52
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
4
1979
The algebraic semantics of recursive program schemes. Zbl 0384.68016
Courcelle, B.; Nivat, M.
34
1978
Sur les ensembles de mots infinis engendres par une grammaire algébrique. Zbl 0387.68050
Nivat, Maurice
33
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
5
1978
Metric interpretations of recursive program schemes. Zbl 0469.68018
Arnold, Andre; Nivat, Maurice
2
1978
Opérateurs sur les familles de langages. Zbl 0399.68073
Nivat, M.
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.
12
1977
Le cylindre des langages linéaires. Zbl 0352.68087
Boasson, L.; Nivat, M.
11
1977
A new complexity measure for languages. Zbl 0431.68077
Boasson, Luc; Courcelle, Bruno; Nivat, Maurice
6
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
56
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
4
1974
Congruences parfaites et quasi-parfaites. Zbl 0338.02018
Nivat, Maurice
33
1973
Sur diverses familles de langages fermées par transduction rationnelle. Zbl 0242.68037
Boasson, L.; Nivat, M.
32
1973
Langages algébriques sur le magma libre et semantique des schemas de programme. Zbl 0279.68010
Nivat, M.
16
1973
Familles de langages translatables et fermées par crochet. Zbl 0311.68047
Boasson, L.; Crestin, J. P.; Nivat, M.
11
1973
...and 9 more Documents
all top 5

Cited by 1,069 Authors

30 Nivat, Maurice
25 Frosini, Andrea
19 Courcelle, Bruno
19 Latteux, Michel
16 Boasson, Luc
15 Rinaldi, Simone
14 Arnold, André
14 Book, Ronald Vernon
14 Brlek, Srečko
14 Restivo, Antonio
13 Pelantová, Edita
12 Finkel, Olivier
11 Brunetti, Sara
11 Dulio, Paolo
11 Kuba, Attila
11 Labbé, Sébastien
11 Starosta, Štěpán
11 Vuillon, Laurent
10 Autebert, Jean-Michel
10 Del Lungo, Alberto
10 Engelfriet, Joost
9 Anselmo, Marcella
9 Berstel, Jean
9 Blondin Massé, Alexandre
9 Madonia, Maria
9 Narendran, Paliath
8 Bardyla, Serhii
8 de Bakker, Jacobus W.
8 Droste, Manfred
8 Ésik, Zoltán
8 Giammarresi, Dora
8 Greibach, Sheila A.
8 Guessarian, Irène
8 Lawson, Mark Verus
8 Okhotin, Alexander
8 Otto, Friedrich
8 Reutenauer, Christophe
7 Balázs, Péter
7 Beauquier, Joffroy
7 Dare, Vincent Rajkumar
7 Dauchet, Max
7 Daurat, Alain
7 Fisman, Dana
7 Harju, Tero
7 Litovsky, Igor
7 Picouleau, Christophe
7 Sénizergues, Géraud
7 Terlutte, Alain
6 Angluin, Dana
6 Barcucci, Elena
6 Beauquier, Danièle
6 Culik, Karel II
6 Gallier, Jean H.
6 Jarray, Fethi
6 Meyer, John-Jules Charles
6 Perrin, Dominique
6 Pinzani, Renzo
6 Saoudi, Ahmed
6 Siromoney, Rani
6 Staiger, Ludwig
6 Timmerman, Erick
6 Wrathall, Celia
6 Zamboni, Luca Quardo
5 Adámek, Jiří
5 Bar-Noy, Amotz
5 Böhnlein, Toni
5 Castiglione, Giusi
5 Choffrut, Christian
5 Dershowitz, Nachum
5 Gérard, Yan
5 Ginsburg, Seymour
5 Glen, Amy
5 Kleijn, Jetty
5 Malbos, Philippe
5 Maneth, Sebastian
5 McNaughton, Robert
5 Mrykhin, Mikhail
5 Peleg, David
5 Provençal, Xavier
5 Rawitz, Dror
5 Shallit, Jeffrey Outlaw
5 Subramanian, Kumbakonam Govindarajan
4 Aït-Kaci, Hassan
4 Balogh, Emese
4 Batenburg, Kees Joost
4 Bozapalidis, Symeon
4 Brandenburg, Franz-Josef
4 Broy, Manfred
4 de Luca, Aldo
4 Frougny, Christiane
4 Fülöp, Zoltán
4 Garon, Ariane
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
...and 969 more Authors
all top 5

Cited in 132 Serials

349 Theoretical Computer Science
49 Journal of Computer and System Sciences
43 RAIRO, Informatique Théorique
42 Information and Computation
38 Information Processing Letters
32 Discrete Applied Mathematics
26 Acta Informatica
22 RAIRO. Informatique Théorique et Applications
21 Semigroup Forum
18 Mathematical Systems Theory
16 Discrete Mathematics
16 RAIRO. Theoretical Informatics and Applications
13 Journal of Symbolic Computation
13 International Journal of Foundations of Computer Science
10 European Journal of Combinatorics
9 Journal of Algebra
8 Discrete & Computational Geometry
8 Linear Algebra and its Applications
7 MSCS. Mathematical Structures in Computer Science
7 International Journal of Computer Mathematics
7 RAIRO. Theoretical Informatics and Applications
6 Journal of Automated Reasoning
6 Journal of Mathematical Imaging and Vision
5 Information Sciences
5 Journal of Pure and Applied Algebra
5 The Electronic Journal of Combinatorics
5 Fundamenta Informaticae
5 Logical Methods in Computer Science
4 Calcolo
4 Topology and its Applications
3 Periodica Mathematica Hungarica
3 Advances in Mathematics
3 Bulletin de la Société Mathématique de France
3 Fuzzy Sets and Systems
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 Revue Française d’Automatique, Informatique, Recherche Opérationnelle. Série Rouge
3 Journal of Logical and Algebraic Methods in Programming
2 International Journal of Control
2 Israel Journal of Mathematics
2 Journal of Mathematical Analysis and Applications
2 Annales de l’Institut Fourier
2 Systems & Control Letters
2 Physica D
2 Formal Aspects of Computing
2 International Journal of Computational Geometry & Applications
2 Cybernetics and Systems Analysis
2 Mathematical Logic Quarterly (MLQ)
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 The Journal of Logic and Algebraic Programming
2 Theory and Practice of Logic Programming
2 JP Journal of Algebra, Number Theory and Applications
2 Discrete Mathematics, Algorithms and Applications
2 European Journal of Mathematics
1 Artificial Intelligence
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 American Journal of Mathematics
1 The Annals of Probability
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 the London Mathematical Society. Second Series
1 Journal of Number Theory
1 The Journal of Symbolic Logic
1 Kybernetika
1 Mathematische Nachrichten
1 Mathematische Zeitschrift
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 Acta Mathematicae Applicatae Sinica. English Series
1 Graphs and Combinatorics
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
...and 32 more Serials
all top 5

Cited in 42 Fields

896 Computer science (68-XX)
138 Mathematical logic and foundations (03-XX)
121 Combinatorics (05-XX)
103 Group theory and generalizations (20-XX)
54 Convex and discrete geometry (52-XX)
52 Information and communication theory, circuits (94-XX)
43 Category theory; homological algebra (18-XX)
24 General algebraic systems (08-XX)
23 General topology (54-XX)
22 Order, lattices, ordered algebraic structures (06-XX)
22 Biology and other natural sciences (92-XX)
17 Numerical analysis (65-XX)
16 Number theory (11-XX)
14 Dynamical systems and ergodic theory (37-XX)
13 Associative rings and algebras (16-XX)
13 Topological groups, Lie groups (22-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)
6 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
4 Measure and integration (28-XX)
4 Harmonic analysis on Euclidean spaces (42-XX)
4 Quantum theory (81-XX)
4 Statistical mechanics, structure of matter (82-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 Probability theory and stochastic processes (60-XX)
2 General and overarching topics; collections (00-XX)
2 Partial differential equations (35-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 Abstract harmonic analysis (43-XX)
1 Operator theory (47-XX)
1 Differential geometry (53-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.