Thomas Ball

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
Monotonically controlled integrals Mathematics Almost Everywhere	2019-07-04	Paper
Zap: Automated Theorem Proving for Software Analysis Logic for Programming, Artificial Intelligence, and Reasoning	2008-05-27	Paper
Vacuity in Testing Tests and Proofs	2008-04-24	Paper
Better Under-Approximation of Programs by Hiding Variables Lecture Notes in Computer Science	2008-04-04	Paper
Leaping Loops in the Presence of Abstraction Computer Aided Verification	2007-11-29	Paper
Predicate Abstraction via Symbolic Decision Procedures Logical Methods in Computer Science	2007-10-11	Paper
Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science	2007-09-28	Paper
Formal Methods for Components and Objects Lecture Notes in Computer Science	2006-11-01	Paper
Computer Aided Verification Lecture Notes in Computer Science	2006-01-10	Paper
Computer Aided Verification Lecture Notes in Computer Science	2006-01-10	Paper
Logic for Programming, Artificial Intelligence, and Reasoning Lecture Notes in Computer Science	2005-11-10	Paper
Computer Aided Verification Lecture Notes in Computer Science	2005-08-25	Paper
scientific article; zbMATH DE number 2080047 (Why is no real title available?)	2004-08-04	Paper
scientific article; zbMATH DE number 1798184 (Why is no real title available?)	2002-11-04	Paper
scientific article; zbMATH DE number 1744961 (Why is no real title available?)	2002-05-23	Paper
scientific article; zbMATH DE number 1701757 (Why is no real title available?)	2002-02-05	Paper
scientific article; zbMATH DE number 1701764 (Why is no real title available?)	2002-02-05	Paper
scientific article; zbMATH DE number 1670555 (Why is no real title available?)	2001-11-11	Paper
Sisl: Several interfaces, single logic International Journal of Speech Technology	1999-01-01	Paper

Research outcomes over time

This page was built for person: Thomas Ball