Semantic Networks and the Generation of Context. - John Mylopoulos; Philip R. Cohen; Alexander Borgida; Laszlo Sugar (IJCAI, 1975)

TORUS: a step towards bridging the gap between data bases and the casual user. - John Mylopoulos; Alexander Borgida; Phil Cohen 001; Nick Roussopoulos; John K. Tsotsos; Harry K. T. Wong (Inf. Syst., 1976)

Formal studies of stratificational grammars. - Alexander Borgida (1977)

Data and Activities: Exploiting Hierarchies of Classes. - Alexander Borgida; Sol J. Greenspan (SIGMOD Rec., 1980)

Consistency of Models (discussion). - John Miles Smith; Charles Rich; Jonathan J. King; Peter Hitchcock; Alexander Borgida; Jaime G. Carbonell (SIGMOD Rec., 1980)

On the Definition of Specialization Hierarchies for Procedures. - Alexander Borgida (IJCAI, 1981)

Data Models and Data Manipulation Languages: Complementary Semantics and Proof Theory - Alexander Borgida; Harry K. T. Wong (VLDB, 1981)

Generalization/Specialization as a Basis for Software Specification. - Alexander Borgida; John Mylopoulos; Harry K. T. Wong (On Conceptual Modelling (Intervale), 1982)

Capturing More World Knowledge in the Requirements Specification. - Sol J. Greenspan; John Mylopoulos; Alexander Borgida (ICSE, 1982)

Some Formal Results about Stratificational Grammars and Their Relevance to Linguistics. - Alexander Borgida (Math. Syst. Theory, 1983)

Decision Making in Commitees - A Framework for Dealing with Inconsistency and Non-Monotonicity. - Alexander Borgida; Tomasz Imielinski (NMR, 1984)

The Darwin Software-Developemnt-Environemnt for Evolving Systems. - Naftaly H. Minsky; Alexander Borgida (Software Development Environments (SDE), 1984)

Information System Design at the Conceptual Level - The Taxis Project. - John Mylopoulos; Alexander Borgida; Sol J. Greenspan; Harry K. T. Wong (IEEE Database Eng. Bull., 1984)

Conceptual Modeling of Information Systems. - Alexander Borgida (On Knowledge Base Management Systems (Islamorada), 1985)

Languages and The Engineering of Large Knowledge Bases. - Alexander Borgida (On Knowledge Base Management Systems (Islamorada), 1985)

Class Hierarchies in Information Systems: Sets, Types, or Prototypes? - Alexander Borgida (Data Types and Persistence (Appin), 1985)

The Software Development Environment as a Knowledge Base Management System. - Alexander Borgida; Matthias Jarke; John Mylopoulos; Joachim W. Schmidt; Yannis Vassiliou (Foundations of Knowledge Base Management (Xania), 1985)

Learning Improved Integrity Constraints and Schemes From Exceptions in Data and Knowledge Bases. - Alexander Borgida; Tom M. Mitchell; Keith E. Williamson (On Knowledge Base Management Systems (Islamorada), 1985)

Design of a Compiler for a Semantic Data Model. - Brian A. Nixon; Lawrence Chung; David Lauzon; Alexander Borgida; John Mylopoulos; Martin Stanley (Foundations of Knowledge Base Management (Xania), 1985)

Accomodating Exceptions to (Type) Constraints in Information Systems - a position paper - Alexander Borgida (Data Types and Persistence (Appin), Informal Proceedings, 1985)

Accommodating Exceptions in Databases, and Refining the Schema by Learning from them. - Alexander Borgida; Keith E. Williamson (VLDB, 1985)

Knowledge Reperesentation as the Basis for Requirements Specification (Reprint). - Alexander Borgida; Sol J. Greenspan; John Mylopoulos (Wissensbasierte Systeme, 1985)

Knowledge Representation as the Basis for Requirements Specifications. - Alexander Borgida; Sol J. Greenspan; John Mylopoulos (Computer, 1985)

Features of Languages for the Development of Information Systems at the Conceptual Level. - Alexander Borgida (IEEE Softw., 1985)

