The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Razvan Voicu: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Nevin Heintze, Joxan Jaffar, Razvan Voicu
    Conditional Analysis and Verification. [Citation Graph (0, 0)][DBLP]
    APLAS, 2000, pp:33-49 [Conf]
  2. Razvan Voicu
    Synthesizing Parallel Divide-and-Coquer Algorithms Using the List Interleave Operator. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:359-360 [Conf]
  3. Joxan Jaffar, Andrew E. Santosa, Razvan Voicu
    Modeling Systems in CLP. [Citation Graph (0, 0)][DBLP]
    ICLP, 2005, pp:412-413 [Conf]
  4. Nevin Heintze, Joxan Jaffar, Razvan Voicu
    A Framework for Combining Analysis and Verification. [Citation Graph (0, 0)][DBLP]
    POPL, 2000, pp:26-39 [Conf]
  5. Joxan Jaffar, Andrew E. Santosa, Razvan Voicu
    A CLP Proof Method for Timed Automata. [Citation Graph (0, 0)][DBLP]
    RTSS, 2004, pp:175-186 [Conf]
  6. Joxan Jaffar, Andrew E. Santosa, Razvan Voicu
    A CLP Method for Compositional and Intermittent Predicate Abstraction. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2006, pp:17-32 [Conf]
  7. Joxan Jaffar, Andrew E. Santosa, Razvan Voicu
    Relative Safety. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2006, pp:282-297 [Conf]
  8. Martin Sulzmann, Razvan Voicu
    Language-Based Program Verification via Expressive Types. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:7, pp:129-147 [Journal]

  9. Efficient Memoization for Dynamic Programming with Ad-Hoc Constraints. [Citation Graph (, )][DBLP]


  10. A Coinduction Rule for Entailment of Recursively Defined Properties. [Citation Graph (, )][DBLP]


  11. An Interpolation Method for CLP Traversal. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002