
Search the dblp DataBase
Razvan Voicu:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Nevin Heintze, Joxan Jaffar, Razvan Voicu
Conditional Analysis and Verification. [Citation Graph (0, 0)][DBLP] APLAS, 2000, pp:3349 [Conf]
 Razvan Voicu
Synthesizing Parallel DivideandCoquer Algorithms Using the List Interleave Operator. [Citation Graph (0, 0)][DBLP] ASIAN, 1996, pp:359360 [Conf]
 Joxan Jaffar, Andrew E. Santosa, Razvan Voicu
Modeling Systems in CLP. [Citation Graph (0, 0)][DBLP] ICLP, 2005, pp:412413 [Conf]
 Nevin Heintze, Joxan Jaffar, Razvan Voicu
A Framework for Combining Analysis and Verification. [Citation Graph (0, 0)][DBLP] POPL, 2000, pp:2639 [Conf]
 Joxan Jaffar, Andrew E. Santosa, Razvan Voicu
A CLP Proof Method for Timed Automata. [Citation Graph (0, 0)][DBLP] RTSS, 2004, pp:175186 [Conf]
 Joxan Jaffar, Andrew E. Santosa, Razvan Voicu
A CLP Method for Compositional and Intermittent Predicate Abstraction. [Citation Graph (0, 0)][DBLP] VMCAI, 2006, pp:1732 [Conf]
 Joxan Jaffar, Andrew E. Santosa, Razvan Voicu
Relative Safety. [Citation Graph (0, 0)][DBLP] VMCAI, 2006, pp:282297 [Conf]
 Martin Sulzmann, Razvan Voicu
LanguageBased Program Verification via Expressive Types. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:174, n:7, pp:129147 [Journal]
Efficient Memoization for Dynamic Programming with AdHoc Constraints. [Citation Graph (, )][DBLP]
A Coinduction Rule for Entailment of Recursively Defined Properties. [Citation Graph (, )][DBLP]
An Interpolation Method for CLP Traversal. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