Language Features for Flexible Handling of Exceptions in Information Systems. - Alexander Borgida (ACM Trans. Database Syst., 1985)

A requirements modeling language and its logic. - Sol J. Greenspan; Alexander Borgida; John Mylopoulos (Inf. Syst., 1986)

Exceptions in object-oriented languages. - Alexander Borgida (OOPWORK, 1986)

Can entity-based information systems live with exceptions? (abstract only). - Alexander Borgida (OOPWORK, 1986)

Exceptions dans les bases de données. - Alexander Borgida (BDA, 1987)

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 (SIGMOD Conference, 1987)

Constraint-Based Systems: Knowledge About Data - Panel Report. - Matthew Morgenstern; Alexander Borgida; Catherine Lassez; David Maier 001; Gio Wiederhold (Expert Database Conf., 1988)

Modeling Class Hierarchies with Contradictions. - Alexander Borgida (SIGMOD Conference, 1988)

Support for Data-Intensive Applications: Conceptual Design and Software Development. - Alexander Borgida; John Mylopoulos; Joachim W. Schmidt; Ingrid Wetzel (DBPL, 1989)

Vivid Knowledge and Tractable Reasoning. - David W. Etherington; Alexander Borgida; Ronald J. Brachman; Henry A. Kautz (IJCAI, 1989)

Hierarchical Knowledge Bases and Efficient Disjunctive Reasoning. - Alexander Borgida; David W. Etherington (KR, 1989)

Type Systems for Querying Class Hierarchies with Non-strict Inheritance. - Alexander Borgida (PODS, 1989)

Efficient Management of Transitive Relationships in Large Data and Knowledge Bases. - Rakesh Agrawal 001; Alexander Borgida; H. V. Jagadish (SIGMOD Conference, 1989)

CLASSIC: A Structural Data Model for Objects. - Alexander Borgida; Ronald J. Brachman; Deborah L. McGuinness; Lori Alperin Resnick (SIGMOD Conference, 1989)

Database Programming by Formal Refinement of Conceptual Designs. - Joachim W. Schmidt; Ingrid Wetzel; Alexander Borgida; John Mylopoulos (IEEE Data Eng. Bull., 1989)

Knowledge Representation, Semantic Data Modelling: What's the Difference? - Alexander Borgida (ER, 1990)

Telos: Representing Knowledge About Information Systems. - John Mylopoulos; Alexander Borgida; Matthias Jarke; Manolis Koubarakis (ACM Trans. Inf. Syst., 1990)

Living wiht Classic: When and How to Use a KL-ONE-Like Language. - Ronald J. Brachman; Deborah L. McGuinness; Peter F. Patel-Schneider; Lori Alperin Resnick; Alexander Borgida (Principles of Semantic Networks, 1991)

The CLASSIC Knowledge Representation System: Guiding Principles and Implementation Rationale. - Peter F. Patel-Schneider; Deborah L. McGuinness; Alexander Borgida (SIGART Bull., 1991)

Computing Least Common Subsumers in Description Logics. - William W. Cohen; Alexander Borgida; Haym Hirsh (AAAI, 1992)

Structural Subsumption: What Is It and Why Is It Important? - Alexander Borgida (Description Logics, 1992)

The CLASSIC Knowledge Representation System or, KL-ONE: The Next Generation. - Ronald J. Brachman; Alexander Borgida; Deborah L. McGuinness; Peter F. Patel-Schneider; Lori Alperin Resnick (FGCS, 1992)

Knowledge Base Management Systems using Description Logics and Their Role in Software Information Systems. - Alexander Borgida; Premkumar T. Devanbu (IFIP Congress (3), 1992)

Towards the Systematic Development of Description Logic Reasoners: CLASP Reconstructed. - Alexander Borgida (KR, 1992)

From Type Systems to Knowledge Representation: Natural Semantics Specifications for Description Logics. - Alexander Borgida (Int. J. Cooperative Inf. Syst., 1992)

