Maurice Nivat

Publication Activity (10 Years)

Years Active: 1970-2016
Publications (10 Years): 1

Top Venues

Bull. dInformatique Approfondie et Appl.

Theor. Comput. Sci.

Bull. EATCS

Faculté des sciences de Paris, France (PHD)

Education History

Faculté des sciences de Paris, France

PHD

Publications

Maurice Nivat
Éditorial : Jacques Arsac, astronome et informaticien. Bull. dInformatique Approfondie et Appl. 104 (2016)
Maurice Nivat
The true story of TCS. Theor. Comput. Sci. 591 (2015)
Maurice Nivat
40th Anniversary of EATCS. Bull. EATCS 108 (2012)
Kees Joost Batenburg, Antal Nagy, Maurice Nivat
Preface. Theor. Comput. Sci. 406 (1-2) (2008)
Kees Joost Batenburg, Antal Nagy, Maurice Nivat
In Memoriam Attila Kuba (1953-2006). Theor. Comput. Sci. 406 (1-2) (2008)
Andrea Frosini, Maurice Nivat, Simone Rinaldi
Scanning integer matrices by means of two rectangular windows. Theor. Comput. Sci. 406 (1-2) (2008)
Maurice Nivat
Automata, tilings and tomography. JAC (2008)
Andrea Frosini, Maurice Nivat
Binary matrices under the microscope: A tomographical problem. Theor. Comput. Sci. 370 (1-3) (2007)
Alain Daurat, Maurice Nivat
Salient and reentrant points of discrete sets. Discret. Appl. Math. 151 (1-3) (2005)
Andrea Frosini, Maurice Nivat, Laurent Vuillon
An introduction to periodical discrete sets from a tomographical perspective. Theor. Comput. Sci. 347 (1-2) (2005)
Alain Daurat, Yan Gérard, Maurice Nivat
Some necessary clarifications about the chords' problem and the Partial Digest Problem. Theor. Comput. Sci. 347 (1-2) (2005)
Attila Kuba, Maurice Nivat
A sufficient condition for non-uniqueness in binary tomography with absorption. Theor. Comput. Sci. 346 (2-3) (2005)
Andrea Frosini, Maurice Nivat
Binary Matrices Under the Microscope: A Tomographical Problem. IWCIA (2004)
Maurice Nivat
On a Tomographic Equivalence Between (0, 1)-Matrices. Theory Is Forever (2004)
Maurice Nivat
For the 50th anniversary of Eric Goles: A few words by Maurice Nivat. Theor. Comput. Sci. 322 (2) (2004)
Alberto Del Lungo, Maurice Nivat, Renzo Pinzani, Simone Rinaldi
A bijection for the total area of parallelogram polyominoes. Discret. Appl. Math. 144 (3) (2004)
Srecko Brlek, Sylvie Hamel, Maurice Nivat, Christophe Reutenauer
On The Palindromic Complexity Of Infinite Words. Int. J. Found. Comput. Sci. 15 (2) (2004)
Stéphane Gaubert, Jean Jacques Loiseau, Jean Mairesse, Maurice Nivat, Jean-Eric Pin
Foreword. Theor. Comput. Sci. 293 (1) (2003)
Yacine Boufkhad, Olivier Dubois, Maurice Nivat
Reconstructing (h, v)-convex 2-dimensional patterns of objects from approximate horizontal and vertical projections. Theor. Comput. Sci. 290 (3) (2003)
Danièle Beauquier, Maurice Nivat
A codicity undecidable problem in the plane. Theor. Comput. Sci. 303 (2-3) (2003)
Alain Daurat, Maurice Nivat
Salient and Reentrant Points of Discrete Sets. Electron. Notes Discret. Math. 12 (2003)
Emese Balogh, Attila Kuba, Alberto Del Lungo, Maurice Nivat
Reconstruction of Binary Matrices from Absorbed Projections. DGCI (2002)
Alain Daurat, Yan Gérard, Maurice Nivat
The chords' problem. Theor. Comput. Sci. 282 (2) (2002)
Alberto Del Lungo, Andrea Frosini, Maurice Nivat, Laurent Vuillon
Discrete Tomography: Reconstruction under Periodicity Constraints. ICALP (2002)
Maurice Nivat
25 Years. Theor. Comput. Sci. 250 (1-2) (2001)
Elena Barcucci, Sara Brunetti, Alberto Del Lungo, Maurice Nivat
Reconstruction of lattice sets from their horizontal, vertical and diagonal X-rays. Discret. Math. 241 (1-3) (2001)
Attila Kuba, Maurice Nivat
Reconstruction of Discrete Sets with Absorption. DGCI (2000)
Elena Barcucci, Sara Brunetti, Alberto Del Lungo, Maurice Nivat
Reconstruction of Discrete Sets from Three or More X-Rays. CIAC (2000)
Alain Daurat, Alberto Del Lungo, Maurice Nivat
Medians of Discrete Sets according to a Linear Distance. Discret. Comput. Geom. 23 (4) (2000)
Alberto Del Lungo, Maurice Nivat, Renzo Pinzani, L. Sorri
The Medians of Discrete Sets. Inf. Process. Lett. 65 (6) (1998)
Elena Barcucci, Alberto Del Lungo, Maurice Nivat, Renzo Pinzani
Medians of polyominoes: A property for reconstruction. Int. J. Imaging Syst. Technol. 9 (2-3) (1998)
Maurice Nivat, Andreas Podelski
Minimal Ascending and Descending Tree Automata. SIAM J. Comput. 26 (1) (1997)
Elena Barcucci, Alberto Del Lungo, Maurice Nivat, Renzo Pinzani, A. Zurli
Reconstructing Digital Sets from X-Rays. ICIAP (1) (1997)
Maurice Nivat
New Challenges for Theoretical Computer Science. TAPSOFT (1997)
Elena Barcucci, Alberto Del Lungo, Maurice Nivat, Renzo Pinzani
Reconstruction convex polyominoes from horizontal and vertical projections II. DGCI (1996)
Elena Barcucci, Alberto Del Lungo, Maurice Nivat, Renzo Pinzani
Reconstructing Convex Polyominoes from Horizontal and Vertical Projections. Theor. Comput. Sci. 155 (2) (1996)
Alberto Del Lungo, Maurice Nivat, Renzo Pinzani
The number of convex polyominoes reconstructible from their orthogonal projections. Discret. Math. 157 (1-3) (1996)
Hugues Calbrix, Maurice Nivat
-Languages. Developments in Language Theory (1995)
Danièle Beauquier, Maurice Nivat, Eric Rémila, Mike Robson
Tiling Figures of the Plane with Two Bars. Comput. Geom. 5 (1995)
Ahmed Saoudi, Maurice Nivat
Parallel Algorithms for Multi-Dimensional Image Template Matching. Int. J. Pattern Recognit. Artif. Intell. 8 (2) (1994)
P. Laroche, Maurice Nivat, Ahmed Saoudi
Context-Sensitivity of Puzzle Grammars. Int. J. Pattern Recognit. Artif. Intell. 8 (2) (1994)
Maurice Nivat, G. D. S. Ramkumar, C. Pandu Rangan, Ahmed Saoudi, Ravi Sundaram
Efficient Parallel Shuffle Recognition. Parallel Process. Lett. 4 (1994)
Maurice Nivat, Andreas Podelski
Another variation on the common subexpression problem. Discret. Math. 114 (1-3) (1993)
Danièle Beauquier, Maurice Nivat, Damian Niwinski
The Effect of the Number of Successful Paths in a BüChi Tree Automaton. Int. J. Algebra Comput. 3 (2) (1993)
Hugues Calbrix, Maurice Nivat, Andreas Podelski
-Languages. MFPS (1993)
Ahmed Saoudi, Maurice Nivat, C. Pandu Rangan, Ravi Sundaram, G. D. S. Ramkumar
A Parallel Algorithm for Recognizing the Shuffle of Two Strings. IPPS (1992)
Ahmed Saoudi, Maurice Nivat
Optimal Parallel Algorithms for Multidimensional Image Template Matching and Pattern Matching. ICPIA (1992)
Maurice Nivat, Ahmed Saoudi
Parallel Recognition of High Dimensional Images. Int. J. Pattern Recognit. Artif. Intell. 6 (2&3) (1992)
André Arnold, Anne Dicky, Maurice Nivat
A note about minimal non-deterministic automata. Bull. EATCS 47 (1992)
P. Laroche, Maurice Nivat, Ahmed Saoudi
Context-Sensitivity of Puzzle Grammars. ICPIA (1992)
Danièle Beauquier, Maurice Nivat, Damian Niwinski
About the Effect of the Number of Successful Paths in an Infinite Tree on the Recognizability by a Finite Automaton with Büchi Conditions. FCT (1991)
Maurice Nivat, Ahmed Saoudi
Parallel Recognition of Two-Dimensional Images. ICPP (3) (1991)
Danièle Beauquier, Maurice Nivat
On Translating One Polyomino to Tile the Plane. Discret. Comput. Geom. 6 (1991)
Françoise Gire, Maurice Nivat
Langages algébriques de mots biinfinis. Theor. Comput. Sci. 86 (2) (1991)
Maurice Nivat, Ahmed Saoudi, K. G. Subramanian, Rani Siromoney, V. Rajkumar Dare
Puzzle Grammars and Context-Free Array Grammars. Int. J. Pattern Recognit. Artif. Intell. 5 (5) (1991)
Carole Delporte-Gallet, Hugues Fauconnier, Maurice Nivat
Parallélisation d'algorithmes avec un nombre fixe de processeurs. RAIRO Theor. Informatics Appl. 24 (1990)
Maurice Nivat, Ahmed Saoudi, V. Rajkumar Dare
Parallel generation of infinite images. Int. J. Comput. Math. 35 (1-4) (1990)
Danièle Beauquier, Maurice Nivat
Tiling the Plane with One Tile. SCG (1990)
Maurice Nivat, Ahmed Saoudi, V. Rajkumar Dare
Parallel Generation of Finite Images. Int. J. Pattern Recognit. Artif. Intell. 3 (3-4) (1989)
Maurice Nivat, Andreas Podelski
Definite tree languages. Bull. EATCS 38 (1989)
Maurice Nivat, Ahmed Saoudi
Automata on Infinite Objects and Their Applications to Logic and Programming Inf. Comput. 83 (1) (1989)
Maurice Nivat, Ahmed Saoudi
Automata on infinite trees and Kleene closure of regular tree sets. Bull. EATCS 36 (1988)
Danièle Beauquier, Maurice Nivat
About Rational Sets of Factors of a Bi-Infinite Word. ICALP (1985)
Jan van Leeuwen, Maurice Nivat
Efficient Recognition of Rational Relations. Inf. Process. Lett. 14 (1) (1982)
Maurice Nivat, Dominique Perrin
Ensembles Reconnaissables de Mots Biinfinis STOC (1982)
Luc Boasson, Maurice Nivat
Centers of Languages. Theoretical Computer Science (1981)
Luc Boasson, Bruno Courcelle, Maurice Nivat
The Rational Index: A Complexity Measure for Languages. SIAM J. Comput. 10 (2) (1981)
Maurice Nivat
Infinitary Relations. CAAP (1981)
André Arnold, Maurice Nivat
Controlling Behaviours of Systems: Some Basic Concepts and some Applications. MFCS (1980)
Maurice Nivat
Non Deterministic Programs: An Algebraic Overview. IFIP Congress (1980)
André Arnold, Maurice Nivat
Metric Interpretations of Infinite Trees and Semantics of non Deterministic Recursive Programs. Theor. Comput. Sci. 11 (1980)
Hermann A. Maurer, Maurice Nivat
Rational Bijection of Rational Sets. Acta Informatica 13 (1980)
Luc Boasson, Maurice Nivat
Adherences of Languages. J. Comput. Syst. Sci. 20 (3) (1980)
André Arnold, Maurice Nivat
Formal Computations of Non Deterministic Recursive Program Schemes. Math. Syst. Theory 13 (1980)
André Arnold, Maurice Nivat
The metric space of infinite trees. Algebraic and topological properties. Fundam. Informaticae 3 (4) (1980)
Guy Cousineau, Maurice Nivat
On Rational Expressions Representing Infinite Rational Trees: Application to the Structure of Flow Charts. MFCS (1979)
Hermann A. Maurer, Maurice Nivat
Bijective A-Transducers FOCS (1979)
Jean-Michel Autebert, Joffroy Beauquier, Luc Boasson, Maurice Nivat
Quelques problèmes ouverts en théorie des langages algébriques. RAIRO Theor. Informatics Appl. 13 (4) (1979)
Maurice Nivat
Sur les ensembles de mots infins engendrés par une grammaire algébrique. RAIRO Theor. Informatics Appl. 12 (3) (1978)
Ronald V. Book, Maurice Nivat
Linear Languages and the Intersection Closures of Classes of Languages. SIAM J. Comput. 7 (2) (1978)
Bruno Courcelle, Maurice Nivat
The Algebraic Semantics of Recursive Program Schemes. MFCS (1978)
Maurice Nivat
Mots Infinis Engendrés par Une Grammaire Algébrique. RAIRO Theor. Informatics Appl. 11 (4) (1977)
Luc Boasson, Maurice Nivat
Le Cylindre des Langages Linéaires. Math. Syst. Theory 11 (1977)
André Arnold, Maurice Nivat
Non Deterministic Recursive Program Schemes. FCT (1977)
Luc Boasson, Maurice Nivat
Parenthesis Generators FOCS (1976)
Bruno Courcelle, Maurice Nivat
Algebraic Families of Interpretations FOCS (1976)
Luc Boasson, Maurice Nivat
Le cylindre des langages linéaires n'est pas principal. Automata Theory and Formal Languages (1975)
Ronald V. Book, Maurice Nivat, Mike Paterson
Reversal-Bounded Acceptors and Intersections of Linear Languages. SIAM J. Comput. 3 (4) (1974)
Ronald V. Book, Maurice Nivat, Mike Paterson
Intersections of Linear Context-Free Languages and Reversal-Bounded Multipushdown Machines (Extended Abstract) STOC (1974)
Luc Boasson, J. P. Crestin, Maurice Nivat
Familles de langages translatables et fermées par crochet Acta Informatica 2 (1973)
Maurice Nivat
Operators on Families of Languages. MFCS (1973)
Luc Boasson, Maurice Nivat
Sur diverses familles de langages fermées par transduction rationelle Acta Informatica 2 (1973)
Maurice Nivat
Langages algébriques sur le magma libre et sémantique des schémas de programme. ICALP (1972)
Maurice Nivat
On Some Families of Languages Related to the Dyck Language STOC (1970)

Maurice Nivat.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Maurice Nivat