Maurice Nivat - RankMe

110 papers A* 10B 8C 3Journal 59Unranked 16

Year	Rank	Type	Title / Venue / Authors
2016	J	`jnl`	Éditorial : Jacques Arsac, astronome et informaticien. Bull. dInformatique Approfondie et Appl. Maurice Nivat
2015	J	`jnl`	The true story of TCS. Theor. Comput. Sci. Maurice Nivat
2012	J	`jnl`	40th Anniversary of EATCS. Bull. EATCS Maurice Nivat
2008	—	`conf`	Automata, tilings and tomography. JAC Maurice Nivat
2008	J	`jnl`	In Memoriam Attila Kuba (1953-2006). Theor. Comput. Sci. Kees Joost Batenburg, Antal Nagy, Maurice Nivat
2008	J	`jnl`	Preface. Theor. Comput. Sci. Kees Joost Batenburg, Antal Nagy, Maurice Nivat
2008	J	`jnl`	Scanning integer matrices by means of two rectangular windows. Theor. Comput. Sci. Andrea Frosini, Maurice Nivat, Simone Rinaldi
2007	J	`jnl`	Binary matrices under the microscope: A tomographical problem. Theor. Comput. Sci. Andrea Frosini, Maurice Nivat
2005	J	`jnl`	A sufficient condition for non-uniqueness in binary tomography with absorption. Theor. Comput. Sci. Attila Kuba, Maurice Nivat
2005	J	`jnl`	An introduction to periodical discrete sets from a tomographical perspective. Theor. Comput. Sci. Andrea Frosini, Maurice Nivat, Laurent Vuillon
2005	J	`jnl`	Salient and reentrant points of discrete sets. Discret. Appl. Math. Alain Daurat, Maurice Nivat
2005	J	`jnl`	Some necessary clarifications about the chords' problem and the Partial Digest Problem. Theor. Comput. Sci. Alain Daurat, Yan Gérard, Maurice Nivat
2004	J	`jnl`	A bijection for the total area of parallelogram polyominoes. Discret. Appl. Math. Alberto Del Lungo, Maurice Nivat, Renzo Pinzani, Simone Rinaldi
2004	C	`conf`	Binary Matrices Under the Microscope: A Tomographical Problem. IWCIA Andrea Frosini, Maurice Nivat
2004	J	`jnl`	For the 50th anniversary of Eric Goles: A few words by Maurice Nivat. Theor. Comput. Sci. Maurice Nivat
2004	J	`jnl`	On The Palindromic Complexity Of Infinite Words. Int. J. Found. Comput. Sci. Srecko Brlek, Sylvie Hamel, Maurice Nivat, Christophe Reutenauer
2004	—	`conf`	On a Tomographic Equivalence Between (0, 1)-Matrices. Theory Is Forever Maurice Nivat
2003	J	`jnl`	A codicity undecidable problem in the plane. Theor. Comput. Sci. Danièle Beauquier, Maurice Nivat
2003	J	`jnl`	Foreword. Theor. Comput. Sci. Stéphane Gaubert, Jean Jacques Loiseau, Jean Mairesse, Maurice Nivat, Jean-Eric Pin
2003	J	`jnl`	Reconstructing (h, v)-convex 2-dimensional patterns of objects from approximate horizontal and vertical projections. Theor. Comput. Sci. Yacine Boufkhad, Olivier Dubois, Maurice Nivat
2003	J	`jnl`	Salient and Reentrant Points of Discrete Sets. Electron. Notes Discret. Math. Alain Daurat, Maurice Nivat
2002	A*	`conf`	Discrete Tomography: Reconstruction under Periodicity Constraints. ICALP Alberto Del Lungo, Andrea Frosini, Maurice Nivat, Laurent Vuillon
2002	—	`conf`	Reconstruction of Binary Matrices from Absorbed Projections. DGCI Emese Balogh, Attila Kuba, Alberto Del Lungo, Maurice Nivat
2002	J	`jnl`	The chords' problem. Theor. Comput. Sci. Alain Daurat, Yan Gérard, Maurice Nivat
2001	J	`jnl`	25 Years. Theor. Comput. Sci. Maurice Nivat
2001	J	`jnl`	Reconstruction of lattice sets from their horizontal, vertical and diagonal X-rays. Discret. Math. Elena Barcucci, Sara Brunetti, Alberto Del Lungo, Maurice Nivat
2000	J	`jnl`	Medians of Discrete Sets according to a Linear Distance. Discret. Comput. Geom. Alain Daurat, Alberto Del Lungo, Maurice Nivat
2000	C	`conf`	Reconstruction of Discrete Sets from Three or More X-Rays. CIAC Elena Barcucci, Sara Brunetti, Alberto Del Lungo, Maurice Nivat
2000	—	`conf`	Reconstruction of Discrete Sets with Absorption. DGCI Attila Kuba, Maurice Nivat
1998	B	`ed.`	Foundations of Software Science and Computation Structure, First International Conference, FoSSaCS'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings FoSSaCS Maurice Nivat
1998	J	`jnl`	Medians of polyominoes: A property for reconstruction. Int. J. Imaging Syst. Technol. Elena Barcucci, Alberto Del Lungo, Maurice Nivat, Renzo Pinzani
1998	J	`jnl`	The Medians of Discrete Sets. Inf. Process. Lett. Alberto Del Lungo, Maurice Nivat, Renzo Pinzani, L. Sorri
1997	J	`jnl`	Minimal Ascending and Descending Tree Automata. SIAM J. Comput. Maurice Nivat, Andreas Podelski
1997	—	`conf`	New Challenges for Theoretical Computer Science. TAPSOFT Maurice Nivat
1997	—	`conf`	Reconstructing Digital Sets from X-Rays. ICIAP (1) Elena Barcucci, Alberto Del Lungo, Maurice Nivat, Renzo Pinzani, A. Zurli
1996	—	`ed.`	Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings AMAST Martin Wirsing, Maurice Nivat
1996	J	`jnl`	Reconstructing Convex Polyominoes from Horizontal and Vertical Projections. Theor. Comput. Sci. Elena Barcucci, Alberto Del Lungo, Maurice Nivat, Renzo Pinzani
1996	—	`conf`	Reconstruction convex polyominoes from horizontal and vertical projections II. DGCI Elena Barcucci, Alberto Del Lungo, Maurice Nivat, Renzo Pinzani
1996	J	`jnl`	The number of convex polyominoes reconstructible from their orthogonal projections. Discret. Math. Alberto Del Lungo, Maurice Nivat, Renzo Pinzani
1995	—	`ed.`	Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings AMAST Vangalur S. Alagar, Maurice Nivat
1995	C	`conf`	Prefix and Period Languages of Rational Developments in Language Theory Hugues Calbrix, Maurice Nivat
1995	J	`jnl`	Tiling Figures of the Plane with Two Bars. Comput. Geom. Danièle Beauquier, Maurice Nivat, Eric Rémila, Mike Robson
1994	—	`ed.`	Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993 AMAST Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo
1994	J	`jnl`	Context-Sensitivity of Puzzle Grammars. Int. J. Pattern Recognit. Artif. Intell. P. Laroche, Maurice Nivat, Ahmed Saoudi
1994	J	`jnl`	Efficient Parallel Shuffle Recognition. Parallel Process. Lett. Maurice Nivat, G. D. S. Ramkumar, C. Pandu Rangan, Ahmed Saoudi, Ravi Sundaram
1994	J	`jnl`	Parallel Algorithms for Multi-Dimensional Image Template Matching. Int. J. Pattern Recognit. Artif. Intell. Ahmed Saoudi, Maurice Nivat
1993	J	`jnl`	Another variation on the common subexpression problem. Discret. Math. Maurice Nivat, Andreas Podelski
1993	J	`jnl`	The Effect of the Number of Successful Paths in a BüChi Tree Automaton. Int. J. Algebra Comput. Danièle Beauquier, Maurice Nivat, Damian Niwinski
1993	B	`conf`	Ultimately Periodic Words of Rational MFPS Hugues Calbrix, Maurice Nivat, Andreas Podelski
1992	—	`conf`	A Parallel Algorithm for Recognizing the Shuffle of Two Strings. IPPS Ahmed Saoudi, Maurice Nivat, C. Pandu Rangan, Ravi Sundaram, G. D. S. Ramkumar
1992	J	`jnl`	A note about minimal non-deterministic automata. Bull. EATCS André Arnold, Anne Dicky, Maurice Nivat
1992	—	`ed.`	Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991 AMAST Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo
1992	—	`ch.`	Binary tree codes. Tree Automata and Languages Maurice Nivat
1992	—	`conf`	Context-Sensitivity of Puzzle Grammars. ICPIA P. Laroche, Maurice Nivat, Ahmed Saoudi
1992	—	`conf`	Optimal Parallel Algorithms for Multidimensional Image Template Matching and Pattern Matching. ICPIA Ahmed Saoudi, Maurice Nivat
1992	—	`ed.`	Parallel Image Analysis, Second International Conference, ICPIA '92, Ube, Japan, December 21-23, 1992, Proceedings ICPIA Akira Nakamura, Maurice Nivat, Ahmed Saoudi, Patrick Shen-Pei Wang, Katsushi Inoue
1992	J	`jnl`	Parallel Recognition of High Dimensional Images. Int. J. Pattern Recognit. Artif. Intell. Maurice Nivat, Ahmed Saoudi
1992	—	`ch.`	Suffix, prefix and maximal tree codes. Tree Automata and Languages Philippe Aigrain, Maurice Nivat
1992	—	`book`	Tree Automata and Languages. Maurice Nivat, Andreas Podelski
1991	B	`conf`	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 Danièle Beauquier, Maurice Nivat, Damian Niwinski
1991	J	`jnl`	Langages algébriques de mots biinfinis. Theor. Comput. Sci. Françoise Gire, Maurice Nivat
1991	J	`jnl`	On Translating One Polyomino to Tile the Plane. Discret. Comput. Geom. Danièle Beauquier, Maurice Nivat
1991	—	`conf`	Parallel Recognition of Two-Dimensional Images. ICPP (3) Maurice Nivat, Ahmed Saoudi
1991	J	`jnl`	Puzzle Grammars and Context-Free Array Grammars. Int. J. Pattern Recognit. Artif. Intell. Maurice Nivat, Ahmed Saoudi, K. G. Subramanian, Rani Siromoney, V. Rajkumar Dare
1990	J	`jnl`	Parallel generation of infinite images. Int. J. Comput. Math. Maurice Nivat, Ahmed Saoudi, V. Rajkumar Dare
1990	J	`jnl`	Parallélisation d'algorithmes avec un nombre fixe de processeurs. RAIRO Theor. Informatics Appl. Carole Delporte-Gallet, Hugues Fauconnier, Maurice Nivat
1990	—	`conf`	Tiling the Plane with One Tile. SCG Danièle Beauquier, Maurice Nivat
1989	J	`jnl`	Automata on Infinite Objects and Their Applications to Logic and Programming Inf. Comput. Maurice Nivat, Ahmed Saoudi
1989	J	`jnl`	Definite tree languages. Bull. EATCS Maurice Nivat, Andreas Podelski
1989	J	`jnl`	Parallel Generation of Finite Images. Int. J. Pattern Recognit. Artif. Intell. Maurice Nivat, Ahmed Saoudi, V. Rajkumar Dare
1989	—	`ch.`	Parallel Generation of Finite Images. Array Grammars, Patterns and Recognizers Maurice Nivat, Ahmed Saoudi, V. Rajkumar Dare
1988	J	`jnl`	Automata on infinite trees and Kleene closure of regular tree sets. Bull. EATCS Maurice Nivat, Ahmed Saoudi
1988	—	`ed.`	CAAP '88, 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988, Proceedings CAAP Max Dauchet, Maurice Nivat
1985	A*	`conf`	About Rational Sets of Factors of a Bi-Infinite Word. ICALP Danièle Beauquier, Maurice Nivat
1985	—	`ed.`	Automata on Infinite Words, Ecole de Printemps d'Informatique Théorique, Le Mont Dore, France, May 14-18, 1984 Automata on Infinite Words Maurice Nivat, Dominique Perrin
1985	—	`ed.`	Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85) TAPSOFT, Vol.1 Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James W. Thatcher
1985	—	`ed.`	Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume 2: Colloquium on Software Engineering (CSE) TAPSOFT, Vol.2 Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James W. Thatcher
1982	J	`jnl`	Efficient Recognition of Rational Relations. Inf. Process. Lett. Jan van Leeuwen, Maurice Nivat
1982	A*	`conf`	Ensembles Reconnaissables de Mots Biinfinis STOC Maurice Nivat, Dominique Perrin
1981	—	`conf`	Centers of Languages. Theoretical Computer Science Luc Boasson, Maurice Nivat
1981	—	`conf`	Infinitary Relations. CAAP Maurice Nivat
1981	J	`jnl`	The Rational Index: A Complexity Measure for Languages. SIAM J. Comput. Luc Boasson, Bruno Courcelle, Maurice Nivat
1980	J	`jnl`	Adherences of Languages. J. Comput. Syst. Sci. Luc Boasson, Maurice Nivat
1980	B	`conf`	Controlling Behaviours of Systems: Some Basic Concepts and some Applications. MFCS André Arnold, Maurice Nivat
1980	J	`jnl`	Formal Computations of Non Deterministic Recursive Program Schemes. Math. Syst. Theory André Arnold, Maurice Nivat
1980	J	`jnl`	Metric Interpretations of Infinite Trees and Semantics of non Deterministic Recursive Programs. Theor. Comput. Sci. André Arnold, Maurice Nivat
1980	—	`conf`	Non Deterministic Programs: An Algebraic Overview. IFIP Congress Maurice Nivat
1980	J	`jnl`	Rational Bijection of Rational Sets. Acta Informatica Hermann A. Maurer, Maurice Nivat
1980	J	`jnl`	The metric space of infinite trees. Algebraic and topological properties. Fundam. Informaticae André Arnold, Maurice Nivat
1979	A*	`conf`	Bijective A-Transducers FOCS Hermann A. Maurer, Maurice Nivat
1979	B	`conf`	On Rational Expressions Representing Infinite Rational Trees: Application to the Structure of Flow Charts. MFCS Guy Cousineau, Maurice Nivat
1979	J	`jnl`	Quelques problèmes ouverts en théorie des langages algébriques. RAIRO Theor. Informatics Appl. Jean-Michel Autebert, Joffroy Beauquier, Luc Boasson, Maurice Nivat
1978	J	`jnl`	Linear Languages and the Intersection Closures of Classes of Languages. SIAM J. Comput. Ronald V. Book, Maurice Nivat
1978	J	`jnl`	Sur les ensembles de mots infins engendrés par une grammaire algébrique. RAIRO Theor. Informatics Appl. Maurice Nivat
1978	B	`conf`	The Algebraic Semantics of Recursive Program Schemes. MFCS Bruno Courcelle, Maurice Nivat
1977	J	`jnl`	Le Cylindre des Langages Linéaires. Math. Syst. Theory Luc Boasson, Maurice Nivat
1977	J	`jnl`	Mots Infinis Engendrés par Une Grammaire Algébrique. RAIRO Theor. Informatics Appl. Maurice Nivat
1977	B	`conf`	Non Deterministic Recursive Program Schemes. FCT André Arnold, Maurice Nivat
1976	A*	`conf`	Algebraic Families of Interpretations FOCS Bruno Courcelle, Maurice Nivat
1976	A*	`conf`	Parenthesis Generators FOCS Luc Boasson, Maurice Nivat
1975	—	`conf`	Le cylindre des langages linéaires n'est pas principal. Automata Theory and Formal Languages Luc Boasson, Maurice Nivat
1974	A*	`conf`	Intersections of Linear Context-Free Languages and Reversal-Bounded Multipushdown Machines (Extended Abstract) STOC Ronald V. Book, Maurice Nivat, Mike Paterson
1974	J	`jnl`	Reversal-Bounded Acceptors and Intersections of Linear Languages. SIAM J. Comput. Ronald V. Book, Maurice Nivat, Mike Paterson
1973	J	`jnl`	Familles de langages translatables et fermées par crochet Acta Informatica Luc Boasson, J. P. Crestin, Maurice Nivat
1973	B	`conf`	Operators on Families of Languages. MFCS Maurice Nivat
1973	J	`jnl`	Sur diverses familles de langages fermées par transduction rationelle Acta Informatica Luc Boasson, Maurice Nivat
1972	A*	`ed.`	Automata, Languages and Programming, Colloquium, Paris, France, July 3-7, 1972 ICALP Maurice Nivat
1972	A*	`conf`	Langages algébriques sur le magma libre et sémantique des schémas de programme. ICALP Maurice Nivat
1970	A*	`conf`	On Some Families of Languages Related to the Dyck Language STOC Maurice Nivat
1968	—	`—`	Transduction des langages de Chomsky. Maurice Nivat