×

zbMATH — the first resource for mathematics

Bresolin, Davide

Compute Distance To:
Author ID: bresolin.davide Recent zbMATH articles by "Bresolin, Davide"
Published as: Bresolin, D.; Bresolin, Davide
External Links: MGP · ORCID
Documents Indexed: 45 Publications since 2004

Publications by Year

Citations contained in zbMATH Open

31 Publications have been cited 161 times in 59 Documents Cited by Year
Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions. Zbl 1221.03022
Bresolin, Davide; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
22
2009
Tableaux for logics of subinterval structures over dense orderings. Zbl 1188.03009
Bresolin, Davide; Goranko, Valentin; Montanari, Angelo; Sala, Pietro
15
2010
The dark side of interval temporal logic: marking the undecidability border. Zbl 1325.03014
Bresolin, Davide; Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
14
2014
Metric propositional neighborhood logics: expressiveness, decidability, and undecidability. Zbl 1211.68397
Bresolin, D.; Della Monica, D.; Goranko, V.; Montanari, A.; Sciavicco, G.
11
2010
Decidable and undecidable fragments of Halpern and Shoham’s interval temporal logic: Towards a complete classification. Zbl 1182.03037
Bresolin, Davide; Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
10
2008
An optimal decision procedure for right propositional neighborhood logic. Zbl 1121.03027
Bresolin, Davide; Montanari, Angelo; Sciavicco, Guido
10
2007
An optimal tableau-based decision algorithm for propositional neighborhood logic. Zbl 1141.03308
Bresolin, Davide; Montanari, Angelo; Sala, Pietro
8
2007
Interval temporal logics over strongly discrete linear orders: expressiveness and complexity. Zbl 1335.03017
Bresolin, Davide; Della Monica, Dario; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
7
2014
Optimal tableaux for right propositional neighborhood logic over linear orders. Zbl 1178.03030
Bresolin, Davide; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
6
2008
Assume-guarantee verification of nonlinear hybrid systems with ARIADNE. Zbl 1284.93121
Benvenuti, Luca; Bresolin, Davide; Collins, Pieter; Ferrari, Alberto; Geretti, Luca; Villa, Tiziano
5
2014
On decidability and expressiveness of propositional interval neighborhood logics. Zbl 1132.03335
Bresolin, Davide; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
5
2007
A tableau-based decision procedure for right propositional neighborhood logic. Zbl 1141.03307
Bresolin, Davide; Montanari, Angelo
5
2005
Horn fragments of the Halpern-Shoham interval temporal logic. Zbl 1407.03029
Bresolin, Davide; Kurucz, Agi; Muñoz-Velasco, Emilio; Ryzhikov, Vladislav; Sciavicco, Guido; Zakharyaschev, Michael
4
2017
On the complexity of fragments of the modal logic of Allen’s relations over dense structures. Zbl 1451.03020
Bresolin, Davide; Della Monica, Dario; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
4
2015
Sub-propositional fragments of the interval temporal logic of Allen’s relations. Zbl 1432.03028
Bresolin, Davide; Muñoz-Velasco, Emilio; Sciavicco, Guido
4
2014
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT. Zbl 1325.03015
Bresolin, Davide; Della Monica, Dario; Montanari, Angelo; Sciavicco, Guido
3
2014
Optimal tableau systems for propositional neighborhood logic over all, dense, and discrete linear orders. Zbl 1333.03006
Bresolin, Davide; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
3
2011
A theory of ultimately periodic languages and automata with an application to time granularity. Zbl 1186.68246
Bresolin, Davide; Montanari, Angelo; Puppis, Gabriele
3
2009
Tableau systems for logics of subinterval structures over dense orderings. Zbl 1133.03007
Bresolin, Davide; Goranko, Valentin; Montanari, Angelo; Sala, Pietro
3
2007
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers. Zbl 1296.03013
Bresolin, Davide; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
2
2013
A tableau system for right propositional neighborhood logic over finite linear orders: an implementation. Zbl 1401.68275
Bresolin, Davide; Della Monica, Dario; Montanari, Angelo; Sciavicco, Guido
2
2013
Interval temporal logics over finite linear orders: the complete picture. Zbl 1327.03012
Bresolin, D.; Della Monica, D.; Montanari, A.; Sala, P.; Sciavicco, G.
2
2012
On begins, meets and before. Zbl 1259.03028
Bresolin, Davide; Sala, Pietro; Sciavicco, Guido
2
2012
Complete and terminating tableau for the logic of proper subinterval structures over dense orderings. Zbl 1347.03032
Bresolin, Davide
2
2009
Relational dual tableaux for interval temporal logics. Zbl 1186.03035
Bresolin, Davide; Golińska-Pilarek, Joanna; Orłowska, Ewa
2
2006
Time granularities and ultimately periodic automata. Zbl 1111.68697
Bresolin, Davide; Montanari, Angelo; Puppis, Gabriele
2
2004
Most general property-preserving updates. Zbl 06725150
Bresolin, Davide; Lanese, Ivan
1
2017
An introduction to the verification of hybrid systems using Ariadne. Zbl 1403.93108
Bresolin, Davide; Geretti, Luca; Villa, Tiziano; Collins, Pieter
1
2015
A game-theoretic approach to fault diagnosis and identification of hybrid systems. Zbl 1294.68102
Bresolin, Davide; Capiluppi, Marta
1
2013
Ariadne: dominance checking of nonlinear hybrid automata using reachability analysis. Zbl 1374.68271
Benvenuti, Luca; Bresolin, Davide; Collins, Pieter; Ferrari, Alberto; Geretti, Luca; Villa, Tiziano
1
2012
Undecidability of the logic of overlap relation over discrete linear orderings. Zbl 1345.03019
Bresolin, Davide; Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
1
2010
Horn fragments of the Halpern-Shoham interval temporal logic. Zbl 1407.03029
Bresolin, Davide; Kurucz, Agi; Muñoz-Velasco, Emilio; Ryzhikov, Vladislav; Sciavicco, Guido; Zakharyaschev, Michael
4
2017
Most general property-preserving updates. Zbl 06725150
Bresolin, Davide; Lanese, Ivan
1
2017
On the complexity of fragments of the modal logic of Allen’s relations over dense structures. Zbl 1451.03020
Bresolin, Davide; Della Monica, Dario; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
4
2015
An introduction to the verification of hybrid systems using Ariadne. Zbl 1403.93108
Bresolin, Davide; Geretti, Luca; Villa, Tiziano; Collins, Pieter
1
2015
The dark side of interval temporal logic: marking the undecidability border. Zbl 1325.03014
Bresolin, Davide; Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
14
2014
Interval temporal logics over strongly discrete linear orders: expressiveness and complexity. Zbl 1335.03017
Bresolin, Davide; Della Monica, Dario; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
7
2014
Assume-guarantee verification of nonlinear hybrid systems with ARIADNE. Zbl 1284.93121
Benvenuti, Luca; Bresolin, Davide; Collins, Pieter; Ferrari, Alberto; Geretti, Luca; Villa, Tiziano
5
2014
Sub-propositional fragments of the interval temporal logic of Allen’s relations. Zbl 1432.03028
Bresolin, Davide; Muñoz-Velasco, Emilio; Sciavicco, Guido
4
2014
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT. Zbl 1325.03015
Bresolin, Davide; Della Monica, Dario; Montanari, Angelo; Sciavicco, Guido
3
2014
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers. Zbl 1296.03013
Bresolin, Davide; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
2
2013
A tableau system for right propositional neighborhood logic over finite linear orders: an implementation. Zbl 1401.68275
Bresolin, Davide; Della Monica, Dario; Montanari, Angelo; Sciavicco, Guido
2
2013
A game-theoretic approach to fault diagnosis and identification of hybrid systems. Zbl 1294.68102
Bresolin, Davide; Capiluppi, Marta
1
2013
Interval temporal logics over finite linear orders: the complete picture. Zbl 1327.03012
Bresolin, D.; Della Monica, D.; Montanari, A.; Sala, P.; Sciavicco, G.
2
2012
On begins, meets and before. Zbl 1259.03028
Bresolin, Davide; Sala, Pietro; Sciavicco, Guido
2
2012
Ariadne: dominance checking of nonlinear hybrid automata using reachability analysis. Zbl 1374.68271
Benvenuti, Luca; Bresolin, Davide; Collins, Pieter; Ferrari, Alberto; Geretti, Luca; Villa, Tiziano
1
2012
Optimal tableau systems for propositional neighborhood logic over all, dense, and discrete linear orders. Zbl 1333.03006
Bresolin, Davide; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
3
2011
Tableaux for logics of subinterval structures over dense orderings. Zbl 1188.03009
Bresolin, Davide; Goranko, Valentin; Montanari, Angelo; Sala, Pietro
15
2010
Metric propositional neighborhood logics: expressiveness, decidability, and undecidability. Zbl 1211.68397
Bresolin, D.; Della Monica, D.; Goranko, V.; Montanari, A.; Sciavicco, G.
11
2010
Undecidability of the logic of overlap relation over discrete linear orderings. Zbl 1345.03019
Bresolin, Davide; Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
1
2010
Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions. Zbl 1221.03022
Bresolin, Davide; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
22
2009
A theory of ultimately periodic languages and automata with an application to time granularity. Zbl 1186.68246
Bresolin, Davide; Montanari, Angelo; Puppis, Gabriele
3
2009
Complete and terminating tableau for the logic of proper subinterval structures over dense orderings. Zbl 1347.03032
Bresolin, Davide
2
2009
Decidable and undecidable fragments of Halpern and Shoham’s interval temporal logic: Towards a complete classification. Zbl 1182.03037
Bresolin, Davide; Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
10
2008
Optimal tableaux for right propositional neighborhood logic over linear orders. Zbl 1178.03030
Bresolin, Davide; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
6
2008
An optimal decision procedure for right propositional neighborhood logic. Zbl 1121.03027
Bresolin, Davide; Montanari, Angelo; Sciavicco, Guido
10
2007
An optimal tableau-based decision algorithm for propositional neighborhood logic. Zbl 1141.03308
Bresolin, Davide; Montanari, Angelo; Sala, Pietro
8
2007
On decidability and expressiveness of propositional interval neighborhood logics. Zbl 1132.03335
Bresolin, Davide; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
5
2007
Tableau systems for logics of subinterval structures over dense orderings. Zbl 1133.03007
Bresolin, Davide; Goranko, Valentin; Montanari, Angelo; Sala, Pietro
3
2007
Relational dual tableaux for interval temporal logics. Zbl 1186.03035
Bresolin, Davide; Golińska-Pilarek, Joanna; Orłowska, Ewa
2
2006
A tableau-based decision procedure for right propositional neighborhood logic. Zbl 1141.03307
Bresolin, Davide; Montanari, Angelo
5
2005
Time granularities and ultimately periodic automata. Zbl 1111.68697
Bresolin, Davide; Montanari, Angelo; Puppis, Gabriele
2
2004

Citations by Year