selected publications

journals

[2009]
F. Orabona, C. Castellini, B. Caputo, L. Jie and G. Sandini
On-Line Independent Support Vector Machines
Pattern Recognition
43(4), pp. 1402-1412

[2009]
C. Castellini, E. Gruppioni, A. Davalli and G. Sandini
Fine detection of grasp force and posture by amputees via surface electromyography
Journal of Physiology (Paris)
103(3-5), pp. 255-262

[2009]
C. Castellini and P. van der Smagt
Surface EMG in Advanced Hand Prosthetics
Biological Cybernetics
100(1), pp. 35-47

[2008]
C. Castellini
Gaze Tracking in Semi-autonomous Grasping
Journal of Eye Movement Research
2(4):2,1-7

[2007]
C. Castellini, F. Orabona, G. Metta and G. Sandini
Internal Models of Reaching and Grasping
Advanced Robotics
vol. 21(13), pp. 1545-1564

[2005]
A. Armando, C. Castellini, E. Giunchiglia and M. Maratea
The SAT-based Approach to Separation Logic
Journal of Automated Reasoning
vol. 35(1), pp. 237-263

[2005]
C. Castellini
Automated Reasoning in Quantified Modal and Temporal Logics
Intelligenza Artificiale
vol. 2(4), pp. 13-20
A shorter summary appears in AI Communications vol. 19(2), pp. 183-185, 2006

[2003]
C. Castellini, E. Giunchiglia and A. Tacchella
SAT-based Planning in Complex Domains: Concurrency, Constraints and Nondeterminism
Artificial Intelligence
vol. 147(1-2), pp. 85-117

[2002]
C. Castellini and A. Smaill
A Systematic Presentation of Quantified Modal Logics
Logic Journal of the IGPL
vol. 10(6), pp. 571-599

book chapters

conferences

[2009]
F. Orabona, C. Castellini, B. Caputo, E. Fiorilla and G. Sandini
Model Adaptation with Least-Squares SVM for Hand Prosthetics
ICRA-09 - International Conference on Robotics and Automation
proceedings, pp. 2897-2903

[2008]
C. Castellini, P. van der Smagt, G. Sandini and G. Hirzinger
Surface EMG for Force Control of Mechanical Hands
ICRA-08 - International Conference on Robotics and Automation
proceedings, pp. 725-730

[2007]
F. Orabona, C. Castellini, B. Caputo, J. Luo and G. Sandini
Indoor place recognition using Online Independent Support Vector Machines
BMVC-07 - British Machine Vision Conference
BMVA proceedings, pp. 1090-1099

[2006]
C. Castellini and G. Sandini
Gaze tracking for robotic control in intelligent teleoperation and prosthetics
COGAIN-06 - Communication via Gaze Interaction
proceedings, pp. 73-77

[2005]
C. Castellini and A. Smaill
Proof Planning for First-Order Temporal Logic
CADE-05 - International Conference on Automated Deduction
LNCS 3632, pp. 235-249

[2005]
A. Armando, C. Castellini, E. Giunchiglia and M. Maratea
A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints
SAT-04 - International Conference on Theory and Applications of Satisfiability Testing
LNCS 3542, pp. 16-29

[2005]
A. Armando, C. Castellini, E. Giunchiglia, M. Idini and M. Maratea
TSAT++: an Open Platform for Satisfiability Modulo Theories
PDPAR-04 - Pragmatics of Decision Procedures in Automated Reasoning
ENTCS 125(3), pp. 25-36

[2004]
A. Armando, C. Castellini and J. Mantovani
Software Model Checking Using Linear Constraints
ICFEM-04 - Intenational Conference on Formal Engineering Methods
LNCS 3308, pp. 209-223

[2002]
C. Castellini and A. Smaill
Proof Planning for Feature Interactions: a Preliminary Report
LPAR-02 - Logic for Programming Artificial Intelligence and Reasoning
LNCS 2514, pp. 102-114

[2001]
C. Castellini, E. Giunchiglia and A. Tacchella
Improvements to SAT-based Conformant Planning
ECP-01 - European Conference on Planning
proceedings, pp. 241-252

[2000]
C. Castellini and A. Smaill
A Modular, Tactic-based Approach to First-Order Temporal Theorem Proving
ICTL-00 - International Conference on Temporal Logic
proceedings

[2000]
A. Armando, C. Castellini and E. Giunchiglia
SAT-based Decision Procedures for Temporal Reasoning
ECP-99 - European Conference on Planning
LNCS 1809, 97-108