Jorge A. Navas

Identifiers

• name variant Jorge A. Navas 0.60 · backfill

Papers (4)

1. Verification of Programs by Combining Iterated Specialization with Interpolation cs.LO · 2014 · author #3
2. A Complete Refinement Procedure for Regular Separability of Context-Free Languages cs.FL · 2014 · author #2
3. A Partial-Order Approach to Array Content Analysis cs.PL · 2014 · author #2
4. Symbolic Execution for Verification cs.PL · 2011 · author #2

Mentions

• 1103.2027 #2 · backfill · confidence 0.70 Jorge A. Navas

Frequent Coauthors

• Graeme Gange 2 shared papers
• Harald Sondergaard 2 shared papers
• Peter J. Stuckey 2 shared papers
• Peter Schachte 2 shared papers
• Andrew E. Santosa 1 shared papers
• Emanuele De Angelis 1 shared papers
• Fabio Fioravanti 1 shared papers
• Joxan Jaffar 1 shared papers
• Maurizio Proietti 1 shared papers