Claudio Castellini

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
AnDY_Data1_Intent detection: multiple subjects, performing actions supported by an Adaptive Shoulder Exoskeleton's device_v1.0	2021-12-07	Dataset
Repairing learned controllers with convex optimization: a case study	2019-10-14	Paper
\textsf{TSAT++}: an open platform for satisfiability modulo theories	2013-09-25	Paper
On-line independent support vector machines Pattern Recognition	2010-04-07	Paper
The SAT-based approach to separation logic Journal of Automated Reasoning	2007-01-24	Paper
Automated Deduction – CADE-20 Lecture Notes in Computer Science	2006-11-01	Paper
SAT-based planning in complex domains: Concurrency, constraints and nondeterminism Artificial Intelligence	2006-02-07	Paper
Mechanizing Mathematical Reasoning Lecture Notes in Computer Science	2006-01-10	Paper
Theory and Applications of Satisfiability Testing Lecture Notes in Computer Science	2005-12-16	Paper
A Systematic Presentation of Quantified Modal Logics Logic Journal of the IGPL	2003-09-16	Paper
scientific article; zbMATH DE number 1980920 (Why is no real title available?)	2003-09-15	Paper
scientific article; zbMATH DE number 614402 (Why is no real title available?)	1994-08-23	Paper
scientific article; zbMATH DE number 614402 (Why is no real title available?)	1994-08-23	Paper

Research outcomes over time

This page was built for person: Claudio Castellini