S. Winker

1.3k total citations
12 papers, 877 citations indexed

About

S. Winker is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Molecular Biology. According to data from OpenAlex, S. Winker has authored 12 papers receiving a total of 877 indexed citations (citations by other indexed papers that have themselves been cited), including 8 papers in Computational Theory and Mathematics, 7 papers in Artificial Intelligence and 4 papers in Molecular Biology. Recurrent topics in S. Winker's work include Logic, programming, and type systems (7 papers), Formal Methods in Verification (6 papers) and Logic, Reasoning, and Knowledge (3 papers). S. Winker is often cited by papers focused on Logic, programming, and type systems (7 papers), Formal Methods in Verification (6 papers) and Logic, Reasoning, and Knowledge (3 papers). S. Winker collaborates with scholars based in United States. S. Winker's co-authors include Carl R. Woese, Robin R. Gutell, L. Wos, Robert Veroff, Lawrence J. Henschen, Brian T. Smith, Pierre E. Rouvière, C R Woese, L. Mandelco and Ewing Lusk and has published in prestigious journals such as Proceedings of the National Academy of Sciences, Mathematics of Computation and Artificial Intelligence.

In The Last Decade

S. Winker

12 papers receiving 839 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
S. Winker United States 11 622 218 115 69 64 12 877
Piotr Gawron Luxembourg 13 447 0.7× 116 0.5× 29 0.3× 28 0.4× 42 0.7× 22 725
Hui-Hsien Chou United States 9 517 0.8× 132 0.6× 51 0.4× 144 2.1× 20 0.3× 22 850
Arvind Gupta India 16 398 0.6× 90 0.4× 35 0.3× 23 0.3× 15 0.2× 65 909
Michael Fonstein United States 12 1.4k 2.2× 227 1.0× 24 0.2× 67 1.0× 13 0.2× 17 1.7k
Alix Boc Canada 6 281 0.5× 95 0.4× 22 0.2× 18 0.3× 40 0.6× 8 513
Clovis Galiez France 7 670 1.1× 450 2.1× 12 0.1× 56 0.8× 13 0.2× 12 931
Andrew Francis Australia 17 388 0.6× 59 0.3× 77 0.7× 15 0.2× 9 0.1× 50 893
J. Peterson United States 3 688 1.1× 123 0.6× 207 1.8× 13 0.2× 9 0.1× 3 914
Yann Guermeur France 8 369 0.6× 86 0.4× 86 0.7× 20 0.3× 4 0.1× 17 640
Amy Schmid United States 23 956 1.5× 288 1.3× 31 0.3× 5 0.1× 22 0.3× 46 1.2k

Countries citing papers authored by S. Winker

Since Specialization
Citations

This map shows the geographic impact of S. Winker's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by S. Winker with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites S. Winker more than expected).

Fields of papers citing papers by S. Winker

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by S. Winker. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by S. Winker. The network helps show where S. Winker may publish in the future.

Co-authorship network of co-authors of S. Winker

This figure shows the co-authorship network connecting the top 25 collaborators of S. Winker. A scholar is included among the top collaborators of S. Winker based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with S. Winker. S. Winker is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

12 of 12 papers shown
1.
Rouvière, Pierre E., L. Mandelco, S. Winker, & C R Woese. (1992). A Detailed Phylogeny for the Methanomicrobiales. Systematic and Applied Microbiology. 15(3). 363–371. 41 indexed citations
2.
Winker, S.. (1992). Absorption and idempotency criteria for a problem in near-Boolean algebras. Journal of Algebra. 153(2). 414–423. 15 indexed citations
3.
Winker, S. & Carl R. Woese. (1991). A Definition of the Domains Archaea, Bacteria and Eucarya in Terms of Small Subunit Ribosomal RNA Characteristics. Systematic and Applied Microbiology. 14(4). 305–310. 251 indexed citations
4.
Winker, S., et al.. (1990). Structure detection through automated covariance search. Computer applications in the biosciences. 6(4). 365–371. 25 indexed citations
5.
Winker, S.. (1990). Robbins algebra: Conditions that make a near-boolean algebra boolean. Journal of Automated Reasoning. 6(4). 12 indexed citations
6.
Woese, Carl R., S. Winker, & Robin R. Gutell. (1990). Architecture of ribosomal RNA: constraints on the sequence of "tetra-loops".. Proceedings of the National Academy of Sciences. 87(21). 8467–8471. 419 indexed citations
7.
Wos, L., S. Winker, Brian T. Smith, Robert Veroff, & Lawrence J. Henschen. (1984). A new use of an automated reasoning assistant: Open questions in equivalential calculus and the study of infinite domains. Artificial Intelligence. 22(3). 303–356. 17 indexed citations
8.
Henschen, Lawrence J., Brian T. Smith, Robert Veroff, S. Winker, & L. Wos. (1983). Questions concerning possible shortest single axioms for the equivalential calculus: an application of automated theorem proving to infinite domains.. Notre Dame Journal of Formal Logic. 24(2). 41 indexed citations
9.
10.
Wos, L., S. Winker, & Ewing Lusk. (1981). An automated reasoning system. 697–697. 5 indexed citations
11.
Winker, S., L. Wos, & Ewing Lusk. (1981). Semigroups, antiautomorphisms, and involutions: a computer solution to an open problem. I. Mathematics of Computation. 37(156). 533–545. 13 indexed citations
12.

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Piotr Gawron Breakdown of academic impact, for papers by Hui-Hsien Chou Breakdown of academic impact, for papers by Arvind Gupta Breakdown of academic impact, for papers by Michael Fonstein Breakdown of academic impact, for papers by Alix Boc Breakdown of academic impact, for papers by Clovis Galiez Breakdown of academic impact, for papers by Andrew Francis Breakdown of academic impact, for papers by J. Peterson Breakdown of academic impact, for papers by Yann Guermeur Breakdown of academic impact, for papers by Amy Schmid
Rankless by CCL
2026