
Publications
International Journals

On Begins, Meets and Before.
[PDF]
[BibTeX]
Davide
Bresolin, Pietro Sala, and Guido Sciavicco.
International Journal of Foundations of Computer Science, 2011.

Metric Propositional Neighborhood Logics on Natural Numbers.
[PDF]
[DOI]
[BibTeX]
Davide
Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, and
Guido Sciavicco.
Software and Systems Modeling, 2011.

Tableaux for
Logics of Subinterval Structures over Dense
Orderings.
[DOI]
[BibTeX]
Davide
Bresolin, Valentin Goranko, Angelo Montanari, and
Pietro Sala.
Journal of Logic and Computation, 20(1), pp.
133166, 2010.

A Theory of
Ultimately Periodic Languages and Automata with
an Application to Time Granularity.
[DOI]
[BibTeX]
Davide
Bresolin, Angelo Montanari, and Gabriele
Puppis.
Acta Informatica, vol. 46, n. 5, pp. 331360,
2009.

Propositional
Interval Neighborhood Logics: Expressiveness,
Decidability, and Undecidable
Extensions.
[DOI]
[BibTeX]
Davide
Bresolin, Valentin Goranko, Angelo Montanari, and
Guido Sciavicco.
Annals of Pure and Applied Logic, vol. 161, n. 3,
pp. 289304, 2009.

An optimal
decision procedure for Right Propositional
Neighborhood Logic.
[PDF] [BibTeX]
Davide
Bresolin, Angelo Montanari, and Guido
Sciavicco.
Journal of Automated Reasoning, vol. 38, num.
13, pp. 173199, 2007.

Relational dual
tableaux for interval temporal
logics.
[PDF] [BibTeX]
Davide
Bresolin, Joanna GolinskaPilarek, and Ewa
Orlowska.
Journal of Applied NonClassical Logics, vol. 16,
num. 34, 2006.
Conference and Workshop Proceedings

The light side of Interval Temporal Logic: the BernaysSchoenfinkel's fragment of CDT.
[PDF] [BibTeX]
Davide Bresolin, Dario Della Monica, Angelo Montanari, and Guido Sciavicco.
Proceedings of TIME
2011: 18th International Symposium on
Temporal Representation and Reasoning, Lübeck, September
2011.

The dark side of Interval Temporal Logic: sharpening the undecidability border.
[PDF] [BibTeX]
Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, and Guido Sciavicco.
Proceedings of TIME
2011: 18th International Symposium on
Temporal Representation and Reasoning, Lübeck, September
2011.

A GameTheoretic approach to Fault Diagnosis of Hybrid Systems.
[BibTeX]
Davide
Bresolin, Marta Capiluppi
Proceedings of GandALF 2011:
Second International Symposium on Games, Automata,
Logics and Formal Verification, Minori, Amalfi
Coast, Italy, June 1517, 2011.

An Optimal Decision Procedure for MPNL over the Integers.
[BibTeX]
Davide
Bresolin, Angelo Montanari, Pietro Sala, and Guido
Sciavicco
Proceedings of GandALF 2011:
Second International Symposium on Games, Automata,
Logics and Formal Verification, Minori, Amalfi
Coast, Italy, June 1517, 2011.

Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders.
[PDF]
[BibTeX]
Davide Bresolin, Angelo Montanari, Pietro Sala, and Guido Sciavicco.
Proceedings of TABLEAUX 2011:
The 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Bern, Switzerland, July 2011.

Correctbyconstruction code generation from hybrid automata specification.
[PDF] [BibTeX]
Davide Bresolin, Luigi Di Guglielmo, Luca Geretti, and Tiziano Villa.
Proceedings of CyPhy'11:
1st IEEE Workshop on Design, Modeling and Evaluation of Cyber Physical Systems, Istanbul, Turkey, June 2011.

What's decidable about Halpern and Shoham's interval logic? The maximal fragment ABBL.
[PDF] [BibTeX]
Davide Bresolin, Angelo Montanari, Pietro Sala, and Guido Sciavicco.
Proceedings of LICS 2011:
26th Symposium on Logic in Computer Science, Toronto, Canada, June 2011.

