A Proofless Proof of the Barwise Compactness Theorem. - Mark Howard (J. Symb. Log., 1988)

Applications of Fodor's Lemma to Vaught's Conjecture. - Mark Howard (Ann. Pure Appl. Log., 1989)

Program Verification by Symbolic Execution of Hyperfinite Ideal Machines. - James M. Morris; Mark Howard (CAV, 1990)

Innovation in extremis: evolving an application for the critical work of email and information management. - Victoria Bellotti; Nicolas Ducheneaut; Mark Howard; Ian Smith; Christine Neuwirth (Symposium on Designing Interactive Systems, 2002)

FLANNEL: adding computation to electronic mail during transmission. - Victoria Bellotti; Nicolas Ducheneaut; Mark Howard; Christine Neuwirth; Ian Smith; Trevor F. Smith (UIST, 2002)

Taking email to task: the design and evaluation of a task management centered email tool. - Victoria Bellotti; Nicolas Ducheneaut; Mark Howard; Ian Smith (CHI, 2003)

Quality Versus Quantity: E-Mail-Centric Task Management and Its Relation With Overload. - Victoria Bellotti; Nicolas Ducheneaut; Mark Howard; Ian Smith; Rebecca E. Grinter (Hum. Comput. Interact., 2005)

Reconciling Manual and Automated Testing: The AutoTest Experience. - Andreas Leitner; Ilinca Ciupa; Bertrand Meyer 001; Mark Howard (HICSS, 2007)

Tracking Observations: Using Handhelds and Computers for Classroom Observation Logging. - Hashi Bai; Greydon Buckley; Mark Howard; Edward Lank (ICDS, 2007)

Quantum Contextuality with Stabilizer States. - Mark Howard; Eoin Brennan; Jirí Vala (Entropy, 2013)

Contextuality supplies the 'magic' for quantum computation. - Mark Howard; Joel Wallman 002; Victor Veitch; Joseph Emerson (Nat., 2014)

Magic state parity-checker with pre-distilled components. - Earl T. Campbell; Mark Howard (Quantum, 2018)

Social movement theory and the Italian radical community archives: A question of valence? - Mark Howard (J. Community Informatics, 2019)

Simulation of quantum circuits by low-rank stabilizer decompositions. - Sergey Bravyi 001; Dan E. Browne; Padraic Calpin; Earl T. Campbell; David Gosset; Mark Howard (Quantum, 2019)

A Weak Asynchronous RESet (ARES) PUF Using Start-up Characteristics of Null Conventional Logic Gates. - Sreeja Chowdhury; Rabin Yu Acharya; William Boullion; Andrew Felder; Mark Howard; Jia Di; Domenic Forte (ITC, 2020)

Early Detection and Classification of Patient-Ventilator Asynchrony Using Machine Learning. - Erdi Gao; Goce Ristanoski; Uwe Aickelin; David Berlowitz; Mark Howard (AIME, 2022)

Identification of Patient Ventilator Asynchrony in Physiological Data Through Integrating Machine-Learning. - Anthony Stell; Ernesto C. Caparo; Zhe Wang; Chenyang Wang; David Berlowitz; Mark Howard; Richard O. Sinnott; Uwe Aickelin (BIOSTEC (2), 2024)

SHIP: A Shapelet-Based Approach for Interpretable Patient-Ventilator Asynchrony Detection. - Xuan-May Le; Ling Luo 002; Uwe Aickelin; Minh-Tuan Tran; David Berlowitz; Mark Howard (PAKDD (2), 2025)