dblp.uni-trier.dewww.uni-trier.de

Maurice Nivat Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
97 Maurice Nivat: Automata, tilings and tomography. JAC 2008: 17
96EEKees Joost Batenburg, Antal Nagy, Maurice Nivat: Preface. Theor. Comput. Sci. 406(1-2): 1 (2008)
95EEKees Joost Batenburg, Antal Nagy, Maurice Nivat: In Memoriam Attila Kuba (1953-2006). Theor. Comput. Sci. 406(1-2): 2-7 (2008)
94EEAndrea Frosini, Maurice Nivat, Simone Rinaldi: Scanning integer matrices by means of two rectangular windows. Theor. Comput. Sci. 406(1-2): 90-96 (2008)
2007
93EEAndrea Frosini, Maurice Nivat: Binary matrices under the microscope: A tomographical problem. Theor. Comput. Sci. 370(1-3): 201-217 (2007)
2005
92EEAlain Daurat, Maurice Nivat: Salient and reentrant points of discrete sets. Discrete Applied Mathematics 151(1-3): 106-121 (2005)
91EEAttila Kuba, Maurice Nivat: A sufficient condition for non-uniqueness in binary tomography with absorption. Theor. Comput. Sci. 346(2-3): 335-357 (2005)
90EEAndrea Frosini, Maurice Nivat, Laurent Vuillon: An introduction to periodical discrete sets from a tomographical perspective. Theor. Comput. Sci. 347(1-2): 370-392 (2005)
89EEAlain 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
88EEAndrea Frosini, Maurice Nivat: Binary Matrices Under the Microscope: A Tomographical Problem. IWCIA 2004: 1-22
87EEMaurice Nivat: On a Tomographic Equivalence Between (0, 1)-Matrices. Theory Is Forever 2004: 216-234
86EEAlberto 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)
85EESrecko Brlek, Sylvie Hamel, Maurice Nivat, Christophe Reutenauer: On The Palindromic Complexity Of Infinite Words. Int. J. Found. Comput. Sci. 15(2): 293-306 (2004)
84EEMaurice Nivat: For the 50th anniversary of Eric Goles: A few words by Maurice Nivat. Theor. Comput. Sci. 322(2): 233-235 (2004)
2003
83EEAlain Daurat, Maurice Nivat: Salient and Reentrant Points of Discrete Sets. Electronic Notes in Discrete Mathematics 12: 208-219 (2003)
82EEDaniè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
80EEEmese Balogh, Attila Kuba, Alberto Del Lungo, Maurice Nivat: Reconstruction of Binary Matrices from Absorbed Projections. DGCI 2002: 392-403
79EEAlberto Del Lungo, Andrea Frosini, Maurice Nivat, Laurent Vuillon: Discrete Tomography: Reconstruction under Periodicity Constraints. ICALP 2002: 38-56
78EEAlain Daurat, Yan Gérard, Maurice Nivat: The chords' problem. Theor. Comput. Sci. 282(2): 319-336 (2002)
2001
77EEElena 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
75EEElena Barcucci, Sara Brunetti, Alberto Del Lungo, Maurice Nivat: Reconstruction of Discrete Sets from Three or More X-Rays. CIAC 2000: 199-210
74EEAttila Kuba, Maurice Nivat: Reconstruction of Discrete Sets with Absorption. DGCI 2000: 137-148
73EEAlain 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
71EEAlberto 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
69EEMaurice 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
66EEElena Barcucci, Alberto Del Lungo, Maurice Nivat, Renzo Pinzani: Reconstruction convex polyominoes from horizontal and vertical projections II. DGCI 1996: 295-306
65EEAlberto Del Lungo, Maurice Nivat, Renzo Pinzani: The number of convex polyominoes reconstructible from their orthogonal projections. Discrete Mathematics 157(1-3): 65-78 (1996)
64EEElena 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
56EEHugues Calbrix, Maurice Nivat, Andreas Podelski: Ultimately Periodic Words of Rational w-Languages. MFPS 1993: 554-566
55EEMaurice 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
41EEDaniè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
32EEDaniè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
29EEMaurice Nivat: Infinitary Relations. CAAP 1981: 46-75
28EELuc 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
25EEAndré 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
18EEGuy 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
16EEBruno 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

Coauthor Index

1Philippe Aigrain [47]
2Vangalur S. Alagar (Vasu S. Alagar) [63]
3André Arnold [13] [20] [21] [23] [25] [46]
4Jean-Michel Autebert [17]
5Emese Balogh [80]
6Elena Barcucci [64] [66] [70] [75] [77]
7Kees Joost Batenburg [95] [96]
8Danièle Beauquier [32] [41] [42] [44] [61] [82]
9Joffroy Beauquier [17]
10Luc Boasson [3] [4] [8] [9] [11] [17] [22] [27] [28]
11Ronald V. Book [6] [7] [14]
12Yacine Boufkhad [81]
13Srecko Brlek [85]
14Sara Brunetti [75] [77]
15Hugues Calbrix [56] [62]
16Bruno Courcelle [10] [16] [27]
17Guy Cousineau [18]
18J. P. Crestin [3]
19Max Dauchet [37]
20Alain Daurat [73] [78] [83] [89] [92]
21Carole Delporte-Gallet (Carole Delporte) [40]
22Anne Dicky [46]
23Olivier Dubois [81]
24Hartmut Ehrig [34] [35]
25Hugues Fauconnier [40]
26Christiane Floyd [34] [35]
27Andrea Frosini [79] [88] [90] [93] [94]
28Yan Gérard [78] [89]
29Sylvie Hamel [85]
30Katsushi Inoue [52]
31Attila Kuba [74] [80] [91]
32P. Laroche [51] [58]
33Jan van Leeuwen [30]
34Alberto Del Lungo [64] [65] [66] [70] [71] [73] [75] [77] [79] [80] [86]
35Hermann A. Maurer [19] [24]
36Antal Nagy [95] [96]
37Akira Nakamura [52]
38Damian Niwinski [44]
39Mike Paterson [6] [7]
40Dominique Perrin [31] [33]
41Renzo Pinzani [64] [65] [66] [70] [71] [86]
42Andreas Podelski [39] [54] [55] [56] [68]
43G. D. S. Ramkumar [49] [57]
44C. Pandu Rangan (Chandrasekaran Pandu Rangan) [49] [57]
45Charles Rattray [53] [60]
46Eric Rémila [61]
47Christophe Reutenauer [85]
48Simone Rinaldi [86] [94]
49Mike Robson [61]
50Teodor Rus [53] [60]
51Ahmed Saoudi [36] [38] [43] [45] [49] [50] [51] [52] [57] [58] [59]
52Giuseppe Scollo [53] [60]
53L. Sorri [71]
54Ravi Sundaram [49] [57]
55James W. Thatcher [34] [35]
56Laurent Vuillon [79] [90]
57Patrick Shen-Pei Wang [52]
58Martin Wirsing [67]
59A. Zurli [70]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)