Claudio Castellini

	2009
15		Nicoletta Noceti, Barbara Caputo, Claudio Castellini, Luca Baldassarre, Annalisa Barla, Lorenzo Rosasco, Francesca Odone, Giulio Sandini: Towards a Theoretical Framework for Learning Multi-modal Patterns for Embodied Agents. ICIAP 2009: 239-248
14		Claudio Castellini, P. Patrick van der Smagt: Surface EMG in advanced hand prosthetics. Biological Cybernetics 100(1): 35-47 (2009)
	2008
13		Claudio Castellini, P. Patrick van der Smagt, Giulio Sandini, Gerd Hirzinger: Surface EMG for force control of mechanical hands. ICRA 2008: 725-730
	2006
12		Claudio Castellini: Automated reasoning in quantified modal and temporal logics. AI Commun. 19(2): 183-185 (2006)
	2005
11		Claudio Castellini, Alan Smaill: Proof Planning for First-Order Temporal Logic. CADE 2005: 235-249
10		Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella: SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective. Mechanizing Mathematical Reasoning 2005: 46-58
9		Claudio Castellini: Automated Reasoning in Quantified Modal and Temporal Logics. Intelligenza Artificiale 2(4): 13-21 (2005)
8		Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea: The SAT-based Approach to Separation Logic. J. Autom. Reasoning 35(1-3): 237-263 (2005)
	2004
7		Alessandro Armando, Claudio Castellini, Jacopo Mantovani: Software Model Checking Using Linear Constraints. ICFEM 2004: 209-223
6		Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea: A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints. SAT 2004
5		Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea: A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints. SAT (Selected Papers 2004: 16-29
	2003
4		Claudio Castellini, Enrico Giunchiglia, Armando Tacchella: SAT-based planning in complex domains: Concurrency, constraints and nondeterminism. Artif. Intell. 147(1-2): 85-117 (2003)
	2002
3		Claudio Castellini, Alan Smaill: Proof Planning for Feature Interactions: A Preliminary Report. LPAR 2002: 102-114
2		Claudio Castellini, Alan Smaill: A Systematic Presentation of Quantified Modal Logics. Logic Journal of the IGPL 10(6): 571-599 (2002)
	1999
1		Alessandro Armando, Claudio Castellini, Enrico Giunchiglia: SAT-Based Procedures for Temporal Reasoning. ECP 1999: 97-108

Coauthor Index

1	Alessandro Armando	[1] [5] [6] [7] [8] [10]
2	Luca Baldassarre	[15]
3	Annalisa Barla	[15]
4	Barbara Caputo	[15]
5	Enrico Giunchiglia	[1] [4] [5] [6] [8] [10]
6	Fausto Giunchiglia	[10]
7	Gerd Hirzinger	[13]
8	Jacopo Mantovani	[7]
9	Marco Maratea	[5] [6] [8]
10	Nicoletta Noceti	[15]
11	Francesca Odone	[15]
12	Lorenzo Rosasco	[15]
13	Giulio Sandini	[13] [15]
14	P. Patrick van der Smagt	[13] [14]
15	Alan Smaill	[2] [3] [11]
16	Armando Tacchella	[4] [10]

Colors in the list of coauthors