 | 2008 |
|---|
| 8 |       | Domagoj Babic,
Alan J. Hu:
Calysto: scalable and precise extended static checking.
ICSE 2008: 211-220 |
| 2007 |
|---|
| 7 | | Domagoj Babic,
Alan J. Hu:
Structural Abstraction of Software Verification Conditions.
CAV 2007: 366-378 |
| 6 | | Frank Hutter,
Domagoj Babic,
Holger H. Hoos,
Alan J. Hu:
Boosting Verification by Automatic Tuning of Decision Procedures.
FMCAD 2007: 27-34 |
| 5 | | Domagoj Babic,
Alan J. Hu:
Exploiting Shared Structure in Software Verification Conditions.
Haifa Verification Conference 2007: 169-184 |
| 4 | | Domagoj Babic,
Alan J. Hu,
Zvonimir Rakamaric,
Byron Cook:
Proving Termination by Divergence.
SEFM 2007: 93-102 |
| 2006 |
|---|
| 3 | | Domagoj Babic,
Jesse D. Bingham,
Alan J. Hu:
B-Cubing: New Possibilities for Efficient SAT-Solving.
IEEE Trans. Computers 55(11): 1315-1324 (2006) |
| 2005 |
|---|
| 2 | | Domagoj Babic,
Alan J. Hu:
Integration of supercubing and learning in a SAT solver.
ASP-DAC 2005: 438-444 |
| 1 | | Domagoj Babic,
Jesse D. Bingham,
Alan J. Hu:
Efficient SAT solving: beyond supercubes.
DAC 2005: 744-749 |
