The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mira Balaban: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  33. A UML-Based Method for Deciding Finite Satisfiability in Description Logics. [Citation Graph (, )][DBLP]


  34. Effect Preservation in Transaction Processing in Rule Triggering Systems. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002