Mira Balaban - RankMe

71 papers A* 1A 6C 4Journal 23Unranked 33

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Pragmatic Issues in Multilevel Modeling Insights from Modeling the MULTI-Warehouse Challenge in MLM-USE. MODELS-C Mira Balaban, Azzam Maraee, Arnon Sturm
2024	—	`conf`	Mediation-Based MLM in USE. MoDELS (Companion) Mira Balaban, Lars Hamann, Gil Khais, Amiel Amram Saad, Azzam Maraee, Arnon Sturm
2023	—	`conf`	Clabject Typing in MLM - the Double Life of a Clabject: A Position Paper. MoDELS (Companion) Mira Balaban, Michael Kifer, Azzam Maraee
2022	J	`jnl`	Accidental complexity in multilevel modeling revisited. Softw. Syst. Model. Mira Balaban, Igal Khitron, Azzam Maraee
2022	—	`conf`	Mediation-based MLM in FOModeLer. MoDELS (Companion) Mira Balaban, Igal Khitron, Azzam Maraee, Michael Kifer
2020	J	`jnl`	Logic-based Software Modeling with FOML. J. Object Technol. Mira Balaban, Igal Khitron, Michael Kifer
2019	J	`jnl`	Removing redundant multiplicity constraints in UML class models. Softw. Syst. Model. Mira Balaban, Azzam Maraee
2018	—	`conf`	Context-aware factors in rearchitecting two-level models into multilevel models. MoDELS (Workshops) Mira Balaban, Igal Khitron, Azzam Maraee
2018	A	`conf`	Formal Executable Theory of Multilevel Modeling. CAiSE Mira Balaban, Igal Khitron, Michael Kifer, Azzam Maraee
2018	—	`conf`	Multilevel modeling: what's in a level? A position paper. MoDELS (Workshops) Mira Balaban, Igal Khitron, Michael Kifer, Azzam Maraee
2018	—	`conf`	Software engineering lab: an essential component of a software engineering curriculum. ICSE (SEET) Mira Balaban, Arnon Sturm
2016	—	`conf`	A Comparison of Textual Modeling Languages: OCL, Alloy, FOML. OCL@MoDELS Mira Balaban, Phillipa Bennett, Khanh-Hoang Doan, Geri Georg, Martin Gogolla, Igal Khitron, Michael Kifer
2016	—	`conf`	Multilevel Modeling and Reasoning with FOML. SwSTE Mira Balaban, Igal Khitron, Michael Kifer
2015	J	`jnl`	A pattern-based approach for improving model quality. Softw. Syst. Model. Mira Balaban, Azzam Maraee, Arnon Sturm, Pavel Jelnov
2015	—	`ed.`	Proceedings of the ACM Student Research Competition at MODELS 2015 co-located with the ACM/IEEE 18th International Conference MODELS 2015, Ottawa, Canada, September 29, 2015. SRC@MoDELS Mira Balaban, Martin Gogolla
2014	A	`conf`	Removing Redundancies and Deducing Equivalences in UML Class Diagrams. MoDELS Azzam Maraee, Mira Balaban
2014	—	`conf`	Symbolic Representation of Models Improves Model Understanding and Tendency to Use Models. EduSymp@MoDELS Mira Balaban
2013	J	`jnl`	Finite satisfiability of UML class diagrams with constrained class hierarchy. ACM Trans. Softw. Eng. Methodol. Mira Balaban, Azzam Maraee
2013	A	`conf`	Simplification and Correctness of UML Class Diagrams - Focusing on Multiplicity and Aggregation/Composition Constraints. MoDELS Mira Balaban, Azzam Maraee
2012	A	`conf`	Inter-association Constraints in UML2: Comparative Analysis, Usage Recommendations, and Modeling Guidelines. MoDELS Azzam Maraee, Mira Balaban
2012	—	`ed.`	Proceedings of the 12th Workshop on OCL and Textual Modelling, Innsbruck, Austria, September 30, 2012 OCL@MoDELS Mira Balaban, Jordi Cabot, Martin Gogolla, Claas Wilke
2012	—	`conf`	Workshop on OCL and textual modeling: OCL 2012. OCL@MoDELS Mira Balaban, Jordi Cabot, Martin Gogolla, Claas Wilke
2011	A	`conf`	Logic-Based Model-Level Software Development with F-OML. MoDELS Mira Balaban, Michael Kifer
2011	J	`jnl`	Model Correctness Patterns as an Educational Instrument. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Azzam Maraee, Mira Balaban, Arnon Sturm, Adiel Ashrov
2011	—	`conf`	On the interaction of inter-relationship constraints. MoDeVVa@MoDELS Azzam Maraee, Mira Balaban
2010	J	`jnl`	An Overview of F-OML: An F-Logic Based Object Modeling Language. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Mira Balaban, Michael Kifer
2010	J	`jnl`	Management of Correctness Problems in UML Class Diagrams Towards a Pattern-Based Approach. Int. J. Inf. Syst. Model. Des. Mira Balaban, Azzam Maraee, Arnon Sturm
2009	—	`conf`	Finite satisfiability of class diagrams: practical occurrence and scalability of the MoDeVVa@MoDELS Victor Makarenkov, Pavel Jelnov, Azzam Maraee, Mira Balaban
2009	J	`jnl`	Towards automatic integration of the business-data layers in enterprise-systems. J. Comput. Methods Sci. Eng. Mira Balaban, Lior Limonad
2008	—	`conf`	A UML-Based Method for Deciding Finite Satisfiability in Description Logics. Description Logics Mira Balaban, Azzam Maraee
2008	J	`jnl`	Effect Preservation in Transaction Processing in Rule Triggering Systems. Acta Cybern. Mira Balaban, Steffen Jurk
2008	—	`conf`	Towards Automatic Integration of the Business-Data Layers in Enterprise-Systems. SEDE Mira Balaban, L. Liimonad
2007	J	`jnl`	Effective Business Process Outsourcing: The Prosero Approach. Int. J. Interoperability Bus. Inf. Syst. Michael Elhadad, Mira Balaban, Arnon Sturm
2007	—	`conf`	Efficient Reasoning About Finite Satisfiability of UML Class Diagrams with Constrained Generalization Sets. ECMDA-FA Azzam Maraee, Mira Balaban
2006	—	`conf`	Consistency of UML Class Diagrams with Hierarchy Constraints. NGITS Mira Balaban, Azzam Maraee
2006	—	`conf`	Towards Automatic Integration of Persistency Requirements in Enterprise-Systems - The Persistent-to-Persistent Patterns. NGITS Mira Balaban, Lior Limonad
2005	—	`ch.`	Comprehension of Hierarchical ER Diagrams Compared to Flat ER Diagrams. Information Modeling Methods and Methodologies Revital Danoch, Peretz Shoval, Mira Balaban
2004	J	`jnl`	Hierarchical entity-relationship diagrams: the model, method of creation and experimental evaluation. Requir. Eng. Peretz Shoval, Revital Danoch, Mira Balaban
2003	—	`conf`	Analysis of Temporal Abstraction in Medical Databases. KRDB Mira Balaban, David Boaz, Yuval Shahar
2002	J	`jnl`	Abstraction as a means for end-user computing in creative applications. IEEE Trans. Syst. Man Cybern. Part A Mira Balaban, Eli Barzilay, Michael Elhadad
2002	—	`conf`	Answering Cooperative Recursive Queries in Web Federated Databases. NGITS Mira Balaban, Nikolai Berezansky, Ehud Gudes
2002	C	`conf`	Effect Preservation as a Means for Achieving Update Consistency. FQAS Mira Balaban, Steffen Jurk
2002	—	`ch.`	Enforcing Cardinality Constraints in the ER Model with Integrity Methods. Advanced Topics in Database Research, Vol. 1 Mira Balaban, Peretz Shoval
2002	—	`conf`	Hierarchical ER Diagrams (HERD) - The Method and Experimental Evaluation. ER (Workshops) Peretz Shoval, Revital Danoch, Mira Balaban
2002	—	`conf`	Intentions of Operations - Characterization and Preservation. ER (Workshops) Mira Balaban, Steffen Jurk
2002	J	`jnl`	MEERAn EER model enhanced with structure methods. Inf. Syst. Mira Balaban, Peretz Shoval
2002	—	`conf`	Structure and Interpretation of Music Concepts: Music from a Computational Perspective. ICMAI Mira Balaban
2002	—	`conf`	Towards Effect Preservation of Updates with Loops. IICIS Steffen Jurk, Mira Balaban
2001	J	`jnl`	DFL - a dialog based integration of concept and rule reasoners. Data Knowl. Eng. Mira Balaban, Adi Eyal
2001	C	`conf`	Improving Integrity Constraint Enforcement by Extended Rules and Dependency Graphs. DEXA Steffen Jurk, Mira Balaban
1999	—	`conf`	DFL - A Dialog Based Integration of Concept and Rule Reasoners. Description Logics Mira Balaban, Adi Eyal
1999	J	`jnl`	Enhancing the ER Model with Integrity Methods Information Management Systems. J. Database Manag. Mira Balaban, Peretz Shoval
1999	A	`conf`	Resolving the "Weak Status" of Weak Entity Types in Entity-Relationships Schemas. ER Mira Balaban, Peretz Shoval
1999	J	`jnl`	STCSP - Structured Temporal Constraint satisfaction Problems. Ann. Math. Artif. Intell. Mira Balaban, Tzachi Rosen
1999	J	`jnl`	Temporal reasoning in process planning. Artif. Intell. Eng. Des. Anal. Manuf. Mira Balaban, Dan Braha
1998	J	`jnl`	Interleaving Time and Structure. Comput. Artif. Intell. Mira Balaban
1998	J	`jnl`	Structured Plans with Sharing and Replication. Comput. Artif. Intell. Mira Balaban, Solomon Eyal Shimony
1997	—	`conf`	DFL - A Hybrid Integration of Descriptions and Rules, Using F-Logic as an Underlying Semantics. NGITS Mira Balaban, Adi Eyal
1997	—	`conf`	Experiments with the DFL Hybrid System. Description Logics Mira Balaban, Adi Eyal
1996	J	`jnl`	A Data Model for Processes Based on Relative Time. J. Intell. Inf. Syst. Mira Balaban, Yoram Kornatzky
1996	—	`conf`	Automatic Jazz Accompaniment Computation: An Open Advice-Based Approach. ICMC Mira Balaban, Stanislav Irish
1996	—	`conf`	DFL - A Hybrid Integration of Descriptions and Rules, using F-Logic as Underlying Semantics. KRDB Mira Balaban, Adi Eyal
1995	J	`jnl`	The F-logic Approach for Description Languages. Ann. Math. Artif. Intell. Mira Balaban
1992	—	`conf`	F-Logic as a Basis for a General Description Logic. Description Logics Mira Balaban
1989	A*	`conf`	The Logic of Time Structures: Temporal and Nonmonotonic Features. IJCAI Mira Balaban, Neil V. Murray
1988	—	`conf`	A Music-Workstation Based on Multiple Hierarchical Views of Music. ICMC Mira Balaban
1988	C	`conf`	LOGSTER - A Relational, Object-Oriented System for Knowledge Representation. ISMIS Mira Balaban, Stefan Strack
1988	J	`jnl`	The TTS Language for Music Description. Int. J. Man Mach. Stud. Mira Balaban
1987	C	`conf`	A First Order Calculus for Temporal Knowledge. ISMIS Mira Balaban, Neil V. Murray
1985	—	`conf`	Foundations for Artificial Intelligence Research of Western Tonal Music. ICMC Mira Balaban
1983	—	`conf`	Towards a Computer Research of Tonal Music. ICMC Mira Balaban