Search the dblp DataBase

Publications of Author

1. Davide Bresolin, Angelo Montanari, Gabriele Puppis
   Time Granularities and Ultimately Periodic Automata. [Citation Graph (0, 0)][DBLP]
   JELIA, 2004, pp:513-525 [Conf]
   
2. Davide Bresolin, Angelo Montanari, Pietro Sala
   An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic. [Citation Graph (0, 0)][DBLP]
   STACS, 2007, pp:549-560 [Conf]
   
3. Davide Bresolin, Angelo Montanari
   A Tableau-Based Decision Procedure for Right Propositional Neighborhood Logic. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 2005, pp:63-77 [Conf]
   
4. Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco
   On Decidability and Expressiveness of Propositional Interval Neighborhood Logics. [Citation Graph (0, 0)][DBLP]
   LFCS, 2007, pp:84-99 [Conf]
   
5. Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala
   Tableau Systems for Logics of Subinterval Structures over Dense Orderings. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 2007, pp:73-89 [Conf]
   
6. Davide Bresolin, Angelo Montanari, Guido Sciavicco
   An Optimal Decision Procedure for Right Propositional Neighborhood Logic. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2007, v:38, n:1-3, pp:173-199 [Journal]
   
7. 
   The impact of EFSM composition on functional ATPG. [Citation Graph (, )][DBLP]
   
   
8. 
   Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability. [Citation Graph (, )][DBLP]
   
   
9. 
   Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders. [Citation Graph (, )][DBLP]
   
   
10. 
    Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification. [Citation Graph (, )][DBLP]
    
    
11. 
    Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths. [Citation Graph (, )][DBLP]
    
    
12. 
    A Tableau-Based System for Spatial Reasoning about Directional Relations. [Citation Graph (, )][DBLP]
    
    
13. 
    Undecidability of Interval Temporal Logics with the Overlap Modality. [Citation Graph (, )][DBLP]
    
    
14. 
    An optimal tableau for Right Propositional Neighborhood Logic over Trees. [Citation Graph (, )][DBLP]
    
    
15. 
    A theory of ultimately periodic languages and automata with an application to time granularity. [Citation Graph (, )][DBLP]
    
    
16. 
    Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions. [Citation Graph (, )][DBLP]
    
    
17. 
    Begin, After, and Later: a Maximal Decidable Interval Temporal Logic [Citation Graph (, )][DBLP]
    
    
18. 
    Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings. [Citation Graph (, )][DBLP]
    
    
19. 
    Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings. [Citation Graph (, )][DBLP]