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: Marchiori:Massimo
Contributed to:
2006
1998
1997
1996
19951995
19951994
1994Wrote 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.
- ALP-1996-Marchiori
- 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.