Travelled to:
1 × Germany
1 × Greece
1 × Spain
1 × The Netherlands
3 × USA
Collaborated with:
∅ H.Calbrix D.Beauquier D.Perrin R.V.Book M.Paterson A.D.Lungo A.Frosini L.Vuillon
Talks about:
languag (5) ration (2) period (2) multipushdown (1) reconstruct (1) tomographi (1) reconnaiss (1) constraint (1) intersect (1) challeng (1)
Person: Maurice Nivat
DBLP: Nivat:Maurice
Facilitated 6 volumes:
Contributed to:
Wrote 8 papers:
- ICALP-2002-LungoFNV #constraints #re-engineering
- Discrete Tomography: Reconstruction under Periodicity Constraints (ADL, AF, MN, LV), pp. 38–56.
- DLT-1995-CalbrixN
- Prefix and Period Languages of Rational ω-Languages (HC, MN), pp. 341–349.
- ICALP-1985-BeauquierN #set #word
- About Rational Sets of Factors of a Bi-Infinite Word (DB, MN), pp. 33–42.
- STOC-1982-NivatP
- Ensembles Reconnaissables de Mots Biinfinis (MN, DP), pp. 47–59.
- STOC-1974-BookNP #bound #context-free grammar #linear #multi
- Intersections of Linear Context-Free Languages and Reversal-Bounded Multipushdown Machines (RVB, MN, MP), pp. 290–296.
- ICALP-1972-Nivat #french
- Langages algébriques sur le magma libre et sémantique des schémas de programme (MN), pp. 293–308.
- STOC-1970-Nivat #on the #product line
- On Some Families of Languages Related to the Dyck Language (MN), pp. 221–225.
- TAPSOFT-1997-Nivat #challenge
- New Challenges for Theoretical Computer Science (MN), pp. 11–14.