BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Nivat:Maurice

Facilitated 6 volumes:

FoSSaCS 1998Ed
ICALP 1972Ed
TAPSOFT, Vol.1: AS 1985Ed
TAPSOFT, Vol.2: AS 1985Ed
TAPSOFT, Vol.1: CAAP 1985Ed
TAPSOFT, Vol.2: CSE 1985Ed

Contributed to:

ICALP 20022002
DLT 19951995
ICALP 19851985
STOC 19821982
STOC 19741974
ICALP 19721972
STOC 19701970

Wrote 8 papers:

ICALP-2002-LungoFNV #constraints #re-engineering
Discrete Tomography: Reconstruction under Periodicity Constraints (ADL, AF, MN, LV), pp. 38–56.
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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.