The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Massimo Franceschet: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Massimo Franceschet, Angelo Montanari
    Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1999, pp:131-142 [Conf]
  2. Balder ten Cate, Massimo Franceschet
    On the Complexity of Hybrid Logics with Binders. [Citation Graph (0, 0)][DBLP]
    CSL, 2005, pp:339-354 [Conf]
  3. Iliano Cervesato, Massimo Franceschet, Angelo Montanari
    The Complexity of Model Checking in Modal Event Calculi. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:419- [Conf]
  4. Carlo Combi, Gian Luca Foresti, Massimo Franceschet, Angelo Montanari
    Indexing by Shape of Image Databases Based on Extended Grid Files. [Citation Graph (0, 0)][DBLP]
    ICMCS, Vol. 2, 1999, pp:230-234 [Conf]
  5. Iliano Cervesato, Massimo Franceschet, Angelo Montanari
    The Complexity of Model Checking in Modal Event Calculi with Quantifiers. [Citation Graph (0, 0)][DBLP]
    KR, 1998, pp:368-379 [Conf]
  6. Iliano Cervesato, Massimo Franceschet, Angelo Montanari
    Modal Event Calculi with Preconditions. [Citation Graph (0, 0)][DBLP]
    TIME, 1997, pp:38-45 [Conf]
  7. Loredana Afanasiev, Massimo Franceschet, Maarten Marx, Maarten de Rijke
    CTL Model Checking for Processing Simple XPath Queries. [Citation Graph (0, 0)][DBLP]
    TIME, 2004, pp:117-124 [Conf]
  8. Carlo Combi, Massimo Franceschet, Adriano Peron
    A Logical Approach to Represent and Reason about Calendars. [Citation Graph (0, 0)][DBLP]
    TIME, 2002, pp:134-140 [Conf]
  9. Massimo Franceschet, Angelo Montanari
    A Graph-Theoretic Approach to Efficiently Reason about Partially Ordered Events in the Event Calculus. [Citation Graph (0, 0)][DBLP]
    TIME, 1999, pp:55-66 [Conf]
  10. Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco
    Definability and decidability of binary predicates for time granularity. [Citation Graph (0, 0)][DBLP]
    TIME, 2003, pp:192-202 [Conf]
  11. Massimo Franceschet, Maarten de Rijke, Bernd-Holger Schlingloff
    Hybrid Logics on Linear Structures: Expressivity and Complexity. [Citation Graph (0, 0)][DBLP]
    TIME, 2003, pp:166-173 [Conf]
  12. Iliano Cervesato, Massimo Franceschet, Angelo Montanari
    Event Calculus with Explicit Quantifiers. [Citation Graph (0, 0)][DBLP]
    TIME, 1998, pp:81-88 [Conf]
  13. Loredana Afanasiev, Massimo Franceschet, Maarten Marx, Enrico Zimuel
    XCheck: A Platform for Benchmarking XQuery Engines. [Citation Graph (0, 0)][DBLP]
    VLDB, 2006, pp:1247-1250 [Conf]
  14. Massimo Franceschet
    XPathMark: An XPath Benchmark for the XMark Generated Data. [Citation Graph (0, 0)][DBLP]
    XSym, 2005, pp:129-143 [Conf]
  15. Massimo Franceschet, Enrico Zimuel
    A Logic-Based Approach to Cache Answerability for XPath Queries. [Citation Graph (0, 0)][DBLP]
    XSym, 2006, pp:46-60 [Conf]
  16. Massimo Franceschet, Angelo Montanari
    A graph-theoretic approach to efficiently reason about partially ordered events in (Modal) Event Calculus. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2000, v:30, n:1-4, pp:93-118 [Journal]
  17. Massimo Franceschet, Angelo Montanari, Maarten de Rijke
    Model Checking for Combined Logics with an Application to Mobile Systems. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2004, v:11, n:3, pp:289-321 [Journal]
  18. Iliano Cervesato, Massimo Franceschet, Angelo Montanari
    A Guided Tour through Some Extensions of the Event Calculus. [Citation Graph (0, 0)][DBLP]
    Computational Intelligence, 2000, v:16, n:2, pp:307-347 [Journal]
  19. Massimo Franceschet, Angelo Montanari
    Temporalized logics and automata for time granularity [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  20. Iliano Cervesato, Massimo Franceschet, Angelo Montanari
    The Complexity of Model Checking in Modal Event Calculi with Quantifiers. [Citation Graph (0, 0)][DBLP]
    Electron. Trans. Artif. Intell., 1998, v:2, n:, pp:1-23 [Journal]
  21. Massimo Franceschet, Maarten de Rijke
    Model checking hybrid logics (with an application to semistructured data). [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2006, v:4, n:3, pp:279-304 [Journal]
  22. Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco
    Definability and decidability of binary predicates for time granularity. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2006, v:4, n:2, pp:168-191 [Journal]
  23. Balder ten Cate, Massimo Franceschet
    Guarded Fragments with Constants. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2005, v:14, n:3, pp:281-288 [Journal]
  24. Carlo Combi, Massimo Franceschet, Adriano Peron
    Representing and Reasoning about Temporal Granularities. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2004, v:14, n:1, pp:51-77 [Journal]
  25. Massimo Franceschet, Angelo Montanari
    Temporalized logics and automata for time granularity. [Citation Graph (0, 0)][DBLP]
    TPLP, 2004, v:4, n:5-6, pp:621-658 [Journal]
  26. Massimo Franceschet, Angelo Montanari, Donatella Gubiani
    Modeling and Validating Spatio-Temporal Conceptual Schemas in XML Schema. [Citation Graph (0, 0)][DBLP]
    DEXA Workshops, 2007, pp:25-29 [Conf]

  27. XPathMark: Functional and Performance Tests for XPath. [Citation Graph (, )][DBLP]


  28. From Entity Relationship to XML Schema: A Graph-Theoretic Approach. [Citation Graph (, )][DBLP]


  29. Bibliometrics in a nutshell [Citation Graph (, )][DBLP]


  30. The first Italian research assessment exercise: a bibliometric perspective [Citation Graph (, )][DBLP]


  31. The skewness of computer science [Citation Graph (, )][DBLP]


  32. PageRank: Stand on the shoulders of giants [Citation Graph (, )][DBLP]


  33. A logic for networks [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.305secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002