Mira Balaban

Mira Balaban, Jordi Cabot, Martin Gogolla, Claas Wilke: Workshop on OCL and textual modeling: OCL 2012. OCL and Textual Modelling 2012: 5-6

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

Mira Balaban, Jordi Cabot, Martin Gogolla, Claas Wilke (Eds.): Proceedings of the 12th Workshop on OCL and Textual Modelling, Innsbruck, Austria, September 30, 2012. ACM 2012, isbn 978-1-4503-1799-3

Azzam Maraee, Mira Balaban, Arnon Sturm, Adiel Ashrov: Model Correctness Patterns as an Educational Instrument. ECEASST 52 (2011)

Mira Balaban, Michael Kifer: Logic-Based Model-Level Software Development with F-OML. MoDELS 2011: 517-532

Mira Balaban, Michael Kifer: An Overview of F-OML: An F-Logic Based Object Modeling Language. ECEASST 36 (2010)

Mira Balaban, Azzam Maraee, Arnon Sturm: Management of Correctness Problems in UML Class Diagrams Towards a Pattern-Based Approach. IJISMD 1(4): 24-47 (2010)

Mira Balaban, Lior Limonad: Towards automatic integration of the business-data layers in enterprise-systems. J. Comput. Meth. in Science and Engineering 9(4-6): 69-80 (2009)

Mira Balaban, Steffen Jurk: Effect Preservation in Transaction Processing in Rule Triggering Systems. Acta Cybern. 18(4): 733-776 (2008)

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

Michael Elhadad, Mira Balaban, Arnon Sturm: Effective Business Process Outsourcing: The Prosero Approach. IBIS 6: 8-31 (2007)

Azzam Maraee, Mira Balaban: Efficient Reasoning About Finite Satisfiability of UML Class Diagrams with Constrained Generalization Sets. ECMDA-FA 2007: 17-31

Mira Balaban, Lior Limonad: Towards Automatic Integration of Persistency Requirements in Enterprise-Systems - The Persistent-to-Persistent Patterns. NGITS 2006: 59-70

Mira Balaban, Azzam Maraee: Consistency of UML Class Diagrams with Hierarchy Constraints. NGITS 2006: 71-82

Revital Danoch, Peretz Shoval, Mira Balaban: Comprehension of Hierarchical ER Diagrams Compared to Flat ER Diagrams. Information Modeling Methods and Methodologies 2005: 241-257

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

Mira Balaban, David Boaz, Yuval Shahar: Analysis of Temporal Abstraction in Medical Databases. KRDB 2003

Mira Balaban, Peretz Shoval: MEERAn EER model enhanced with structure methods. Inf. Syst. 27(4): 245-275 (2002)

Mira Balaban, Eli Barzilay, Michael Elhadad: Abstraction as a means for end-user computing in creative applications. IEEE Transactions on Systems, Man, and Cybernetics, Part A 32(6): 640-653 (2002)

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

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

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

Mira Balaban, Steffen Jurk: Effect Preservation as a Means for Achieving Update Consistency. FQAS 2002: 28-43

Mira Balaban: Structure and Interpretation of Music Concepts: Music from a Computational Perspective. ICMAI 2002: 1-3

Mira Balaban, Nikolai Berezansky, Ehud Gudes: Answering Cooperative Recursive Queries in Web Federated Databases. NGITS 2002: 14-28

Steffen Jurk, Mira Balaban: Towards Effect Preservation of Updates with Loops. IICIS 2002: 59-75

Mira Balaban, Adi Eyal: DFL - a dialog based integration of concept and rule reasoners. Data Knowl. Eng. 38(3): 301-334 (2001)

Steffen Jurk, Mira Balaban: Improving Integrity Constraint Enforcement by Extended Rules and Dependency Graphs. DEXA 2001: 501-516

Mira Balaban, Dan Braha: Temporal reasoning in process planning. AI EDAM 13(2): 91-104 (1999)

Mira Balaban, Tzachi Rosen: STCSP - Structured Temporal Constraint satisfaction Problems. Ann. Math. Artif. Intell. 25(1-2): 35-67 (1999)

Mira Balaban, Peretz Shoval: Enhancing the ER Model with Integrity Methods Information Management Systems. J. Database Manag. 10(4): 14-23 (1999)

Mira Balaban, Adi Eyal: DFL - A Dialog Based Integration of Concept and Rule Reasoners. Description Logics 1999

Mira Balaban, Peretz Shoval: Resolving the "Weak Status" of Weak Entity Types in Entity-Relationships Schemas. ER 1999: 369-383

Mira Balaban: Interleaving Time and Structure. Computers and Artificial Intelligence 17(1) (1998)

Mira Balaban, Solomon Eyal Shimony: Structured Plans with Sharing and Replication. Computers and Artificial Intelligence 17(4) (1998)

Mira Balaban, Adi Eyal: Experiments with the DFL Hybrid System. Description Logics 1997

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

Mira Balaban, Yoram Kornatzky: A Data Model for Processes Based on Relative Time. J. Intell. Inf. Syst. 7(1): 29-50 (1996)

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

Mira Balaban: The F-logic Approach for Description Languages. Ann. Math. Artif. Intell. 15(1): 19-60 (1995)

Mira Balaban: F-Logic as a Basis for a General Description Logic. Description Logics 1992: 6-10

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

Mira Balaban: The TTS Language for Music Description. International Journal of Man-Machine Studies 28(5): 505-523 (1988)

Mira Balaban, Stefan Strack: LOGSTER - A Relational, Object-Oriented System for Knowledge Representation. ISMIS 1988: 210-219

Mira Balaban, Neil V. Murray: A First Order Calculus for Temporal Knowledge. ISMIS 1987: 193-200