2008 |
35 | EE | Mira Balaban,
Azzam Maraee:
A UML-Based Method for Deciding Finite Satisfiability in Description Logics.
Description Logics 2008 |
2007 |
34 | EE | Azzam Maraee,
Mira Balaban:
Efficient Reasoning About Finite Satisfiability of UML Class Diagrams with Constrained Generalization Sets.
ECMDA-FA 2007: 17-31 |
2006 |
33 | EE | Mira Balaban,
Lior Limonad:
Towards Automatic Integration of Persistency Requirements in Enterprise-Systems - The Persistent-to-Persistent Patterns.
NGITS 2006: 59-70 |
32 | EE | Mira Balaban,
Azzam Maraee:
Consistency of UML Class Diagrams with Hierarchy Constraints.
NGITS 2006: 71-82 |
2005 |
31 | | 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 |
30 | EE | 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 |
29 | EE | Mira Balaban,
David Boaz,
Yuval Shahar:
Analysis of Temporal Abstraction in Medical Databases.
KRDB 2003 |
2002 |
28 | EE | Mira Balaban,
Steffen Jurk:
Intentions of Operations - Characterization and Preservation.
ER (Workshops) 2002: 100-111 |
27 | EE | Peretz Shoval,
Revital Danoch,
Mira Balaban:
Hierarchical ER Diagrams (HERD) - The Method and Experimental Evaluation.
ER (Workshops) 2002: 264-274 |
26 | EE | Mira Balaban,
Steffen Jurk:
Effect Preservation as a Means for Achieving Update Consistency.
FQAS 2002: 28-43 |
25 | EE | Mira Balaban:
Structure and Interpretation of Music Concepts: Music from a Computational Perspective.
ICMAI 2002: 1-3 |
24 | | Steffen Jurk,
Mira Balaban:
Towards Effect Preservation of Updates with Loops.
IICIS 2002: 59-75 |
23 | EE | Mira Balaban,
Nikolai Berezansky,
Ehud Gudes:
Answering Cooperative Recursive Queries in Web Federated Databases.
NGITS 2002: 14-28 |
22 | | Mira Balaban,
Peretz Shoval:
Enforcing Cardinality Constraints in the ER Model with Integrity Methods.
Advanced Topics in Database Research, Vol. 1 2002: 1-16 |
21 | | 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) |
20 | EE | Mira Balaban,
Peretz Shoval:
MEERAn EER model enhanced with structure methods.
Inf. Syst. 27(4): 245-275 (2002) |
2001 |
19 | EE | Steffen Jurk,
Mira Balaban:
Improving Integrity Constraint Enforcement by Extended Rules and Dependency Graphs.
DEXA 2001: 501-516 |
18 | EE | Mira Balaban,
Adi Eyal:
DFL - a dialog based integration of concept and rule reasoners.
Data Knowl. Eng. 38(3): 301-334 (2001) |
1999 |
17 | EE | Mira Balaban,
Adi Eyal:
DFL - A Dialog Based Integration of Concept and Rule Reasoners.
Description Logics 1999 |
16 | EE | Mira Balaban,
Peretz Shoval:
Resolving the "Weak Status" of Weak Entity Types in Entity-Relationships Schemas.
ER 1999: 369-383 |
15 | EE | Mira Balaban,
Dan Braha:
Temporal reasoning in process planning.
AI EDAM 13(2): 91-104 (1999) |
14 | | Mira Balaban,
Tzachi Rosen:
STCSP - Structured Temporal Constraint satisfaction Problems.
Ann. Math. Artif. Intell. 25(1-2): 35-67 (1999) |
13 | | Mira Balaban,
Peretz Shoval:
Enhancing the ER Model with Integrity Methods Information Management Systems.
J. Database Manag. 10(4): 14-23 (1999) |
1998 |
12 | | Mira Balaban:
Interleaving Time and Structure.
Computers and Artificial Intelligence 17(1): (1998) |
11 | | Mira Balaban,
Solomon Eyal Shimony:
Structured Plans with Sharing and Replication.
Computers and Artificial Intelligence 17(4): (1998) |
1997 |
10 | EE | Mira Balaban,
Adi Eyal:
Experiments with the DFL Hybrid System.
Description Logics 1997 |
9 | | Mira Balaban,
Adi Eyal:
DFL - A Hybrid Integration of Descriptions and Rules, Using F-Logic as an Underlying Semantics.
NGITS 1997: 0- |
1996 |
8 | EE | Mira Balaban,
Adi Eyal:
DFL - A Hybrid Integration of Descriptions and Rules, using F-Logic as Underlying Semantics.
KRDB 1996 |
7 | | Mira Balaban,
Yoram Kornatzky:
A Data Model for Processes Based on Relative Time.
J. Intell. Inf. Syst. 7(1): 29- (1996) |
1995 |
6 | | Mira Balaban:
The F-logic Approach for Description Languages.
Ann. Math. Artif. Intell. 15(1): 19-60 (1995) |
1992 |
5 | | Mira Balaban:
F-Logic as a Basis for a General Description Logic.
Description Logics 1992: 6-10 |
1989 |
4 | | Mira Balaban,
Neil V. Murray:
The Logic of Time Structures: Temporal and Nonmonotonic Features.
IJCAI 1989: 1285-1290 |
1988 |
3 | | Mira Balaban,
Stefan Strack:
LOGSTER - A Relational, Object-Oriented System for Knowledge Representation.
ISMIS 1988: 210-219 |
2 | | Mira Balaban:
The TTS Language for Music Description.
International Journal of Man-Machine Studies 28(5): 505-523 (1988) |
1987 |
1 | | Mira Balaban,
Neil V. Murray:
A First Order Calculus for Temporal Knowledge.
ISMIS 1987: 193-200 |