Knowledge Representation and Reasoning in Software Engineering. - Alexander Borgida; Matthias Jarke (IEEE Trans. Software Eng., 1992)

"...And Nothing Else Changes": The Frame Problem in Procedure Specifications. - Alexander Borgida; John Mylopoulos; Raymond Reiter (ICSE, 1993)

Loading Data into Description Reasoners. - Alexander Borgida; Ronald J. Brachman (SIGMOD Conference, 1993)

On The Relationship Between Description Logic and Predicate Logic. - Alexander Borgida (CIKM, 1994)

On Formal Requirements Modeling Languages: RML Revisited. - Sol J. Greenspan; John Mylopoulos; Alexander Borgida (ICSE, 1994)

A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic. - Alexander Borgida; Peter F. Patel-Schneider (J. Artif. Intell. Res., 1994)

Explaining Subsumption in Description Logics. - Deborah L. McGuinness; Alexander Borgida (IJCAI (1), 1995)

Description Logics in Data Management. - Alexander Borgida (IEEE Trans. Knowl. Data Eng., 1995)

On the Frame Problem in Procedure Specifications. - Alexander Borgida; John Mylopoulos; Raymond Reiter (IEEE Trans. Software Eng., 1995)

Reasoning with Black Boxes: Handling Test Concepts in CLASSIC. - Alexander Borgida; Charles L. Isbell Jr.; Deborah L. McGuinness (Description Logics, 1996)

Asking Queries about Frames. - Alexander Borgida; Deborah L. McGuinness (KR, 1996)

On the Relative Expressiveness of Description Logics and Predicate Logics. - Alexander Borgida (Artif. Intell., 1996)

Incremental Individual Reasoning in ProtoDL. - Alexander Borgida (Description Logics, 1997)

Adding Uniqueness Constraints to Description Logics (Preliminary Report). - Alexander Borgida; Grant E. Weddell (DOOD, 1997)

Representing Software Engineering Knowledge. - John Mylopoulos; Alexander Borgida; Eric S. K. Yu (Autom. Softw. Eng., 1997)

Matching in Description Logics: Preliminary Results. - Franz Baader; Alexander Borgida; Deborah L. McGuinness (ICCS, 1998)

KRDB '98: The 5th International Workshop on Knowledge Representation Meets Databases. - Alexander Borgida; Vinay K. Chaudhri; Martin Staudt 001 (SIGMOD Rec., 1998)

Explaining ALC Subsumption. - Alexander Borgida; Enrico Franconi; Ian Horrocks 001; Deborah L. McGuinness; Peter F. Patel-Schneider (Description Logics, 1999)

Adding more "DL" to IDL: Towards More Knowledgeable Component Inter-Operability. - Alexander Borgida; Premkumar T. Devanbu (ICSE, 1999)

Tolerating exceptions in workflows: a unified framework for data and processes. - Alexander Borgida; Takahiro Murata (WACC, 1999)

"Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality. - Ronald J. Brachman; Deborah L. McGuinness; Peter F. Patel-Schneider; Alexander Borgida (Artif. Intell., 1999)

Extensible Knowledge Representation: the Case of Description Reasoners. - Alexander Borgida (J. Artif. Intell. Res., 1999)

Matching in Description Logics. - Franz Baader; Ralf Küsters; Alexander Borgida; Deborah L. McGuinness (J. Log. Comput., 1999)

What's not in a name: Some Properties of a Purely Structural Approach to Integrating Large DL Knowledge Bases. - Alexander Borgida; Ralf Küsters (Description Logics, 2000)

Explaining ALC Subsumption. - Alexander Borgida; Enrico Franconi; Ian Horrocks 001 (ECAI, 2000)

Lightweight Semantics For Shared Object-oriented Software. - Alexander Borgida (LMO, 2000)

Handling of Irregularities in Human Centered Systems: A Unified Framework for Data and Processes. - Takahiro Murata; Alexander Borgida (IEEE Trans. Software Eng., 2000)

Diachronic Description Logics. - Alexander Borgida (Description Logics, 2001)

