| 2024 | AAAI | Neural Bookmarks: Information Retrieval with Deep Learning and EEG Data. | Glenn Bruns, Michael Haidar |
| 2019 | ICMLA | Assessing Wireless Data Services with Machine Learning and Geostatistics. | Jose Mijangos, Glenn Bruns |
| 2014 | CISS | Calculating the benefits of sponsored data for an individual content provider. | Matthew Andrews, Glenn Bruns, Hyoseop Lee |
| 2011 | ICWS | A Hierarchical Approach to Service Negotiation. | Glenn Bruns, Mauricio Cortes |
| 2011 | SACMAT | Program synthesis in administration of higher-order permissions. | Glenn Bruns, Michael Huth, Kumar Avijit |
| 2007 | CCS | A simple and expressive semantic framework for policy composition in access control. | Glenn Bruns, Daniel S. Dantas, Michael Huth |
| 2004 | CONCUR | ABC: A Minimal Aspect Calculus. | Glenn Bruns, Radha Jagadeesan, Alan Jeffrey, James Riely |
| 2004 | ICALP | Model Checking with Multi-valued Logics. | Glenn Bruns, Patrice Godefroid |
| 2001 | LICS | Temporal Logic Query Checking. | Glenn Bruns, Patrice Godefroid |
| 2000 | CONCUR | Generalized Model Checking: Reasoning about Partial State Spaces. | Glenn Bruns, Patrice Godefroid |
| 1999 | CAV | Model Checking Partial State Spaces with 3-Valued Temporal Logics. | Glenn Bruns, Patrice Godefroid |
| 1993 | CONCUR | A Practical Technique for Process Abstraction. | Glenn Bruns |
| 1993 | SAFECOMP | Validating Safety Models with Fault Trees. | Glenn Bruns, Stuart Anderson |
| 1992 | CAV | A Case Study in Safety-Critical Design. | Glenn Bruns |
| 1988 | ICSE | Recording the Reasons for Design Decisions. | Colin Potts, Glenn Bruns |