Towards a Computer Research of Tonal Music. - Mira Balaban (ICMC, 1983)

Foundations for Artificial Intelligence Research of Western Tonal Music. - Mira Balaban (ICMC, 1985)

A First Order Calculus for Temporal Knowledge. - Mira Balaban; Neil V. Murray (ISMIS, 1987)

A Music-Workstation Based on Multiple Hierarchical Views of Music. - Mira Balaban (ICMC, 1988)

LOGSTER - A Relational, Object-Oriented System for Knowledge Representation. - Mira Balaban; Stefan Strack (ISMIS, 1988)

The TTS Language for Music Description. - Mira Balaban (Int. J. Man Mach. Stud., 1988)

The Logic of Time Structures: Temporal and Nonmonotonic Features. - Mira Balaban; Neil V. Murray (IJCAI, 1989)

F-Logic as a Basis for a General Description Logic. - Mira Balaban (Description Logics, 1992)

The F-logic Approach for Description Languages. - Mira Balaban (Ann. Math. Artif. Intell., 1995)

Automatic Jazz Accompaniment Computation: An Open Advice-Based Approach. - Mira Balaban; Stanislav Irish (ICMC, 1996)

DFL - A Hybrid Integration of Descriptions and Rules, using F-Logic as Underlying Semantics. - Mira Balaban; Adi Eyal (KRDB, 1996)

A Data Model for Processes Based on Relative Time. - Mira Balaban; Yoram Kornatzky (J. Intell. Inf. Syst., 1996)

Experiments with the DFL Hybrid System. - Mira Balaban; Adi Eyal (Description Logics, 1997)

DFL - A Hybrid Integration of Descriptions and Rules, Using F-Logic as an Underlying Semantics. - Mira Balaban; Adi Eyal (NGITS, 1997)

Interleaving Time and Structure. - Mira Balaban (Comput. Artif. Intell., 1998)

Structured Plans with Sharing and Replication. - Mira Balaban; Solomon Eyal Shimony (Comput. Artif. Intell., 1998)

Resolving the "Weak Status" of Weak Entity Types in Entity-Relationships Schemas. - Mira Balaban; Peretz Shoval (ER, 1999)

Temporal reasoning in process planning. - Mira Balaban; Dan Braha (Artif. Intell. Eng. Des. Anal. Manuf., 1999)

STCSP - Structured Temporal Constraint satisfaction Problems. - Mira Balaban; Tzachi Rosen (Ann. Math. Artif. Intell., 1999)

Enhancing the ER Model with Integrity Methods Information Management Systems. - Mira Balaban; Peretz Shoval (J. Database Manag., 1999)

Improving Integrity Constraint Enforcement by Extended Rules and Dependency Graphs. - Steffen Jurk; Mira Balaban (DEXA, 2001)

DFL - a dialog based integration of concept and rule reasoners. - Mira Balaban; Adi Eyal (Data Knowl. Eng., 2001)

Enforcing Cardinality Constraints in the ER Model with Integrity Methods. - Mira Balaban; Peretz Shoval (Advanced Topics in Database Research, Vol. 1, 2002)

Intentions of Operations - Characterization and Preservation. - Mira Balaban; Steffen Jurk (ER (Workshops), 2002)

Hierarchical ER Diagrams (HERD) - The Method and Experimental Evaluation. - Peretz Shoval; Revital Danoch; Mira Balaban (ER (Workshops), 2002)

Effect Preservation as a Means for Achieving Update Consistency. - Mira Balaban; Steffen Jurk (FQAS, 2002)

Structure and Interpretation of Music Concepts: Music from a Computational Perspective. - Mira Balaban (ICMAI, 2002)

Answering Cooperative Recursive Queries in Web Federated Databases. - Mira Balaban; Nikolai Berezansky; Ehud Gudes (NGITS, 2002)

Towards Effect Preservation of Updates with Loops. - Steffen Jurk; Mira Balaban (IICIS, 2002)

MEERAn EER model enhanced with structure methods. - Mira Balaban; Peretz Shoval (Inf. Syst., 2002)

Abstraction as a means for end-user computing in creative applications. - Mira Balaban; Eli Barzilay; Michael Elhadad (IEEE Trans. Syst. Man Cybern. Part A, 2002)

Analysis of Temporal Abstraction in Medical Databases. - Mira Balaban; David Boaz; Yuval Shahar (KRDB, 2003)

Hierarchical entity-relationship diagrams: the model, method of creation and experimental evaluation. - Peretz Shoval; Revital Danoch; Mira Balaban (Requir. Eng., 2004)

Comprehension of Hierarchical ER Diagrams Compared to Flat ER Diagrams. - Revital Danoch; Peretz Shoval; Mira Balaban (Information Modeling Methods and Methodologies, 2005)

Towards Automatic Integration of Persistency Requirements in Enterprise-Systems - The Persistent-to-Persistent Patterns. - Mira Balaban; Lior Limonad (NGITS, 2006)

Consistency of UML Class Diagrams with Hierarchy Constraints. - Mira Balaban; Azzam Maraee (NGITS, 2006)

