Concepedia

M.E. Stickel

MS

8

Publications

559

Citations

8

H-Index

1985

Active since

Affiliations

SRI International(Current)

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

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceData ScienceReasoningData ModelingData SecurityKnowledge DiscoveryMathematical Foundations

Publications per year

1985–2018

8

Publications

8

Automated deduction by theory resolution

M.E. Stickel · Journal of Automated Reasoning · 1985 · 280 citations

Engineering, Automated Reasoning, Formal Methods +5

Automated reasoning and exhaustive search: Quasigroup existence problems

John Slaney, Masayuki Fujita, M.E. Stickel · Computers & Mathematics with Applications · 1995 · 80 citations

Computational Logic, Engineering, Automated Reasoning +5

Schubert's Steamroller problem: Formulations and solutions

M.E. Stickel · Journal of Automated Reasoning · 1986 · 79 citations

Mathematical Programming, Schubert Calculus, Engineering +7

Detection and elimination of inference channels in multilevel relational database systems

Xiaolei Qian, M.E. Stickel, Peter D. Karp et al. · 2002 · 55 citations

Relational Database, Engineering, Inference Problem +19

Elimination of inference channels by optimal upgrading

M.E. Stickel · 2002 · 21 citations

Inference Channel, Engineering, Machine Learning +17

Rows per page

1–5 of 8