Royal Holloway University of London)

Identifiers

• name variant Royal Holloway University of London) 0.60 · backfill

Papers (2)

1. Service-Oriented Logic Programming cs.LO · 2015 · author #2
2. Saturation algorithms for model-checking pushdown systems cs.FL · 2014 · author #5

Mentions

• 1504.05797 #2 · backfill · confidence 0.70 Royal Holloway University of London)
• 1405.5593 #5 · backfill · confidence 0.70 Royal Holloway University of London)

Frequent Coauthors

• Arnaud Carayol (LIGM 1 shared papers
• CNRS) 1 shared papers
• Ionut Tutu (Department of Computer Science 1 shared papers
• Jose Luiz Fiadeiro (Department of Computer Science 1 shared papers
• Matthew Hague (Department of Computer Science 1 shared papers
• Universit\'e Paris-Est 1 shared papers