Blue Gene: A vision for protein science using a petaflop supercomputer. - Frances E. Allen; George S. Almási; Wanda Andreoni; Daniel K. Beece; Bruce J. Berne; Arthur A. Bright; José R. Brunheroto; Calin Cascaval; José G. Castaños; Paul Coteus; Paul Crumley; Alessandro Curioni; et al. (IBM Syst. J., 2001)

Blue Gene/L, a System-On-A-Chip. - George S. Almási; Daniel K. Beece; Ralph Bellofatto; Gyan Bhanot; Randy Bickford; Matthias A. Blumrich; Arthur A. Bright; José R. Brunheroto; Calin Cascaval; José G. Castaños; Luis Ceze; Paul Coteus; et al. (CLUSTER, 2002)

Two New Heuristics for Two-Sided Bipartite Graph Drawing. - Matthew Newton; Ondrej Sýkora; Imrich Vrto (GD, 2002)

An overview of the BlueGene/L Supercomputer. - Narasimha R. Adiga; George Almási 001; George S. Almási; Yariv Aridor; Rajkishore Barik; Daniel K. Beece; Ralph Bellofatto; Gyan Bhanot; Randy Bickford; Matthias A. Blumrich; Arthur A. Bright; José R. Brunheroto; et al. (SC, 2002)

A Parallel Approach to Row-Based VLSI Layout Using Stochastic Hill-Climbing. - Matthew Newton; Ondrej Sýkora; Mark S. Withall; Imrich Vrto (IEA/AIE, 2003)

New Exact Results and Bounds for Bipartite Crossing Numbers of Meshes. - Matthew Newton; Ondrej Sýkora; Martin Uzovic; Imrich Vrto (GD, 2004)

Network Lyapunov Functions for Epidemic Models. - Matthew Newton; Antonis Papachristodoulou (CDC, 2020)

Neural Network Verification using Polynomial Optimisation. - Matthew Newton; Antonis Papachristodoulou (CDC, 2021)

Exploiting Sparsity for Neural Network Verification. - Matthew Newton; Antonis Papachristodoulou (L4DC, 2021)

Reachability Analysis of Neural Feedback Loops using Sparse Polynomial Optimisation. - Matthew Newton; Antonis Papachristodoulou (CDC, 2022)

Stability of Non-linear Neural Feedback Loops using Sum of Squares. - Matthew Newton; Antonis Papachristodoulou (CDC, 2022)

Scalable Forward Reachability Analysis of Multi-Agent Systems with Neural Network Controllers. - Oliver Gates; Matthew Newton; Konstantinos Gatsis (CDC, 2023)

Rational Neural Network Controllers. - Matthew Newton; Antonis Papachristodoulou (CoRR, 2023)

Sparse polynomial optimisation for neural network verification. - Matthew Newton; Antonis Papachristodoulou (Autom., 2023)

Playing with Robots: Performing Arts Techniques for Designing and Understanding Robot Group Movement. - Philippa Madill; Matthew Newton; Huanjun Zhao; Yichen Lian; Zachary McKendrick; Patrick Finn; Aditya Shekhar Nittala; Ehud Sharlin (CHI, 2025)