Eric G. Wagner

4.3k citations

52 papers · 2.5k indexed · 1 hit paper · h-index 19

Impact in

Computational Theory and Mathematics top 0.5%
- Formal Methods in Verification
- semigroups and automata theory
- Advanced Algebra and Logic
Numerical Analysis top 5%

Papers in

Computational Theory and Mathematics 26
- Computability, Logic, AI Algorithms 14
- semigroups and automata theory 11
- Advanced Algebra and Logic 6
- Formal Methods in Verification 6
Artificial Intelligence 20
- Logic, programming, and type systems 18
- Logic, Reasoning, and Knowledge 4

Co-authors: J. W. Thatcher Jesse B. Wright Karl Nordström Joseph A. Goguen Richard E. Stearns Juris Hartmanis Pontus Blomberg Kenn Gerdes
Journals: The EMBO Journal (7 papers)Theoretical Computer Science (7 papers)Mathematics of Computation (3 papers)Journal of Computer and System Sciences (2 papers)Transactions of the American Mathematical Society (2 papers)
Partner nations: United States Sweden Germany

In The Last Decade

Eric G. Wagner

46 papers receiving 2.3k citations

Hit Papers

align trajectories log scale

International Series of Numerical Mathematics 1963 · 637 citations

Peers

Countries citing papers authored by Eric G. Wagner

Since Specialization

Citations

This map shows the geographic impact of Eric G. Wagner'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 Eric G. Wagner with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Eric G. Wagner more than expected).

Fields of papers citing papers by Eric G. Wagner

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Eric G. Wagner. 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 Eric G. Wagner. The network helps show where Eric G. Wagner may publish in the future.

Co-authorship network

The 19 scholars most cited alongside Eric G. Wagner, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.

Border = papers with Eric G. Wagner Line = papers co-authored together Eric G. Wagner links everyone, so they are left out of the graph.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

#	Work
1	Clipmapping on the GPU Roger Crawfis, ALESSANDRA STORLAZZI, Michael Ford, Y. Ferreira, Eric G. Wagner	2011	2
2	Algebraic specifications: some old history and new thoughts Eric G. Wagner	2002	4
3	Algebraic Semantics Eric G. Wagner	1995	5
4	Algebras, polynomials and programs Theoretical Computer Science ·Eric G. Wagner	1990	2
5	An algebraically specified language for data directed design Theoretical Computer Science ·Eric G. Wagner	1990	0
6	Control of replication of plasmid R1: structures and sequences of the antisense RNA, CopA, required for its binding to the target RNA, CopT. The EMBO Journal ·Basil Stephen O'Hara, Eric G. Wagner, Karl Nordström	1990	83
7	Algebraic Data Types and Object-Oriented Programming. Annals of Telecommunications ·Eric G. Wagner, Annas Abd Aziz, Seiji HEIKE	1988	1
8	Canonical constraints for parameterized data types Theoretical Computer Science ·Eric G. Wagner, Hartmut Ehrig	1987	2
9	Many-sorted theories and their algebras with some applications to data types Cambridge University Press eBooks ·Steven Bloom, Eric G. Wagner	1986	8
10	Why algebraic theories Cambridge University Press eBooks ·Eric G. Wagner, Steven Bloom, J. W. Thatcher	1986	9
11	Recursion and iteration in continuous theories: The “M-construction” Journal of Computer and System Sciences ·Stephen L. Bloom, J. W. Thatcher, Eric G. Wagner, Jesse B. Wright	1983	11
12	Parameter passing in algebraic specification languages Theoretical Computer Science ·Hartmut Ehrig, Hans‐Jörg Kreowski, J. W. Thatcher, Eric G. Wagner, Jesse B. Wright	1983	18
13	More on advice on structuring compilers and proving them correct Theoretical Computer Science ·J. W. Thatcher, Eric G. Wagner, Jesse B. Wright	1981	34
14	A uniform approach to inductive posets and inductive closure Theoretical Computer Science ·Jesse B. Wright, Eric G. Wagner, J. W. Thatcher	1978	62
15	Rational algebraic theories and fixed-point solutions Jesse B. Wright, J. W. Thatcher, Eric G. Wagner, Joseph A. Goguen	1976	46
16	An algebraic theory of recursive definitions and recursive languages Eric G. Wagner	1971	10
17	Bounded action machines: Toward an abstract theory of computer structure Journal of Computer and System Sciences ·Eric G. Wagner	1968	5
18	On connecting modules together uniformly to form a modular computer Eric G. Wagner	1965	2
19	Switching Circuits for Engineers Mathematics of Computation ·Eric G. Wagner, Mitchell P. Marcus	1963	3
20	Algorithms for logical design Transactions of the American Institute of Electrical Engineers Part I Communication and Electronics ·B. Lendevic, J. P. Roth, Eric G. Wagner	1961	8

About Eric G. Wagner

Eric G. Wagner is a scholar working on Computational Theory and Mathematics, Artificial Intelligence, Hardware and Architecture, Computer Graphics and Computer-Aided Design and Software, having authored 52 papers that have together received 2.5k indexed citations. Recurring topics across this work include Logic, programming, and type systems (18 papers), Computability, Logic, AI Algorithms (14 papers), semigroups and automata theory (11 papers), Bacterial Genetics and Biotechnology (7 papers), Advanced Algebra and Logic (6 papers), RNA and protein synthesis mechanisms (6 papers), Formal Methods in Verification (6 papers) and Logic, Reasoning, and Knowledge (4 papers). The work is most often cited by research in Computational Theory and Mathematics (1.1k citations), Numerical Analysis (158 citations), Software (104 citations), Artificial Intelligence (823 citations) and Hardware and Architecture (146 citations). Eric G. Wagner has collaborated with scholars based in United States, Sweden and Germany. Frequent co-authors include J. W. Thatcher, Jesse B. Wright, Karl Nordström, Joseph A. Goguen, Richard E. Stearns, Juris Hartmanis, Pontus Blomberg, Kenn Gerdes, Thomas Thisted and Sabine Brantl. Their work appears in journals such as The EMBO Journal, Theoretical Computer Science, Mathematics of Computation, Journal of Computer and System Sciences and Transactions of the American Mathematical Society.

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