| 2025 | MODELS | Pragmatic Issues in Multilevel Modeling Insights from Modeling the MULTI-Warehouse Challenge in MLM-USE. | Mira Balaban, Azzam Maraee, Arnon Sturm |
| 2024 | MODELS | Mediation-Based MLM in USE. | Mira Balaban, Lars Hamann, Gil Khais, Amiel Amram Saad, Azzam Maraee, Arnon Sturm |
| 2023 | MODELS | Clabject Typing in MLM - the Double Life of a Clabject: A Position Paper. | Mira Balaban, Michael Kifer, Azzam Maraee |
| 2022 | MODELS | Mediation-based MLM in FOModeLer. | Mira Balaban, Igal Khitron, Azzam Maraee, Michael Kifer |
| 2018 | CaiSE | Formal Executable Theory of Multilevel Modeling. | Mira Balaban, Igal Khitron, Michael Kifer, Azzam Maraee |
| 2018 | ICSE | Software engineering lab: an essential component of a software engineering curriculum. | Mira Balaban, Arnon Sturm |
| 2018 | MODELS | Multilevel modeling: what's in a level? A position paper. | Mira Balaban, Igal Khitron, Michael Kifer, Azzam Maraee |
| 2018 | MODELS | Context-aware factors in rearchitecting two-level models into multilevel models. | Mira Balaban, Igal Khitron, Azzam Maraee |
| 2016 | MODELS | A Comparison of Textual Modeling Languages: OCL, Alloy, FOML. | Mira Balaban, Phillipa Bennett, Khanh-Hoang Doan, Geri Georg, Martin Gogolla, Igal Khitron, Michael Kifer |
| 2014 | MODELS | Symbolic Representation of Models Improves Model Understanding and Tendency to Use Models. | Mira Balaban |
| 2014 | MODELS | Removing Redundancies and Deducing Equivalences in UML Class Diagrams. | Azzam Maraee, Mira Balaban |
| 2013 | MODELS | Simplification and Correctness of UML Class Diagrams - Focusing on Multiplicity and Aggregation/Composition Constraints. | Mira Balaban, Azzam Maraee |
| 2012 | MODELS | Workshop on OCL and textual modeling: OCL 2012. | Mira Balaban, Jordi Cabot, Martin Gogolla, Claas Wilke |
| 2012 | MODELS | Inter-association Constraints in UML2: Comparative Analysis, Usage Recommendations, and Modeling Guidelines. | Azzam Maraee, Mira Balaban |
| 2011 | MODELS | Logic-Based Model-Level Software Development with F-OML. | Mira Balaban, Michael Kifer |
| 2011 | MODELS | On the interaction of inter-relationship constraints. | Azzam Maraee, Mira Balaban |
| 2009 | MODELS | Finite satisfiability of class diagrams: practical occurrence and scalability of the | Victor Makarenkov, Pavel Jelnov, Azzam Maraee, Mira Balaban |
| 2002 | ER | Intentions of Operations - Characterization and Preservation. | Mira Balaban, Steffen Jurk |
| 2002 | ER | Hierarchical ER Diagrams (HERD) - The Method and Experimental Evaluation. | Peretz Shoval, Revital Danoch, Mira Balaban |
| 2002 | FQAS | Effect Preservation as a Means for Achieving Update Consistency. | Mira Balaban, Steffen Jurk |
| 2001 | DEXA | Improving Integrity Constraint Enforcement by Extended Rules and Dependency Graphs. | Steffen Jurk, Mira Balaban |
| 1999 | ER | Resolving the "Weak Status" of Weak Entity Types in Entity-Relationships Schemas. | Mira Balaban, Peretz Shoval |
| 1989 | IJCAI | The Logic of Time Structures: Temporal and Nonmonotonic Features. | Mira Balaban, Neil V. Murray |
| 1988 | ISMIS | LOGSTER - A Relational, Object-Oriented System for Knowledge Representation. | Mira Balaban, Stefan Strack |
| 1987 | ISMIS | A First Order Calculus for Temporal Knowledge. | Mira Balaban, Neil V. Murray |