Massimo Franceschet
Theatre, dance,
and a bunch of papers...
Creare è durissimo, ma sempre meglio che lavorare. César Brie
Stay hungry, stay foolish. Steve Jobs
Amami quando non me lo merito. Roberto Saviano
Vada a bordo! Gregorio De Falco
Publications
Bibliometric indicators
- h index: 16
- g index: 23
- Erdős number: 3 (M. Franceschet -- Maarten Marx -- Joel H. Spencer -- Paul Erdős)
Sources: Google Scholar and MathSciNet, July 2011
Research interests
- Current: XML technologies, complex networks, bibliometrics.
- Past: temporal knowledge representation, Event Calculus, temporal granularity, modal and temporal logics, hybrid logics, automata, model checking, satisfiability, benchmarking.
Software
- Pagella looks up scholarly publications in Google Scholar and computes bibliometric indexes (including h and g indexes).
- XCheck-Java is a tool for assessing the relative performance of different XQuery/XPath engines by means of benchmarks consisting of a set of XML queries and a set of XML documents.
- HLMC stands for Hybrid Logic Model Checker. It is an implementation of model checking algorithms for hybrid logic.
Benchmarks
-
XPathMark is a benchmark for XPath based on data provided by XMark (a popular benchmark for XML data management).
-
XQueryMark is a benchmark for XQuery based on XMark.
Tutorials
Seminars
Teaching
Contact
Department of Mathematics and Computer Science
University of Udine
Via delle Scienze 206, 33100 Udine, Italy
Phone: +39 0432 558754 /
Fax: +39 0432 558499
Email: name.surname@uniud.it