|
Search the dblp DataBase
Claudio Castellini:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella
SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective. [Citation Graph (0, 0)][DBLP] Mechanizing Mathematical Reasoning, 2005, pp:46-58 [Conf]
- Claudio Castellini, Alan Smaill
Proof Planning for First-Order Temporal Logic. [Citation Graph (0, 0)][DBLP] CADE, 2005, pp:235-249 [Conf]
- Alessandro Armando, Claudio Castellini, Enrico Giunchiglia
SAT-Based Procedures for Temporal Reasoning. [Citation Graph (0, 0)][DBLP] ECP, 1999, pp:97-108 [Conf]
- Alessandro Armando, Claudio Castellini, Jacopo Mantovani
Software Model Checking Using Linear Constraints. [Citation Graph (0, 0)][DBLP] ICFEM, 2004, pp:209-223 [Conf]
- Claudio Castellini, Alan Smaill
Proof Planning for Feature Interactions: A Preliminary Report. [Citation Graph (0, 0)][DBLP] LPAR, 2002, pp:102-114 [Conf]
- Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea
A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints. [Citation Graph (0, 0)][DBLP] SAT, 2004, pp:- [Conf]
- Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea
A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints. [Citation Graph (0, 0)][DBLP] SAT (Selected Papers, 2004, pp:16-29 [Conf]
- Claudio Castellini, Enrico Giunchiglia, Armando Tacchella
SAT-based planning in complex domains: Concurrency, constraints and nondeterminism. [Citation Graph (0, 0)][DBLP] Artif. Intell., 2003, v:147, n:1-2, pp:85-117 [Journal]
- Claudio Castellini
Automated reasoning in quantified modal and temporal logics. [Citation Graph (0, 0)][DBLP] AI Commun., 2006, v:19, n:2, pp:183-185 [Journal]
- Claudio Castellini
Automated Reasoning in Quantified Modal and Temporal Logics. [Citation Graph (0, 0)][DBLP] Intelligenza Artificiale, 2005, v:2, n:4, pp:13-21 [Journal]
- Claudio Castellini, Alan Smaill
A Systematic Presentation of Quantified Modal Logics. [Citation Graph (0, 0)][DBLP] Logic Journal of the IGPL, 2002, v:10, n:6, pp:571-599 [Journal]
- Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea
The SAT-based Approach to Separation Logic. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2005, v:35, n:1-3, pp:237-263 [Journal]
Towards a Theoretical Framework for Learning Multi-modal Patterns for Embodied Agents. [Citation Graph (, )][DBLP]
Surface EMG for force control of mechanical hands. [Citation Graph (, )][DBLP]
Model adaptation with least-squares SVM for adaptive hand prosthetics. [Citation Graph (, )][DBLP]
Surface EMG in advanced hand prosthetics. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.002secs
|