| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Mira Balaban, Michael Kifer |
Logic-Based Model-Level Software Development with F-OML.  |
MoDELS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mira Balaban, Michael Kifer |
An Overview of F-OML: An F-Logic Based Object Modeling Language. |
ECEASST |
2010 |
DBLP BibTeX RDF |
|
| 1 | Mira Balaban, Azzam Maraee, Arnon Sturm |
Management of Correctness Problems in UML Class Diagrams Towards a Pattern-Based Approach. |
IJISMD |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mira Balaban, Steffen Jurk |
Effect Preservation in Transaction Processing in Rule Triggering Systems. |
Acta Cybern. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Mira Balaban, Azzam Maraee |
A UML-Based Method for Deciding Finite Satisfiability in Description Logics. |
Description Logics |
2008 |
DBLP BibTeX RDF |
|
| 1 | Azzam Maraee, Mira Balaban |
Efficient Reasoning About Finite Satisfiability of UML Class Diagrams with Constrained Generalization Sets. |
ECMDA-FA |
2007 |
DBLP DOI BibTeX RDF |
finite satisfiability, reasoning about class diagram, generalization set constraints, class hierarchy structure, consistency, UML class diagram, cardinality constraints |
| 1 | Mira Balaban, Azzam Maraee |
Consistency of UML Class Diagrams with Hierarchy Constraints. |
NGITS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mira Balaban, Lior Limonad |
Towards Automatic Integration of Persistency Requirements in Enterprise-Systems - The Persistent-to-Persistent Patterns. |
NGITS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Revital Danoch, Peretz Shoval, Mira Balaban |
Comprehension of Hierarchical ER Diagrams Compared to Flat ER Diagrams. |
Information Modeling Methods and Methodologies |
2005 |
DBLP BibTeX RDF |
|
| 1 | Peretz Shoval, Revital Danoch, Mira Balaban |
Hierarchical entity-relationship diagrams: the model, method of creation and experimental evaluation. |
Requir. Eng. |
2004 |
DBLP DOI BibTeX RDF |
User comprehension of data model, Data modeling, Experimental evaluation, Entity relationship model, Conceptual schema, ER diagram |
| 1 | Mira Balaban, David Boaz, Yuval Shahar |
Analysis of Temporal Abstraction in Medical Databases. |
KRDB |
2003 |
DBLP BibTeX RDF |
|
| 1 | Mira Balaban, Peretz Shoval |
MEERAn EER model enhanced with structure methods. |
Inf. Syst. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mira Balaban, Peretz Shoval |
Enforcing Cardinality Constraints in the ER Model with Integrity Methods. |
Advanced Topics in Database Research, Vol. 1 |
2002 |
DBLP BibTeX RDF |
|
| 1 | Steffen Jurk, Mira Balaban |
Towards Effect Preservation of Updates with Loops. |
IICIS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Mira Balaban, Steffen Jurk |
Intentions of Operations - Characterization and Preservation. |
ER (Workshops) |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Peretz Shoval, Revital Danoch, Mira Balaban |
Hierarchical ER Diagrams (HERD) - The Method and Experimental Evaluation. |
ER (Workshops) |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mira Balaban, Nikolai Berezansky, Ehud Gudes |
Answering Cooperative Recursive Queries in Web Federated Databases. |
NGITS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mira Balaban |
Structure and Interpretation of Music Concepts: Music from a Computational Perspective. |
ICMAI |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mira Balaban, Steffen Jurk |
Effect Preservation as a Means for Achieving Update Consistency. |
FQAS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mira Balaban, Adi Eyal |
DFL - a dialog based integration of concept and rule reasoners. |
Data Knowl. Eng. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Jurk, Mira Balaban |
Improving Integrity Constraint Enforcement by Extended Rules and Dependency Graphs. |
DEXA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Mira Balaban, Dan Braha |
Temporal reasoning in process planning. |
AI EDAM |
1999 |
DBLP BibTeX RDF |
|
| 1 | Mira Balaban, Peretz Shoval |
Enhancing the ER Model with Integrity Methods Information Management Systems. |
J. Database Manag. |
1999 |
DBLP BibTeX RDF |
|
| 1 | Mira Balaban, Tzachi Rosen |
STCSP - Structured Temporal Constraint satisfaction Problems. |
Ann. Math. Artif. Intell. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Mira Balaban, Adi Eyal |
DFL - A Dialog Based Integration of Concept and Rule Reasoners. |
Description Logics |
1999 |
DBLP BibTeX RDF |
|
| 1 | Mira Balaban, Peretz Shoval |
Resolving the "Weak Status" of Weak Entity Types in Entity-Relationships Schemas. |
ER |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Mira Balaban |
Interleaving Time and Structure. |
Computers and Artificial Intelligence |
1998 |
DBLP BibTeX RDF |
|
| 1 | Mira Balaban, Solomon Eyal Shimony |
Structured Plans with Sharing and Replication. |
Computers and Artificial Intelligence |
1998 |
DBLP BibTeX RDF |
|
| 1 | Mira Balaban, Adi Eyal |
Experiments with the DFL Hybrid System. |
Description Logics |
1997 |
DBLP BibTeX RDF |
|
| 1 | Mira Balaban, Adi Eyal |
DFL - A Hybrid Integration of Descriptions and Rules, Using F-Logic as an Underlying Semantics. |
NGITS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Mira Balaban, Yoram Kornatzky |
A Data Model for Processes Based on Relative Time. |
J. Intell. Inf. Syst. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Mira Balaban, Adi Eyal |
DFL - A Hybrid Integration of Descriptions and Rules, using F-Logic as Underlying Semantics. |
KRDB |
1996 |
DBLP BibTeX RDF |
|
| 1 | Mira Balaban |
The F-logic Approach for Description Languages. |
Ann. Math. Artif. Intell. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Mira Balaban |
F-Logic as a Basis for a General Description Logic. |
Description Logics |
1992 |
DBLP BibTeX RDF |
|
| 1 | Mira Balaban, Neil V. Murray |
The Logic of Time Structures: Temporal and Nonmonotonic Features. |
IJCAI |
1989 |
DBLP BibTeX RDF |
|
| 1 | Mira Balaban |
The TTS Language for Music Description. |
International Journal of Man-Machine Studies |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Mira Balaban, Stefan Strack |
LOGSTER - A Relational, Object-Oriented System for Knowledge Representation. |
ISMIS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Mira Balaban, Neil V. Murray |
A First Order Calculus for Temporal Knowledge. |
ISMIS |
1987 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")