Concepedia

Adnan Yahya

AY

Statistics

Publications

10

Citations

347

H-Index

10

Active since

1985

Affiliations

Birzeit University(Current)

Hohai University

University of Maryland, College Park

Dow University of Health Sciences

Adnan Yahya is an author at Birzeit University specializing in computer science, knowledge representation, and deductive databases.

Publications per year

1985–2021

10

Publications

10

Deduction in non-Horn databases

Adnan Yahya, LawrenceJ. Henschen · Journal of Automated Reasoning · 1985 · 147 citations

Computing, Computer Science, Information Systems +12

Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation

François Bry, Adnan Yahya · Journal of Automated Reasoning · 2000 · 65 citations

Computing, Computer Science, Mathematics +4

Underwater routing protocols: Analysis of link selection challenges

Shahzad Ashraf, Arshad Ahmad, Adnan Yahya et al. · AIMS Electronics and Electrical Engineering · 2020 · 31 citations · Full text

Engineering, Ocean Engineering, Computer Networks +16

A relevance restriction strategy for automated deduction

David A. Plaisted, Adnan Yahya · Artificial Intelligence · 2003 · 24 citations

Computing, Computer Science, Formal Methods +11

Underwater Routing Protocols Analysis of Intrepid Link Selection Mechanism, Challenges and Strategies

Shahzad Ashraf, Zeeshan Aslam, Adnan Yahya et al. · International Journal of Scientific Research in Computer Sciences and Engineering · 2020 · 18 citations · Full text

Public Health, Biostatistics, Operations Research +7

1–5 of 10