Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Thomas Ball

Physical Computing: A Key Element of Modern Computer Science Education

Computer
Computer Science
2020English

Refining Approximations in Software Predicate Abstraction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

The Concept of Dynamic Analysis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

The Use of Program Profiling for Software Maintenance With Applications to the Year 2000 Problem

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

Optimally Profiling and Tracing Programs

ACM Transactions on Programming Languages and Systems
Software
1994English

The Use of Program Profiling for Software Maintenance With Applications to the Year 2000 Problem

ACM SIGSOFT Software Engineering Notes
1997English

Slicing Programs With Arbitrary Control-Flow

English

Leaping Loops in the Presence of Abstraction

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy