Claudio Castellini

Claudio Castellini, P. Patrick van der Smagt: Evidence of muscle synergies during human grasping. Biological Cybernetics 107(2): 233-245 (2013)

Tatiana Tommasi, Francesco Orabona, Claudio Castellini, Barbara Caputo: Improving Control of Dexterous Hand Prostheses Using Adaptive Learning. IEEE Transactions on Robotics 29(1): 207-219 (2013)

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)

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

Roberto Lampariello, Duy Nguyen-Tuong, Claudio Castellini, Gerd Hirzinger, Jan Peters: Trajectory planning for optimal robot catching in real-time. ICRA 2011: 3719-3726

Jorn Vogel, Claudio Castellini, P. Patrick van der Smagt: EMG-based teleoperation and manipulation with the DLR LWR-III. IROS 2011: 672-678

Claudio Castellini, Georg Passig: Ultrasound image features of the wrist are linearly related to finger positions. IROS 2011: 2108-2114

Francesco Orabona, Claudio Castellini, Barbara Caputo, Jie Luo, Giulio Sandini: On-line independent support vector machines. Pattern Recognition 43(4): 1402-1412 (2010)

Claudio Castellini, P. Patrick van der Smagt: Surface EMG in advanced hand prosthetics. Biological Cybernetics 100(1): 35-47 (2009)

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

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

Claudio Castellini, P. Patrick van der Smagt, Giulio Sandini, Gerd Hirzinger: Surface EMG for force control of mechanical hands. ICRA 2008: 725-730

Francesco Orabona, Claudio Castellini: Indoor Place Recognition using Online Independent Support Vector Machines. BMVC 2007: 1-10

Claudio Castellini: Automated reasoning in quantified modal and temporal logics. AI Commun. 19(2): 183-185 (2006)

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)

Claudio Castellini: Automated Reasoning in Quantified Modal and Temporal Logics. Intelligenza Artificiale 2(4): 13-21 (2005)

Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea: The SAT-based Approach to Separation Logic. J. Autom. Reasoning 35(1-3): 237-263 (2005)

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

Claudio Castellini, Alan Smaill: Proof Planning for First-Order Temporal Logic. CADE 2005: 235-249

Alessandro Armando, Claudio Castellini, Jacopo Mantovani: Software Model Checking Using Linear Constraints. ICFEM 2004: 209-223

Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea: A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints. SAT 2004

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

Claudio Castellini, Enrico Giunchiglia, Armando Tacchella: SAT-based planning in complex domains: Concurrency, constraints and nondeterminism. Artif. Intell. 147(1-2): 85-117 (2003)

Claudio Castellini, Alan Smaill: A Systematic Presentation of Quantified Modal Logics. Logic Journal of the IGPL 10(6): 571-599 (2002)

Claudio Castellini, Alan Smaill: Proof Planning for Feature Interactions: A Preliminary Report. LPAR 2002: 102-114

Alessandro Armando, Claudio Castellini, Enrico Giunchiglia: SAT-Based Procedures for Temporal Reasoning. ECP 1999: 97-108