An Endorsement-based Plan Recognition Program. - Michael Sullivan; Paul R. Cohen (IJCAI, 1985)

Logos: A Constraint-Directed Reasoning Shell for Operations Management. - Alex Chao-Chiang Meng; Michael Sullivan (IEEE Expert, 1991)

Untying the Gordian Knot: The Development of an Immunization Information Exchange. - Hamid R. Ekboa; Peter L. Grogg; David K. Lohrmann; Michael Sullivan; Ahmed H. YoussefAgha (AMCIS, 2009)

PhosphoSitePlus: a comprehensive resource for investigating the structure and function of experimentally determined post-translational modifications in man and mouse. - Peter V. Hornbeck; Jon M. Kornhauser; Sasha Tkachev; Bin Zhang; Elzbieta Skrzypek; Beth Murray; Vaughan Latham; Michael Sullivan (Nucleic Acids Res., 2012)

Using Residential AC Load Control in Grid Operations: PG&E's Ancillary Service Pilot. - Michael Sullivan; Josh Bode; Bashar Kellow; Sarah Woehleke; Joseph H. Eto (IEEE Trans. Smart Grid, 2013)

Federated clouds for biomedical research: Integrating OpenStack for ICTBioMed. - Cezary Mazurek; Juliusz Pukacki; Michal Kosiedowski; Szymon Trocha; Michael Sullivan; Hemant Darbari; Amit Saxena; Rajendra Joshi; Devdatt P. Dubhashi; Subazini Thankaswamy; Paul R. Brenner; Sandra Gesing; et al. (CloudNet, 2014)

Leveraging the national cyberinfrastructure for biomedical research. - Richard D. LeDuc; Matthew Vaughn; John M. Fonner; Michael Sullivan; James G. Williams 003; Philip D. Blood; James Taylor 001; William K. Barnett (J. Am. Medical Informatics Assoc., 2014)

Hate Speech Detection in Low Resource Indo-Aryan Languages. - Sougata Saha; Michael Sullivan; Rohini K. Srihari (FIRE (Working Notes), 2023)

Positional Transformers for Claim Span Identification. - Michael Sullivan; Navid Madani; Sougata Saha; Rohini K. Srihari (FIRE (Working Notes), 2023)

University at Buffalo at SemEval-2023 Task 11: MASDA-Modelling Annotator Sensibilities through DisAggregation. - Michael Sullivan; Mohammed Yasin; Cassandra L. Jacobs (SemEval@ACL, 2023)

It is not True that Transformers are Inductive Learners: Probing NLI Models with External Negation. - Michael Sullivan (EACL (1), 2024)

Exploring Graph Representations of Logical Forms for Language Modeling. - Michael Sullivan (ACL (Findings), 2025)

Playpen: An Environment for Exploring Learning Through Conversational Interaction. - Nicola Horst; Davide Mazzaccara; Antonia Schmidt; Michael Sullivan; Filippo Momentè; Luca Franceschetti; Philipp Sadler; Sherzod Hakimov; Alberto Testoni; Raffaella Bernardi; Raquel Fernández; Alexander Koller; et al. (CoRR, 2025)

Procedural Environment Generation for Tool-Use Agents. - Michael Sullivan; Mareike Hartmann; Alexander Koller (CoRR, 2025)