Thomas Ball

Available identifiers

zbMath Open ball.thomasMaRDI QIDQ1856259

List of research outcomes

Publication	Date of Publication	Type
Monotonically controlled integrals	2019-07-04	Paper
Zap: Automated Theorem Proving for Software Analysis	2008-05-27	Paper
Vacuity in Testing	2008-04-24	Paper
Better Under-Approximation of Programs by Hiding Variables	2008-04-04	Paper
Leaping Loops in the Presence of Abstraction	2007-11-29	Paper
Predicate Abstraction via Symbolic Decision Procedures	2007-10-11	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-09-28	Paper
Formal Methods for Components and Objects	2006-11-01	Paper
Computer Aided Verification	2006-01-10	Paper
Computer Aided Verification	2006-01-10	Paper
Logic for Programming, Artificial Intelligence, and Reasoning	2005-11-10	Paper
Computer Aided Verification	2005-08-25	Paper
https://portal.mardi4nfdi.de/entity/Q4472235	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4553257	2002-11-04	Paper
https://portal.mardi4nfdi.de/entity/Q4531754	2002-05-23	Paper
https://portal.mardi4nfdi.de/entity/Q2769585	2002-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q2769592	2002-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q2753756	2001-11-11	Paper
Sisl: Several interfaces, single logic	1999-01-01	Paper

Research outcomes over time

This page was built for person: Thomas Ball