Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Thomas Dillig
Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Synthesis of Circular Compositional Program Proofs via Abduction
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Related publications
Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Streaming Algorithms for Line Simplification
Discrete and Computational Geometry
Combinatorics
Mathematics
Geometry
Discrete Mathematics
Computational Theory
Topology
Theoretical Computer Science
Static Analysis of Android Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Static Analysis of Ravenscar Programs
ACM SIGAda Ada Letters
On Small Variation Formulas
Vestnik Tomskogo Gosudarstvennogo Universiteta, Matematika i Mekhanika
Computational Mechanics
Mathematics
Mechanics of Materials
Mechanical Engineering
On Termination of Constraint Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Requirements Analysis for Large Ada Programs: Lessons Learned on CCPDS- R
Simple and Scalable Time-Table Filtering for the Cumulative Constraint
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Numerical Static Analysis of Interrupt-Driven Programs via Sequentialization