What's in an Attribute? Consequences for the Least Common Subsumer. - Ralf Küsters; Alexander Borgida (J. Artif. Intell. Res., 2001)

Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources. - Alexander Borgida; Luciano Serafini (OTM, 2002)

Distributed Description Logics: First results. - Alexander Borgida; Luciano Serafini (Description Logics, 2002)

Being Logical About Desert Island Reading. - Alexander Borgida (Autom. Softw. Eng., 2002)

Conceptual Modeling with Description Logics. - Alexander Borgida; Ronald J. Brachman (Description Logic Handbook, 2003)

Description Logics for Databases. - Alexander Borgida; Maurizio Lenzerini; Riccardo Rosati 001 (Description Logic Handbook, 2003)

Representing the UMLS Semantic Network Using OWL: (Or "What's in a Semantic Web Link?"). - Vipul Kashyap; Alexander Borgida (ISWC, 2003)

Distributed Description Logics: Assimilating Information from Peer Sources. - Alexander Borgida; Luciano Serafini (J. Data Semant., 2003)

Refining Semantic Mappings from Relational Tables to Ontologies. - Yuan An; Alexander Borgida; John Mylopoulos (SWDB, 2004)

Data Semantics Revisited. - Alexander Borgida; John Mylopoulos (SWDB, 2004)

Databases and the Semantic Web: Data Semantics Revisited. - Alexander Borgida; John Mylopoulos (APWeb, 2005)

Towards Measuring Similarity in Description Logics. - Alexander Borgida; Thomas J. Walsh 001; Haym Hirsh (Description Logics, 2005)

Aspects of Distributed and Modular Ontology Reasoning. - Luciano Serafini; Alexander Borgida; Andrei Tamilin (IJCAI, 2005)

Inferring Complex Semantic Mappings Between Relational Tables and Ontologies from Simple Correspondences. - Yuan An; Alexander Borgida; John Mylopoulos (OTM Conferences (2), 2005)

Constructing Complex Semantic Mappings Between XML Data and Ontologies. - Yuan An; Alexander Borgida; John Mylopoulos (ISWC, 2005)

Properties of Information Modeling Techniques for Information Systems Engineering. - John Mylopoulos; Alexander Borgida (Handbook on Architectures of Information Systems, 2006)

Building Semantic Mappings from Databases to Ontologies. - Yuan An; John Mylopoulos; Alexander Borgida (AAAI, 2006)

Incorporating Goal Analysis in Database Design: A Case Study from Biological Data Management. - Lei Jiang 002; Thodoros Topaloglou; Alexander Borgida; John Mylopoulos (SEBD, 2006)

Discovering the Semantics of Relational Tables Through Mappings. - Yuan An; Alexander Borgida; John Mylopoulos (J. Data Semant., 2006)

On Importing Knowledge from DL Ontologies: Some Intuitions and Problems. - Alexander Borgida (Description Logics, 2007)

Knowledge Representation Meets Databases - a View of the Symbiosys. - Alexander Borgida (Description Logics, 2007)

A Semantic Approach to Discovering Schema Mapping Expressions. - Yuan An; Alexander Borgida; Renée J. Miller; John Mylopoulos (ICDE, 2007)

Data Quality By Design: A Goal-Oriented Approach. - Lei Jiang 002; Alexander Borgida; Thodoros Topaloglou; John Mylopoulos (ICIQ, 2007)

Importing from Functional Knowledge Bases - A Preview. - Alexander Borgida; Fausto Giunchiglia (WoMO, 2007)

Goal-Oriented Conceptual Database Design. - Lei Jiang 002; Thodoros Topaloglou; Alexander Borgida; John Mylopoulos (RE, 2007)

How knowledge representation meets software engineering (and often databases). - Alexander Borgida (Autom. Softw. Eng., 2007)

Explanation in DL-Lite. - Alexander Borgida; Diego Calvanese; Mariano Rodriguez-Muro (Description Logics, 2008)

