Concepedia

Author

M.E. Stickel

SRI International

Also Known As

M. E. Stickel, M. E.(Mark E.) Stickel, M. Stickel, M.E. Stickel, Mark E. Stickel, MarkE. Stickel

10

Publications

599

Citations

9

H-Index

37

Concepts

All Affiliations

SRI InternationalMenlo School
MS

About

M.E. Stickel is an author at SRI International specializing in engineering, formal methods, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

7

7

544

2

Computer Science

5

5

385

3

Education

1

1

79

4

Management

1

1

55

5

Social Sciences

1

1

12

M.E. Stickel

×

8

Publications

559

Citations

8

H-Index

YearCitations

Automated deduction by theory resolution

M.E. Stickel

Journal of Automated Reasoning

1985

280

Automated reasoning and exhaustive search: Quasigroup existence problems

John Slaney, Masayuki Fujita, M.E. Stickel

Computers & Mathematics with Applications

1995

80

Schubert's Steamroller problem: Formulations and solutions

M.E. Stickel

Journal of Automated Reasoning

1986

79

Detection and elimination of inference channels in multilevel relational database systems

Xiaolei Qian, M.E. Stickel, Peter D. Karp,

2002

55

Elimination of inference channels by optimal upgrading

M.E. Stickel

2002

21

Abductive and approximate reasoning models for characterizing inference channels

Thomas D. Garvey, Teresa F. Lunt, M.E. Stickel

2002

17

A hole in goal trees : some guidance from resolution theory

Donald Loveland, M.E. Stickel

Research Showcase @ Carnegie Mellon University (Carnegie Mellon University)

2018

15

Proving properties of rule-based systems

Richard Waldinger, M.E. Stickel

2002

12

Page 1