John Alan Robinson

Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.

? Tutorial for this page

Demo Data from EDBT 2026 / reviewers in the wild / expert

dblp:05/1544 · DBLP profile ↗

← Back

6ranked-venue papers

6as first author

0since 2021 · last 2001

—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Applied, interdisciplinary, general and emerging computing · 3 · 3 first-authorTheory of computation · 2 · 2 first-authorSoftware engineering, systems software and programming languages · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Interdisciplinary, comprehensive, and emerging computing 1 paper		Bioinformatics and computational biology · 100%
Software engineering, system software, and programming languages 1 paper		Programming languages and type systems · 100%
Computer graphics and multimedia 1 paper		Visualization and visual analytics · 100%

Topics — the 8 heaviest of 8, each with the papers that count most for it

Topic	Papers	Last	Evidence papers
Bioinformatics and computational biology biological data visualization	1	1997	Novel Techniques for Visualizing Biological Information · ISMB 1997
Visualization and visual analytics scientific visualization	1	1997	Novel Techniques for Visualizing Biological Information · ISMB 1997
Programming languages and type systems functional programming	1	1986	Merging Functional with Relational Programming in a Reduction Setting (Abstract of an Invited Lecture) · LICS 1986
Programming languages and type systems logic programming	1	1986	Merging Functional with Relational Programming in a Reduction Setting (Abstract of an Invited Lecture) · LICS 1986
Programming languages and type systems › language semantics › formal semantics › operational semantics reduction semantics	1	1986	Merging Functional with Relational Programming in a Reduction Setting (Abstract of an Invited Lecture) · LICS 1986
Programming languages and type systems › logic programming relational programming	1	1986	Merging Functional with Relational Programming in a Reduction Setting (Abstract of an Invited Lecture) · LICS 1986
Computational complexity › proof complexity resolution	2	1965	A Machine-Oriented Logic Based on the Resolution Principle · J. ACM 1965 Theorem-Proving on the Computer · J. ACM 1963
Automated reasoning and model checking theorem proving	2	1965	A Machine-Oriented Logic Based on the Resolution Principle · J. ACM 1965 Theorem-Proving on the Computer · J. ACM 1963

Year	Publication	Venue	Position
2001	Invited editorial John Alan Robinson	Theory Pract. Log. Program.	1
1997	Novel Techniques for Visualizing Biological Information John Alan Robinson, Tomas P. Flores	ISMB	1
1986	Merging Functional with Relational Programming in a Reduction Setting (Abstract of an Invited Lecture) John Alan Robinson	LICS	1
1967	Meeting of the Association for Symbolic Logic John Alan Robinson, Norman M. Martin	J. Symb. Log.	1
1965	A Machine-Oriented Logic Based on the Resolution Principle abstract Nalionrd Laboratory* and John Alan Robinson	J. ACM	1
1963	Theorem-Proving on the Computer abstract article Free Access Share on Theorem-Proving on the Computer Author: J. A. Robinson Department of Philosophy, Argonne National Laboratory and Rice University Department of Philosophy, Argonne National Laboratory and Rice UniversityView Profile Authors Info & Claims Journal of the ACMVolume 10Issue 2April 1963 pp 163–174https://doi.org/10.1145/321160.321166Published:01 April 1963Publication History 55citation861DownloadsMetricsTotal Citations55Total Downloads861Last 12 Months30Last 6 weeks1 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my Alerts New Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF John Alan Robinson	J. ACM	1