×

zbMATH — the first resource for mathematics

Nivat, Maurice

Compute Distance To:
Author ID: nivat.maurice Recent zbMATH articles by "Nivat, Maurice"
Published as: Nivat, M.; Nivat, Maurice; Nivat, Murice
External Links: MGP · Wikidata · dblp · GND
Documents Indexed: 126 Publications since 1965, including 19 Books
Biographic References: 4 Publications

Publications by Year

Citations contained in zbMATH Open

103 Publications have been cited 1,276 times in 878 Documents Cited by Year
Transductions des langages de Chomsky. Zbl 0313.68065
Nivat, Maurice
104
1968
Adherences of languages. Zbl 0471.68052
Boasson, Luc; Nivat, Maurice
78
1980
Reconstructing convex polyominoes from horizontal and vertical projections. Zbl 0872.68134
Barcucci, Elena; Del Lungo, Alberto; Nivat, Maurice; Pinzani, Renzo
63
1996
On the interpretation of recursive polyadic program schemes. Zbl 0346.68041
Nivat, Maurice
52
1975
On the palindromic complexity of infinite words. Zbl 1067.68113
Brlek, S.; Hamel, S.; Nivat, M.; Reutenauer, C.
51
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.
41
1970
On translating one polyomino to tile the plane. Zbl 0754.05030
Beauquier, D.; Nivat, M.
39
1991
The algebraic semantics of recursive program schemes. Zbl 0384.68016
Courcelle, B.; Nivat, M.
35
1978
The metric space of infinite trees. Algebraic and topological properties. Zbl 0453.68021
Arnold, Andre; Nivat, Maurice
33
1980
Sur les ensembles de mots infinis engendres par une grammaire algébrique. Zbl 0387.68050
Nivat, Maurice
32
1978
Sur diverses familles de langages fermées par transduction rationnelle. Zbl 0242.68037
Boasson, L.; Nivat, M.
31
1973
Une généralisation des ensembles de Dyck. Zbl 0215.56005
Cochet, Y.; Nivat, M.
30
1971
Éléments de la théorie générale des codes. Zbl 0208.45101
Nivat, M.
30
1966
Congruences parfaites et quasi-parfaites. Zbl 0338.02018
Nivat, Maurice
27
1973
Metric interpretations of infinite trees and semantics of non deterministic recursive programs. Zbl 0427.68022
Arnold, A.; Nivat, M.
24
1980
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.
21
1991
Quelques problèmes ouverts en théorie des langages algébriques. Zbl 0434.68056
Autebert, J. M.; Beauquier, J.; Boasson, L.; Nivat, M.
18
1979
Reversal-bounded acceptors and intersections of linear languages. Zbl 0292.68023
Book, Ronald; Nivat, Maurice; Paterson, Michael
18
1975
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.
15
2001
The number of convex polyominoes reconstructible from their orthogonal projections. Zbl 0856.05024
Del Lungo, Alberto; Nivat, Maurice; Pinzani, Renzo
15
1996
Relations rationnelles infinitaires. Zbl 0552.68064
Gire, F.; Nivat, M.
15
1984
Comportements de processus. Zbl 0538.68062
Nivat, Maurice; Arnold, André
14
1982
A codicity undecidable problem in the plane. Zbl 1053.68067
Beauquier, Danièle; Nivat, Maurice
13
2003
X-rays characterizing some classes of discrete sets. Zbl 0994.65142
Barcucci, Elena; Del Lungo, Alberto; Nivat, Maurice; Pinzani, Renzo
13
2001
Reconstruction of connected sets from two projections. Zbl 0965.68114
Del Lungo, Alberto; Nivat, Maurice
13
1999
A note about minimal non-deterministic automata. Zbl 0751.68038
Arnold, A.; Dicky, A.; Nivat, M.
13
1992
Formal computations of non deterministic recursive program schemes. Zbl 0441.68044
Arnold, Andre; Nivat, Maurice
13
1980
Langages algébriques sur le magma libre et semantique des schemas de programme. Zbl 0279.68010
Nivat, M.
12
1973
Salient and reentrant points of discrete sets. Zbl 1115.52300
Daurat, Alain; Nivat, Maurice
11
2003
Ensembles reconnaissables de mots biinfinis. Zbl 0619.68067
Nivat, Maurice; Perrin, Dominique
11
1986
Non deterministic recursive program schemes. Zbl 0361.68020
Arnold, A.; Nivat, M.
11
1977
Familles de langages translatables et fermées par crochet. Zbl 0311.68047
Boasson, L.; Crestin, J. P.; Nivat, M.
11
1973
Linear languages and the intersection closures of classes of languages. Zbl 0376.68049
Book, Ronald V.; Nivat, Maurice
10
1978
A sufficient condition for non-uniqueness in binary tomography with absorption. Zbl 1081.68117
Kuba, Attila; Nivat, Murice
9
2005
Reconstruction of discrete sets with absorption. Zbl 1043.68807
Kuba, Attila; Nivat, Maurice
9
2000
Ensembles reconnaissables de mots biinfinis. Zbl 0589.68056
Nivat, Maurice; Perrin, Dominique
9
1986
The rational index: a complexity measure for languages. Zbl 0469.68083
Boasson, Luc; Courcelle, Bruno; Nivat, Maurice
9
1981
Some necessary clarifications about the chords’ problem and the partial digest problem. Zbl 1080.68104
Daurat, A.; Gérard, Y.; Nivat, M.
8
2005
Homogeneous subsets of \(\mathbb Z^2\) and plane tilings. Zbl 1115.52301
Nivat, Maurice
8
2002
Reconstruction of discrete sets with absorption. Zbl 1004.65056
Kuba, Attila; Nivat, Maurice
8
2001
Efficient recognition of rational relations. Zbl 0483.68044
Van Leeuwen, Jan; Nivat, Maurice
8
1982
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
Minimal ascending and descending tree automata. Zbl 0868.68080
Nivat, Maurice; Podelski, Andreas
7
1997
On ultimately periodic words of rational \(\omega\)-languages. Zbl 0917.20053
Calbrix, Hugues; Nivat, Maurice; Podelski, Andreas
7
1994
Tree automata and languages. Zbl 0781.00007
Nivat, Maurice (ed.); Podelski, Andreas (ed.)
7
1992
Automata on infinite words. Ecole de Printemps d’Informatique Théorique, Le Mont Dore, May 14-18, 1984. Zbl 0563.00019
Nivat, M. (ed.); Perrin, D. (ed.)
7
1985
Controlling behaviours of systems: Some basic concepts and some applications. Zbl 0445.68043
Arnold, A.; Nivat, M.
7
1980
Binary matrices under the microscope: A tomographical problem. Zbl 1113.68107
Frosini, Andrea; Nivat, Maurice
6
2007
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
Medians of discrete sets according to a linear distance. Zbl 0960.51007
Daurat, A.; Del Lungo, A.; Nivat, M.
6
2000
Binary tree codes. Zbl 0798.68083
Nivat, Maurice
6
1992
Rational bijection of rational sets. Zbl 0432.68051
Maurer, H. A.; Nivat, M.
6
1980
A new complexity measure for languages. Zbl 0431.68077
Boasson, Luc; Courcelle, Bruno; Nivat, Maurice
6
1977
Le cylindre des langages linéaires. Zbl 0352.68087
Boasson, L.; Nivat, M.
6
1977
Reconstruction of binary matrices from absorbed projections. Zbl 1055.68608
Balogh, E.; Kuba, A.; Del Lungo, A.; Nivat, M.
5
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
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
About rational sets of factors of a bi-infinite word. Zbl 0571.68066
Beauquier, D.; Nivat, M.
4
1985
Calculs infinis, interpretations métriques et plus grands points fixes. Zbl 0486.68013
Nivat, Maurice; Arnold, Andre
4
1978
Intersections of linear context-free languages and reversal-bounded multipushdown machines. (Extended abstract). Zbl 0361.68105
Book, Ronald; Nivat, Maurice; Paterson, Michael
4
1974
Salient and reentrant points of discrete sets. Zbl 1108.52027
Daurat, Alain; Nivat, Maurice
3
2005
Reconstruction of discrete sets from three or more X-rays. Zbl 0971.68629
Barcucci, Elena; Brunetti, Sara; Del Lungo, Alberto; Nivat, Maurice
3
2000
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
Parallel generation of infinite images. Zbl 0699.68103
Nivat, M.; Saoudi, A.; Dare, V. R.
3
1990
Algebraic methods in semantics. (Seminar on ’The Application of Algebra to Language Definition and Compilation’, held in Fontainebleau, France, June 1982). Zbl 0568.00021
Nivat, Maurice (ed.); Reynolds, John C. (ed.)
3
1985
Non deterministic programs: An algebraic overview. Zbl 0444.68011
Nivat, Maurice
3
1980
On rational expressions representing infinite rational trees: Application to the structure of flow charts. Zbl 0421.68013
Cousineau, Guy; Nivat, Maurice
3
1979
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
An introduction to periodical discrete sets from a tomographical perspective. Zbl 1080.68105
Frosini, Andrea; Nivat, Maurice; Vuillon, Laurent
2
2005
Binary matrices under the microscope: A tomographical problem. Zbl 1113.68577
Frosini, Andrea; Nivat, Maurice
2
2004
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
Parallel image processing. Zbl 0995.68549
Saoudi, A. (ed.); Nivat, M. (ed.); Wang, P. S. P. (ed.)
2
1992
Resolution of equations in algebraic structures. Volume I: Algebraic techniques. Zbl 1109.68521
Aït-Kaci, Hassan (ed.); Nivat, Maurice (ed.)
2
1989
Automata on infinite trees and Kleene closure of regular tree sets. Zbl 0669.68039
Nivat, M.; Saoudi, A.
2
1988
Behaviors of processes and synchronized systems of processes. Zbl 0538.68063
Nivat, Maurice
2
1982
Infinitary relations. Zbl 0479.68055
Nivat, Maurice
2
1981
Metric interpretations of recursive program schemes. Zbl 0469.68018
Arnold, Andre; Nivat, Maurice
2
1978
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
Sur l’irreductibilite de certaines représentations de monoides. Zbl 0131.02002
Nivat, M.
2
1965
Scanning integer matrices by means of two rectangular windows. Zbl 1160.68043
Frosini, Andrea; Nivat, Maurice; Rinaldi, Simone
1
2008
On a tomographic equivalence between \((0,1)\) matrices. Zbl 1112.05303
Frosini, A.; Nivat, M.
1
2005
Algebraic methodology and software technology. 5th international conference, AMAST ’96, Munich, Germany, July 1-5, 1996. Proceedings. Zbl 0851.00082
Wirsing, Martin (ed.); Nivat, Maurice (ed.)
1
1996
Suffix, prefix and maximal tree codes. Zbl 0798.68082
Aigrain, Philippe; Nivat, Maurice
1
1992
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
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
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
Fuchi, K. (ed.); Nivat, M. (ed.)
1
1988
About ordered sets in algebraic semantics. Zbl 0576.68062
Guessarian, Irène; Nivat, Maurice
1
1984
Opérateurs sur les familles de langages. Zbl 0399.68073
Nivat, M.
1
1978
Ordres et types de langages. Zbl 0359.68096
Boasson, Luc; Nivat, Maurice
1
1977
Scanning integer matrices by means of two rectangular windows. Zbl 1160.68043
Frosini, Andrea; Nivat, Maurice; Rinaldi, Simone
1
2008
Binary matrices under the microscope: A tomographical problem. Zbl 1113.68107
Frosini, Andrea; Nivat, Maurice
6
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
An introduction to periodical discrete sets from a tomographical perspective. Zbl 1080.68105
Frosini, Andrea; Nivat, Maurice; Vuillon, Laurent
2
2005
On a tomographic equivalence between \((0,1)\) matrices. Zbl 1112.05303
Frosini, A.; Nivat, M.
1
2005
On the palindromic complexity of infinite words. Zbl 1067.68113
Brlek, S.; Hamel, S.; Nivat, M.; Reutenauer, C.
51
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 codicity undecidable problem in the plane. Zbl 1053.68067
Beauquier, Danièle; Nivat, Maurice
13
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. Zbl 1115.52301
Nivat, Maurice
8
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.
15
2001
X-rays characterizing some classes of discrete sets. Zbl 0994.65142
Barcucci, Elena; Del Lungo, Alberto; Nivat, Maurice; Pinzani, Renzo
13
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
13
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
7
1997
Reconstructing convex polyominoes from horizontal and vertical projections. Zbl 0872.68134
Barcucci, Elena; Del Lungo, Alberto; Nivat, Maurice; Pinzani, Renzo
63
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
Wirsing, Martin (ed.); Nivat, Maurice (ed.)
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. Zbl 0917.20053
Calbrix, Hugues; Nivat, Maurice; Podelski, Andreas
7
1994
A note about minimal non-deterministic automata. Zbl 0751.68038
Arnold, A.; Dicky, A.; Nivat, M.
13
1992
Tree automata and languages. Zbl 0781.00007
Nivat, Maurice (ed.); Podelski, Andreas (ed.)
7
1992
Binary tree codes. Zbl 0798.68083
Nivat, Maurice
6
1992
Parallel image processing. Zbl 0995.68549
Saoudi, A. (ed.); Nivat, M. (ed.); Wang, P. S. P. (ed.)
2
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.
39
1991
Tiling the plane with one tile. Zbl 0755.52008
Girault-Beauquier, D.; Nivat, M.
21
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.
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
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
Aït-Kaci, Hassan (ed.); Nivat, Maurice (ed.)
2
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
Fuchi, K. (ed.); Nivat, M. (ed.)
1
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
9
1986
Automata on infinite words. Ecole de Printemps d’Informatique Théorique, Le Mont Dore, May 14-18, 1984. Zbl 0563.00019
Nivat, M. (ed.); Perrin, D. (ed.)
7
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
Algebraic methods in semantics. (Seminar on ’The Application of Algebra to Language Definition and Compilation’, held in Fontainebleau, France, June 1982). Zbl 0568.00021
Nivat, Maurice (ed.); Reynolds, John C. (ed.)
3
1985
Relations rationnelles infinitaires. Zbl 0552.68064
Gire, F.; Nivat, M.
15
1984
About ordered sets in algebraic semantics. Zbl 0576.68062
Guessarian, Irène; Nivat, Maurice
1
1984
Comportements de processus. Zbl 0538.68062
Nivat, Maurice; Arnold, André
14
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
9
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
78
1980
The metric space of infinite trees. Algebraic and topological properties. Zbl 0453.68021
Arnold, Andre; Nivat, Maurice
33
1980
Metric interpretations of infinite trees and semantics of non deterministic recursive programs. Zbl 0427.68022
Arnold, A.; Nivat, M.
24
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
3
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.
18
1979
On rational expressions representing infinite rational trees: Application to the structure of flow charts. Zbl 0421.68013
Cousineau, Guy; Nivat, Maurice
3
1979
The algebraic semantics of recursive program schemes. Zbl 0384.68016
Courcelle, B.; Nivat, M.
35
1978
Sur les ensembles de mots infinis engendres par une grammaire algébrique. Zbl 0387.68050
Nivat, Maurice
32
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
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.
11
1977
A new complexity measure for languages. Zbl 0431.68077
Boasson, Luc; Courcelle, Bruno; Nivat, Maurice
6
1977
Le cylindre des langages linéaires. Zbl 0352.68087
Boasson, L.; Nivat, M.
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
52
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
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
27
1973
Langages algébriques sur le magma libre et semantique des schemas de programme. Zbl 0279.68010
Nivat, M.
12
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.
41
1970
Transductions des langages de Chomsky. Zbl 0313.68065
Nivat, Maurice
104
1968
Sur une classe de transducteurs. Zbl 0189.02102
Nivat, M.
1
1967
...and 3 more Documents
all top 5

