Eric G. Wagner - Concepedia

Author

Eric G. Wagner

IBM Research - Thomas J. Watson Research Center

Also Known As

E G Wagner, E. G. Wagner, E.G. Wagner, Eric G Wagner, Eric G. Wagner, Eric Wagner, Wagner,E.

Publications

4.3K

Citations

H-Index

Concepts

All Affiliations

IBM Research - Thomas J. Watson Research Center IBM (United States)Uppsala University

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	12	14	1.5K
2	Natural Sciences	7	7	757
3	Medicine	5	5	616
4	Business	1	1	17
5	Language Studies	1	1	17

Eric G. Wagner

Publications

3.8K

Citations

H-Index

Page 1

	Year	Citations
International Series of Numerical Mathematics Eric G. Wagner Mathematics of Computation Numerical AnalysisPade ApproximantInternational SeriesValidated NumericsNumerical Methods	1963	888
Initial Algebra Semantics and Continuous Algebras Joseph A. Goguen, J. W. Thatcher, Eric G. Wagner, Journal of the ACM Abstract AlgebraEngineeringWell-founded SemanticsSemanticsSoftware Analysis	1977	801
Algebraic Structure Theory of Sequential Machines Eric G. Wagner, Juris Hartmanis, Richard E. Stearns Mathematics of Computation Computational Model TheorySequential MachinesAlgebraic StructureComputability Theory	1968	526
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 Rnase IiiAntisense RnaNatural SciencesRna BiologyMolecular Biology	1990	196
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
Data type specification J. W. Thatcher, Eric G. Wagner, Jesse B. Wright EngineeringData FormatType TheoryData Type SpecificationFormal Verification	1978	135
Control of replication of plasmid R1: kinetics of in vitro interaction between the antisense RNA, CopA, and its target, CopT. C. Persson, Eric G. Wagner, Karl Nordström The EMBO Journal Antisense RnaNatural SciencesRna BiologyMolecular BiologyDna Replication	1988	121
Replication control of plasmid R1: RepA synthesis is regulated by CopA RNA through inhibition of leader peptide translation. Pontus Blomberg, Karl Nordström, Eric G. Wagner The EMBO Journal Transcriptional RegulationSystems BiologyCopa RnaProtein ExpressionNatural Sciences	1992	113
Mechanism of post-segregational killing: Sok antisense RNA interacts with Hok mRNA via its 5′-end single-stranded leader and competes with the 3′-end of Hok mRNA for binding to the mok translational initiation region. Thomas Thisted, N.S. Sørensen, Eric G. Wagner, The EMBO Journal Transcriptional RegulationHok MrnaSok Antisense RnaNatural SciencesRna Biology	1994	105
A uniform approach to inductive posets and inductive closure Jesse B. Wright, Eric G. Wagner, J. W. Thatcher Theoretical Computer Science EngineeringUniform ApproachAutomated ReasoningFormal MethodsPartially Ordered Set	1978	103

Page 1