Massimo's Publications

Under continuous development...

[Please note the list might not be totally up-to-date]

Legenda:
HM = World Wide Web, Hypermedia
CP = Constraint Programming
FP = Functional Programming
GA = Genetic Algorithms
LP = Logic Programming
NN = Neural Networks
TR = Term Rewriting
VL = Visual Languages
** = Miscellaneous (e.g. Artificial Intelligence, Encodings, Programming Languages, Software Engineering, etc...)


Recent Publications:

LPTR Massimo Marchiori

"Logic Programs as Term Rewriting Systems" (ps version)
Proceedings of the Fourth International Conference on Algebraic and Logic Programming (ALP'94)
Madrid, Spain, LNCS 850, pages 223-241, Springer-Verlag, 1994.

LP Massimo Marchiori

"Localizations of Unification Freedom through Matching Directions" (ps version)
Proceedings of the International Logic Programming Symposium (ILPS'94)
Ithaca (NY), U.S.A., pages 392-406, The MIT Press, 1994.

LP Paolo Frigo, Massimo Marchiori

"Implementing Prolog Programs Free from Unification" (ps version)
Proceedings of the Tenth International Logic Programming Workshop (WLP'94)
Zurich, Switzerland, IFI Press, 1994.

LP Livio Colussi, Elena Marchiori, Massimo Marchiori

"Combining logic and control to characterize global invariants of Prolog programs" (ps version)
Proceedings of the International Workshop on Verification and Analysis of Logic Languages
VU Press, Amsterdam, The Netherlands, 1994.

TR Massimo Marchiori

"Modularity of Completeness Revisited" (ps version)
Proceedings of the Sixth International Conference on Rewriting Techniques and Applications (RTA'95)
Kaiserslautern, Germany, LNCS 914, pages 2-10, Springer-Verlag, 1995.

FPLP Massimo Marchiori

"The functional side of logic programming" (ps version)
Proceedings of the ACM SIGPLAN SIGARCH WG2.8 International Conference on Functional Programming Languages and Computer Architecture (FPCA'95)
La Jolla, California, U.S.A., pages 55-65, ACM Press, 1995.

CPLP Livio Colussi, Elena Marchiori, Massimo Marchiori

"A Dataflow Semantics for Constraint Logic Programs" (ps version)
Proceedings of the Seventh International Symposium on Programming Languages, Implementations, Logics and Programs (PLILP'95)
Papendal, The Netherlands, LNCS 982, pages 431-448, Springer-Verlag, 1995.

CPLP Livio Colussi, Elena Marchiori, Massimo Marchiori

"On Termination of Constraint Logic Programs" (ps version)
Proceedings of the First International Conference on Principles and Practice of Constraint Programming (CP'95)
Cassis, France, LNCS 976, pages 431-448, Springer-Verlag, 1995.

TR Manfred Schmidt-Schauß, Massimo Marchiori, Sven Eric Panitz

"Modular Termination of r-Consistent and Left-Linear Term Rewriting Systems" (ps version)
Journal of Theoretical Computer Science
vol. 149(2), pages 361-374, 1995.

NNGACP Joost N. Kok, Elena Marchiori, Massimo Marchiori, Claudio Rossi

"Constraining of Weights using Regularities" (ps version)
Proceedings of the Fourth European Symposium on Artificial Neural Networks (ESANN'96)
Bruges, Belgium, pages 267-272, D Facto Press, 1996.

NNGACP Joost N. Kok, Elena Marchiori, Massimo Marchiori, Claudio Rossi

"Evolutionary Training of CLP-Constrained Neural Networks" (ps version)
Proceedings of the Second International Conference on the Practical Application of Constraint Technology (PACT'96)
London, U.K., pages 129-142, The Practical Application Company Ltd., 1996.

LP Massimo Marchiori

"Proving Existential Termination of Normal Logic Programs" (ps version)
Proceedings of the Fifth International Conference on Algebraic Methodology and Software Technology (AMAST'96)
Munich, Germany, LNCS 1101, pages 375-390, Springer-Verlag, 1996.

TR Massimo Marchiori

"Unravelings and Ultra-properties" (ps version)
Proceedings of the Fifth International Conference on Algebraic and Logic Programming (ALP'96)
Aachen, Germany, LNCS 1139, pages 107-121, Springer-Verlag, 1996.

VL Massimo Marchiori

"On the Specification of Visual Languages: Multisets as First-Class Citizens"
Proceedings of the Twentythird International Seminar on Current Trends in Theory and Practice of Informatics (SOFSEM'96)
Milovy, Czech Republic, LNCS 1175, pages 393-400, Springer-Verlag, 1996.

**HM Elena Marchiori, Massimo Marchiori, Joost N. Kok

"Forward-Tracking: A Technique for Searching Beyond Failure" (ps version)
Proceedings of the Eighth IEEE International Conference on Tools with Artificial Intelligence (ICTAI'96)
Toulouse, France, pages 324-331, IEEE Press, 1996.

LPFP Massimo Marchiori

"Let Functions in Logic" (ps version)
Proceedings of the Nineth International Symposium in Informatics Applications
Antofagasta, Cile, 1996.

TR Massimo Marchiori

"On the Modularity of Normal Forms in Rewriting" (ps version)
Journal of Symbolic Computation
vol. 22, no. 2, pages 143-154, 1996.

HM Massimo Marchiori

"The Quest for Correct Information on the Web: Hyper Search Engines" (PDF version)
Proceedings of the Sixth International World Wide Web Conference (WWW6)
Santa Clara, California, U.S.A., pages 265-276, 1997.
Also published in the Journal of Computer Networks and ISDN Systems n.29, Elsevier, 1997.

** Massimo Marchiori

"On Gödel Numberings"
Proceedings of the Eighth International Conference on Logic and Computer Science
Novi Sad, Yugoslavia, pages 147-156, 1997.

HM Massimo Marchiori

"Security of World Wide Web Search Engines" (ps version)
Proceedings of the Third International Conference on Reliability, Quality and Safety of Software-Intensive Systems (ENCRESS'97)
Athens, Greece, pages 161-174, Chapman & Hall, 1997.

**TR Massimo Marchiori

"The Theory of Vaccines" (ps version)
Proceedings of the Twentyfourth International Colloquium on Automata, Languages, and Programming (ICALP'97)
Bologna, Italy, LNCS 1256, pages 660-670, Springer-Verlag, 1997.

**CP Elena Marchiori, Massimo Marchiori, Joost N. Kok

"A Novel Search Technique for Solving Over-Constrained Problems"
International Journal on Artificial Intelligence Tools, volume 6, number 4, pages 587-611, World Scientific, 1997.

** Massimo Marchiori

"Optimal Encodings"
Proceedings of the Twentyfourth International Seminar on Current Trends in Theory and Practice of Informatics (SOFSEM'97)
Milovy, Czech Republic, LNCS 1338, Springer-Verlag, 1997.

TR Massimo Marchiori

"On the Expressive Power of Rewriting"
Proceedings of the Seventeenth International Conference on the Foundations of Software Technology and Theoretical Computer Science (FST&TCS'97)
LNCS vol. 1346, pages 88-102, Springer-Verlag, 1997.

TR Massimo Marchiori

"Bubbles in Modularity" (ps version)
Journal of Theoretical Computer Science, volume 192 number 1, pages 31-54, Elsevier, 1998.

** Massimo Marchiori

"Light Analysis of Complex Systems" (ps version)
Proceedings of the 1998 ACM International Symposium on Applied Computing (SAC'98), Ada and Software Engineering Track
ACM Press, 1998.

HM Massimo Marchiori

"Enhancing Navigation in the World Wide Web" (ps version)
Proceedings of the 1998 ACM International Symposium on Applied Computing (SAC'98), World Wide Web Applications Track
ACM Press, 1998.

HM Massimo Marchiori

"The Limits of Web Metadata, and Beyond" (PDF version)
Proceedings of the Seventh International World Wide Web Conference (WWW7)
Brisbane, Australia, 1998.
Also in Journal of Computer Networks and ISDN Systems, n.30, pp. 1-9, Elsevier, 1998.

HM Maurizio Gabbrielli, Massimo Marchiori, Frank de Boer

"Dynamic Web Sites" (ps version)
Proceedings of Query Languages 1998 (QL'98), 1998, MIT Press.

HM Massimo Marchiori, Janne Saarela

"Query + Metadata +Logic = Metalog" (PDF version)
Proceedings of Query Languages 1998 (QL'98), 1998, W3C/MIT.
See also the revised 1999 version Towards the Semantic Web: Metalog.

** Massimo Marchiori, Vito Latora

"Harmony in the Small-World"
Physica A, vol. 285, Elsevier, 2000.

HM Lorrie Cranor, Marc Langheinrich (Ed.), Massimo Marchiori

"A P3P Preference Exchange Language (APPEL)"
The World Wide Web Consortium (W3C), MIT, 2001.

HM Don Chamberlin, Peter Fankhauser, Massimo Marchiori, Jonathan Robie (Eds.)

"XML Query Requirements"
The World Wide Web Consortium (W3C), MIT, 2001.

HM Ashok Malhotra, Jonathan Robie, Michael Rys (Eds.)

"XML Syntax for XQuery 1.0 (XQueryX)"
The World Wide Web Consortium (W3C), MIT, 2001.

HM Massimo Marchiori

"Data on the Web: A W3C Perspective"
Proceedings of the 9th Symposium on Advanced Database Systems, 2001.

** Vito Latora, Massimo Marchiori

"Efficient behavior of small-world networks"
Physical Review Letters, volume 87, issue 19, The American Physical Society, 2001.

HM Massimo Marchiori (Ed.)

"The Platform for Privacy Preferences (P3P1.0) Specification"
The World Wide Web Consortium (W3C), MIT, 16 April 2002.

HM Don Chamberlin, Peter Fankhauser, Massimo Marchiori, Jonathan Robie (Eds.)

"XML Query Use Cases"
The World Wide Web Consortium (W3C), MIT, 2002.

HM M.Fernandez, J.Marsh, M.Nagy (Eds.)

"XQuery 1.0 and XPath 2.0 Data Model"
The World Wide Web Consortium (W3C), MIT, 2002.

HMD.Draper, P.Fankhauser, M.Fernandez, A.Malhotra, K.Rose, M.Rys, J.Simeon, P.Wadler (Eds.)

"XQuery 1.0 Formal Semantics"
The World Wide Web Consortium (W3C), MIT, 2002.

HM S.Boag, D.Chamberlin, D.Florescu, J.Robie, J.Simeon, M.Stefanescu (Eds.)

"XQuery 1.0: An XML Query Language"
The World Wide Web Consortium (W3C), MIT, 2002.

HM A.Berglund, S.Boag, D.Chamberlin, M.Fernandez, M.Kay, J.Robie, J.Simeon (Eds.)

"XML Path Language (XPath) 2.0"
The World Wide Web Consortium (W3C), MIT, 2002.

HM A.Malhotra, J.Marsh, J.Melton, J.Robie, N.Walsh (Eds.)

"XQuery 1.0 and XPath 2.0 Functions and Operators Version 1.0"
The World Wide Web Consortium (W3C), MIT, 2001.

** V. Latora, M. Marchiori

"The Architecture of Complex Systems"
Chapter of the book Studies of Complexity, Oxford University Press, 2002.

HM Massimo Marchiori, Michael R. Lyu, Mary Ellen Zurko

"XML"
Computer Networks, Volume 39, Issue 5, Elsevier, August 2002.

** V. Latora, M. Marchiori

"Is the Boston subway a small-world network?"
Physica A n. 314, special issue on "Horizons in Complex Systems", Elsevier, 2002.

** P.Crucitti, V. Latora, M. Marchiori, A.Rapisarda

"Efficiency of Scale-Free Networks: Error and Attack Tolerance"
Physica A n. 320, Elsevier, 2003.

** V. Latora, M. Marchiori

"Economic Small-World Behavior in Weighted Networks"
The European Physical Journal B vol. 32, Elsevier, 2003.

HM Massimo Marchiori

"The Mathematical Semantic Web"
(invited keynote), Proceedings of the International Conference on Mathematical Knowledge Management, LNCS vol.2594, Springer-Verlag, 2003.

** V. Latora, M. Marchiori

"How the science of complex networks can help developing strategies against terrorism"
Chaos Solitons and Fractals n. 20, Pergamon, 2004.

** P. Crucitti, V. Latora, M. Marchiori

"A model for cascading failures in complex networks"
Physical Review E n. 69, The American Physical Society, 2004.

** P. Crucitti, V. Latora, M. Marchiori

"Error and attack tolerance of complex networks"
Physica A n. 340, Elsevier, 2004.

HM Massimo Marchiori

"W5: The Five W's of the World Wide Web"
(invited keynote), Proceedings of the Second International Conference on Trust Management, LNCS, Springer-Verlag, 2004.

** P. Crucitti, V. Latora, M. Marchiori

"A topological analysis of the Italian electric power grid"
Physica A n. 340, Elsevier, 2004.

** S. Fortunato, V. Latora, M. Marchiori

"A Method to Find Community Structures Based on Information Centrality"
Physical Review E n. 70, The American Physical Society, 2004.

HM Massimo Marchiori

"Towards a People's Web: Metalog"
Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence (WI 2004), IEEE Press, 2004.

See also:

HM Massimo Marchiori

"On Deterministic Conditional Rewriting" (ps version hosted by MIT)
MIT LCS CSG Memo n.405, October 1997.