Claudio Castellini

	2011
24		Hannes Hoppner, Dominic Lakatos, Holger Urbanek, Claudio Castellini, P. Patrick van der Smagt: The Grasp Perturbator: Calibrating human grasp stiffness during a graded force task. ICRA 2011: 3312-3316
23		Roberto Lampariello, Duy Nguyen-Tuong, Claudio Castellini, Gerd Hirzinger, Jan Peters: Trajectory planning for optimal robot catching in real-time. ICRA 2011: 3719-3726
22		Claudio Castellini, Georg Passig: Ultrasound image features of the wrist are linearly related to finger positions. IROS 2011: 2108-2114
21		Jorn Vogel, Claudio Castellini, P. Patrick van der Smagt: EMG-based teleoperation and manipulation with the DLR LWR-III. IROS 2011: 672-678
20		Claudio Castellini, Tatiana Tommasi, Nicoletta Noceti, Francesca Odone, Barbara Caputo: Using Object Affordances to Improve Object Recognition. IEEE T. Autonomous Mental Development 3(3): 207-215 (2011)
	2010
19		Francesco Orabona, Claudio Castellini, Barbara Caputo, Jie Luo, Giulio Sandini: On-line independent support vector machines. Pattern Recognition 43(4): 1402-1412 (2010)
	2009
18		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
17		Francesco Orabona, Claudio Castellini, Barbara Caputo, Angelo Emanuele Fiorilla, Giulio Sandini: Model adaptation with least-squares SVM for adaptive hand prosthetics. ICRA 2009: 2897-2903
16		Claudio Castellini, P. Patrick van der Smagt: Surface EMG in advanced hand prosthetics. Biological Cybernetics 100(1): 35-47 (2009)
	2008
15		Claudio Castellini, P. Patrick van der Smagt, Giulio Sandini, Gerd Hirzinger: Surface EMG for force control of mechanical hands. ICRA 2008: 725-730
	2007
14		Francesco Orabona, Claudio Castellini: Indoor Place Recognition using Online Independent Support Vector Machines. BMVC 2007
	2006
13		Claudio Castellini: Automated reasoning in quantified modal and temporal logics. AI Commun. 19(2): 183-185 (2006)
	2005
12		Claudio Castellini, Alan Smaill: Proof Planning for First-Order Temporal Logic. CADE 2005: 235-249
11		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
10		Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Massimo Idini, Marco Maratea: TSAT++: an Open Platform for Satisfiability Modulo Theories. Electr. Notes Theor. Comput. Sci. 125(3): 25-36 (2005)
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] [11]
2	Luca Baldassarre	[18]
3	Annalisa Barla	[18]
4	Barbara Caputo	[17] [18] [19] [20]
5	Angelo Emanuele Fiorilla	[17]
6	Enrico Giunchiglia	[1] [4] [5] [6] [8] [10] [11]
7	Fausto Giunchiglia	[11]
8	Gerd Hirzinger (Gerhard Hirzinger)	[15] [23]
9	Hannes Hoppner	[24]
10	Massimo Idini	[10]
11	Dominic Lakatos	[24]
12	Roberto Lampariello	[23]
13	Jie Luo	[19]
14	Jacopo Mantovani	[7]
15	Marco Maratea	[5] [6] [8] [10]
16	Duy Nguyen-Tuong	[23]
17	Nicoletta Noceti	[18] [20]
18	Francesca Odone	[18] [20]
19	Francesco Orabona	[14] [17] [19]
20	Georg Passig	[22]
21	Jan Peters	[23]
22	Lorenzo Rosasco	[18]
23	Giulio Sandini	[15] [17] [18] [19]
24	P. Patrick van der Smagt	[15] [16] [21] [24]
25	Alan Smaill	[2] [3] [12]
26	Armando Tacchella	[4] [11]
27	Tatiana Tommasi	[20]
28	Holger Urbanek	[24]
29	Jorn Vogel	[21]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page