Towards a Compositional Semantic Account of Data Quality Attributes. - Lei Jiang 002; Alexander Borgida; John Mylopoulos (ER, 2008)

Explanation in the DL-LiteFamily of Description Logics. - Alexander Borgida; Diego Calvanese; Mariano Rodriguez-Muro (OTM Conferences (2), 2008)

Discovering and Maintaining Semantic Mappings between XML Schemas and Ontologies. - Yuan An; Alexander Borgida; John Mylopoulos (J. Comput. Sci. Eng., 2008)

Measuring and Comparing Effectiveness of Data Quality Techniques. - Lei Jiang 002; Daniele Barone; Alexander Borgida; John Mylopoulos (CAiSE, 2009)

Description Logics. - Alexander Borgida (Encyclopedia of Database Systems, 2009)

Logical Database Design: from Conceptual to Logical Schema. - Alexander Borgida; Marco A. Casanova; Alberto H. F. Laender (Encyclopedia of Database Systems, 2009)

Conceptual Schema Design. - Alexander Borgida; John Mylopoulos (Encyclopedia of Database Systems, 2009)

On Importing Knowledge from Ontologies.. - Alexander Borgida (Modular Ontologies, 2009)

Reasoning with Optional and Preferred Requirements. - Neil A. Ernst; John Mylopoulos; Alexander Borgida; Ivan Jureta (ER, 2010)

Techne: Towards a New Generation of Requirements Modeling Languages with Goals, Preferences, and Inconsistency Handling. - Ivan Jureta; Alexander Borgida; Neil A. Ernst; John Mylopoulos (RE, 2010)

On Finding Query Rewritings under Expressive Constraints. - Alexander Borgida; Jos de Bruijn; Enrico Franconi; Inanç Seylan; Umberto Straccia; David Toman 001; Grant E. Weddell (SEBD, 2010)

Requirements evolution drives software evolution. - Neil A. Ernst; Alexander Borgida; John Mylopoulos (EVOL/IWPSE, 2011)

Finding incremental solutions for evolving requirements. - Neil A. Ernst; Alexander Borgida; Ivan Jureta (RE, 2011)

Mixed-Variable Requirements Roadmaps and their Role in the Requirements Engineering of Adaptive Systems - Ivan Jureta; Alexander Borgida; Neil A. Ernst (CoRR, 2011)

Agile Requirements Evolution via Paraconsistent Reasoning. - Neil A. Ernst; Alexander Borgida; John Mylopoulos; Ivan Jureta (CAiSE, 2012)

Experiences in Mapping the Business Intelligence Model to Description Logics, and the Case for Parametric Concepts. - Alexander Borgida; Jennifer Horkoff; John Mylopoulos; Riccardo Rosati 001 (Description Logics, 2012)

Making Data Meaningful: The Business Intelligence Model and Its Formal Semantics in Description Logics. - Jennifer Horkoff; Alexander Borgida; John Mylopoulos; Daniele Barone; Lei Jiang 002; Eric S. K. Yu; Daniel Amyot (OTM Conferences (2), 2012)

A Formal Semantics for Weighted Ontology Mappings. - Manuel Atencia; Alexander Borgida; Jérôme Euzenat; Chiara Ghidini; Luciano Serafini (ISWC (1), 2012)

Learning web-service task descriptions from traces. - Thomas J. Walsh 001; Michael L. Littman; Alexander Borgida (Web Intell. Agent Syst., 2012)

Requirements models for design- and runtime: a position paper. - Alexander Borgida; Fabiano Dalpiaz; Jennifer Horkoff; John Mylopoulos (MiSE, 2013)

Non-Functional Requirements Revisited. - Feng-Lin Li; Jennifer Horkoff; John Mylopoulos; Lin Liu 001; Alexander Borgida (iStar, 2013)

Runtime goal models: Keynote. - Fabiano Dalpiaz; Alexander Borgida; Jennifer Horkoff; John Mylopoulos (RCIS, 2013)

An Overview of Requirements Evolution. - Neil A. Ernst; Alexander Borgida; Ivan Jureta; John Mylopoulos (Evolving Software Systems, 2014)