Efficient Reasoning About Finite Satisfiability of UML Class Diagrams with Constrained Generalization Sets. - Azzam Maraee; Mira Balaban (ECMDA-FA, 2007)

Effective Business Process Outsourcing: The Prosero Approach. - Michael Elhadad; Mira Balaban; Arnon Sturm (Int. J. Interoperability Bus. Inf. Syst., 2007)

A UML-Based Method for Deciding Finite Satisfiability in Description Logics. - Mira Balaban; Azzam Maraee (Description Logics, 2008)

Towards Automatic Integration of the Business-Data Layers in Enterprise-Systems. - Mira Balaban; L. Liimonad (SEDE, 2008)

Effect Preservation in Transaction Processing in Rule Triggering Systems. - Mira Balaban; Steffen Jurk (Acta Cybern., 2008)

Finite satisfiability of class diagrams: practical occurrence and scalability of the FiniteSat algorithm. - Victor Makarenkov; Pavel Jelnov; Azzam Maraee; Mira Balaban (MoDeVVa@MoDELS, 2009)

Towards automatic integration of the business-data layers in enterprise-systems. - Mira Balaban; Lior Limonad (J. Comput. Methods Sci. Eng., 2009)

An Overview of F-OML: An F-Logic Based Object Modeling Language. - Mira Balaban; Michael Kifer (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Management of Correctness Problems in UML Class Diagrams Towards a Pattern-Based Approach. - Mira Balaban; Azzam Maraee; Arnon Sturm (Int. J. Inf. Syst. Model. Des., 2010)

Logic-Based Model-Level Software Development with F-OML. - Mira Balaban; Michael Kifer (MoDELS, 2011)

On the interaction of inter-relationship constraints. - Azzam Maraee; Mira Balaban (MoDeVVa@MoDELS, 2011)

Model Correctness Patterns as an Educational Instrument. - Azzam Maraee; Mira Balaban; Arnon Sturm; Adiel Ashrov (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Workshop on OCL and textual modeling: OCL 2012. - Mira Balaban; Jordi Cabot; Martin Gogolla; Claas Wilke (OCL@MoDELS, 2012)

Inter-association Constraints in UML2: Comparative Analysis, Usage Recommendations, and Modeling Guidelines. - Azzam Maraee; Mira Balaban (MoDELS, 2012)

Simplification and Correctness of UML Class Diagrams - Focusing on Multiplicity and Aggregation/Composition Constraints. - Mira Balaban; Azzam Maraee (MoDELS, 2013)

Finite satisfiability of UML class diagrams with constrained class hierarchy. - Mira Balaban; Azzam Maraee (ACM Trans. Softw. Eng. Methodol., 2013)

Symbolic Representation of Models Improves Model Understanding and Tendency to Use Models. - Mira Balaban (EduSymp@MoDELS, 2014)

Removing Redundancies and Deducing Equivalences in UML Class Diagrams. - Azzam Maraee; Mira Balaban (MoDELS, 2014)

A pattern-based approach for improving model quality. - Mira Balaban; Azzam Maraee; Arnon Sturm; Pavel Jelnov (Softw. Syst. Model., 2015)

A Comparison of Textual Modeling Languages: OCL, Alloy, FOML. - Mira Balaban; Phillipa Bennett; Khanh-Hoang Doan; Geri Georg; Martin Gogolla; Igal Khitron; Michael Kifer (OCL@MoDELS, 2016)

Multilevel Modeling and Reasoning with FOML. - Mira Balaban; Igal Khitron; Michael Kifer (SwSTE, 2016)

Formal Executable Theory of Multilevel Modeling. - Mira Balaban; Igal Khitron; Michael Kifer; Azzam Maraee (CAiSE, 2018)

Software engineering lab: an essential component of a software engineering curriculum. - Mira Balaban; Arnon Sturm (ICSE (SEET), 2018)

Multilevel modeling: what's in a level? A position paper. - Mira Balaban; Igal Khitron; Michael Kifer; Azzam Maraee (MoDELS (Workshops), 2018)

Context-aware factors in rearchitecting two-level models into multilevel models. - Mira Balaban; Igal Khitron; Azzam Maraee (MoDELS (Workshops), 2018)

Removing redundant multiplicity constraints in UML class models. - Mira Balaban; Azzam Maraee (Softw. Syst. Model., 2019)

Logic-based Software Modeling with FOML. - Mira Balaban; Igal Khitron; Michael Kifer (J. Object Technol., 2020)

Mediation-based MLM in FOModeLer. - Mira Balaban; Igal Khitron; Azzam Maraee; Michael Kifer (MoDELS (Companion), 2022)

Accidental complexity in multilevel modeling revisited. - Mira Balaban; Igal Khitron; Azzam Maraee (Softw. Syst. Model., 2022)

Clabject Typing in MLM - the Double Life of a Clabject: A Position Paper. - Mira Balaban; Michael Kifer; Azzam Maraee (MoDELS (Companion), 2023)

Mediation-Based MLM in USE. - Mira Balaban; Lars Hamann; Gil Khais; Amiel Amram Saad; Azzam Maraee; Arnon Sturm (MoDELS (Companion), 2024)