A decidable spatial generalization of Metric Interval Temporal Logic.
[PDF] [BibTeX]
Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala,
and Guido Sciavicco.
Proceedings of TIME
2010: 17th International Symposium on
Temporal Representation and Reasoning, Paris, France, September
2010.

Begin, After,
and Later: a maximal decidable Interval Temporal
Logic.
[PDF]
[BibTeX]
Davide
Bresolin, Pietro Sala, and Guido
Sciavicco
Proceedings of GandALF 2010:
First International Symposium on Games, Automata,
Logics and Formal Verification, Minori, Amalfi
Coast, Italy, June 1718, 2010.

Metric
Propositional Neighborhood Logics:
Expressiveness, Decidability, and
Undecidability.
[PDF] [BibTeX]
Davide
Bresolin, Dario Della Monica, Valentin Goranko,
Angelo Montanari, and Guido
Sciavicco
Proceedings of ECAI 2010: 19th
European Conference on Artificial Intelligence,
Lisbon, Portugal, August 1620, 2010.

Undecidability
of the Logic of Overlap Relation over Discrete
Linear Orderings.
[DOI]
[PDF] [BibTeX]
Davide
Bresolin, Dario Della Monica, Valentin Goranko,
Angelo Montanari, and Guido
Sciavicco
Electronic Notes in Theoretical Computer Science (Proceedings of M4M 6: 6th
Workshop on Methods for Modalities, November 2009),
Volume 262, 2010, pp. 6581.

Right
Propositional Neighborhood Logic over Natural
Numbers with Integer Constraints for Interval
Lengths.
[DOI] [BibTeX]
Davide
Bresolin, Valentin Goranko, Angelo Montanari, and
Guido Sciavicco.
Proceedings of SEFM
2009: 7th IEEE International Conference on
Software Engineering and Formal Methods, IEEE
Comp. Society Press, Hanoi, Vietnam, November
2009, pp. 240249.

Undecidability
of Interval Temporal Logics with the Overlap
Modality.
[DOI] [BibTeX]
Davide
Bresolin, Dario Della Monica, Valentin Goranko,
Angelo Montanari, and Guido
Sciavicco
Proceedings of TIME
2009: 16th International Symposium on
Temporal Representation and Reasoning, IEEE Comp.
Society Press, Bressanone (BZ), Italia, July
2009, pp. 8895.

TableauBased
System for Spatial Reasoning about Directional
Relations.
[DOI]
[BibTeX]
Davide
Bresolin, Angelo Montanari, Pietro Sala, and
Guido Sciavicco
Proceedings of TABLEAUX
2009: 18th International Conference on
Automated Reasoning with Analytic Tableaux and
Related Methods, LNAI 5607, Springer, Oslo,
Norway, July 2009, pp. 123137.

The impact of
EFSM composition on functional ATPG.
[DOI]
[BibTeX]
Davide
Bresolin, Giuseppe Di Guglielmo, Franco Fummi,
Graziano Pravadelli, and Tiziano
Villa
Proceedings of DDECS
2009: 12th IEEE Symposium on Design and
Diagnostics of Electronic Systems, pp. 4449,
Liberec, Czech Republic, April 2009.

Complete and
Terminating Tableau for the Logic of Proper
Subinterval Structures over Dense
Orderings.
[DOI]
[BibTeX]
Davide
Bresolin, Valentin Goranko, Angelo Montanari, and
Pietro Sala
Electronic Notes in
Theoretical Computer Science (Proceedings of
M4M5:
5th Workshop on Methods for Modalities, 2007),
Volume 231, 2009, pp. 131151

Decidable and
Undecidable Fragments of Halpern and Shoham's
Interval Temporal Logic: Towards a Complete
Classification.
[DOI]
[BibTeX]
Davide
Bresolin, Dario Della Monica, Valentin Goranko,
Angelo Montanari, and Guido
Sciavicco
Proceedings of LPAR 2008:
15th International Conference on Logic for
Programming, Artificial Intelligence and
Reasoning, LNCS 5330, Springer, Doha, Qatar,
November 2008, pp. 590604.

