| 2007 |
|---|
| 39 | | Massimo Marchiori,
Jeff Z. Pan,
Christian de Sainte Marie:
Web Reasoning and Rule Systems, First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007, Proceedings
Springer 2007 |
| 2006 |
|---|
| 38 | | François Bry,
François Fages,
Massimo Marchiori,
Hans Jürgen Ohlbach:
Principles and Practices of Semantic Web Reasoning, 11.-16. September 2005
Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 |
| 37 | EE | Massimo Marchiori:
How to Talk to a Human: The Semantic Web and the Clash of the Titans.
LOPSTR 2006: 1-14 |
| 2005 |
|---|
| 36 | EE | François Bry,
Massimo Marchiori:
Ten Theses on Logic Languages for the Semantic Web.
PPSWR 2005: 42-49 |
| 35 | EE | François Bry,
François Fages,
Massimo Marchiori,
Hans Jürgen Ohlbach:
05371 Abstracts Collection - Principles and Practices of Semantic Web Reasoning.
Principles and Practices of Semantic Web Reasoning 2005 |
| 34 | EE | François Bry,
Massimo Marchiori:
Ten Theses on Logic Languages for the Semantic Web.
Rule Languages for Interoperability 2005 |
| 33 | EE | Paolo Tieri,
Silvana Valensin,
Vito Latora,
Gastone C. Castellani,
Massimo Marchiori,
Daniel Remondini,
Claudio Franceschi:
Quantifying the relevance of different mediators in the human immune cell network.
Bioinformatics 21(8): 1639-1643 (2005) |
| 2004 |
|---|
| 32 | EE | Massimo Marchiori:
Towards a People's Web: Metalog.
Web Intelligence 2004: 320-326 |
| 31 | EE | Massimo Marchiori:
W5: The Five W's of the World Wide Web.
iTrust 2004: 27-32 |
| 2003 |
|---|
| 30 | EE | Massimo Marchiori:
The Mathematical Semantic Web.
MKM 2003: 216-224 |
| 2002 |
|---|
| 29 | EE | Massimo Marchiori,
Mary Ellen Zurko,
Michael R. Lyu:
Editorial.
Computer Networks 39(5): 469-471 (2002) |
| 2001 |
|---|
| 28 | | Massimo Marchiori:
Data on the Web: A W3C Perspective.
SEBD 2001: 14 |
| 27 | | Donald D. Chamberlin,
Peter Fankhauser,
Massimo Marchiori,
Jonathan Robie:
XML Query Requirements
http://www.w3.org/TR/xmlquery-req 2001 |
| 26 | | Donald D. Chamberlin,
Peter Fankhauser,
Massimo Marchiori,
Jonathan Robie:
XML Query Use Cases
http://www.w3.org/TR/xmlquery-use-cases 2001 |
| 1998 |
|---|
| 25 | EE | Maurizio Gabbrielli,
Massimo Marchiori:
Dynamic web sites.
QL 1998 |
| 24 | EE | Massimo Marchiori,
Janne Saarela:
Query + Metadata + Logic = Metalog.
QL 1998 |
| 23 | EE | Massimo Marchiori:
Light analysis of complex systems.
SAC 1998: 18-22 |
| 22 | EE | Massimo Marchiori:
Enhancing navigation in the World Wide Web.
SAC 1998: 737-743 |
| 21 | EE | Massimo Marchiori:
The Limits of Web Metadata, and Beyond.
Computer Networks 30(1-7): 1-9 (1998) |
| 20 | EE | Massimo Marchiori:
Bubbles in Modularity.
Theor. Comput. Sci. 192(1): 31-54 (1998) |
| 1997 |
|---|
| 19 | EE | Massimo Marchiori:
On the Expressive Power of Rewriting.
FSTTCS 1997: 88-102 |
| 18 | | Massimo Marchiori:
The Theory of Vaccines.
ICALP 1997: 660-670 |
| 17 | | Massimo Marchiori:
Optmial Encodings.
SOFSEM 1997: 497-504 |
| 16 | EE | Massimo Marchiori:
The Quest for Correct Information on the Web: Hyper Search Engines.
Computer Networks 29(8-13): 1225-1236 (1997) |
| 15 | EE | Elena Marchiori,
Massimo Marchiori,
Joost N. Kok:
A Novel Search Technique for Solving Over-Constrained Problems.
International Journal on Artificial Intelligence Tools 6(4): 587-611 (1997) |
| 1996 |
|---|
| 14 | | Massimo Marchiori:
Unravelings and Ultra-properties.
ALP 1996: 107-121 |
| 13 | | Massimo Marchiori:
Proving Existential Termination of Normal Logic Programs.
AMAST 1996: 375-390 |
| 12 | | Elena Marchiori,
Massimo Marchiori,
Joost N. Kok:
Forward-Tracking: A Technique for Searching Beyond Failure.
ICTAI 1996: 324-331 |
| 11 | | Massimo Marchiori:
On the Specification of Visual Languages: Multisets as First-Class Citizens.
SOFSEM 1996: 393-400 |
| 10 | | Massimo Marchiori:
On the Modularity of Normal Forms in Rewriting.
J. Symb. Comput. 22(2): 143-154 (1996) |
| 1995 |
|---|
| 9 | | Livio Colussi,
Elena Marchiori,
Massimo Marchiori:
On Termination of Constraint Logic Programs.
CP 1995: 431-448 |
| 8 | | Massimo Marchiori:
The Functional Side of Logic Programming.
FPCA 1995: 55-65 |
| 7 | | Livio Colussi,
Elena Marchiori,
Massimo Marchiori:
A Dataflow Semantics for Constraint Logic Programs.
GULP-PRODE 1995: 557-568 |
| 6 | | Livio Colussi,
Elena Marchiori,
Massimo Marchiori:
A Dataflow Semantics for Constraint Logic Programs
PLILP 1995: 431-448 |
| 5 | | Massimo Marchiori:
Modularity of Completeness Revisited.
RTA 1995: 2-10 |
| 4 | EE | Manfred Schmidt-Schauß,
Massimo Marchiori,
Sven Eric Panitz:
Modular Termination of r-Consistent and Left-Linear Term Rewriting Systems.
Theor. Comput. Sci. 149(2): 361-374 (1995) |
| 1994 |
|---|
| 3 | | Massimo Marchiori:
Logic Programs as term Rewriting Systems.
ALP 1994: 223-241 |
| 2 | | Massimo Marchiori:
Localizations of Unification Freedom through Matching Directions.
SLP 1994: 392-406 |
| 1 | | Paolo Frigo,
Massimo Marchiori:
Implementing Prolog Programs Free from Unification.
WLP 1994: 36-39 |
