Claudio Castellini

Available identifiers

zbMath Open castellini.claudioMaRDI QIDQ814471

List of research outcomes

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	2010-04-07	Paper
The SAT-based approach to separation logic	2007-01-24	Paper
Automated Deduction – CADE-20	2006-11-01	Paper
SAT-based planning in complex domains: Concurrency, constraints and nondeterminism	2006-02-07	Paper
Mechanizing Mathematical Reasoning	2006-01-10	Paper
Theory and Applications of Satisfiability Testing	2005-12-16	Paper
A Systematic Presentation of Quantified Modal Logics	2003-09-16	Paper
https://portal.mardi4nfdi.de/entity/Q4428294	2003-09-15	Paper
https://portal.mardi4nfdi.de/entity/Q4300697	1994-08-23	Paper

Research outcomes over time

This page was built for person: Claudio Castellini