Edit Profile (opens in new tab) Nivat, Maurice Compute Distance To: Compute Author ID: nivat.maurice Published as: Nivat, Maurice; Nivat, M.; Nivat, Murice more...less External Links: MGP · Wikidata · dblp · GND · IdRef · theses.fr Documents Indexed: 109 Publications since 1965, including 2 Books 18 Contributions as Editor · 2 Further Contributions Biographic References: 4 Publications Co-Authors: 61 Co-Authors with 100 Joint Publications 1,254 Co-Co-Authors 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 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 all top 5 Serials 12 Theoretical Computer Science 8 Lecture Notes in Computer Science 6 Comptes Rendus Hebdomadaires des Séances de l’Académie des Sciences, Série A 4 SIAM Journal on Computing 3 Acta Informatica 3 Discrete Mathematics 3 RAIRO, Informatique Théorique 3 Bulletin of the European Association for Theoretical Computer Science (EATCS) 3 Linear Algebra and its Applications 3 Series in Machine Perception and Artificial Intelligence 2 Discrete Applied Mathematics 2 Information Processing Letters 2 Mathematical Systems Theory 2 Discrete & Computational Geometry 2 Comptes Rendus de l’Académie des Sciences. Série I 1 Israel Journal of Mathematics 1 Annales de l’Institut Fourier 1 Calcolo 1 Canadian Journal of Mathematics 1 Journal of Computer and System Sciences 1 Studia Scientiarum Mathematicarum Hungarica 1 Annales Societatis Mathematicae Polonae. Series IV 1 Information and Computation 1 Computational Geometry 1 International Journal of Algebra and Computation 1 International Journal of Foundations of Computer Science 1 International Journal of Computer Mathematics 1 RAIRO. Informatique Théorique et Applications 1 PU.M.A. Pure Mathematics and Applications 1 Comptes Rendus. Mathématique. Académie des Sciences, Paris 1 Comptes Rendus Hebdomadaires des Séances de l’Académie des Sciences, Paris 1 Encyclopedia of Mathematics and Its Applications all top 5 Fields 112 Computer science (68-XX) 16 General and overarching topics; collections (00-XX) 12 Combinatorics (05-XX) 10 Mathematical logic and foundations (03-XX) 7 Group theory and generalizations (20-XX) 6 Convex and discrete geometry (52-XX) 6 Information and communication theory, circuits (94-XX) 4 Biology and other natural sciences (92-XX) 3 Linear and multilinear algebra; matrix theory (15-XX) 3 Integral transforms, operational calculus (44-XX) 3 Numerical analysis (65-XX) 1 History and biography (01-XX) 1 General algebraic systems (08-XX) 1 Commutative algebra (13-XX) 1 Associative rings and algebras (16-XX) 1 Geometry (51-XX) 1 General topology (54-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 103 Publications have been cited 1,275 times in 893 Documents Cited by ▼ Year ▼ Graph structure and monadic second-order logic. A language-theoretic approach. Zbl 1257.68006Courcelle, Bruno; Engelfriet, Joost 157 2012 Transductions des langages de Chomsky. Zbl 0313.68065Nivat, Maurice 109 1968 Adherences of languages. Zbl 0471.68052Boasson, Luc; Nivat, Maurice 77 1980 Reconstructing convex polyominoes from horizontal and vertical projections. Zbl 0872.68134Barcucci, Elena; Del Lungo, Alberto; Nivat, Maurice; Pinzani, Renzo 70 1996 On the palindromic complexity of infinite words. Zbl 1067.68113Brlek, S.; Hamel, S.; Nivat, M.; Reutenauer, C. 56 2004 Une généralisation du monoide bicyclique. Zbl 0206.30304Nivat, M.; Perrot, J.-F. 50 1970 Infinite words, infinite trees, infinite computations. Zbl 0423.68012Nivat, M. 49 1979 On translating one polyomino to tile the plane. Zbl 0754.05030Beauquier, D.; Nivat, M. 41 1991 The algebraic semantics of recursive program schemes. Zbl 0384.68016Courcelle, B.; Nivat, M. 33 1978 The metric space of infinite trees. Algebraic and topological properties. Zbl 0453.68021Arnold, Andre; Nivat, Maurice 32 1980 Sur les ensembles de mots infinis engendres par une grammaire algébrique. Zbl 0387.68050Nivat, Maurice 32 1978 Sur diverses familles de langages fermées par transduction rationnelle. Zbl 0242.68037Boasson, L.; Nivat, M. 31 1973 Éléments de la théorie générale des codes. Zbl 0208.45101Nivat, M. 31 1966 Une généralisation des ensembles de Dyck. Zbl 0215.56005Cochet, Y.; Nivat, M. 30 1971 Metric interpretations of infinite trees and semantics of non deterministic recursive programs. Zbl 0427.68022Arnold, A.; Nivat, M. 26 1980 Mots infinis engendres par une grammaire algébrique. Zbl 0371.68025Nivat, Maurice 24 1977 Congruences parfaites et quasi-parfaites. Zbl 0338.02018Nivat, Maurice 23 1973 Relations rationnelles infinitaires. Zbl 0552.68064Gire, F.; Nivat, M. 22 1984 On the interpretation of recursive polyadic program schemes. Zbl 0346.68041Nivat, Maurice 22 1975 Quelques problèmes ouverts en théorie des langages algébriques. Zbl 0434.68056Autebert, J. M.; Beauquier, J.; Boasson, L.; Nivat, M. 20 1979 Tiling the plane with one tile. Zbl 0755.52008Girault-Beauquier, D.; Nivat, M. 19 1991 Reconstruction of 4- and 8-connected convex discrete sets from row and column projections. Zbl 1007.65108Brunetti, S.; Del Lungo, A.; Del Ristoro, F.; Kuba, A.; Nivat, M. 18 2001 Reversal-bounded acceptors and intersections of linear languages. Zbl 0292.68023Book, Ronald; Nivat, Maurice; Paterson, Michael 18 1975 Tiling figures of the plane with two bars. Zbl 0815.05022Beauquier, Danièle; Nivat, Maurice; Remila, Eric; Robson, Mike 17 1995 X-rays characterizing some classes of discrete sets. Zbl 0994.65142Barcucci, Elena; Del Lungo, Alberto; Nivat, Maurice; Pinzani, Renzo 16 2001 The number of convex polyominoes reconstructible from their orthogonal projections. Zbl 0856.05024Del Lungo, Alberto; Nivat, Maurice; Pinzani, Renzo 16 1996 A note about minimal non-deterministic automata. Zbl 0751.68038Arnold, A.; Dicky, A.; Nivat, M. 16 1992 Comportements de processus. Zbl 0538.68062Nivat, Maurice; Arnold, André 13 1982 Formal computations of non deterministic recursive program schemes. Zbl 0441.68044Arnold, Andre; Nivat, Maurice 13 1980 A codicity undecidable problem in the plane. Zbl 1053.68067Beauquier, Danièle; Nivat, Maurice 12 2003 Ensembles reconnaissables de mots biinfinis. Zbl 0619.68067Nivat, Maurice; Perrin, Dominique 12 1986 Homogeneous subsets of \(\mathbb Z^2\) and plane tilings. (Sous-ensembles homogènes de \(\mathbb Z^2\) et pavages du plan.) Zbl 1115.52301Nivat, Maurice 11 2002 Salient and reentrant points of discrete sets. Zbl 1115.52300Daurat, Alain; Nivat, Maurice 11 2003 Langages algébriques sur le magma libre et semantique des schemas de programme. Zbl 0279.68010Nivat, M. 11 1973 Familles de langages translatables et fermées par crochet. Zbl 0311.68047Boasson, L.; Crestin, J. P.; Nivat, M. 11 1973 Binary matrices under the microscope: A tomographical problem. Zbl 1113.68107Frosini, Andrea; Nivat, Maurice 10 2007 The rational index: a complexity measure for languages. Zbl 0469.68083Boasson, Luc; Courcelle, Bruno; Nivat, Maurice 10 1981 Non deterministic recursive program schemes. Zbl 0361.68020Arnold, A.; Nivat, M. 10 1977 Linear languages and the intersection closures of classes of languages. Zbl 0376.68049Book, Ronald V.; Nivat, Maurice 10 1978 Reconstruction of connected sets from two projections. Zbl 0965.68114Del Lungo, Alberto; Nivat, Maurice 9 1999 Minimal ascending and descending tree automata. Zbl 0868.68080Nivat, Maurice; Podelski, Andreas 9 1997 A sufficient condition for non-uniqueness in binary tomography with absorption. Zbl 1081.68117Kuba, Attila; Nivat, Murice 9 2005 Reconstruction of discrete sets with absorption. Zbl 1004.65056Kuba, Attila; Nivat, Maurice 8 2001 Some necessary clarifications about the chords’ problem and the partial digest problem. Zbl 1080.68104Daurat, A.; Gérard, Y.; Nivat, M. 8 2005 Efficient recognition of rational relations. Zbl 0483.68044Van Leeuwen, Jan; Nivat, Maurice 8 1982 Centers of languages. Zbl 0457.68082Boasson, L.; Nivat, M. 8 1981 Le cylindre des langages linéaires. Zbl 0352.68087Boasson, L.; Nivat, M. 8 1977 Reconstruction of discrete sets with absorption. Zbl 1043.68807Kuba, Attila; Nivat, Maurice 8 2000 On semantics of nondeterministic recursive program schemes. Zbl 0577.68032Arnold, A.; Naudin, P.; Nivat, M. 7 1985 Reconstruction of lattice sets from their horizontal, vertical and diagonal \(X\)-rays. Zbl 1001.68177Barcucci, Elena; Brunetti, Sara; Del Lungo, Alberto; Nivat, Maurice 7 2001 Automata on infinite words. Ecole de Printemps d’Informatique Théorique, Le Mont Dore, May 14-18, 1984. Zbl 0563.00019 6 1985 The chords’ problem. Zbl 0996.68214Daurat, Alain; Gérard, Yan; Nivat, Maurice 6 2002 Rational bijection of rational sets. Zbl 0432.68051Maurer, H. A.; Nivat, M. 6 1980 Controlling behaviours of systems: Some basic concepts and some applications. Zbl 0445.68043Arnold, A.; Nivat, M. 6 1980 Tree automata and languages. Zbl 0781.00007 6 1992 On a tomographic equivalence between (0,1)-matrices. Zbl 1055.68142Nivat, Maurice 6 2004 Medians of discrete sets according to a linear distance. Zbl 0960.51007Daurat, A.; Del Lungo, A.; Nivat, M. 6 2000 Definite tree languages (cont’d). Zbl 0677.68066Nivat, Maurice; Podelski, Andreas 6 1989 A new complexity measure for languages. Zbl 0431.68077Boasson, 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.20053Calbrix, Hugues; Nivat, Maurice; Podelski, Andreas 5 1994 Reconstruction of binary matrices from absorbed projections. Zbl 1055.68608Balogh, E.; Kuba, A.; Del Lungo, A.; Nivat, M. 5 2002 About rational sets of factors of a bi-infinite word. Zbl 0571.68066Beauquier, D.; Nivat, M. 4 1985 Ensembles reconnaissables de mots biinfinis. Zbl 0589.68056Nivat, Maurice; Perrin, Dominique 4 1986 Prefix and period languages of rational \(\omega\)-languages. Zbl 1096.68651Calbrix, Hugues; Nivat, Maurice 4 1996 Calculs infinis, interpretations métriques et plus grands points fixes. Zbl 0486.68013Nivat, Maurice; Arnold, Andre 4 1978 Binary tree codes. Zbl 0798.68083Nivat, Maurice 4 1992 Scanning integer matrices by means of two rectangular windows. Zbl 1160.68043Frosini, Andrea; Nivat, Maurice; Rinaldi, Simone 4 2008 Automata on infinite objects and their applications to logic and programming. Zbl 0691.68068Nivat, M.; Saoudi, A. 4 1989 Reconstruction of discrete sets from three or more X-rays. Zbl 0971.68629Barcucci, Elena; Brunetti, Sara; Del Lungo, Alberto; Nivat, Maurice 3 2000 Salient and reentrant points of discrete sets. Zbl 1108.52027Daurat, Alain; Nivat, Maurice 3 2005 Transductions et familles de langages. Zbl 0245.68018Boasson, Luc; Nivat, Maurice 3 1971 Parallel generation of infinite images. Zbl 0699.68103Nivat, M.; Saoudi, A.; Dare, V. R. 3 1990 Ordres et types de langages. Zbl 0354.68107Boasson, Luc; Nivat, Maurice 3 1977 Intersections of linear context-free languages and reversal-bounded multipushdown machines. (Extended abstract). Zbl 0361.68105Book, Ronald; Nivat, Maurice; Paterson, Michael 3 1974 The medians of discrete sets. Zbl 1338.68261Del Lungo, A.; Nivat, M.; Pinzani, R.; Sorri, L. 3 1998 Langages algébriques de mots biinfinis. (Algebraic languages of biinfinite words). Zbl 0742.68039Gire, F.; Nivat, M. 3 1991 Behaviors of processes and synchronized systems of processes. Zbl 0538.68063Nivat, 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.05303Frosini, A.; Nivat, M. 2 2005 Reconstructing \((h,v)\)-convex \(2\)-dimensional patterns of objects from approximate horizontal and vertical projections. Zbl 1044.68154Boufkhad, Yacine; Dubois, Olivier; Nivat, Maurice 2 2003 Congruences de Thue et \(t\)-langages. Zbl 0242.68040Nivat, M. 2 1972 An introduction to periodical discrete sets from a tomographical perspective. Zbl 1080.68105Frosini, Andrea; Nivat, Maurice; Vuillon, Laurent 2 2005 Sur l’irreductibilite de certaines représentations de monoides. Zbl 0131.02002Nivat, M. 2 1965 On rational expressions representing infinite rational trees: Application to the structure of flow charts. Zbl 0421.68013Cousineau, Guy; Nivat, Maurice 2 1979 Non deterministic programs: An algebraic overview. Zbl 0444.68011Nivat, Maurice 2 1980 Infinitary relations. Zbl 0479.68055Nivat, Maurice 2 1981 Binary matrices under the microscope: A tomographical problem. Zbl 1113.68577Frosini, Andrea; Nivat, Maurice 2 2004 Discrete tomography: Reconstruction under periodicity constraints. Zbl 1056.68592Del Lungo, Alberto; Frosini, Andrea; Nivat, Maurice; Vuillon, Laurent 2 2002 Le cylindre des langages linéaires n’est pas principal. Zbl 0316.68046Boasson, L.; Nivat, M. 2 1975 Automata on infinite trees and Kleene closure of regular tree sets. Zbl 0669.68039Nivat, M.; Saoudi, A. 2 1988 Parallel image processing. Zbl 0995.68549 1 1992 ALGOL. Théorie et pratique. Zbl 0134.13803Arsac, J.; Lentin, A.; Nivat, M.; Nolin, Louis 1 1965 Sur une classe de transducteurs. Zbl 0189.02102Nivat, M. 1 1967 Metric interpretations of recursive program schemes. Zbl 0469.68018Arnold, Andre; Nivat, Maurice 1 1978 Parallélisation d’algorithmes avec un nombre fixe de processeurs. (Parallelization of algorithms with a fixed number of processors). Zbl 0701.68024Delporte-Gallet, C.; Fauconnier, H.; Nivat, M. 1 1990 Formalisation de la semantique des langages de programmation: Ses buts et ses moyens. Zbl 0333.68012Nivat, M. 1 1976 Ordres et types de langages. Zbl 0359.68096Boasson, Luc; Nivat, Maurice 1 1977 Opérateurs sur les familles de langages. Zbl 0399.68073Nivat, M. 1 1978 A bijection for the total area of parallelogram polyominoes. Zbl 1058.05016Del Lungo, Alberto; Nivat, Maurice; Pinzani, Renzo; Rinaldi, Simone 1 2004 Algebraic methodology and software technology. 5th international conference, AMAST ’96, Munich, Germany, July 1-5, 1996. Proceedings. Zbl 0851.00082 1 1996 Graph structure and monadic second-order logic. A language-theoretic approach. Zbl 1257.68006Courcelle, Bruno; Engelfriet, Joost 157 2012 Scanning integer matrices by means of two rectangular windows. Zbl 1160.68043Frosini, Andrea; Nivat, Maurice; Rinaldi, Simone 4 2008 Binary matrices under the microscope: A tomographical problem. Zbl 1113.68107Frosini, Andrea; Nivat, Maurice 10 2007 A sufficient condition for non-uniqueness in binary tomography with absorption. Zbl 1081.68117Kuba, Attila; Nivat, Murice 9 2005 Some necessary clarifications about the chords’ problem and the partial digest problem. Zbl 1080.68104Daurat, A.; Gérard, Y.; Nivat, M. 8 2005 Salient and reentrant points of discrete sets. Zbl 1108.52027Daurat, Alain; Nivat, Maurice 3 2005 On a tomographic equivalence between \((0,1)\) matrices. Zbl 1112.05303Frosini, A.; Nivat, M. 2 2005 An introduction to periodical discrete sets from a tomographical perspective. Zbl 1080.68105Frosini, Andrea; Nivat, Maurice; Vuillon, Laurent 2 2005 On the palindromic complexity of infinite words. Zbl 1067.68113Brlek, S.; Hamel, S.; Nivat, M.; Reutenauer, C. 56 2004 On a tomographic equivalence between (0,1)-matrices. Zbl 1055.68142Nivat, Maurice 6 2004 Binary matrices under the microscope: A tomographical problem. Zbl 1113.68577Frosini, Andrea; Nivat, Maurice 2 2004 A bijection for the total area of parallelogram polyominoes. Zbl 1058.05016Del Lungo, Alberto; Nivat, Maurice; Pinzani, Renzo; Rinaldi, Simone 1 2004 A codicity undecidable problem in the plane. Zbl 1053.68067Beauquier, Danièle; Nivat, Maurice 12 2003 Salient and reentrant points of discrete sets. Zbl 1115.52300Daurat, Alain; Nivat, Maurice 11 2003 Reconstructing \((h,v)\)-convex \(2\)-dimensional patterns of objects from approximate horizontal and vertical projections. Zbl 1044.68154Boufkhad, 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.52301Nivat, Maurice 11 2002 The chords’ problem. Zbl 0996.68214Daurat, Alain; Gérard, Yan; Nivat, Maurice 6 2002 Reconstruction of binary matrices from absorbed projections. Zbl 1055.68608Balogh, E.; Kuba, A.; Del Lungo, A.; Nivat, M. 5 2002 Discrete tomography: Reconstruction under periodicity constraints. Zbl 1056.68592Del 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.65108Brunetti, S.; Del Lungo, A.; Del Ristoro, F.; Kuba, A.; Nivat, M. 18 2001 X-rays characterizing some classes of discrete sets. Zbl 0994.65142Barcucci, Elena; Del Lungo, Alberto; Nivat, Maurice; Pinzani, Renzo 16 2001 Reconstruction of discrete sets with absorption. Zbl 1004.65056Kuba, Attila; Nivat, Maurice 8 2001 Reconstruction of lattice sets from their horizontal, vertical and diagonal \(X\)-rays. Zbl 1001.68177Barcucci, Elena; Brunetti, Sara; Del Lungo, Alberto; Nivat, Maurice 7 2001 Reconstruction of discrete sets with absorption. Zbl 1043.68807Kuba, Attila; Nivat, Maurice 8 2000 Medians of discrete sets according to a linear distance. Zbl 0960.51007Daurat, A.; Del Lungo, A.; Nivat, M. 6 2000 Reconstruction of discrete sets from three or more X-rays. Zbl 0971.68629Barcucci, Elena; Brunetti, Sara; Del Lungo, Alberto; Nivat, Maurice 3 2000 Reconstruction of connected sets from two projections. Zbl 0965.68114Del Lungo, Alberto; Nivat, Maurice 9 1999 The medians of discrete sets. Zbl 1338.68261Del Lungo, A.; Nivat, M.; Pinzani, R.; Sorri, L. 3 1998 Minimal ascending and descending tree automata. Zbl 0868.68080Nivat, Maurice; Podelski, Andreas 9 1997 Reconstructing convex polyominoes from horizontal and vertical projections. Zbl 0872.68134Barcucci, Elena; Del Lungo, Alberto; Nivat, Maurice; Pinzani, Renzo 70 1996 The number of convex polyominoes reconstructible from their orthogonal projections. Zbl 0856.05024Del Lungo, Alberto; Nivat, Maurice; Pinzani, Renzo 16 1996 Prefix and period languages of rational \(\omega\)-languages. Zbl 1096.68651Calbrix, 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.05022Beauquier, Danièle; Nivat, Maurice; Remila, Eric; Robson, Mike 17 1995 On ultimately periodic words of rational \(\omega\)-languages. (Sur les mots ultimement périodiques des langages rationnels de mots infinis.) Zbl 0917.20053Calbrix, Hugues; Nivat, Maurice; Podelski, Andreas 5 1994 A note about minimal non-deterministic automata. Zbl 0751.68038Arnold, A.; Dicky, A.; Nivat, M. 16 1992 Tree automata and languages. Zbl 0781.00007 6 1992 Binary tree codes. Zbl 0798.68083Nivat, Maurice 4 1992 Parallel image processing. Zbl 0995.68549 1 1992 Suffix, prefix and maximal tree codes. Zbl 0798.68082Aigrain, Philippe; Nivat, Maurice 1 1992 On translating one polyomino to tile the plane. Zbl 0754.05030Beauquier, D.; Nivat, M. 41 1991 Tiling the plane with one tile. Zbl 0755.52008Girault-Beauquier, D.; Nivat, M. 19 1991 Langages algébriques de mots biinfinis. (Algebraic languages of biinfinite words). Zbl 0742.68039Gire, 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.03180Beauquier, D.; Nivat, M.; Niwiński, D. 1 1991 Parallel generation of infinite images. Zbl 0699.68103Nivat, 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.68024Delporte-Gallet, C.; Fauconnier, H.; Nivat, M. 1 1990 Definite tree languages (cont’d). Zbl 0677.68066Nivat, Maurice; Podelski, Andreas 6 1989 Automata on infinite objects and their applications to logic and programming. Zbl 0691.68068Nivat, 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.68039Nivat, M.; Saoudi, A. 2 1988 Ensembles reconnaissables de mots biinfinis. Zbl 0619.68067Nivat, Maurice; Perrin, Dominique 12 1986 Ensembles reconnaissables de mots biinfinis. Zbl 0589.68056Nivat, Maurice; Perrin, Dominique 4 1986 On semantics of nondeterministic recursive program schemes. Zbl 0577.68032Arnold, A.; Naudin, P.; Nivat, M. 7 1985 Automata on infinite words. Ecole de Printemps d’Informatique Théorique, Le Mont Dore, May 14-18, 1984. Zbl 0563.00019 6 1985 About rational sets of factors of a bi-infinite word. Zbl 0571.68066Beauquier, D.; Nivat, M. 4 1985 Relations rationnelles infinitaires. Zbl 0552.68064Gire, F.; Nivat, M. 22 1984 Comportements de processus. Zbl 0538.68062Nivat, Maurice; Arnold, André 13 1982 Efficient recognition of rational relations. Zbl 0483.68044Van Leeuwen, Jan; Nivat, Maurice 8 1982 Behaviors of processes and synchronized systems of processes. Zbl 0538.68063Nivat, Maurice 2 1982 The rational index: a complexity measure for languages. Zbl 0469.68083Boasson, Luc; Courcelle, Bruno; Nivat, Maurice 10 1981 Centers of languages. Zbl 0457.68082Boasson, L.; Nivat, M. 8 1981 Infinitary relations. Zbl 0479.68055Nivat, Maurice 2 1981 Adherences of languages. Zbl 0471.68052Boasson, Luc; Nivat, Maurice 77 1980 The metric space of infinite trees. Algebraic and topological properties. Zbl 0453.68021Arnold, Andre; Nivat, Maurice 32 1980 Metric interpretations of infinite trees and semantics of non deterministic recursive programs. Zbl 0427.68022Arnold, A.; Nivat, M. 26 1980 Formal computations of non deterministic recursive program schemes. Zbl 0441.68044Arnold, Andre; Nivat, Maurice 13 1980 Rational bijection of rational sets. Zbl 0432.68051Maurer, H. A.; Nivat, M. 6 1980 Controlling behaviours of systems: Some basic concepts and some applications. Zbl 0445.68043Arnold, 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.68011Nivat, Maurice 2 1980 Infinite words, infinite trees, infinite computations. Zbl 0423.68012Nivat, M. 49 1979 Quelques problèmes ouverts en théorie des langages algébriques. Zbl 0434.68056Autebert, 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.68013Cousineau, Guy; Nivat, Maurice 2 1979 The algebraic semantics of recursive program schemes. Zbl 0384.68016Courcelle, B.; Nivat, M. 33 1978 Sur les ensembles de mots infinis engendres par une grammaire algébrique. Zbl 0387.68050Nivat, Maurice 32 1978 Linear languages and the intersection closures of classes of languages. Zbl 0376.68049Book, Ronald V.; Nivat, Maurice 10 1978 Calculs infinis, interpretations métriques et plus grands points fixes. Zbl 0486.68013Nivat, Maurice; Arnold, Andre 4 1978 Metric interpretations of recursive program schemes. Zbl 0469.68018Arnold, Andre; Nivat, Maurice 1 1978 Opérateurs sur les familles de langages. Zbl 0399.68073Nivat, M. 1 1978 Mots infinis engendres par une grammaire algébrique. Zbl 0371.68025Nivat, Maurice 24 1977 Non deterministic recursive program schemes. Zbl 0361.68020Arnold, A.; Nivat, M. 10 1977 Le cylindre des langages linéaires. Zbl 0352.68087Boasson, L.; Nivat, M. 8 1977 A new complexity measure for languages. Zbl 0431.68077Boasson, Luc; Courcelle, Bruno; Nivat, Maurice 5 1977 Ordres et types de langages. Zbl 0354.68107Boasson, Luc; Nivat, Maurice 3 1977 Ordres et types de langages. Zbl 0359.68096Boasson, Luc; Nivat, Maurice 1 1977 Formalisation de la semantique des langages de programmation: Ses buts et ses moyens. Zbl 0333.68012Nivat, M. 1 1976 On the interpretation of recursive polyadic program schemes. Zbl 0346.68041Nivat, Maurice 22 1975 Reversal-bounded acceptors and intersections of linear languages. Zbl 0292.68023Book, Ronald; Nivat, Maurice; Paterson, Michael 18 1975 Le cylindre des langages linéaires n’est pas principal. Zbl 0316.68046Boasson, L.; Nivat, M. 2 1975 Intersections of linear context-free languages and reversal-bounded multipushdown machines. (Extended abstract). Zbl 0361.68105Book, Ronald; Nivat, Maurice; Paterson, Michael 3 1974 Sur diverses familles de langages fermées par transduction rationnelle. Zbl 0242.68037Boasson, L.; Nivat, M. 31 1973 Congruences parfaites et quasi-parfaites. Zbl 0338.02018Nivat, Maurice 23 1973 Langages algébriques sur le magma libre et semantique des schemas de programme. Zbl 0279.68010Nivat, M. 11 1973 Familles de langages translatables et fermées par crochet. Zbl 0311.68047Boasson, L.; Crestin, J. P.; Nivat, M. 11 1973 Congruences de Thue et \(t\)-langages. Zbl 0242.68040Nivat, M. 2 1972 Une généralisation des ensembles de Dyck. Zbl 0215.56005Cochet, Y.; Nivat, M. 30 1971 Transductions et familles de langages. Zbl 0245.68018Boasson, Luc; Nivat, Maurice 3 1971 Une généralisation du monoide bicyclique. Zbl 0206.30304Nivat, M.; Perrot, J.-F. 50 1970 Transductions des langages de Chomsky. Zbl 0313.68065Nivat, Maurice 109 1968 Sur une classe de transducteurs. Zbl 0189.02102Nivat, M. 1 1967 ...and 3 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 859 Authors 30 Nivat, Maurice 20 Frosini, Andrea 19 Latteux, Michel 15 Boasson, Luc 15 Rinaldi, Simone 14 Courcelle, Bruno 13 Arnold, André 13 Book, Ronald Vernon 13 Brlek, Srečko 13 Pelantová, Edita 12 Restivo, Antonio 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 Finkel, Olivier 9 Blondin Massé, Alexandre 8 Anselmo, Marcella 8 Bardyla, Serhii 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 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 759 more Authors all top 5 Cited in 121 Serials 293 Theoretical Computer Science 45 Journal of Computer and System Sciences 43 RAIRO, Informatique Théorique 32 Information Processing Letters 32 Information and Computation 29 Discrete Applied Mathematics 25 Acta Informatica 22 RAIRO. Informatique Théorique et Applications 18 Mathematical Systems Theory 18 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 6 MSCS. Mathematical Structures in Computer Science 6 Journal of Mathematical Imaging and Vision 5 Information Sciences 5 Journal of Pure and Applied Algebra 4 Calcolo 4 Topology and its Applications 4 Journal of Symbolic Computation 4 RAIRO. Theoretical Informatics and Applications 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 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 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 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 ...and 21 more Serials all top 5 Cited in 42 Fields 721 Computer science (68-XX) 102 Mathematical logic and foundations (03-XX) 102 Combinatorics (05-XX) 93 Group theory and generalizations (20-XX) 46 Convex and discrete geometry (52-XX) 45 Information and communication theory, circuits (94-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) 13 Topological groups, Lie groups (22-XX) 12 Associative rings and algebras (16-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) 2 Probability theory and stochastic processes (60-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 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.