| 2024 | ER | Modeling and Reasoning About Explanation Requirements Using Goal Models. | Sotirios Liaskos, John Mylopoulos, Alexander Borgida, Shakil M. Khan |
| 2023 | CHIIR | One of Us: a Multiplayer Web-based Game for Digital Evidence Acquisition of Scripts through Crowdsourcing. | Varvara Kalokyri, Alexander Borgida, Amlie Marian |
| 2022 | ICWSM | Supporting Human Memory by Reconstructing Personal Episodic Narratives from Digital Traces. | Varvara Kalokyri, Alexander Borgida, Amlie Marian |
| 2020 | ER | A Refinement Calculus for Requirements Engineering Based on Argumentation Theory. | Yehia ElRakaiby, Alexander Borgida, Alessio Ferrari, John Mylopoulos |
| 2019 | AAAI | On Limited Conjunctions and Partial Features in Parameter-Tractable Feature Logics. | Stephanie McIntyre, Alexander Borgida, David Toman, Grant E. Weddell |
| 2019 | BPM | Description Logics and Specialization for Structured BPMN. | Alexander Borgida, Varvara Kalokyri, Amlie Marian |
| 2018 | CIKM | YourDigitalSelf: A Personal Digital Trace Integration Tool. | Varvara Kalokyri, Alexander Borgida, Amlie Marian |
| 2018 | KR | On Limited Conjunctions in Polynomial Feature Logics, with Applications in OBDA. | Stephanie McIntyre, Alexander Borgida, David Toman, Grant E. Weddell |
| 2017 | IJCAI | Concerning Referring Expressions in Query Answers. | Alexander Borgida, David Toman, Grant E. Weddell |
| 2017 | SIGMOD | Integration and Exploration of Connected Personal Digital Traces. | Varvara Kalokyri, Alexander Borgida, Amlie Marian, Daniela Vianna |
| 2016 | CaiSE | Engineering Requirements with Desiree: An Empirical Evaluation. | Feng-Lin Li, Jennifer Horkoff, Lin Liu, Alexander Borgida, Giancarlo Guizzardi, John Mylopoulos |
| 2016 | ER | On Referring Expressions in Information Systems Derived from Conceptual Modelling. | Alexander Borgida, David Toman, Grant E. Weddell |
| 2016 | KR | On Referring Expressions in Query Answering over First Order Knowledge Bases. | Alexander Borgida, David Toman, Grant E. Weddell |
| 2015 | RE | Towards a general formal framework of Coherence Management in RE. | Alexander Borgida, Ivan Jureta, Anna Zamansky |
| 2015 | REFSQ | From Stakeholder Requirements to Formal Specifications Through Refinement. | Feng-Lin Li, Jennifer Horkoff, Alexander Borgida, Giancarlo Guizzardi, Lin Liu, John Mylopoulos |
| 2014 | FOIS | An Ontological Interpretation of Non-Functional Requirements. | Renata S. S. Guizzardi, Feng-Lin Li, Alexander Borgida, Giancarlo Guizzardi, Jennifer Horkoff, John Mylopoulos |
| 2014 | RE | Applying knowledge representation and reasoning to (simple) goal models. | Alexander Borgida, Jennifer Horkoff, John Mylopoulos |
| 2014 | RE | Non-functional requirements as qualities, with a spice of ontology. | Feng-Lin Li, Jennifer Horkoff, John Mylopoulos, Renata S. S. Guizzardi, Giancarlo Guizzardi, Alexander Borgida, Lin Liu |
| 2013 | ICSE | Requirements models for design- and runtime: a position paper. | Alexander Borgida, Fabiano Dalpiaz, Jennifer Horkoff, John Mylopoulos |
| 2013 | RCIS | Runtime goal models: Keynote. | Fabiano Dalpiaz, Alexander Borgida, Jennifer Horkoff, John Mylopoulos |
| 2012 | CaiSE | Agile Requirements Evolution via Paraconsistent Reasoning. | Neil A. Ernst, Alexander Borgida, John Mylopoulos, Ivan Jureta |
| 2011 | RE | Finding incremental solutions for evolving requirements. | Neil A. Ernst, Alexander Borgida, Ivan Jureta |
| 2010 | ER | Reasoning with Optional and Preferred Requirements. | Neil A. Ernst, John Mylopoulos, Alexander Borgida, Ivan Jureta |
| 2010 | RE | Techne: Towards a New Generation of Requirements Modeling Languages with Goals, Preferences, and Inconsistency Handling. | Ivan Jureta, Alexander Borgida, Neil A. Ernst, John Mylopoulos |
| 2009 | CaiSE | Measuring and Comparing Effectiveness of Data Quality Techniques. | Lei Jiang, Daniele Barone, Alexander Borgida, John Mylopoulos |
| 2008 | ER | Towards a Compositional Semantic Account of Data Quality Attributes. | Lei Jiang, Alexander Borgida, John Mylopoulos |
| 2007 | ICDE | A Semantic Approach to Discovering Schema Mapping Expressions. | Yuan An, Alexander Borgida, Rene J. Miller, John Mylopoulos |
| 2007 | RE | Goal-Oriented Conceptual Database Design. | Lei Jiang, Thodoros Topaloglou, Alexander Borgida, John Mylopoulos |
| 2006 | AAAI | Building Semantic Mappings from Databases to Ontologies. | Yuan An, John Mylopoulos, Alexander Borgida |
| 2006 | RE | Incorporating Goal Analysis in Database Design: A Case Study from Biological Data Management. | Lei Jiang, Thodoros Topaloglou, Alexander Borgida, John Mylopoulos |
| 2005 | APWEB | Databases and the Semantic Web: Data Semantics Revisited. | Alexander Borgida, John Mylopoulos |
| 2005 | IJCAI | Aspects of Distributed and Modular Ontology Reasoning. | Luciano Serafini, Alexander Borgida, Andrei Tamilin |
| 2002 | CoopIS | Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources. | Alexander Borgida, Luciano Serafini |
| 2000 | ECAI | Explaining ALC Subsumption. | Alexander Borgida, Enrico Franconi, Ian Horrocks |
| 1999 | ICSE | Adding more "DL" to IDL: Towards More Knowledgeable Component Inter-Operability. | Alexander Borgida, Premkumar T. Devanbu |
| 1998 | ICCS | Matching in Description Logics: Preliminary Results. | Franz Baader, Alexander Borgida, Deborah L. McGuinness |
| 1996 | KR | Asking Queries about Frames. | Alexander Borgida, Deborah L. McGuinness |
| 1995 | IJCAI | Explaining Subsumption in Description Logics. | Deborah L. McGuinness, Alexander Borgida |
| 1994 | CIKM | On The Relationship Between Description Logic and Predicate Logic. | Alexander Borgida |
| 1994 | ICSE | On Formal Requirements Modeling Languages: RML Revisited. | Sol J. Greenspan, John Mylopoulos, Alexander Borgida |
| 1993 | ICSE | "...And Nothing Else Changes": The Frame Problem in Procedure Specifications. | Alexander Borgida, John Mylopoulos, Raymond Reiter |
| 1993 | SIGMOD | Loading Data into Description Reasoners. | Alexander Borgida, Ronald J. Brachman |
| 1992 | AAAI | Computing Least Common Subsumers in Description Logics. | William W. Cohen, Alexander Borgida, Haym Hirsh |
| 1992 | KR | Towards the Systematic Development of Description Logic Reasoners: CLASP Reconstructed. | Alexander Borgida |
| 1990 | ER | Knowledge Representation, Semantic Data Modelling: What's the Difference? | Alexander Borgida |
| 1989 | IJCAI | Vivid Knowledge and Tractable Reasoning. | David W. Etherington, Alexander Borgida, Ronald J. Brachman, Henry A. Kautz |
| 1989 | KR | Hierarchical Knowledge Bases and Efficient Disjunctive Reasoning. | Alexander Borgida, David W. Etherington |
| 1989 | PODS | Type Systems for Querying Class Hierarchies with Non-strict Inheritance. | Alexander Borgida |
| 1989 | SIGMOD | Efficient Management of Transitive Relationships in Large Data and Knowledge Bases. | Rakesh Agrawal, Alexander Borgida, H. V. Jagadish |
| 1989 | SIGMOD | CLASSIC: A Structural Data Model for Objects. | Alexander Borgida, Ronald J. Brachman, Deborah L. McGuinness, Lori Alperin Resnick |
| 1988 | SIGMOD | Modeling Class Hierarchies with Contradictions. | Alexander Borgida |
| 1987 | SIGMOD | Implementation of a Compiler for a Semantic Data Model: Experiences with Taxis. | Brian A. Nixon, Lawrence Chung, David Lauzon, Alexander Borgida, John Mylopoulos, Martin Stanley |
| 1985 | VLDB | Accommodating Exceptions in Databases, and Refining the Schema by Learning from them. | Alexander Borgida, Keith E. Williamson |
| 1985 | WI | Knowledge Reperesentation as the Basis for Requirements Specification (Reprint). | Alexander Borgida, Sol J. Greenspan, John Mylopoulos |
| 1982 | ICSE | Capturing More World Knowledge in the Requirements Specification. | Sol J. Greenspan, John Mylopoulos, Alexander Borgida |
| 1981 | IJCAI | On the Definition of Specialization Hierarchies for Procedures. | Alexander Borgida |
| 1981 | VLDB | Data Models and Data Manipulation Languages: Complementary Semantics and Proof Theory | Alexander Borgida, Harry K. T. Wong |
| 1980 | SIGMOD | Data and Activities: Exploiting Hierarchies of Classes. | Alexander Borgida, Sol J. Greenspan |
| 1980 | SIGMOD | Consistency of Models (discussion). | John Miles Smith, Charles Rich, Jonathan J. King, Peter Hitchcock, Alexander Borgida, Jaime G. Carbonell |
| 1975 | IJCAI | Semantic Networks and the Generation of Context. | John Mylopoulos, Philip R. Cohen, Alexander Borgida, Laszlo Sugar |