Davide Bresolin Vis

*	2009
13	EE	Davide Bresolin, Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Tiziano Villa: The impact of EFSM composition on functional ATPG. DDECS 2009: 44-49
12	EE	Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco: A Tableau-Based System for Spatial Reasoning about Directional Relations. TABLEAUX 2009: 123-137
11	EE	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)
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

Coauthor Index

1	Franco Fummi	[13]
2	Valentin Goranko	[4] [6] [8] [10]
3	Giuseppe Di Guglielmo	[13]
4	Dario Della Monica	[8]
5	Angelo Montanari	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12]
6	Graziano Pravadelli	[13]
7	Gabriele Puppis	[1] [11]
8	Pietro Sala	[4] [5] [7] [9] [10] [12]
9	Guido Sciavicco	[3] [6] [8] [9] [12]
10	Tiziano Villa	[13]

Colors in the list of coauthors