Cited by 861 Authors

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

Cited in 111 Serials

316 Theoretical Computer Science
50 Journal of Computer and System Sciences
43 RAIRO, Informatique Théorique
35 Information Processing Letters
29 Information and Computation
27 Discrete Applied Mathematics
25 Acta Informatica
22 RAIRO. Informatique Théorique et Applications
18 Mathematical Systems Theory
16 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 Journal of Algebra
8 Linear Algebra and its Applications
7 International Journal of Computer Mathematics
6 Information Sciences
6 Journal of Symbolic Computation
6 Discrete & Computational Geometry
5 MSCS. Mathematical Structures in Computer Science
4 Calcolo
4 Journal of Pure and Applied Algebra
4 Topology and its Applications
4 Journal of Mathematical Imaging and Vision
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 Computational Geometry
3 Pattern Recognition
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 Annales de l’Institut Fourier
2 Applied Mathematics and Computation
2 Fuzzy Sets and Systems
2 Ergodic Theory and Dynamical 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 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 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 Advances in Mathematics
1 Algebra Universalis
1 Aplikace Matematiky
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 Tohoku 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 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 Nonlinear Dynamics
1 Soft Computing
1 Annals of Combinatorics
1 Discrete Mathematics and Theoretical Computer Science. DMTCS
1 Fundamenta Informaticae
1 The Journal of Logic and Algebraic Programming
...and 11 more Serials
all top 5

