Rob Stewart

Identifiers

No identifiers captured yet.

Papers (2)

1. Neural Network Verification for the Masses (of AI graduates) cs.AI · 2019 · author #2
2. Replicable Parallel Branch and Bound Search cs.DC · 2017 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• Blair Archibald 1 shared papers
• Ciaran McCreesh 1 shared papers
• Daniel Kienitz 1 shared papers
• Ekaterina Komendantskaya 1 shared papers
• Kirsy Duncan 1 shared papers
• Pascal Bacchus 1 shared papers
• Patrick Maier 1 shared papers
• Phil Trinder 1 shared papers
• Pierre Le Hen 1 shared papers