Parallel Multigrid Solver for 3D Unstructured Finite Element Problems. - Mark Adams; Jim Demmel (SC, 1999)

The sequence of the human genome (abstract only). - Mark Adams (RECOMB, 2001)

Large Scale Deployment and Operation of Distributed Sensor Assets Optimized for Robust Mars Exploration. - James Bickford; Sean George; John Manobianco; Mark Adams; Donna Manobianco (Evolvable Hardware, 2005)

Introducing HOL Zero - (Extended Abstract). - Mark Adams (ICMS, 2010)

Capturing Hiproofs in HOL Light. - Steven Obua; Mark Adams; David Aspinall 001 (MKM/Calculemus/DML, 2013)

Bats, birds, and boggans: the simulated armies of epic. - Thierry Dervieux-Lecocq; David Gatenby; Mark Adams; Justin Bisceglio (SIGGRAPH Talks, 2013)

Flyspecking Flyspeck. - Mark Adams (ICMS, 2014)

Using sparse voxel octrees in a level-of-detail pipeline for Rio 2. - Sean Palmer; Eric Maurer; Mark Adams (SIGGRAPH Talks, 2014)

Refactoring Proofs with Tactician. - Mark Adams (SEFM Workshops, 2015)

You've got a lot of friends, Charlie Brown: creating crowds in peanuts. - Mark Adams; Greg Mourino; Mason Evans; Kevin Edzenga (SIGGRAPH Talks, 2015)

The Common HOL Platform. - Mark Adams (PxTP@CADE, 2015)

A formal proof of the Kepler conjecture. - Thomas C. Hales; Mark Adams; Gertrud Bauer; Dat Tat Dang; John Harrison 001; Truong Le Hoang; Cezary Kaliszyk; Victor Magron; Sean McLaughlin; Thang Tat Nguyen; Truong Quang Nguyen; Tobias Nipkow; et al. (CoRR, 2015)

Formal Methods in Collaborative Projects. - Anna Zamansky; Guillermo Rodríguez-Navas; Mark Adams; Maria Spichkova (ENASE, 2016)

HOL Zero's Solutions for Pollack-Inconsistency. - Mark Adams (ITP, 2016)

Use of the Recursive Least Squares Filter for Self Interference Channel Estimation. - Mark Adams; Vijay K. Bhargava (VTC Fall, 2016)

Using friendly jamming to improve route security and quality in ad hoc networks. - Mark Adams; Vijay K. Bhargava (CCECE, 2017)

Populating the crowds in Ferdinand. - Greg Mourino; Mason Evans; Kevin Edzenga; Svetla Cavaleri; Mark Adams; Justin Bisceglio (SIGGRAPH Talks, 2017)

Up close with simulated crowds. - Mark Adams; Justin Bisceglio (SIGGRAPH Talks, 2018)

Error control Gaussian collocation software for boundary value ODEs and 1D time-dependent PDEs. - Mark Adams; Connor Tannahill; Paul H. Muir (Numer. Algorithms, 2019)

Improving Robustness of Spectrogram Classifiers with Neural Stochastic Differential Equations. - Joel Brogan; Olivera Kotevska; Anibely Torres; Sumit Jha; Mark Adams (MLSP, 2024)

Differential equation software for the computation of error-controlled continuous approximate solutions. - Mark Adams; Paul H. Muir (Numer. Algorithms, 2024)

Inference for max-linear Bayesian networks with noise. - Mark Adams; Kamillo Ferry; Ruriko Yoshida (CoRR, 2025)