An Ontological Interpretation of Non-Functional Requirements. - Renata S. S. Guizzardi; Feng-Lin Li; Alexander Borgida; Giancarlo Guizzardi; Jennifer Horkoff; John Mylopoulos (FOIS, 2014)

Applying knowledge representation and reasoning to (simple) goal models. - Alexander Borgida; Jennifer Horkoff; John Mylopoulos (AIRE, 2014)

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 001 (RE, 2014)

Agile requirements engineering via paraconsistent reasoning. - Neil A. Ernst; Alexander Borgida; Ivan Jureta; John Mylopoulos (Inf. Syst., 2014)

Strategic business modeling: representation and reasoning. - Jennifer Horkoff; Daniele Barone; Lei Jiang 002; Eric S. K. Yu; Daniel Amyot; Alexander Borgida; John Mylopoulos (Softw. Syst. Model., 2014)

The Requirements Problem for Adaptive Systems. - Ivan Jureta; Alexander Borgida; Neil A. Ernst; John Mylopoulos (ACM Trans. Manag. Inf. Syst., 2014)

Singular Referring Expressions in Conjunctive Query Answers: the case for a CFD DL Dialect. - Alexander Borgida; David Toman 001; Grant E. Weddell (Description Logics, 2015)

Towards a general formal framework of Coherence Management in RE. - Alexander Borgida; Ivan Jureta; Anna Zamansky (RE, 2015)

From Stakeholder Requirements to Formal Specifications Through Refinement. - Feng-Lin Li; Jennifer Horkoff; Alexander Borgida; Giancarlo Guizzardi; Lin Liu 001; John Mylopoulos (REFSQ, 2015)

Challenges for Semantic Technologies in Distributed Mobile Environments. - Evan W. Patton; Alexander Borgida (MoDeST@ISWC, 2015)

Engineering Requirements with Desiree: An Empirical Evaluation. - Feng-Lin Li; Jennifer Horkoff; Lin Liu 001; Alexander Borgida; Giancarlo Guizzardi; John Mylopoulos (CAiSE, 2016)

On Referring Expressions in Information Systems Derived from Conceptual Modelling. - Alexander Borgida; David Toman 001; Grant E. Weddell (ER, 2016)

On Referring Expressions in Query Answering over First Order Knowledge Bases. - Alexander Borgida; David Toman 001; Grant E. Weddell (KR, 2016)

Desiree: a Refinement Calculus for Requirements Problems. - Feng-Lin Li; Alexander Borgida; Giancarlo Guizzardi; Jennifer Horkoff; Lin Liu 001; John Mylopoulos (CoRR, 2016)

Concerning Referring Expressions in Query Answers. - Alexander Borgida; David Toman 001; Grant E. Weddell (IJCAI, 2017)

Semantic Modeling and Inference with Episodic Organization for Managing Personal Digital Traces - (Short Paper). - Varvara Kalokyri; Alexander Borgida; Amélie Marian; Daniela Vianna 001 (OTM Conferences (2), 2017)

Integration and Exploration of Connected Personal Digital Traces. - Varvara Kalokyri; Alexander Borgida; Amélie Marian; Daniela Vianna 001 (ExploreDB@SIGMOD/PODS, 2017)

YourDigitalSelf: A Personal Digital Trace Integration Tool. - Varvara Kalokyri; Alexander Borgida; Amélie Marian (CIKM, 2018)

On Limited Conjunctions in Polynomial Feature Logics, with Applications in OBDA. - Stephanie McIntyre; Alexander Borgida; David Toman 001; Grant E. Weddell (KR, 2018)

Description Logics. - Alexander Borgida (Encyclopedia of Database Systems (2nd ed.), 2018)

Logical Database Design: From Conceptual to Logical Schema. - Alexander Borgida; Marco A. Casanova; Alberto H. F. Laender (Encyclopedia of Database Systems (2nd ed.), 2018)

