German Vidal

Identifiers

• name variant German Vidal 0.60 · backfill

Papers (4)

1. On the Completeness of Selective Unification in Concolic Testing of Logic Programs cs.LO · 2016 · author #3
2. Proceedings of CICLOPS-WLPE 2010 cs.PL · 2010 · author #1
3. Improving Size-Change Analysis in Offline Partial Evaluation cs.PL · 2009 · author #3
4. Specialization of Functional Logic Programs Based on Needed Narrowing cs.PL · 2004 · author #4

Mentions

• 1009.4020 #1 · backfill · confidence 0.70 German Vidal
• 0903.2202 #3 · backfill · confidence 0.70 German Vidal

Frequent Coauthors

• Etienne Payet 1 shared papers
• Fred Mesnard 1 shared papers
• Maria Alpuente 1 shared papers
• Michael Hanus 1 shared papers
• Michael Leuschel 1 shared papers
• Neng-Fa Zhou 1 shared papers
• Salvador Lucas 1 shared papers
• Salvador Tamarit 1 shared papers