Cited in 44 Fields

714 Computer science (68-XX)
101 Mathematical logic and foundations (03-XX)
95 Combinatorics (05-XX)
86 Group theory and generalizations (20-XX)
44 Information and communication theory, circuits (94-XX)
41 Convex and discrete geometry (52-XX)
26 Category theory; homological algebra (18-XX)
22 General topology (54-XX)
20 Biology and other natural sciences (92-XX)
18 Order, lattices, ordered algebraic structures (06-XX)
18 General algebraic systems (08-XX)
16 Numerical analysis (65-XX)
13 Number theory (11-XX)
12 Topological groups, Lie groups (22-XX)
12 Operations research, mathematical programming (90-XX)
11 Linear and multilinear algebra; matrix theory (15-XX)
11 Associative rings and algebras (16-XX)
11 Dynamical systems and ergodic theory (37-XX)
8 Integral transforms, operational calculus (44-XX)
7 Systems theory; control (93-XX)
6 Functional analysis (46-XX)
5 Measure and integration (28-XX)
5 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
4 Commutative algebra (13-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 Calculus of variations and optimal control; optimization (49-XX)
1 Differential geometry (53-XX)
1 Probability theory and stochastic processes (60-XX)
1 Mechanics of particles and systems (70-XX)
1 Optics, electromagnetic theory (78-XX)

Citations by Year

Wikidata Timeline

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