Eric G. Wagner

Publications

3.8K

Citations

H-Index

1959

Active since

Affiliations

IBM Research - Thomas J. Watson Research Center(Current)

IBM (United States)

Uppsala University

Eric G. Wagner is an author at IBM Research - Thomas J. Watson Research Center specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsGene ExpressionNatural SciencesMolecular BiologyRna BiologyFormal VerificationMedicine

Publications per year

1959–1997

Publications

International Series of Numerical Mathematics

Eric G. Wagner · Mathematics of Computation · 1963 · 888 citations

Numerical Analysis, Pade Approximant, International Series +2

Initial Algebra Semantics and Continuous Algebras

Joseph A. Goguen, J. W. Thatcher, Eric G. Wagner et al. · Journal of the ACM · 1977 · 801 citations · Full text

Abstract Algebra, Engineering, Well-founded Semantics +18

Algebraic Structure Theory of Sequential Machines

Eric G. Wagner, Juris Hartmanis, Richard E. Stearns · Mathematics of Computation · 1968 · 526 citations

Computational Model Theory, Sequential Machines, Algebraic Structure +1

Control of replication of plasmid R1: the duplex between the antisense RNA, CopA, and its target, CopT, is processed specifically in vivo and in vitro by RNase III.

Pontus Blomberg, Eric G. Wagner, Karl Nordström · The EMBO Journal · 1990 · 196 citations · Full text

Rnase Iii, Antisense Rna, Natural Sciences +10

Data Type Specification: Parameterization and the Power of Specification Techniques

J. W. Thatcher, Eric G. Wagner, Jesse B. Wright · ACM Transactions on Programming Languages and Systems · 1982 · 140 citations · Full text

Rows per page

1–5 of 27