Dario Della Monica

	2012
13		Dario Della Monica, Giacomo Lenzi: On a Priced Resource-bounded Alternating μ-Calculus. ICAART (2) 2012: 222-227
12		Dario Della Monica, Angelo Montanari, Pietro Sala: The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic. Logic Programs, Norms and Action 2012: 79-102
	2011
11		Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco: Expressiveness of the Interval Logics of Allen’s Relations on the Class of All Linear Orders: Complete Classification. IJCAI 2011: 845-850
10		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
9		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
8		Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco: Interval Temporal Logics: a Journey. Bulletin of the EATCS 105: 73-99 (2011)
7		Dario Della Monica, Valentin Goranko, Guido Sciavicco: Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders. Electr. Notes Theor. Comput. Sci. 273: 3-19 (2011)
6		Dario Della Monica, Margherita Napoli, Mimmo Parente: On a Logic for Coalitional Games with Priced-Resource Agents. Electr. Notes Theor. Comput. Sci. 278: 215-228 (2011)
	2010
5		Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco: Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability. ECAI 2010: 695-700
4		Davide Bresolin, Pietro Sala, Dario Della Monica, Angelo Montanari, Guido Sciavicco: A Decidable Spatial Generalization of Metric Interval Temporal Logic. TIME 2010: 95-102
3		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)
	2009
2		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
1		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

Coauthor Index

1	Davide Bresolin	[1] [2] [3] [4] [5] [9] [10]
2	Valentin Goranko	[1] [2] [3] [5] [7] [8] [9] [11]
3	Giacomo Lenzi	[13]
4	Angelo Montanari	[1] [2] [3] [4] [5] [8] [9] [10] [11] [12]
5	Margherita Napoli	[6]
6	Mimmo Parente (Domenico Parente)	[6]
7	Pietro Sala	[4] [12]
8	Guido Sciavicco	[1] [2] [3] [4] [5] [7] [8] [9] [10] [11]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page