The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Adnan H. Yahya: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Adnan H. Yahya, Lawrence J. Henschen
    Deduction in Non-Horn Databases. [Citation Graph (18, 0)][DBLP]
    J. Autom. Reasoning, 1985, v:1, n:2, pp:141-160 [Journal]
  2. Abdallah D. Abdallah, Adnan H. Yahya
    University Computer Services: A Third World Experience. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (2), 1992, pp:123-129 [Conf]
  3. Adnan H. Yahya
    Towards a Viable Computer Industry in Developing Nations: The West Bank Case. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (3), 1994, pp:65-70 [Conf]
  4. Adnan H. Yahya
    Generalized Query Answering in Disjunctive Deductive Databases: Procedural and Non-Monotonic Aspects. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1997, pp:325-341 [Conf]
  5. Adnan H. Yahya
    Local considerations in computer science curricula development. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 1992, pp:123-128 [Conf]
  6. François Bry, Adnan H. Yahya
    Minimal Model Generation with Positive Unit Hyper-Resolution Tableaux. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1996, pp:143-159 [Conf]
  7. David A. Plaisted, Adnan H. Yahya
    A relevance restriction strategy for automated deduction. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2003, v:144, n:1-2, pp:59-93 [Journal]
  8. José Alberto Fernández, Jack Minker, Adnan H. Yahya
    Computing Perfect and Stable Model Using Ordered Model Trees. [Citation Graph (0, 0)][DBLP]
    Computational Intelligence, 1995, v:11, n:, pp:89-112 [Journal]
  9. Adnan H. Yahya
    Minimal model generation for refined answering of generalized queries in disjunctive deductive databases. [Citation Graph (0, 0)][DBLP]
    Data Knowl. Eng., 2000, v:34, n:3, pp:219-249 [Journal]
  10. Adnan H. Yahya, Jack Minker
    Query Evaluation in Partitoned Disjunctive Deductive Databases. [Citation Graph (0, 0)][DBLP]
    Int. J. Cooperative Inf. Syst., 1994, v:3, n:4, pp:385-414 [Journal]
  11. François Bry, Adnan H. Yahya
    Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2000, v:25, n:1, pp:35-82 [Journal]
  12. Adnan H. Yahya
    Duality for Goal-Driven Query Processing in Disjunctive Deductive Databases. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2002, v:28, n:1, pp:1-34 [Journal]
  13. Adnan H. Yahya, José Alberto Fernández, Jack Minker
    Ordered Model Trees: A Normal Form for Disjunctive Deductive Databases. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1994, v:13, n:1, pp:117-143 [Journal]
  14. Adnan H. Yahya, David A. Plaisted
    Ordered Semantic Hyper Tableaux. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2002, v:29, n:1, pp:17-57 [Journal]
  15. Peter Baumgartner, Ulrich Furbach, Adnan H. Yahya
    Automated Reasoning, Knowledge Representation and Management. [Citation Graph (0, 0)][DBLP]
    KI, 2005, v:19, n:1, pp:5-0 [Journal]
  16. Donald W. Loveland, Adnan H. Yahya
    Satchmorebid: Satchmo(Re) with BIDirectional Relevancy. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 2003, v:21, n:3, pp:- [Journal]

  17. The inteaction between high school curriculum and first year college courses: the case of computing. [Citation Graph (, )][DBLP]


  18. Implementation of a new Scheduling Policy in Web Servers. [Citation Graph (, )][DBLP]


  19. Shortest Remaining Response Time Scheduling for Improved Web Server Performance. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.004secs
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