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 × Spain
1 × The Netherlands
2 × Germany
2 × Italy
2 × USA
Collaborated with:
L.Colussi E.Marchiori
Talks about:
program (3) logic (3) system (2) semant (2) web (2) constraint (1) properti (1) function (1) dataflow (1) unravel (1)

Person: Massimo Marchiori

DBLP DBLP: Marchiori:Massimo

Contributed to:

LOPSTR 20062006
SAC 19981998
ICALP 19971997
ALP 19961996
FPCA 19951995
PPDP 19951995
RTA 19951995
ALP 19941994
ILPS 19941994

Wrote 10 papers:

LOPSTR-2006-Marchiori #how #semantics #web
How to Talk to a Human: The Semantic Web and the Clash of the Titans (MM), pp. 1–14.
SAC-1998-Marchiori #analysis
Light analysis of complex systems (MM), pp. 18–22.
SAC-1998-Marchiori98b #navigation #web
Enhancing navigation in the World Wide Web (MM), pp. 737–743.
ICALP-1997-Marchiori #formal method
The Theory of Vaccines (MM), pp. 660–670.
Unravelings and Ultra-properties (MM), pp. 107–121.
FPCA-1995-Marchiori #functional #logic programming
The Functional Side of Logic Programming (MM), pp. 55–65.
PLILP-1995-ColussiMM #constraints #data flow #logic programming #semantics #source code
A Dataflow Semantics for Constraint Logic Programs (LC, EM, MM), pp. 431–448.
RTA-1995-Marchiori #composition #revisited
Modularity of Completeness Revisited (MM), pp. 2–10.
ALP-1994-Marchiori #logic programming #source code #term rewriting
Logic Programs as term Rewriting Systems (MM), pp. 223–241.
ILPS-1994-Marchiori #unification
Localizations of Unification Freedom through Matching Directions (MM), pp. 392–406.

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.