| 2009 |
|---|
| 10 | EE | Davide Bresolin,
Valentin Goranko,
Angelo Montanari,
Pietro Sala:
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings.
Electr. Notes Theor. Comput. Sci. 231: 131-151 (2009) |
| 2008 |
|---|
| 9 | EE | Davide Bresolin,
Angelo Montanari,
Pietro Sala,
Guido Sciavicco:
Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders.
JELIA 2008: 62-75 |
| 8 | EE | Davide Bresolin,
Dario Della Monica,
Valentin Goranko,
Angelo Montanari,
Guido Sciavicco:
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification.
LPAR 2008: 590-604 |
| 7 | EE | Davide Bresolin,
Angelo Montanari,
Pietro Sala:
An optimal tableau for Right Propositional Neighborhood Logic over Trees.
TIME 2008: 110-117 |
| 2007 |
|---|
| 6 | EE | Davide Bresolin,
Valentin Goranko,
Angelo Montanari,
Guido Sciavicco:
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics.
LFCS 2007: 84-99 |
| 5 | EE | Davide Bresolin,
Angelo Montanari,
Pietro Sala:
An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic.
STACS 2007: 549-560 |
| 4 | EE | Davide Bresolin,
Valentin Goranko,
Angelo Montanari,
Pietro Sala:
Tableau Systems for Logics of Subinterval Structures over Dense Orderings.
TABLEAUX 2007: 73-89 |
| 3 | EE | Davide Bresolin,
Angelo Montanari,
Guido Sciavicco:
An Optimal Decision Procedure for Right Propositional Neighborhood Logic.
J. Autom. Reasoning 38(1-3): 173-199 (2007) |
| 2005 |
|---|
| 2 | EE | Davide Bresolin,
Angelo Montanari:
A Tableau-Based Decision Procedure for Right Propositional Neighborhood Logic.
TABLEAUX 2005: 63-77 |
| 2004 |
|---|
| 1 | EE | Davide Bresolin,
Angelo Montanari,
Gabriele Puppis:
Time Granularities and Ultimately Periodic Automata.
JELIA 2004: 513-525 |
