Adam Betts

Identifiers

No identifiers captured yet.

Papers (2)

1. Implementing and Evaluating Candidate-Based Invariant Generation cs.SE · 2016 · author #1
2. Acceleration of a Full-scale Industrial CFD Application with OP2 cs.CE · 2014 · author #5

Mentions

No mention provenance yet.

Frequent Coauthors

• Alastair F. Donaldson 1 shared papers
• Carlo Bertolli 1 shared papers
• David Radford 1 shared papers
• Gihan R. Mudalige 1 shared papers
• Istv\'an Z. Reguly 1 shared papers
• Jeroen Ketema 1 shared papers
• Michael B. Giles 1 shared papers
• Nathan Chong 1 shared papers
• Pantazis Deligiannis 1 shared papers
• Paul H. J. Kelly 1 shared papers