dblp.uni-trier.dewww.uni-trier.de

Mira Balaban Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2008
35EEMira Balaban, Azzam Maraee: A UML-Based Method for Deciding Finite Satisfiability in Description Logics. Description Logics 2008
2007
34EEAzzam Maraee, Mira Balaban: Efficient Reasoning About Finite Satisfiability of UML Class Diagrams with Constrained Generalization Sets. ECMDA-FA 2007: 17-31
2006
33EEMira Balaban, Lior Limonad: Towards Automatic Integration of Persistency Requirements in Enterprise-Systems - The Persistent-to-Persistent Patterns. NGITS 2006: 59-70
32EEMira 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
30EEPeretz 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
29EEMira Balaban, David Boaz, Yuval Shahar: Analysis of Temporal Abstraction in Medical Databases. KRDB 2003
2002
28EEMira Balaban, Steffen Jurk: Intentions of Operations - Characterization and Preservation. ER (Workshops) 2002: 100-111
27EEPeretz Shoval, Revital Danoch, Mira Balaban: Hierarchical ER Diagrams (HERD) - The Method and Experimental Evaluation. ER (Workshops) 2002: 264-274
26EEMira Balaban, Steffen Jurk: Effect Preservation as a Means for Achieving Update Consistency. FQAS 2002: 28-43
25EEMira 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
23EEMira 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)
20EEMira Balaban, Peretz Shoval: MEERAn EER model enhanced with structure methods. Inf. Syst. 27(4): 245-275 (2002)
2001
19EESteffen Jurk, Mira Balaban: Improving Integrity Constraint Enforcement by Extended Rules and Dependency Graphs. DEXA 2001: 501-516
18EEMira Balaban, Adi Eyal: DFL - a dialog based integration of concept and rule reasoners. Data Knowl. Eng. 38(3): 301-334 (2001)
1999
17EEMira Balaban, Adi Eyal: DFL - A Dialog Based Integration of Concept and Rule Reasoners. Description Logics 1999
16EEMira Balaban, Peretz Shoval: Resolving the "Weak Status" of Weak Entity Types in Entity-Relationships Schemas. ER 1999: 369-383
15EEMira 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
10EEMira 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
8EEMira 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

Coauthor Index

1Eli Barzilay [21]
2Nikolai Berezansky [23]
3David Boaz [29]
4Dan Braha [15]
5Revital Danoch [27] [30] [31]
6Michael Elhadad [21]
7Adi Eyal [8] [9] [10] [17] [18]
8Ehud Gudes [23]
9Steffen Jurk [19] [24] [26] [28]
10Yoram Kornatzky [7]
11Lior Limonad [33]
12Azzam Maraee [32] [34] [35]
13Neil V. Murray [1] [4]
14Tzachi Rosen [14]
15Yuval Shahar [29]
16Solomon Eyal Shimony [11]
17Peretz Shoval [13] [16] [20] [22] [27] [30] [31]
18Stefan Strack [3]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)