Optimal tableaux
for Right Propositional Neighborhood Logic over
Linear Orders.
[DOI]
[BibTeX]
Davide
Bresolin, Angelo Montanari, Pietro Sala, and
Guido Sciavicco
Proceedings of JELIA 2008: 11th
European Conference on Logics in Artificial
Intelligence (JELIA), LNAI 5293, Springer,
Dresden, Germany, September 2008, pp.
6275.

Reachability
computation for hybrid systems with
Ariadne.
[PDF] [BibTeX]
Luca Benvenuti,
Davide Bresolin, Alberto Casagrande, Pieter
Collins, Alberto Ferrari, Emanuele Mazzi, Alberto
SangiovanniVincentelli, and Tiziano
Villa
Proceedings of the 17th IFAC World Congress,
Seul, South Korea, July 2008.

Optimal tableau
for Right Propositional Neighborhood Logic over
trees.
[DOI] [BibTeX]
Davide
Bresolin, Angelo Montanari, and Pietro
Sala
Proceedings of
TIME 2008: 15th International Symposium on
Temporal Representation and Reasoning (TIME),
IEEE Comp. Society Press, Montreal, Canada, June
2008, pp. 110117.

Tableau Systems
for Logics of Subinterval Structures over Dense
Orderings.
[DOI]
[BibTeX]
Davide Bresolin, Valentin Goranko, Angelo
Montanari, and Pietro Sala
Proceedings of the International Conference
TABLEAUX 2007, Automated Reasoning with Analytic
Tableaux and Related Methods, LNAI 4548,
Springer, Aix en Provence, France, July 2007, pp.
7389.

On Decidability
and Expressiveness of Propositional Interval
Neighborhood Logics.
[DOI]
[BibTeX]
Davide
Bresolin, Valentin Goranko, Angelo Montanari, and
Guido Sciavicco
Proceedings of
LFCS 2007: Symposium on Logical Foundations
of Computer Science, LNCS 4514, Springer, New
York, USA, June 2007, pp. 8499.

An optimal
tableaubased decision algorithm for
Propositional Neighborhood Logic.
[PDF (extended
version)] [BibTeX]
Davide
Bresolin, Angelo Montanari, and Pietro
Sala.
Proceedings of STACS
2007: 24th International Symposium on
Theoretical Aspects of Computer Science, Aachen,
Germany, February 2007.

A tableaubased
decision procedure for a branchingtime interval
temporal logic.
[PDF] [BibTeX] [Slides]
Davide Bresolin
and Angelo Montanari.
Proceedings of M4M4: 4th
International Workshop on Methods for Modalities,
H. Schlingloff (Ed.), Berlin, Germany, December
2005.

A Tableaubased
decision procedure for Right Propositional
Neighborhood Logic.
[PDF]
[BibTeX]
[Slides]
[Handout]
Davide Bresolin
and Angelo Montanari.
Proceedings of TABLEAUX
2005: 14th Conference on Automated Reasoning
with Analytic Tableaux and Related Methods,
LNAI
3702, Springer, Koblenz, Germany, September
2005, pp. 6377.

Time
granularities and Ultimately Periodic
Automata.
[PDF] [BibTeX] [Slides]
Davide
Bresolin, Angelo Montanari, and Gabriele
Puppis.
Proceedings of
JELIA 2004: 9th European Conference on Logics
in Artificial Intelligence, LNAI
3229, Springer, Lisbon, Portugal, September
2004, pp. 513525.
PhD Thesis

Proof methods
for Interval Temporal Logics.
[PDF] [BibTeX]
Davide
Bresolin.
Dipartimento di Matematica e Informatica,
Università degli Studi di Udine, 2007.
Forum Editrice, PhD Thesis Series CS 2007/2
Tesi di Laurea (Master Thesis, in Italian)

Gestione di
insiemi di granularità temporali mediante automi
in sistemi di basi di dati.
[PDF] [BibTeX]
Davide
Bresolin.
Facoltà di Scienze Matematiche, Fisiche e
Naturali, Università degli Studi di Udine, Italy,
July 2003.
