 | 2008 |
|---|
| 97 |       | Maurice Nivat:
Automata, tilings and tomography.
JAC 2008: 17 |
| 96 |  | Kees Joost Batenburg,
Antal Nagy,
Maurice Nivat:
Preface.
Theor. Comput. Sci. 406(1-2): 1 (2008) |
| 95 | | Kees Joost Batenburg,
Antal Nagy,
Maurice Nivat:
In Memoriam Attila Kuba (1953-2006).
Theor. Comput. Sci. 406(1-2): 2-7 (2008) |
| 94 | | Andrea Frosini,
Maurice Nivat,
Simone Rinaldi:
Scanning integer matrices by means of two rectangular windows.
Theor. Comput. Sci. 406(1-2): 90-96 (2008) |
| 2007 |
|---|
| 93 | | Andrea Frosini,
Maurice Nivat:
Binary matrices under the microscope: A tomographical problem.
Theor. Comput. Sci. 370(1-3): 201-217 (2007) |
| 2005 |
|---|
| 92 | | Alain Daurat,
Maurice Nivat:
Salient and reentrant points of discrete sets.
Discrete Applied Mathematics 151(1-3): 106-121 (2005) |
| 91 | | Attila Kuba,
Maurice Nivat:
A sufficient condition for non-uniqueness in binary tomography with absorption.
Theor. Comput. Sci. 346(2-3): 335-357 (2005) |
| 90 | | 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) |
| 89 | | 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 |
|---|
| 88 | | Andrea Frosini,
Maurice Nivat:
Binary Matrices Under the Microscope: A Tomographical Problem.
IWCIA 2004: 1-22 |
| 87 | | Maurice Nivat:
On a Tomographic Equivalence Between (0, 1)-Matrices.
Theory Is Forever 2004: 216-234 |
| 86 | | Alberto Del Lungo,
Maurice Nivat,
Renzo Pinzani,
Simone Rinaldi:
A bijection for the total area of parallelogram polyominoes.
Discrete Applied Mathematics 144(3): 291-302 (2004) |
| 85 | | Srecko Brlek,
Sylvie Hamel,
Maurice Nivat,
Christophe Reutenauer:
On The Palindromic Complexity Of Infinite Words.
Int. J. Found. Comput. Sci. 15(2): 293-306 (2004) |
| 84 | | Maurice Nivat:
For the 50th anniversary of Eric Goles: A few words by Maurice Nivat.
Theor. Comput. Sci. 322(2): 233-235 (2004) |
| 2003 |
|---|
| 83 | | Alain Daurat,
Maurice Nivat:
Salient and Reentrant Points of Discrete Sets.
Electronic Notes in Discrete Mathematics 12: 208-219 (2003) |
| 82 | | Danièle Beauquier,
Maurice Nivat:
A codicity undecidable problem in the plane.
Theor. Comput. Sci. 2-3(303): 417-430 (2003) |
| 81 | | 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) |
| 2002 |
|---|
| 80 | | Emese Balogh,
Attila Kuba,
Alberto Del Lungo,
Maurice Nivat:
Reconstruction of Binary Matrices from Absorbed Projections.
DGCI 2002: 392-403 |
| 79 | | Alberto Del Lungo,
Andrea Frosini,
Maurice Nivat,
Laurent Vuillon:
Discrete Tomography: Reconstruction under Periodicity Constraints.
ICALP 2002: 38-56 |
| 78 | | Alain Daurat,
Yan Gérard,
Maurice Nivat:
The chords' problem.
Theor. Comput. Sci. 282(2): 319-336 (2002) |
| 2001 |
|---|
| 77 | | Elena Barcucci,
Sara Brunetti,
Alberto Del Lungo,
Maurice Nivat:
Reconstruction of lattice sets from their horizontal, vertical and diagonal X-rays.
Discrete Mathematics 241(1-3): 65-78 (2001) |
| 76 | | Maurice Nivat:
25 Years.
Theor. Comput. Sci. 250(1-2): (2001) |
| 2000 |
|---|
| 75 | | Elena Barcucci,
Sara Brunetti,
Alberto Del Lungo,
Maurice Nivat:
Reconstruction of Discrete Sets from Three or More X-Rays.
CIAC 2000: 199-210 |
| 74 | | Attila Kuba,
Maurice Nivat:
Reconstruction of Discrete Sets with Absorption.
DGCI 2000: 137-148 |
| 73 | | Alain Daurat,
Alberto Del Lungo,
Maurice Nivat:
Medians of Discrete Sets according to a Linear Distance.
Discrete & Computational Geometry 23(4): 465-484 (2000) |
| 1998 |
|---|
| 72 | | 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
Springer 1998 |
| 71 | | Alberto Del Lungo,
Maurice Nivat,
Renzo Pinzani,
L. Sorri:
The Medians of Discrete Sets.
Inf. Process. Lett. 65(6): 293-299 (1998) |
| 1997 |
|---|
| 70 | | Elena Barcucci,
Alberto Del Lungo,
Maurice Nivat,
Renzo Pinzani,
A. Zurli:
Reconstructing Digital Sets from X-Rays.
ICIAP (1) 1997: 166-173 |
| 69 | | Maurice Nivat:
New Challenges for Theoretical Computer Science.
TAPSOFT 1997: 11-14 |
| 68 | | Maurice Nivat,
Andreas Podelski:
Minimal Ascending and Descending Tree Automata.
SIAM J. Comput. 26(1): 39-58 (1997) |
| 1996 |
|---|
| 67 | | Martin Wirsing,
Maurice Nivat:
Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings
Springer 1996 |
| 66 | | Elena Barcucci,
Alberto Del Lungo,
Maurice Nivat,
Renzo Pinzani:
Reconstruction convex polyominoes from horizontal and vertical projections II.
DGCI 1996: 295-306 |
| 65 | | Alberto Del Lungo,
Maurice Nivat,
Renzo Pinzani:
The number of convex polyominoes reconstructible from their orthogonal projections.
Discrete Mathematics 157(1-3): 65-78 (1996) |
| 64 | | 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) |
| 1995 |
|---|
| 63 | | Vangalur S. Alagar,
Maurice Nivat:
Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings
Springer 1995 |
| 62 | | Hugues Calbrix,
Maurice Nivat:
Prefix and Period Languages of Rational omega-Languages.
Developments in Language Theory 1995: 341-349 |
| 61 | | Danièle Beauquier,
Maurice Nivat,
Eric Rémila,
Mike Robson:
Tiling Figures of the Plane with Two Bars.
Comput. Geom. 5: 1-25 (1995) |
| 1994 |
|---|
| 60 | | 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
Springer 1994 |
| 59 | | Ahmed Saoudi,
Maurice Nivat:
Parallel Algorithms for Multi-Dimensional Image Template Matching.
IJPRAI 8(2): 457-464 (1994) |
| 58 | | P. Laroche,
Maurice Nivat,
Ahmed Saoudi:
Context-Sensitivity of Puzzle Grammars.
IJPRAI 8(2): 525-542 (1994) |
| 57 | | Maurice Nivat,
G. D. S. Ramkumar,
C. Pandu Rangan,
Ahmed Saoudi,
Ravi Sundaram:
Efficient Parallel Shuffle Recognition.
Parallel Processing Letters 4: 455-463 (1994) |
| 1993 |
|---|
| 56 | | Hugues Calbrix,
Maurice Nivat,
Andreas Podelski:
Ultimately Periodic Words of Rational w-Languages.
MFPS 1993: 554-566 |
| 55 | | Maurice Nivat,
Andreas Podelski:
Another variation on the common subexpression problem.
Discrete Mathematics 114(1-3): 379-401 (1993) |
| 1992 |
|---|
| 54 | | Maurice Nivat,
Andreas Podelski:
Tree Automata and Languages.
North-Holland 1992 |
| 53 | | 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
Springer 1992 |
| 52 | | 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
Springer 1992 |
| 51 | | P. Laroche,
Maurice Nivat,
Ahmed Saoudi:
Context-Sensitivity of Puzzle Grammars.
ICPIA 1992: 195-212 |
| 50 | | Ahmed Saoudi,
Maurice Nivat:
Optimal Parallel Algorithms for Multidimensional Image Template Matching and Pattern Matching.
ICPIA 1992: 240-246 |
| 49 | | 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 |
| 48 | | Maurice Nivat:
Binary tree codes.
Tree Automata and Languages 1992: 1-20 |
| 47 | | Philippe Aigrain,
Maurice Nivat:
Suffix, prefix and maximal tree codes.
Tree Automata and Languages 1992: 21-40 |
| 46 | | André Arnold,
Anne Dicky,
Maurice Nivat:
A note about minimal non-deterministic automata.
Bulletin of the EATCS 47: 166-169 (1992) |
| 45 | | Maurice Nivat,
Ahmed Saoudi:
Parallel Recognition of High Dimensional Images.
IJPRAI 6(2&3): 285-291 (1992) |
| 1991 |
|---|
| 44 | | 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 |
| 43 | | Maurice Nivat,
Ahmed Saoudi:
Parallel Recognition of Two-Dimensional Images.
ICPP (3) 1991: 326-327 |
| 42 | | Danièle Beauquier,
Maurice Nivat:
On Translating One Polyomino to Tile the Plane.
Discrete & Computational Geometry 6: 575-592 (1991) |
| 1990 |
|---|
| 41 | | Danièle Beauquier,
Maurice Nivat:
Tiling the Plane with One Tile.
Symposium on Computational Geometry 1990: 128-138 |
| 40 | | Carole Delporte-Gallet,
Hugues Fauconnier,
Maurice Nivat:
Parallélisation d'algorithmes avec un nombre fixe de processeurs.
ITA 24: 353-386 (1990) |
| 1989 |
|---|
| 39 | | Maurice Nivat,
Andreas Podelski:
Definite tree languages.
Bulletin of the EATCS 38: 186-190 (1989) |
| 38 | | Maurice Nivat,
Ahmed Saoudi:
Automata on Infinite Objects and Their Applications to Logic and Programming
Inf. Comput. 83(1): 41-64 (1989) |
| 1988 |
|---|
| 37 | | Max Dauchet,
Maurice Nivat:
CAAP '88, 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988, Proceedings
Springer 1988 |
| 36 | | Maurice Nivat,
Ahmed Saoudi:
Automata on infinite trees and Kleene closure of regular tree sets.
Bulletin of the EATCS 36: 131-136 (1988) |
| 1985 |
|---|
| 35 | | 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)
Springer 1985 |
| 34 | | 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)
Springer 1985 |
| 33 | | Maurice Nivat,
Dominique Perrin:
Automata on Infinite Words, Ecole de Printemps d'Informatique Théorique, Le Mont Dore, May 14-18, 1984
Springer 1985 |
| 32 | | Danièle Beauquier,
Maurice Nivat:
About Rational Sets of Factors of a Bi-Infinite Word.
ICALP 1985: 33-42 |
| 1982 |
|---|
| 31 | | Maurice Nivat,
Dominique Perrin:
Ensembles Reconnaissables de Mots Biinfinis
STOC 1982: 47-59 |
| 30 | | Jan van Leeuwen,
Maurice Nivat:
Efficient Recognition of Rational Relations.
Inf. Process. Lett. 14(1): 34-38 (1982) |
| 1981 |
|---|
| 29 | | Maurice Nivat:
Infinitary Relations.
CAAP 1981: 46-75 |
| 28 | | Luc Boasson,
Maurice Nivat:
Centers of Languages.
Theoretical Computer Science 1981: 245-251 |
| 27 | | Luc Boasson,
Bruno Courcelle,
Maurice Nivat:
The Rational Index: A Complexity Measure for Languages.
SIAM J. Comput. 10(2): 284-296 (1981) |
| 1980 |
|---|
| 26 | | Maurice Nivat:
Non Deterministic Programs: An Algebraic Overview.
IFIP Congress 1980: 17-28 |
| 25 | | André Arnold,
Maurice Nivat:
Controlling Behaviours of Systems: Some Basic Concepts and some Applications.
MFCS 1980: 113-122 |
| 24 | | Hermann A. Maurer,
Maurice Nivat:
Rational Bijection of Rational Sets.
Acta Inf. 13: 365-378 (1980) |
| 23 | | André Arnold,
Maurice Nivat:
The metric space of infinite trees. Algebraic and topological properties.
Fundam. Inform. 3(4): 445-476 (1980) |
| 22 | | Luc Boasson,
Maurice Nivat:
Adherences of Languages.
J. Comput. Syst. Sci. 20(3): 285-309 (1980) |
| 21 | | André Arnold,
Maurice Nivat:
Formal Computations of Non Deterministic Recursive Program Schemes.
Mathematical Systems Theory 13: 219-236 (1980) |
| 20 | | André Arnold,
Maurice Nivat:
Metric Interpretations of Infinite Trees and Semantics of non Deterministic Recursive Programs.
Theor. Comput. Sci. 11: 181-205 (1980) |
| 1979 |
|---|
| 19 | | Hermann A. Maurer,
Maurice Nivat:
Bijective A-Transducers
FOCS 1979: 97-100 |
| 18 | | Guy Cousineau,
Maurice Nivat:
On Rational Expressions Representing Infinite Rational Trees: Application to the Structure of Flow Charts.
MFCS 1979: 567-580 |
| 17 | | Jean-Michel Autebert,
Joffroy Beauquier,
Luc Boasson,
Maurice Nivat:
Quelques problèmes ouverts en théorie des langages algébriques.
ITA 13(4): (1979) |
| 1978 |
|---|
| 16 | | Bruno Courcelle,
Maurice Nivat:
The Algebraic Semantics of Recursive Program Schemes.
MFCS 1978: 16-30 |
| 15 | | Maurice Nivat:
Sur les ensembles de mots infins engendrés par une grammaire algébrique.
ITA 12(3): (1978) |
| 14 | | Ronald V. Book,
Maurice Nivat:
Linear Languages and the Intersection Closures of Classes of Languages.
SIAM J. Comput. 7(2): 167-177 (1978) |
| 1977 |
|---|
| 13 | | André Arnold,
Maurice Nivat:
Non Deterministic Recursive Program Schemes.
FCT 1977: 12-21 |
| 12 | | Maurice Nivat:
Mots Infinis Engendrés par Une Grammaire Algébrique.
ITA 11(4): 311-327 (1977) |
| 11 | | Luc Boasson,
Maurice Nivat:
Le Cylindre des Langages Linéaires.
Mathematical Systems Theory 11: 147-155 (1977) |
| 1976 |
|---|
| 10 | | Bruno Courcelle,
Maurice Nivat:
Algebraic Families of Interpretations
FOCS 1976: 137-146 |
| 9 | | Luc Boasson,
Maurice Nivat:
Parenthesis Generators
FOCS 1976: 253-257 |
| 1975 |
|---|
| 8 | | Luc Boasson,
Maurice Nivat:
Le cylindre des langages linéaires n'est pas principal.
Automata Theory and Formal Languages 1975: 16-19 |
| 1974 |
|---|
| 7 | | Ronald V. Book,
Maurice Nivat,
Mike Paterson:
Intersections of Linear Context-Free Languages and Reversal-Bounded Multipushdown Machines (Extended Abstract)
STOC 1974: 290-296 |
| 6 | | Ronald V. Book,
Maurice Nivat,
Mike Paterson:
Reversal-Bounded Acceptors and Intersections of Linear Languages.
SIAM J. Comput. 3(4): 283-295 (1974) |
| 1973 |
|---|
| 5 | | Maurice Nivat:
Operators on Families of Languages.
MFCS 1973: 119-124 |
| 4 | | Luc Boasson,
Maurice Nivat:
Sur diverses familles de langages fermées par transductions rationelle
Acta Inf. 2: 180-188 (1973) |
| 3 | | Luc Boasson,
J. P. Crestin,
Maurice Nivat:
Familles de langages translatables et fermées par crochet
Acta Inf. 2: 383-393 (1973) |
| 1972 |
|---|
| 2 | | Maurice Nivat:
Langages algébriques sur le magma libre et sémantique des schémas de programme.
ICALP 1972: 293-308 |
| 1970 |
|---|
| 1 | | Maurice Nivat:
On Some Families of Languages Related to the Dyck Language
STOC 1970: 221-225 |
