default search action
Maurice Nivat
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2016
- [j59]Maurice Nivat:
Éditorial : Jacques Arsac, astronome et informaticien. Bull. dInformatique Approfondie et Appl. 104: 79-80 (2016) - 2015
- [j58]Maurice Nivat:
The true story of TCS. Theor. Comput. Sci. 591: 1-2 (2015) - 2012
- [j57]Maurice Nivat:
40th Anniversary of EATCS. Bull. EATCS 108: 145-147 (2012)
2000 – 2009
- 2008
- [j56]Kees Joost Batenburg, Antal Nagy
, Maurice Nivat:
Preface. Theor. Comput. Sci. 406(1-2): 1 (2008) - [j55]Kees Joost Batenburg, Antal Nagy
In Memoriam Attila Kuba (1953-2006). Theor. Comput. Sci. 406(1-2): 2-7 (2008) - [j54]Andrea Frosini, Maurice Nivat, Simone Rinaldi:
Scanning integer matrices by means of two rectangular windows. Theor. Comput. Sci. 406(1-2): 90-96 (2008) - [c35]Maurice Nivat:
Automata, tilings and tomography. JAC 2008: 17 - 2007
- [j53]Andrea Frosini, Maurice Nivat:
Binary matrices under the microscope: A tomographical problem. Theor. Comput. Sci. 370(1-3): 201-217 (2007) - 2005
- [j52]Alain Daurat, Maurice Nivat:
Salient and reentrant points of discrete sets. Discret. Appl. Math. 151(1-3): 106-121 (2005) - [j51]Attila Kuba, Maurice Nivat:
A sufficient condition for non-uniqueness in binary tomography with absorption. Theor. Comput. Sci. 346(2-3): 335-357 (2005) - [j50]Andrea Frosini, Maurice Nivat, Laurent Vuillon:
An introduction to periodical discrete sets from a tomographical perspective. Theor. Comput. Sci. 347(1-2): 370-392 (2005) - [j49]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): 432-436 (2005) - 2004
- [j48]Alberto Del Lungo, Maurice Nivat, Renzo Pinzani, Simone Rinaldi
A bijection for the total area of parallelogram polyominoes. Discret. Appl. Math. 144(3): 291-302 (2004) - [j47]Srecko Brlek, Sylvie Hamel
On The Palindromic Complexity Of Infinite Words. Int. J. Found. Comput. Sci. 15(2): 293-306 (2004) - [j46]Maurice Nivat:
For the 50th anniversary of Eric Goles: A few words by Maurice Nivat. Theor. Comput. Sci. 322(2): 233-235 (2004) - [c34]Maurice Nivat:
On a Tomographic Equivalence Between (0, 1)-Matrices. Theory Is Forever 2004: 216-234 - [c33]Andrea Frosini, Maurice Nivat:
Binary Matrices Under the Microscope: A Tomographical Problem. IWCIA 2004: 1-22 - 2003
- [j45]Alain Daurat, Maurice Nivat:
Salient and Reentrant Points of Discrete Sets. Electron. Notes Discret. Math. 12: 208-219 (2003) - [j44]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): 1647-1664 (2003) - [j43]Stéphane Gaubert, Jean Jacques Loiseau
Foreword. Theor. Comput. Sci. 293(1): 1-2 (2003) - [j42]Danièle Beauquier, Maurice Nivat:
A codicity undecidable problem in the plane. Theor. Comput. Sci. 303(2-3): 417-430 (2003) - 2002
- [j41]Alain Daurat, Yan Gérard, Maurice Nivat:
The chords' problem. Theor. Comput. Sci. 282(2): 319-336 (2002) - [c32]Emese Balogh, Attila Kuba, Alberto Del Lungo, Maurice Nivat:
Reconstruction of Binary Matrices from Absorbed Projections. DGCI 2002: 392-403 - [c31]Alberto Del Lungo, Andrea Frosini, Maurice Nivat, Laurent Vuillon:
Discrete Tomography: Reconstruction under Periodicity Constraints. ICALP 2002: 38-56 - 2001
- [j40]Elena Barcucci, Sara Brunetti
Reconstruction of lattice sets from their horizontal, vertical and diagonal X-rays. Discret. Math. 241(1-3): 65-78 (2001) - [j39]Maurice Nivat:
25 Years. Theor. Comput. Sci. 250(1-2) (2001) - 2000
- [j38]Alain Daurat, Alberto Del Lungo, Maurice Nivat:
Medians of Discrete Sets according to a Linear Distance. Discret. Comput. Geom. 23(4): 465-484 (2000) - [c30]Elena Barcucci, Sara Brunetti
Reconstruction of Discrete Sets from Three or More X-Rays. CIAC 2000: 199-210 - [c29]Attila Kuba, Maurice Nivat:
Reconstruction of Discrete Sets with Absorption. DGCI 2000: 137-148
1990 – 1999
- 1998
- [j37]Elena Barcucci, Alberto Del Lungo, Maurice Nivat, Renzo Pinzani:
Medians of polyominoes: A property for reconstruction. Int. J. Imaging Syst. Technol. 9(2-3): 69-77 (1998) - [j36]Alberto Del Lungo, Maurice Nivat, Renzo Pinzani, L. Sorri:
The Medians of Discrete Sets. Inf. Process. Lett. 65(6): 293-299 (1998) - [e12]Maurice Nivat:
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. Lecture Notes in Computer Science 1378, Springer 1998, ISBN 3-540-64300-1 [contents] - 1997
- [j35]Maurice Nivat, Andreas Podelski:
Minimal Ascending and Descending Tree Automata. SIAM J. Comput. 26(1): 39-58 (1997) - [c28]Elena Barcucci, Alberto Del Lungo, Maurice Nivat, Renzo Pinzani, A. Zurli:
Reconstructing Digital Sets from X-Rays. ICIAP (1) 1997: 166-173 - [c27]Maurice Nivat:
New Challenges for Theoretical Computer Science. TAPSOFT 1997: 11-14 - 1996
- [j34]Alberto Del Lungo, Maurice Nivat, Renzo Pinzani:
The number of convex polyominoes reconstructible from their orthogonal projections. Discret. Math. 157(1-3): 65-78 (1996) - [j33]Elena Barcucci, Alberto Del Lungo, Maurice Nivat, Renzo Pinzani:
Reconstructing Convex Polyominoes from Horizontal and Vertical Projections. Theor. Comput. Sci. 155(2): 321-347 (1996) - [c26]Elena Barcucci, Alberto Del Lungo, Maurice Nivat, Renzo Pinzani:
Reconstruction convex polyominoes from horizontal and vertical projections II. DGCI 1996: 295-306 - [e11]Martin Wirsing, Maurice Nivat:
Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings. Lecture Notes in Computer Science 1101, Springer 1996, ISBN 3-540-61463-X [contents] - 1995
- [j32]Danièle Beauquier, Maurice Nivat, Eric Rémila, Mike Robson:
Tiling Figures of the Plane with Two Bars. Comput. Geom. 5: 1-25 (1995) - [c25]Hugues Calbrix, Maurice Nivat:
Prefix and Period Languages of Rational omega-Languages. Developments in Language Theory 1995: 341-349 - [e10]Vangalur S. Alagar, Maurice Nivat:
Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings. Lecture Notes in Computer Science 936, Springer 1995, ISBN 3-540-60043-4 [contents] - 1994
- [j31]Ahmed Saoudi, Maurice Nivat:
Parallel Algorithms for Multi-Dimensional Image Template Matching. Int. J. Pattern Recognit. Artif. Intell. 8(2): 457-464 (1994) - [j30]P. Laroche, Maurice Nivat, Ahmed Saoudi:
Context-Sensitivity of Puzzle Grammars. Int. J. Pattern Recognit. Artif. Intell. 8(2): 525-542 (1994) - [j29]Maurice Nivat, G. D. S. Ramkumar, C. Pandu Rangan, Ahmed Saoudi, Ravi Sundaram:
Efficient Parallel Shuffle Recognition. Parallel Process. Lett. 4: 455-463 (1994) - [e9]Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo:
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. Workshops in Computing, Springer 1994, ISBN 3-540-19852-0 [contents] - 1993
- [j28]Maurice Nivat, Andreas Podelski:
Another variation on the common subexpression problem. Discret. Math. 114(1-3): 379-401 (1993) - [j27]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): 237-250 (1993) - [c24]Hugues Calbrix, Maurice Nivat, Andreas Podelski:
Ultimately Periodic Words of Rational w-Languages. MFPS 1993: 554-566 - 1992
- [j26]André Arnold, Anne Dicky, Maurice Nivat:
A note about minimal non-deterministic automata. Bull. EATCS 47: 166-169 (1992) - [j25]Maurice Nivat, Ahmed Saoudi:
Parallel Recognition of High Dimensional Images. Int. J. Pattern Recognit. Artif. Intell. 6(2&3): 285-291 (1992) - [c23]P. Laroche, Maurice Nivat, Ahmed Saoudi:
Context-Sensitivity of Puzzle Grammars. ICPIA 1992: 195-212 - [c22]Ahmed Saoudi, Maurice Nivat:
Optimal Parallel Algorithms for Multidimensional Image Template Matching and Pattern Matching. ICPIA 1992: 240-246 - [c21]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: 112-115 - [p3]Maurice Nivat:
Binary tree codes. Tree Automata and Languages 1992: 1-20 - [p2]Philippe Aigrain, Maurice Nivat:
Suffix, prefix and maximal tree codes. Tree Automata and Languages 1992: 21-40 - [e8]Maurice Nivat, Andreas Podelski:
Tree Automata and Languages. North-Holland 1992 [contents] - [e7]Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo:
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. Workshops in Computing, Springer 1992, ISBN 3-540-19797-4 [contents] - [e6]Akira Nakamura, Maurice Nivat, Ahmed Saoudi, Patrick Shen-Pei Wang, Katsushi Inoue:
Parallel Image Analysis, Second International Conference, ICPIA '92, Ube, Japan, December 21-23, 1992, Proceedings. Lecture Notes in Computer Science 654, Springer 1992, ISBN 3-540-56346-6 [contents] - 1991
- [j24]Danièle Beauquier, Maurice Nivat:
On Translating One Polyomino to Tile the Plane. Discret. Comput. Geom. 6: 575-592 (1991) - [j23]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): 663-676 (1991) - [j22]Françoise Gire, Maurice Nivat:
Langages algébriques de mots biinfinis. Theor. Comput. Sci. 86(2): 277-323 (1991) - [c20]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: 136-145 - [c19]Maurice Nivat, Ahmed Saoudi:
Parallel Recognition of Two-Dimensional Images. ICPP (3) 1991: 326-327 - 1990
- [j21]Maurice Nivat, Ahmed Saoudi, V. Rajkumar Dare:
Parallel generation of infinite images. Int. J. Comput. Math. 35(1-4): 25-42 (1990) - [j20]Carole Delporte-Gallet, Hugues Fauconnier, Maurice Nivat:
Parallélisation d'algorithmes avec un nombre fixe de processeurs. RAIRO Theor. Informatics Appl. 24: 353-386 (1990) - [c18]Danièle Beauquier, Maurice Nivat:
Tiling the Plane with One Tile. SCG 1990: 128-138
1980 – 1989
- 1989
- [j19]Maurice Nivat, Andreas Podelski:
Definite tree languages. Bull. EATCS 38: 186-190 (1989) - [j18]Maurice Nivat, Ahmed Saoudi:
Automata on Infinite Objects and Their Applications to Logic and Programming. Inf. Comput. 83(1): 41-64 (1989) - [j17]Maurice Nivat, Ahmed Saoudi, V. Rajkumar Dare:
Parallel Generation of Finite Images. Int. J. Pattern Recognit. Artif. Intell. 3(3-4): 279-294 (1989) - [p1]Maurice Nivat, Ahmed Saoudi, V. Rajkumar Dare:
Parallel Generation of Finite Images. Array Grammars, Patterns and Recognizers 1989: 1-16 - 1988
- [j16]Maurice Nivat, Ahmed Saoudi:
Automata on infinite trees and Kleene closure of regular tree sets. Bull. EATCS 36: 131-136 (1988) - [e5]Max Dauchet, Maurice Nivat:
CAAP '88, 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988, Proceedings. Lecture Notes in Computer Science 299, Springer 1988, ISBN 3-540-19021-X [contents] - 1985
- [c17]Danièle Beauquier, Maurice Nivat:
About Rational Sets of Factors of a Bi-Infinite Word. ICALP 1985: 33-42 - [e4]Maurice Nivat, Dominique Perrin:
Automata on Infinite Words, Ecole de Printemps d'Informatique Théorique, Le Mont Dore, France, May 14-18, 1984. Lecture Notes in Computer Science 192, Springer 1985, ISBN 3-540-15641-0 [contents] - [e3]Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James W. Thatcher:
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). Lecture Notes in Computer Science 185, Springer 1985, ISBN 3-540-15198-2 [contents] - [e2]Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James W. Thatcher:
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). Lecture Notes in Computer Science 186, Springer 1985, ISBN 3-540-15199-0 [contents] - 1982
- [j15]Jan van Leeuwen, Maurice Nivat:
Efficient Recognition of Rational Relations. Inf. Process. Lett. 14(1): 34-38 (1982) - [c16]Maurice Nivat, Dominique Perrin:
Ensembles Reconnaissables de Mots Biinfinis. STOC 1982: 47-59 - 1981
- [j14]Luc Boasson, Bruno Courcelle, Maurice Nivat:
The Rational Index: A Complexity Measure for Languages. SIAM J. Comput. 10(2): 284-296 (1981) - [c15]Maurice Nivat:
Infinitary Relations. CAAP 1981: 46-75 - [c14]Luc Boasson, Maurice Nivat:
Centers of Languages. Theoretical Computer Science 1981: 245-251 - 1980
- [j13]Hermann A. Maurer, Maurice Nivat:
Rational Bijection of Rational Sets. Acta Informatica 13: 365-378 (1980) - [j12]André Arnold, Maurice Nivat:
The metric space of infinite trees. Algebraic and topological properties. Fundam. Informaticae 3(4): 445-476 (1980) - [j11]Luc Boasson, Maurice Nivat:
Adherences of Languages. J. Comput. Syst. Sci. 20(3): 285-309 (1980) - [j10]André Arnold, Maurice Nivat:
Formal Computations of Non Deterministic Recursive Program Schemes. Math. Syst. Theory 13: 219-236 (1980) - [j9]André Arnold, Maurice Nivat:
Metric Interpretations of Infinite Trees and Semantics of non Deterministic Recursive Programs. Theor. Comput. Sci. 11: 181-205 (1980) - [c13]Maurice Nivat:
Non Deterministic Programs: An Algebraic Overview. IFIP Congress 1980: 17-28 - [c12]André Arnold, Maurice Nivat:
Controlling Behaviours of Systems: Some Basic Concepts and some Applications. MFCS 1980: 113-122
1970 – 1979
- 1979
- [j8]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): 363-378 (1979) - [c11]Hermann A. Maurer, Maurice Nivat:
Bijective A-Transducers. FOCS 1979: 97-100 - [c10]Guy Cousineau, Maurice Nivat:
On Rational Expressions Representing Infinite Rational Trees: Application to the Structure of Flow Charts. MFCS 1979: 567-580 - 1978
- [j7]Maurice Nivat:
Sur les ensembles de mots infins engendrés par une grammaire algébrique. RAIRO Theor. Informatics Appl. 12(3): 259-278 (1978) - [j6]Ronald V. Book, Maurice Nivat:
Linear Languages and the Intersection Closures of Classes of Languages. SIAM J. Comput. 7(2): 167-177 (1978) - [c9]Bruno Courcelle, Maurice Nivat:
The Algebraic Semantics of Recursive Program Schemes. MFCS 1978: 16-30 - 1977
- [j5]Maurice Nivat:
Mots Infinis Engendrés par Une Grammaire Algébrique. RAIRO Theor. Informatics Appl. 11(4): 311-327 (1977) - [j4]Luc Boasson, Maurice Nivat:
Le Cylindre des Langages Linéaires. Math. Syst. Theory 11: 147-155 (1977) - [c8]André Arnold, Maurice Nivat:
Non Deterministic Recursive Program Schemes. FCT 1977: 12-21 - 1976
- [c7]Bruno Courcelle, Maurice Nivat:
Algebraic Families of Interpretations. FOCS 1976: 137-146 - [c6]Luc Boasson, Maurice Nivat:
Parenthesis Generators. FOCS 1976: 253-257 - 1975
- [c5]Luc Boasson, Maurice Nivat:
Le cylindre des langages linéaires n'est pas principal. Automata Theory and Formal Languages 1975: 16-19 - 1974
- [j3]Ronald V. Book, Maurice Nivat, Mike Paterson:
Reversal-Bounded Acceptors and Intersections of Linear Languages. SIAM J. Comput. 3(4): 283-295 (1974) - [c4]Ronald V. Book, Maurice Nivat, Mike Paterson:
Intersections of Linear Context-Free Languages and Reversal-Bounded Multipushdown Machines (Extended Abstract). STOC 1974: 290-296 - 1973
- [j2]Luc Boasson, Maurice Nivat:
Sur diverses familles de langages fermées par transduction rationelle. Acta Informatica 2: 180-188 (1973) - [j1]Luc Boasson, J. P. Crestin, Maurice Nivat:
Familles de langages translatables et fermées par crochet. Acta Informatica 2: 383-393 (1973) - [c3]Maurice Nivat:
Operators on Families of Languages. MFCS 1973: 119-124 - 1972
- [c2]Maurice Nivat:
Langages algébriques sur le magma libre et sémantique des schémas de programme. ICALP 1972: 293-308 - [e1]Maurice Nivat:
Automata, Languages and Programming, Colloquium, Paris, France, July 3-7, 1972. North-Holland, Amsterdam 1972, ISBN 0-7204-2074-1 [contents] - 1970
- [c1]Maurice Nivat:
On Some Families of Languages Related to the Dyck Language. STOC 1970: 221-225
1960 – 1969
- 1968
- [b1]Maurice Nivat:
Transduction des langages de Chomsky. Faculté des sciences de Paris, France, 1968, pp. 1-339
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 20:53 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: