×
Compute Distance To:
Author ID: dillig.thomas Recent zbMATH articles by "Dillig, Thomas"
Published as: Dillig, Thomas
Documents Indexed: 7 Publications since 2009
Co-Authors: 6 Co-Authors with 7 Joint Publications
186 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

7 Publications have been cited 32 times in 29 Documents Cited by Year
Cuts from proofs: a complete and practical technique for solving linear inequalities over integers. Zbl 1242.65116
Dillig, Isil; Dillig, Thomas; Aiken, Alex
9
2009
Synthesis of circular compositional program proofs via abduction. Zbl 1381.68057
Li, Boyang; Dillig, Isil; Dillig, Thomas; McMillan, Ken; Sagiv, Mooly
9
2013
Fluid updates: beyond strong vs. weak updates. Zbl 1260.68092
Dillig, Isil; Dillig, Thomas; Aiken, Alex
6
2010
Precise reasoning for programs using containers. Zbl 1284.68175
Dillig, Isil; Dillig, Thomas; Aiken, Alex
5
2011
Automated inference of library specifications for source-sink property verification. Zbl 1426.68068
Zhu, Haiyan; Dillig, Thomas; Dillig, Isil
1
2013
Small formulas for large programs: on-line constraint simplification in scalable static analysis. Zbl 1306.68024
Dillig, Isil; Dillig, Thomas; Aiken, Alex
1
2010
Cuts from proofs: a complete and practical technique for solving linear inequalities over integers. Zbl 1250.90057
Dillig, Isil; Dillig, Thomas; Aiken, Alex
1
2011
Synthesis of circular compositional program proofs via abduction. Zbl 1381.68057
Li, Boyang; Dillig, Isil; Dillig, Thomas; McMillan, Ken; Sagiv, Mooly
9
2013
Automated inference of library specifications for source-sink property verification. Zbl 1426.68068
Zhu, Haiyan; Dillig, Thomas; Dillig, Isil
1
2013
Precise reasoning for programs using containers. Zbl 1284.68175
Dillig, Isil; Dillig, Thomas; Aiken, Alex
5
2011
Cuts from proofs: a complete and practical technique for solving linear inequalities over integers. Zbl 1250.90057
Dillig, Isil; Dillig, Thomas; Aiken, Alex
1
2011
Fluid updates: beyond strong vs. weak updates. Zbl 1260.68092
Dillig, Isil; Dillig, Thomas; Aiken, Alex
6
2010
Small formulas for large programs: on-line constraint simplification in scalable static analysis. Zbl 1306.68024
Dillig, Isil; Dillig, Thomas; Aiken, Alex
1
2010
Cuts from proofs: a complete and practical technique for solving linear inequalities over integers. Zbl 1242.65116
Dillig, Isil; Dillig, Thomas; Aiken, Alex
9
2009

Citations by Year