Conceptual Schema Design. - Alexander Borgida; John Mylopoulos (Encyclopedia of Database Systems (2nd ed.), 2018)

On Limited Conjunctions and Partial Features in Parameter-Tractable Feature Logics. - Stephanie McIntyre; Alexander Borgida; David Toman 001; Grant E. Weddell (AAAI, 2019)

Searching heterogeneous personal digital traces. - Daniela Vianna 001; Varvara Kalokyri; Alexander Borgida; Amélie Marian; Thu D. Nguyen (ASIST, 2019)

Initial Steps Towards a Family of Regular-Like Plan Description Logics. - Alexander Borgida (Description Logic, Theory Combination, and All That, 2019)

Description Logics and Specialization for Structured BPMN. - Alexander Borgida; Varvara Kalokyri; Amélie Marian (Business Process Management Workshops, 2019)

On Special Description Logics for Processes and Plans. - Alexander Borgida; David Toman 001; Grant E. Weddell (Description Logics, 2019)

A Refinement Calculus for Requirements Engineering Based on Argumentation Theory. - Yehia ElRakaiby; Alexander Borgida; Alessio Ferrari 001; John Mylopoulos (ER, 2020)

A Refinement Calculus for Requirements Engineering based on Argumentation Theory: Tool and Additional Material. - Yehia ElRakaiby; Alexander Borgida; Alessio Ferrari 001; John Mylopoulos (Zenodo, 2020)

A Refinement Calculus for Requirements Engineering based on Argumentation Theory: Tool and Additional Material. - Yehia ElRakaiby; Alexander Borgida; Alessio Ferrari 001; John Mylopoulos (Zenodo, 2020)

CaRE: A Refinement Calculus for Requirements Engineering based on Argumentation Theory (Proofs and Tool). - Yehia ElRakaiby; Alexander Borgida; Alessio Ferrari 001; John Mylopoulos (Zenodo, 2020)

A retrospective on Telos as a metamodeling language for requirements engineering. - Manolis Koubarakis; Alexander Borgida; Panos Constantopoulos; Martin Doerr; Matthias Jarke; Manfred A. Jeusfeld; John Mylopoulos; Dimitris Plexousakis (Requir. Eng., 2021)

Understanding Document Data Sources Using Ontologies with Referring Expressions. - Alexander Borgida; Enrico Franconi; David Toman 001; Grant E. Weddell (AI, 2022)

Accessing Document Data Sources using Referring Expression Types. - Alexander Borgida; Enrico Franconi; David Toman 001; Grant E. Weddell (Description Logics, 2022)

Supporting Human Memory by Reconstructing Personal Episodic Narratives from Digital Traces. - Varvara Kalokyri; Alexander Borgida; Amélie Marian (ICWSM, 2022)

CaRE: a refinement calculus for requirements engineering based on argumentation theory. - Yehia Elrakaiby; Alexander Borgida; Alessio Ferrari 001; John Mylopoulos (Softw. Syst. Model., 2022)

One of Us: a Multiplayer Web-based Game for Digital Evidence Acquisition of Scripts through Crowdsourcing. - Varvara Kalokyri; Alexander Borgida; Amélie Marian (CHIIR, 2023)

Path Description Dependencies in Feature-Based DLs. - Eva Feng; Alexander Borgida; Enrico Franconi; Peter F. Patel-Schneider; David Toman 001; Grant E. Weddell (Description Logics, 2023)

Episodic Memory Integration of Personal Data in YourDigitalSelf. - Varvara Kalokyri; Alexander Borgida; Amélie Marian (IEEE Data Eng. Bull., 2023)

Modeling and Reasoning About Explanation Requirements Using Goal Models. - Sotirios Liaskos; John Mylopoulos; Alexander Borgida; Shakil M. Khan 001 (ER, 2024)

Dataset for a requirements modeling language and the Desiree framework. - Feng-Lin Li; Jennifer Horkoff; John Mylopoulos; Alexander Borgida; Renata Guizzardi; Giancarlo Guizzardi; Lin Liu 001; Yi Peng (Zenodo, 2024)