| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Adnan H. Yahya |
The inteaction between high school curriculum and first year college courses: the case of computing.  |
SIGCSE  |
2010 |
DBLP DOI BibTeX RDF |
high school curriculum, k12 computer education, model computer curriculum, computer science curriculum |
| 1 | Ahmad AlSa'deh, Adnan H. Yahya |
Shortest Remaining Response Time Scheduling for Improved Web Server Performance. |
WEBIST (Selected Papers) |
2008 |
DBLP DOI BibTeX RDF |
Request scheduling policy, Remaining response time scheduling, Comparative scheduling performance, Web server Performance |
| 1 | Ahmad S. Al Sa'deh, Adnan H. Yahya |
Implementation of a new Scheduling Policy in Web Servers. |
WEBIST |
2008 |
DBLP BibTeX RDF |
|
| 1 | Peter Baumgartner, Ulrich Furbach, Adnan H. Yahya |
Automated Reasoning, Knowledge Representation and Management. |
KI |
2005 |
DBLP BibTeX RDF |
|
| 1 | David A. Plaisted, Adnan H. Yahya |
A relevance restriction strategy for automated deduction. |
Artif. Intell. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Donald W. Loveland, Adnan H. Yahya |
Satchmorebid: Satchmo(Re) with BIDirectional Relevancy. |
New Generation Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Adnan H. Yahya |
Duality for Goal-Driven Query Processing in Disjunctive Deductive Databases. |
J. Autom. Reasoning |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Adnan H. Yahya, David A. Plaisted |
Ordered Semantic Hyper Tableaux. |
J. Autom. Reasoning |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Adnan H. Yahya |
Minimal model generation for refined answering of generalized queries in disjunctive deductive databases. |
Data Knowl. Eng. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | François Bry, Adnan H. Yahya |
Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation. |
J. Autom. Reasoning |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Adnan H. Yahya |
Generalized Query Answering in Disjunctive Deductive Databases: Procedural and Non-Monotonic Aspects. |
LPNMR |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | François Bry, Adnan H. Yahya |
Minimal Model Generation with Positive Unit Hyper-Resolution Tableaux. |
TABLEAUX |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | José Alberto Fernández, Jack Minker, Adnan H. Yahya |
Computing Perfect and Stable Model Using Ordered Model Trees. |
Computational Intelligence |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Adnan H. Yahya, Jack Minker |
Query Evaluation in Partitoned Disjunctive Deductive Databases. |
Int. J. Cooperative Inf. Syst. |
1994 |
DBLP BibTeX RDF |
|
| 1 | Adnan H. Yahya, José Alberto Fernández, Jack Minker |
Ordered Model Trees: A Normal Form for Disjunctive Deductive Databases. |
J. Autom. Reasoning |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Adnan H. Yahya |
Towards a Viable Computer Industry in Developing Nations: The West Bank Case. |
IFIP Congress |
1994 |
DBLP BibTeX RDF |
|
| 1 | Abdallah D. Abdallah, Adnan H. Yahya |
University Computer Services: A Third World Experience. |
IFIP Congress |
1992 |
DBLP BibTeX RDF |
|
| 1 | Adnan H. Yahya |
Local considerations in computer science curricula development. |
SIGCSE |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Adnan H. Yahya, Lawrence J. Henschen |
Deduction in Non-Horn Databases. |
J. Autom. Reasoning |
1985 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")