| 2023 | FOIS | An Ontology for Event Location. | Yunpiao Bai, Michael Grninger |
| 2020 | FOIS | An Ontology for Formal Models of Kinship. | Carmen Chui, Michael Grninger, Janette Wong |
| 2020 | FOIS | A Mereology for Connected Structures. | Michael Grninger, Carmen Chui, Yi Ru, Jona Thai |
| 2018 | FOIS | Foundational Ontologies for Units of Measure. | Michael Grninger, Bahar Aameri, Carmen Chui, Torsten Hahmann, Yi Ru |
| 2017 | TIME | The Time Ontology of Allen's Interval Algebra. | Michael Grninger, Zhuojun Li |
| 2016 | EKAW | Locating Things in Space and Time: Verification of the SUMO Upper-Level Ontology. | Lydia Silva Muoz, Michael Grninger |
| 2016 | FOIS | Anti-Modules. | Bahar Aameri, Michael Grninger, Carmen Chui |
| 2016 | FOIS | A Molecular Structure Ontology for Medicinal Chemistry. | Carmen Chui, Michael Grninger |
| 2016 | FOIS | What Is Ontology Reuse? | Megan Katsumi, Michael Grninger |
| 2016 | FOIS | Mapping and Verification of the Time Ontology in SUMO. | Lydia Silva Muoz, Michael Grninger |
| 2016 | IC3K | Verifying and Mapping the Mereotopology of Upper-Level Ontologies. | Lydia Silva Muoz, Michael Grninger |
| 2016 | IC3K | The Mereologies of Upper Ontologies. | Lydia Silva Muoz, Michael Grninger |
| 2014 | CADE | Proof Support for Common Logic. | Till Mossakowski, Mihai Codescu, Oliver Kutz, Christoph Lange, Michael Grninger |
| 2014 | FOIS | Mathematical Foundations for Participation Ontologies. | Carmen Chui, Michael Grninger |
| 2014 | FOIS | A Sideways Look at Upper Ontologies. | Michael Grninger, Torsten Hahmann, Megan Katsumi, Carmen Chui |
| 2014 | FOIS | Interdependence among material objects and voids. | Torsten Hahmann, Boyan Brodaric, Michael Grninger |
| 2014 | IC3K | Merging the DOLCE and PSL Upper Ontologies. | Carmen Chui, Michael Grninger |
| 2014 | IC3K | Techniques for Merging Upper Ontologies. | Carmen Chui, Michael Grninger |
| 2012 | AISC | The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization. | Christoph Lange, Oliver Kutz, Till Mossakowski, Michael Grninger |
| 2011 | IJCAI | Multidimensional Mereotopology with Betweenness. | Torsten Hahmann, Michael Grninger |
| 2011 | TIME | Verification of Time Ontologies with Points and Intervals. | Michael Grninger, Darren Ong |
| 2010 | FOIS | Ontology Verification with Repositories. | Michael Grninger, Torsten Hahmann, Ali Hashemi, Darren Ong |
| 2010 | FOIS | Foundational Process Relations in Bio-Ontologies. | Atalay zgvde, Michael Grninger |
| 2010 | IC3K | Theorem Proving in the Ontology Lifecycle. | Megan Katsumi, Michael Grninger |
| 2010 | IC3K | Automated Reasoning Support for Ontology Development. | Megan Katsumi, Michael Grninger |
| 2010 | KR | Ontologies for Dates and Duration. | Michael Grninger |
| 2001 | FOIS | A formal foundation for process modeling. | Christopher Menzel, Michael Grninger |
| 1995 | WETICE | An organisation ontology for enterprise modelling: preliminary concepts for linking structure and behaviour. | Mark S. Fox, Mihai Barbuceanu, Michael Grninger |
| 1995 | WETICE | An Ontology of Quality for Enterprise Modelling. | Henry M. Kim, Mark S. Fox, Michael Grninger |
| 1994 | CoopIS | Ontologies for Enterprise Integration. | Mark S. Fox, Michael Grninger |
| 1994 | WETICE | A generic enterprise resource ontology. | Fadi George Fadel, Mark S. Fox, Michael Grninger |
| 1994 | WETICE | A cost ontology for enterprise modelling. | K. Donald Tham, Mark S. Fox, Michael Grninger |