A Generalization of the Routley-Meyer Semantic Framework. - Morgan Thomas (J. Philos. Log., 2015)

Approximating Cartesian Closed Categories in NF-Style Set Theories. - Morgan Thomas (J. Philos. Log., 2018)

Look Ahead CLS in Pipelined SAR ADCs. - Morgan Thomas; Marino De Jesus Guzman; Nima Maghari (ISCAS, 2022)

Arithmetization of Σ¹₁ relations with polynomial bounds in Halo 2. - Anthony Hart; Morgan Thomas (IACR Cryptol. ePrint Arch., 2022)

Arithmetization of Σ¹₁ relations in Halo 2. - Morgan Thomas (IACR Cryptol. ePrint Arch., 2022)

Orbis Specification Language: a type theory for zk-SNARK programming. - Morgan Thomas (IACR Cryptol. ePrint Arch., 2022)

Laser Fault Injection Vulnerability Assessment and Mitigation with Case Study on PG-TVD Logic Cells. - Ryan Holzhausen; Tasnuva Farheen; Morgan Thomas; Nima Maghari; Domenic Forte (ITC, 2023)

Arithmetization of predicates into Halo 2 using application specific trace types. - Morgan Thomas (IACR Cryptol. ePrint Arch., 2023)

ACEGEN: Reinforcement Learning of Generative Chemical Agents for Drug Discovery. - Albert Bou; Morgan Thomas; Sebastian Dittert; Carles Navarro; Maciej Majewski; Ye Wang 024; Shivam Patel; Gary Tresadern; Mazen Ahmad; Vincent Moens; Woody Sherman; Simone Sciabola; et al. (J. Chem. Inf. Model., 2024)

Comparative Study of Allosteric GPCR Binding Sites and Their Ligandability Potential. - Sonja Peter; Lydia Siragusa; Morgan Thomas; Tommaso Palomba; Simon Cross; Noel M. O'Boyle; Dávid Bajusz; György G. Ferenczy; György M. Keserü; Giovanni Bottegoni; Brian Joseph Bender; I-Jen Chen; et al. (J. Chem. Inf. Model., 2024)

PromptSMILES: prompting for scaffold decoration and fragment linking in chemical language models. - Morgan Thomas; Mazen Ahmad; Gary Tresadern; Gianni De Fabritiis (J. Cheminformatics, 2024)

Asynchronous Threshold Voltage Defined Logic Family Resistant to LLSI Attacks. - Morgan Thomas; Domenic Forte; Nima Maghari (ISCAS, 2025)

REINFORCE-ING Chemical Language Models in Drug Design. - Morgan Thomas; Albert Bou; Gianni De Fabritiis (CoRR, 2025)

Test-Time Training Scaling for Chemical Exploration in Drug Design. - Morgan Thomas; Albert Bou; Gianni De Fabritiis (CoRR, 2025)

Valida ISA Spec, version 1.0: A zk-Optimized Instruction Set Architecture. - Morgan Thomas; Mamy Ratsimbazafy; Marcin Bugaj; Lewis Revill; Carlo Modica; Sebastian Schmidt; Ventali Tan; Daniel Lubarov; Max Gillett; Wei Dai (CoRR, 2025)