Massimo Franceschet

Available identifiers

zbMath Open franceschet.massimoMaRDI QIDQ1768797

List of research outcomes

Publication	Date of Publication	Type
Arbitrarily regularizable graphs	2022-03-23	Paper
https://portal.mardi4nfdi.de/entity/Q2974174	2017-04-06	Paper
A graph-theoretic approach to map conceptual designs to XML schemas	2015-09-03	Paper
Approximations of the generalized inverse of the graph Laplacian matrix	2013-02-15	Paper
Computer Science Logic	2006-11-01	Paper
Model checking hybrid logics (with an application to semistructured data)	2006-10-10	Paper
Definability and decidability of binary predicates for time granularity	2006-06-30	Paper
Guarded fragments with constants	2005-10-04	Paper
Temporalized logics and automata for time granularity	2005-04-15	Paper
Branching within time: An expressively complete and elementarily decidable temporal logic for time granularity	2005-03-15	Paper
Representing and Reasoning about Temporal Granularities	2004-03-30	Paper
A graph-theoretic approach to efficiently reason about partially ordered events in (Modal) Event Calculus	2002-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q4518917	2000-12-03	Paper
https://portal.mardi4nfdi.de/entity/Q4952302	2000-10-08	Paper

Research outcomes over time

This page was built for person: Massimo Franceschet