Mira Balaban

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

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

Colors in the list of coauthors

Last update Thu May 24 01:13:30 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page