Concepedia

S. Winker

SW

Statistics

Publications

11

Citations

1.2K

H-Index

11

Active since

1978

Affiliations

Argonne National Laboratory(Current)

University of Illinois Urbana-Champaign

S. Winker is an author at Argonne National Laboratory specializing in engineering, automated reasoning, and formal methods.

Top concepts

Publications per year

1978–1992

11

Publications

11

Architecture of ribosomal RNA: constraints on the sequence of "tetra-loops".

Carl R. Woese, S. Winker, Robin R. Gutell · Proceedings of the National Academy of Sciences · 1990 · 530 citations · Full text

, , +18

A Definition of the Domains Archaea, Bacteria and Eucarya in Terms of Small Subunit Ribosomal RNA Characteristics

S. Winker, Carl R. Woese · Systematic and Applied Microbiology · 1991 · 348 citations

, , +11

Generation and Verification of Finite Models and Counterexamples Using an Automated Theorem Prover Answering Two Open Questions

S. Winker · Journal of the ACM · 1982 · 61 citations · Full text

Questions concerning possible shortest single axioms for the equivalential calculus: an application of automated theorem proving to infinite domains.

Lawrence J. Henschen, Brian T. Smith, Robert Veroff et al. · Notre Dame Journal of Formal Logic · 1983 · 57 citations · Full text

, , +8

A Detailed Phylogeny for the Methanomicrobiales

Pierre E. Rouvière, L. Mandelco, S. Winker et al. · Systematic and Applied Microbiology · 1992 · 55 citations

, , +9

1–5 of 11