- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j8 |      | Davide Bresolin, Pietro Sala, Guido Sciavicco: On Begins, Meets and before. Int. J. Found. Comput. Sci. 23(3): 559-583 (2012) |
| c26 | | Davide Bresolin, Luigi Di Guglielmo, Luca Geretti, Riccardo Muradore, Paolo Fiorini, Tiziano Villa: Open Problems in Verification and Refinement of Autonomous Robotic Systems. DSD 2012: 469-476 |
| c25 | | Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco: Interval Temporal Logics over Finite Linear Orders: the Complete Picture. ECAI 2012: 199-204 |
| c24 | | Luca Benvenuti, Davide Bresolin, Pieter Collins, Alberto Ferrari, Luca Geretti, Tiziano Villa: Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis. RP 2012: 79-91 |
| c23 | | Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco: Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture. GandALF 2012: 155-168 |
| 2011 | ||
| c22 | | Davide Bresolin, Luigi Di Guglielmo, Luca Geretti, Tiziano Villa: Correct-by-construction code generation from hybrid automata specification. IWCMC 2011: 1660-1665 |
| c21 | | Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco: What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL. LICS 2011: 387-396 |
| c20 | | Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco: Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders. TABLEAUX 2011: 73-87 |
| c19 | | Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco: The Light Side of Interval Temporal Logic: The Bernays-Schönfinkel's Fragment of CDT. TIME 2011: 123-130 |
| c18 | | Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco: The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border. TIME 2011: 131-138 |
| c17 | | Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco: An Optimal Decision Procedure for MPNL over the Integers. GandALF 2011: 192-206 |
| c16 | | Davide Bresolin, Marta Capiluppi: A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems. GandALF 2011: 237-249 |
| 2010 | ||
| j7 | | Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco: Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings. Electr. Notes Theor. Comput. Sci. 262: 65-81 (2010) |
| j6 | | Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala: Tableaux for Logics of Subinterval Structures over Dense Orderings. J. Log. Comput. 20(1): 133-166 (2010) |
| c15 | | Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco: Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability. ECAI 2010: 695-700 |
| c14 | | Davide Bresolin, Pietro Sala, Dario Della Monica, Angelo Montanari, Guido Sciavicco: A Decidable Spatial Generalization of Metric Interval Temporal Logic. TIME 2010: 95-102 |
| c13 | | Davide Bresolin, Pietro Sala, Guido Sciavicco: Begin, After, and Later: a Maximal Decidable Interval Temporal Logic. GANDALF 2010: 72-88 |
| 2009 | ||
| j5 | | Davide Bresolin, Angelo Montanari, Gabriele Puppis: A theory of ultimately periodic languages and automata with an application to time granularity. Acta Inf. 46(5): 331-360 (2009) |
| j4 | | Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco: Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions. Ann. Pure Appl. Logic 161(3): 289-304 (2009) |
| j3 | | 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) |
| c12 | | Davide Bresolin, Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Tiziano Villa: The impact of EFSM composition on functional ATPG. DDECS 2009: 44-49 |
| c11 | | Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco: Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths. SEFM 2009: 240-249 |
| c10 | | Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco: A Tableau-Based System for Spatial Reasoning about Directional Relations. TABLEAUX 2009: 123-137 |
| c9 | | Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco: Undecidability of Interval Temporal Logics with the Overlap Modality. TIME 2009: 88-95 |
| 2008 | ||
| c8 | | Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco: Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders. JELIA 2008: 62-75 |
| c7 | | 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 |
| c6 | | Davide Bresolin, Angelo Montanari, Pietro Sala: An optimal tableau for Right Propositional Neighborhood Logic over Trees. TIME 2008: 110-117 |
| 2007 | ||
| j2 | | Davide Bresolin, Angelo Montanari, Guido Sciavicco: An Optimal Decision Procedure for Right Propositional Neighborhood Logic. J. Autom. Reasoning 38(1-3): 173-199 (2007) |
| c5 | | Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco: On Decidability and Expressiveness of Propositional Interval Neighborhood Logics. LFCS 2007: 84-99 |
| c4 | | Davide Bresolin, Angelo Montanari, Pietro Sala: An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic. STACS 2007: 549-560 |
| c3 | | Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala: Tableau Systems for Logics of Subinterval Structures over Dense Orderings. TABLEAUX 2007: 73-89 |
| 2006 | ||
| j1 | | Davide Bresolin, Joanna Golinska-Pilarek, Ewa Orlowska: Relational dual tableaux for interval temporal logics. Journal of Applied Non-Classical Logics 16(3-4): 251-278 (2006) |
| 2005 | ||
| c2 | | Davide Bresolin, Angelo Montanari: A Tableau-Based Decision Procedure for Right Propositional Neighborhood Logic. TABLEAUX 2005: 63-77 |
| 2004 | ||
| c1 | | Davide Bresolin, Angelo Montanari, Gabriele Puppis: Time Granularities and Ultimately Periodic Automata. JELIA 2004: 513-525 |
Colors in the list of coauthors
Last update Tue May 21 11:12:32 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page