 | 2009 |
|---|
| 11 |       | Joxan Jaffar,
Andrew E. Santosa,
Razvan Voicu:
An Interpolation Method for CLP Traversal.
CP 2009: 454-469 |
| 2008 |
|---|
| 10 |  | Joxan Jaffar,
Andrew E. Santosa,
Razvan Voicu:
Efficient Memoization for Dynamic Programming with Ad-Hoc Constraints.
AAAI 2008: 297-303 |
| 9 | | Joxan Jaffar,
Andrew E. Santosa,
Razvan Voicu:
A Coinduction Rule for Entailment of Recursively Defined Properties.
CP 2008: 493-508 |
| 2007 |
|---|
| 8 | | Martin Sulzmann,
Razvan Voicu:
Language-Based Program Verification via Expressive Types.
Electr. Notes Theor. Comput. Sci. 174(7): 129-147 (2007) |
| 2006 |
|---|
| 7 | | Joxan Jaffar,
Andrew E. Santosa,
Razvan Voicu:
A CLP Method for Compositional and Intermittent Predicate Abstraction.
VMCAI 2006: 17-32 |
| 6 | | Joxan Jaffar,
Andrew E. Santosa,
Razvan Voicu:
Relative Safety.
VMCAI 2006: 282-297 |
| 2005 |
|---|
| 5 | | Joxan Jaffar,
Andrew E. Santosa,
Razvan Voicu:
Modeling Systems in CLP.
ICLP 2005: 412-413 |
| 2004 |
|---|
| 4 | | Joxan Jaffar,
Andrew E. Santosa,
Razvan Voicu:
A CLP Proof Method for Timed Automata.
RTSS 2004: 175-186 |
| 2000 |
|---|
| 3 | | Nevin Heintze,
Joxan Jaffar,
Razvan Voicu:
Conditional Analysis and Verification.
APLAS 2000: 33-49 |
| 2 | | Nevin Heintze,
Joxan Jaffar,
Razvan Voicu:
A Framework for Combining Analysis and Verification.
POPL 2000: 26-39 |
| 1996 |
|---|
| 1 | | Razvan Voicu:
Synthesizing Parallel Divide-and-Coquer Algorithms Using the List Interleave Operator.
ASIAN 1996: 359-360 |
