![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Mira Balaban
Person information
- affiliation: Ben-Gurion University, Beersheba, Israel
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c42]Mira Balaban, Michael Kifer, Azzam Maraee:
Clabject Typing in MLM - the Double Life of a Clabject: A Position Paper. MoDELS (Companion) 2023: 635-638 - 2022
- [j23]Mira Balaban, Igal Khitron, Azzam Maraee:
Accidental complexity in multilevel modeling revisited. Softw. Syst. Model. 21(2): 517-542 (2022) - [c41]Mira Balaban, Igal Khitron, Azzam Maraee, Michael Kifer:
Mediation-based MLM in FOModeLer. MoDELS (Companion) 2022: 444-452 - 2020
- [j22]Mira Balaban, Igal Khitron, Michael Kifer:
Logic-based Software Modeling with FOML. J. Object Technol. 19(3): 3:1-21 (2020)
2010 – 2019
- 2019
- [j21]Mira Balaban, Azzam Maraee:
Removing redundant multiplicity constraints in UML class models. Softw. Syst. Model. 18(4): 2717-2751 (2019) - 2018
- [c40]Mira Balaban, Igal Khitron, Michael Kifer, Azzam Maraee:
Formal Executable Theory of Multilevel Modeling. CAiSE 2018: 391-406 - [c39]Mira Balaban, Arnon Sturm
:
Software engineering lab: an essential component of a software engineering curriculum. ICSE (SEET) 2018: 21-30 - [c38]Mira Balaban, Igal Khitron, Azzam Maraee:
Context-aware factors in rearchitecting two-level models into multilevel models. MoDELS (Workshops) 2018: 683-692 - [c37]Mira Balaban, Igal Khitron, Michael Kifer, Azzam Maraee:
Multilevel modeling: what's in a level? A position paper. MoDELS (Workshops) 2018: 693-697 - 2016
- [c36]Mira Balaban, Phillipa Bennett, Khanh-Hoang Doan, Geri Georg, Martin Gogolla, Igal Khitron, Michael Kifer:
A Comparison of Textual Modeling Languages: OCL, Alloy, FOML. OCL@MoDELS 2016: 57-72 - [c35]Mira Balaban, Igal Khitron, Michael Kifer:
Multilevel Modeling and Reasoning with FOML. SwSTE 2016: 61-70 - 2015
- [j20]Mira Balaban, Azzam Maraee, Arnon Sturm
, Pavel Jelnov:
A pattern-based approach for improving model quality. Softw. Syst. Model. 14(4): 1527-1555 (2015) - [e2]Mira Balaban, Martin Gogolla:
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. CEUR Workshop Proceedings 1503, CEUR-WS.org 2015 [contents] - 2014
- [c34]Mira Balaban:
Symbolic Representation of Models Improves Model Understanding and Tendency to Use Models. EduSymp@MoDELS 2014: 72-75 - [c33]Azzam Maraee, Mira Balaban:
Removing Redundancies and Deducing Equivalences in UML Class Diagrams. MoDELS 2014: 235-251 - 2013
- [j19]Mira Balaban, Azzam Maraee:
Finite satisfiability of UML class diagrams with constrained class hierarchy. ACM Trans. Softw. Eng. Methodol. 22(3): 24:1-24:42 (2013) - [c32]Mira Balaban, Azzam Maraee:
Simplification and Correctness of UML Class Diagrams - Focusing on Multiplicity and Aggregation/Composition Constraints. MoDELS 2013: 454-470 - 2012
- [c31]Mira Balaban, Jordi Cabot
, Martin Gogolla, Claas Wilke:
Workshop on OCL and textual modeling: OCL 2012. OCL@MoDELS 2012: 5-6 - [c30]Azzam Maraee, Mira Balaban:
Inter-association Constraints in UML2: Comparative Analysis, Usage Recommendations, and Modeling Guidelines. MoDELS 2012: 302-318 - [e1]Mira Balaban, Jordi Cabot, Martin Gogolla, Claas Wilke:
Proceedings of the 12th Workshop on OCL and Textual Modelling, Innsbruck, Austria, September 30, 2012. ACM 2012, ISBN 978-1-4503-1799-3 [contents] - 2011
- [j18]Azzam Maraee, Mira Balaban, Arnon Sturm, Adiel Ashrov:
Model Correctness Patterns as an Educational Instrument. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 52 (2011) - [c29]Azzam Maraee, Mira Balaban:
On the interaction of inter-relationship constraints. MoDeVVa@MoDELS 2011: 3:1-3:8 - [c28]Mira Balaban, Michael Kifer:
Logic-Based Model-Level Software Development with F-OML. MoDELS 2011: 517-532 - 2010
- [j17]Mira Balaban, Michael Kifer:
An Overview of F-OML: An F-Logic Based Object Modeling Language. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 36 (2010) - [j16]Mira Balaban, Azzam Maraee, Arnon Sturm
:
Management of Correctness Problems in UML Class Diagrams Towards a Pattern-Based Approach. Int. J. Inf. Syst. Model. Des. 1(4): 24-47 (2010)
2000 – 2009
- 2009
- [j15]Mira Balaban, Lior Limonad
:
Towards automatic integration of the business-data layers in enterprise-systems. J. Comput. Methods Sci. Eng. 9(4-6): 69-80 (2009) - [c27]Victor Makarenkov, Pavel Jelnov, Azzam Maraee, Mira Balaban:
Finite satisfiability of class diagrams: practical occurrence and scalability of the FiniteSat algorithm. MoDeVVa@MoDELS 2009: 1:1-1:10 - 2008
- [j14]Mira Balaban, Steffen Jurk:
Effect Preservation in Transaction Processing in Rule Triggering Systems. Acta Cybern. 18(4): 733-776 (2008) - [c26]Mira Balaban, Azzam Maraee:
A UML-Based Method for Deciding Finite Satisfiability in Description Logics. Description Logics 2008 - [c25]Mira Balaban, L. Liimonad:
Towards Automatic Integration of the Business-Data Layers in Enterprise-Systems. SEDE 2008: 97-102 - 2007
- [j13]Michael Elhadad, Mira Balaban, Arnon Sturm:
Effective Business Process Outsourcing: The Prosero Approach. Int. J. Interoperability Bus. Inf. Syst. 6: 8-31 (2007) - [c24]Azzam Maraee, Mira Balaban:
Efficient Reasoning About Finite Satisfiability of UML Class Diagrams with Constrained Generalization Sets. ECMDA-FA 2007: 17-31 - 2006
- [c23]Mira Balaban, Lior Limonad
:
Towards Automatic Integration of Persistency Requirements in Enterprise-Systems - The Persistent-to-Persistent Patterns. NGITS 2006: 59-70 - [c22]Mira Balaban, Azzam Maraee:
Consistency of UML Class Diagrams with Hierarchy Constraints. NGITS 2006: 71-82 - 2005
- [p2]Revital Danoch, Peretz Shoval, Mira Balaban:
Comprehension of Hierarchical ER Diagrams Compared to Flat ER Diagrams. Information Modeling Methods and Methodologies 2005: 241-257 - 2004
- [j12]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) - 2003
- [c21]Mira Balaban, David Boaz, Yuval Shahar:
Analysis of Temporal Abstraction in Medical Databases. KRDB 2003 - 2002
- [j11]Mira Balaban, Peretz Shoval:
MEERAn EER model enhanced with structure methods. Inf. Syst. 27(4): 245-275 (2002) - [j10]Mira Balaban, Eli Barzilay, Michael Elhadad
:
Abstraction as a means for end-user computing in creative applications. IEEE Trans. Syst. Man Cybern. Part A 32(6): 640-653 (2002) - [c20]Mira Balaban, Steffen Jurk:
Intentions of Operations - Characterization and Preservation. ER (Workshops) 2002: 100-111 - [c19]Peretz Shoval, Revital Danoch
, Mira Balaban:
Hierarchical ER Diagrams (HERD) - The Method and Experimental Evaluation. ER (Workshops) 2002: 264-274 - [c18]Mira Balaban, Steffen Jurk:
Effect Preservation as a Means for Achieving Update Consistency. FQAS 2002: 28-43 - [c17]Mira Balaban:
Structure and Interpretation of Music Concepts: Music from a Computational Perspective. ICMAI 2002: 1-3 - [c16]Mira Balaban, Nikolai Berezansky, Ehud Gudes:
Answering Cooperative Recursive Queries in Web Federated Databases. NGITS 2002: 14-28 - [c15]Steffen Jurk, Mira Balaban:
Towards Effect Preservation of Updates with Loops. IICIS 2002: 59-75 - [p1]Mira Balaban, Peretz Shoval:
Enforcing Cardinality Constraints in the ER Model with Integrity Methods. Advanced Topics in Database Research, Vol. 1 2002: 1-16 - 2001
- [j9]Mira Balaban, Adi Eyal:
DFL - a dialog based integration of concept and rule reasoners. Data Knowl. Eng. 38(3): 301-334 (2001) - [c14]Steffen Jurk, Mira Balaban:
Improving Integrity Constraint Enforcement by Extended Rules and Dependency Graphs. DEXA 2001: 501-516
1990 – 1999
- 1999
- [j8]Mira Balaban, Dan Braha:
Temporal reasoning in process planning. Artif. Intell. Eng. Des. Anal. Manuf. 13(2): 91-104 (1999) - [j7]Mira Balaban, Tzachi Rosen:
STCSP - Structured Temporal Constraint satisfaction Problems. Ann. Math. Artif. Intell. 25(1-2): 35-67 (1999) - [j6]Mira Balaban, Peretz Shoval
:
Enhancing the ER Model with Integrity Methods Information Management Systems. J. Database Manag. 10(4): 14-23 (1999) - [c13]Mira Balaban, Adi Eyal:
DFL - A Dialog Based Integration of Concept and Rule Reasoners. Description Logics 1999 - [c12]Mira Balaban, Peretz Shoval:
Resolving the "Weak Status" of Weak Entity Types in Entity-Relationships Schemas. ER 1999: 369-383 - 1998
- [j5]Mira Balaban:
Interleaving Time and Structure. Comput. Artif. Intell. 17(1): 1-34 (1998) - [j4]Mira Balaban, Solomon Eyal Shimony:
Structured Plans with Sharing and Replication. Comput. Artif. Intell. 17(4): 257-292 (1998) - 1997
- [c11]Mira Balaban, Adi Eyal:
Experiments with the DFL Hybrid System. Description Logics 1997 - [c10]Mira Balaban, Adi Eyal:
DFL - A Hybrid Integration of Descriptions and Rules, Using F-Logic as an Underlying Semantics. NGITS 1997 - 1996
- [j3]Mira Balaban, Yoram Kornatzky:
A Data Model for Processes Based on Relative Time. J. Intell. Inf. Syst. 7(1): 29-50 (1996) - [c9]Mira Balaban, Stanislav Irish:
Automatic Jazz Accompaniment Computation: An Open Advice-Based Approach. ICMC 1996 - [c8]Mira Balaban, Adi Eyal:
DFL - A Hybrid Integration of Descriptions and Rules, using F-Logic as Underlying Semantics. KRDB 1996 - 1995
- [j2]Mira Balaban:
The F-logic Approach for Description Languages. Ann. Math. Artif. Intell. 15(1): 19-60 (1995) - 1992
- [c7]Mira Balaban:
F-Logic as a Basis for a General Description Logic. Description Logics 1992: 6-10
1980 – 1989
- 1989
- [c6]Mira Balaban, Neil V. Murray:
The Logic of Time Structures: Temporal and Nonmonotonic Features. IJCAI 1989: 1285-1290 - 1988
- [j1]Mira Balaban:
The TTS Language for Music Description. Int. J. Man Mach. Stud. 28(5): 505-523 (1988) - [c5]Mira Balaban:
A Music-Workstation Based on Multiple Hierarchical Views of Music. ICMC 1988 - [c4]Mira Balaban, Stefan Strack:
LOGSTER - A Relational, Object-Oriented System for Knowledge Representation. ISMIS 1988: 210-219 - 1987
- [c3]Mira Balaban, Neil V. Murray:
A First Order Calculus for Temporal Knowledge. ISMIS 1987: 193-200 - 1985
- [c2]Mira Balaban:
Foundations for Artificial Intelligence Research of Western Tonal Music. ICMC 1985 - 1983
- [c1]Mira Balaban:
Towards a Computer Research of Tonal Music. ICMC 1983
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:38 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint