Massimo Franceschet

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Arbitrarily regularizable graphs Internet Mathematics	2022-03-23	Paper
Complex beauty (available as arXiv preprint)	2017-04-06	Paper
A graph-theoretic approach to map conceptual designs to XML schemas ACM Transactions on Database Systems	2015-09-03	Paper
Approximations of the generalized inverse of the graph Laplacian matrix Internet Mathematics	2013-02-15	Paper
Computer Science Logic Lecture Notes in Computer Science	2006-11-01	Paper
Model checking hybrid logics (with an application to semistructured data) Journal of Applied Logic	2006-10-10	Paper
Definability and decidability of binary predicates for time granularity Journal of Applied Logic	2006-06-30	Paper
Guarded fragments with constants Journal of Logic, Language and Information	2005-10-04	Paper
Temporalized logics and automata for time granularity Theory and Practice of Logic Programming	2005-04-15	Paper
Branching within time: An expressively complete and elementarily decidable temporal logic for time granularity Research on Language and Computation	2005-03-15	Paper
Representing and Reasoning about Temporal Granularities Journal Of Logic And Computation	2004-03-30	Paper
A graph-theoretic approach to efficiently reason about partially ordered events in (Modal) Event Calculus Annals of Mathematics and Artificial Intelligence	2002-06-27	Paper
scientific article; zbMATH DE number 1538060 (Why is no real title available?)	2000-12-03	Paper
scientific article; zbMATH DE number 1444722 (Why is no real title available?)	2000-10-08	Paper

Research outcomes over time

This page was built for person: Massimo Franceschet