Massimo Franceschet

zbMath Openfranceschet.massimoMaRDI QIDQ1768797

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	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