×
Author ID: wagner.eric-g Recent zbMATH articles by "Wagner, Eric G."
Published as: Wagner, Eric G.; Wagner, E. G.; Wagner, Eric
Documents Indexed: 49 Publications since 1884, including 2 Books
1 Further Contribution
Co-Authors: 9 Co-Authors with 22 Joint Publications
255 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

40 Publications have been cited 516 times in 367 Documents Cited by Year
Initial algebra semantics and continuous algebras. Zbl 0359.68018
Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B.
222
1977
A uniform approach to inductive posets and inductive closure. Zbl 0732.06001
Wright, J. B.; Wagner, E. G.; Thatcher, J. W.
48
1978
Data type specification: Parameterization and the power of specification techniques. Zbl 0495.68020
Thatcher, J. W.; Wagner, E. G.; Wright, J. B.
37
1982
A stochastic branch-and-bound approach to activity crashing in project management. Zbl 1034.90005
Gutjahr, W. J.; Strauss, C.; Wagner, E.
25
2000
Some fundamentals of order-algebraic semantics. Zbl 0361.68041
Wagner, E. G.; Wright, J. B.; Goguen, J. A.; Thatcher, J. W.
23
1976
Parameterized data types in algebraic specification languages (short version). Zbl 0456.68101
Ehrig, Hartmut; Kreowski, Hans-Jörg; Thatcher, James; Wagner, Eric; Wright, Jesse
15
1980
Programming languages as mathematical objects. Zbl 0394.68008
Wagner, Eric G.; Thatcher, James W.; Wright, Jesse B.
14
1978
Algebraic specifications with generating constraints. Zbl 0518.68019
Ehrig, H.; Wagner, E. G.; Thatcher, J. W.
12
1983
Why algebraic theories ? Zbl 0637.68019
Wagner, Eric G.; Bloom, Stephen L.; Thatcher, James W.
12
1985
Data type specification, parameterization and the power of specification techniques. Zbl 1282.68170
Thatcher, James W.; Wagner, Eric G.; Wright, Jesse B.
12
1978
Factorizations, congruences, and the decomposition of automata and systems. Zbl 0306.18005
Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B.
11
1975
More on advice on structuring compilers and proving them correct. Zbl 0468.68007
Thatcher, James W.; Wagner, Eric G.; Wright, Jesse B.
11
1981
Parallel realization of systems, using factorizations and quotients in categories. Zbl 0333.93002
Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B.
10
1976
Notes on algebraic fundamentals for theoretical computer science. Zbl 0418.68034
Thatcher, James W.; Wagner, Eric G.; Wright, Jesse B.
9
1979
Uniformly reflexive structures: On the nature of gödelizations and relative computability. Zbl 0265.02029
Wagner, Eric G.
8
1970
Many-sorted theories and their algebras with some applications to data types. Zbl 0575.18004
Bloom, Stephen L.; Wagner, Eric G.
8
1985
Recursion and iteration in continuous theories: the ”M-construction”. Zbl 0534.18003
Bloom, Stephen L.; Thatcher, James W.; Wagner, Eric G.; Wright, Jesse B.
7
1983
Parameter passing in algebraic specification languages. Zbl 0522.68027
Ehrig, Hartmut; Kreowski, Hans-Joerg; Thatcher, James; Wagner, Eric; Wright, Jesse
7
1984
A uniform approach to inductive posets and inductive closure. Zbl 0372.06002
Wright, J. B.; Wagner, E. G.; Thatcher, J. W.
6
1977
An algebraic theory of recursive definitions and recursive languages. Zbl 0252.02048
Wagner, Eric G.
6
1971
Bounded action machines: toward an abstract theory of computer structure. Zbl 0162.48301
Wagner, E. G.
6
1968
More on advice on structuring compilers and proving them correct. Zbl 0412.68013
Thatcher, James W.; Wagner, Eric G.; Wright, Jesse B.
5
1979
Semantics-directed compiler generation. Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980. Zbl 0447.68002
4
1980
Categories, data types, and imperative languages. Zbl 0616.68012
Wagner, Eric G.
3
1986
On connecting moduls together uniformly fot form a modular computer. Zbl 0148.39901
Wagner, E. G.
3
1966
Algebraic theories, data types, and control constructs. Zbl 0617.68021
Wagner, Eric G.
2
1986
Algebras, polynomials and programs. Zbl 0726.68055
Wagner, Eric G.
2
1990
Bounded action machines. II: The basic structure of tapeless computers. Zbl 0257.68042
Wagner, E. G.
2
1972
Guarded algebras: Disguising partiality so you won’t know whether its there. Zbl 0966.68133
Haveraaen, Magne; Wagner, Eric G.
2
2000
Canonical constraints for parameterized data types. Zbl 0626.68010
Wagner, E. G.; Ehrig, H.
2
1987
A categorical treatment of pre- and post-conditions. Zbl 0628.68017
Wagner, Eric G.
2
1987
An algebraically specified language for data directed design. Zbl 0714.68054
Wagner, Eric G.
1
1990
A categorical view of weakest liberal preconditions. Zbl 0616.68013
Wagner, Eric G.
1
1986
Semantics of block structured languages with pointers. Zbl 0644.68023
Wagner, Eric G.
1
1988
On the role of memory in object-based and object-oriented languages. Zbl 0874.68034
Wagner, E. G.
1
1995
All recursive types defined using products and sums can be implemented using pointers. Zbl 0800.68331
Wagner, Eric G.
1
1990
Algebraic specifications: some old history and new thoughts. Zbl 1088.68648
Wagner, Eric G.
1
2002
From algebras to programming languages. Zbl 0305.68008
Wagner, Eric G.
1
1973
Categorical semantics, or extending data types to include memory. Zbl 0584.68043
Wagner, Eric G.
1
1985
A categorical treatment of pre- and post conditions. Zbl 0589.68014
Wagner, Eric G.
1
1986
Algebraic specifications: some old history and new thoughts. Zbl 1088.68648
Wagner, Eric G.
1
2002
A stochastic branch-and-bound approach to activity crashing in project management. Zbl 1034.90005
Gutjahr, W. J.; Strauss, C.; Wagner, E.
25
2000
Guarded algebras: Disguising partiality so you won’t know whether its there. Zbl 0966.68133
Haveraaen, Magne; Wagner, Eric G.
2
2000
On the role of memory in object-based and object-oriented languages. Zbl 0874.68034
Wagner, E. G.
1
1995
Algebras, polynomials and programs. Zbl 0726.68055
Wagner, Eric G.
2
1990
An algebraically specified language for data directed design. Zbl 0714.68054
Wagner, Eric G.
1
1990
All recursive types defined using products and sums can be implemented using pointers. Zbl 0800.68331
Wagner, Eric G.
1
1990
Semantics of block structured languages with pointers. Zbl 0644.68023
Wagner, Eric G.
1
1988
Canonical constraints for parameterized data types. Zbl 0626.68010
Wagner, E. G.; Ehrig, H.
2
1987
A categorical treatment of pre- and post-conditions. Zbl 0628.68017
Wagner, Eric G.
2
1987
Categories, data types, and imperative languages. Zbl 0616.68012
Wagner, Eric G.
3
1986
Algebraic theories, data types, and control constructs. Zbl 0617.68021
Wagner, Eric G.
2
1986
A categorical view of weakest liberal preconditions. Zbl 0616.68013
Wagner, Eric G.
1
1986
A categorical treatment of pre- and post conditions. Zbl 0589.68014
Wagner, Eric G.
1
1986
Why algebraic theories ? Zbl 0637.68019
Wagner, Eric G.; Bloom, Stephen L.; Thatcher, James W.
12
1985
Many-sorted theories and their algebras with some applications to data types. Zbl 0575.18004
Bloom, Stephen L.; Wagner, Eric G.
8
1985
Categorical semantics, or extending data types to include memory. Zbl 0584.68043
Wagner, Eric G.
1
1985
Parameter passing in algebraic specification languages. Zbl 0522.68027
Ehrig, Hartmut; Kreowski, Hans-Joerg; Thatcher, James; Wagner, Eric; Wright, Jesse
7
1984
Algebraic specifications with generating constraints. Zbl 0518.68019
Ehrig, H.; Wagner, E. G.; Thatcher, J. W.
12
1983
Recursion and iteration in continuous theories: the ”M-construction”. Zbl 0534.18003
Bloom, Stephen L.; Thatcher, James W.; Wagner, Eric G.; Wright, Jesse B.
7
1983
Data type specification: Parameterization and the power of specification techniques. Zbl 0495.68020
Thatcher, J. W.; Wagner, E. G.; Wright, J. B.
37
1982
More on advice on structuring compilers and proving them correct. Zbl 0468.68007
Thatcher, James W.; Wagner, Eric G.; Wright, Jesse B.
11
1981
Parameterized data types in algebraic specification languages (short version). Zbl 0456.68101
Ehrig, Hartmut; Kreowski, Hans-Jörg; Thatcher, James; Wagner, Eric; Wright, Jesse
15
1980
Semantics-directed compiler generation. Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980. Zbl 0447.68002
4
1980
Notes on algebraic fundamentals for theoretical computer science. Zbl 0418.68034
Thatcher, James W.; Wagner, Eric G.; Wright, Jesse B.
9
1979
More on advice on structuring compilers and proving them correct. Zbl 0412.68013
Thatcher, James W.; Wagner, Eric G.; Wright, Jesse B.
5
1979
A uniform approach to inductive posets and inductive closure. Zbl 0732.06001
Wright, J. B.; Wagner, E. G.; Thatcher, J. W.
48
1978
Programming languages as mathematical objects. Zbl 0394.68008
Wagner, Eric G.; Thatcher, James W.; Wright, Jesse B.
14
1978
Data type specification, parameterization and the power of specification techniques. Zbl 1282.68170
Thatcher, James W.; Wagner, Eric G.; Wright, Jesse B.
12
1978
Initial algebra semantics and continuous algebras. Zbl 0359.68018
Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B.
222
1977
A uniform approach to inductive posets and inductive closure. Zbl 0372.06002
Wright, J. B.; Wagner, E. G.; Thatcher, J. W.
6
1977
Some fundamentals of order-algebraic semantics. Zbl 0361.68041
Wagner, E. G.; Wright, J. B.; Goguen, J. A.; Thatcher, J. W.
23
1976
Parallel realization of systems, using factorizations and quotients in categories. Zbl 0333.93002
Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B.
10
1976
Factorizations, congruences, and the decomposition of automata and systems. Zbl 0306.18005
Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B.
11
1975
From algebras to programming languages. Zbl 0305.68008
Wagner, Eric G.
1
1973
Bounded action machines. II: The basic structure of tapeless computers. Zbl 0257.68042
Wagner, E. G.
2
1972
An algebraic theory of recursive definitions and recursive languages. Zbl 0252.02048
Wagner, Eric G.
6
1971
Uniformly reflexive structures: On the nature of gödelizations and relative computability. Zbl 0265.02029
Wagner, Eric G.
8
1970
Bounded action machines: toward an abstract theory of computer structure. Zbl 0162.48301
Wagner, E. G.
6
1968
On connecting moduls together uniformly fot form a modular computer. Zbl 0148.39901
Wagner, E. G.
3
1966
all top 5

Cited by 353 Authors

18 Ésik, Zoltán
15 Courcelle, Bruno
12 Wagner, Eric G.
11 Bloom, Stephen L.
10 Goguen, Joseph Amadee
9 Ehrig, Hartmut
9 Tarlecki, Andrzej
7 Adámek, Jiří
7 Li, Qingguo
7 Sannella, Donald T.
7 Vogler, Heiko
6 Bergstra, Jan A.
6 Corradini, Andrea
6 Erné, Marcel
6 Meseguer Guaita, José
6 Parisi-Presicce, Francesco
6 Wright, Jesse B.
5 Gadducci, Fabio
5 Gallier, Jean H.
5 Padawitz, Peter
5 Thatcher, James W.
5 Wirsing, Martin
4 Broy, Manfred
4 Diaconescu, Răzvan
4 Engelfriet, Joost
4 Klop, Jan Willem
4 Nelson, Evelyn M.
4 Oriat, Catherine
4 Ştefănescu, Gheorghe
4 Velebil, Jiří
4 Zhang, Zhongxi
4 Zhao, Bin
3 Aceto, Luca
3 Burstall, Rod M.
3 Căzănescu, Virgil Emil
3 Cremers, Armin B.
3 Ehrich, Hans-Dieter
3 Fülöp, Zoltán
3 Guessarian, Irène
3 Hennessy, Matthew C. B.
3 Hibbard, Thomas N.
3 Indermark, Klaus
3 Ingólfsdóttir, Anna
3 Kaplan, Stéphane
3 Kreowski, Hans-Jörg
3 Mislove, Michael W.
3 Orejas, Fernando
3 Palamidessi, Catuscia
3 Thatte, Satish R.
3 Tucker, John V.
3 Wand, Mitchell
3 Zhao, Dongsheng
2 Aczel, Peter
2 Aït-Kaci, Hassan
2 Arbib, Michael A.
2 Arnold, André
2 Astesiano, Egidio
2 Back, Ralph-Johan
2 Badouel, Eric
2 Benson, David B.
2 Bethke, Inge
2 Bidoit, Michel
2 Buro, Samuele
2 Cockett, J. Robin B.
2 de Lucena, Carlos José Pereira
2 Endrullis, Jörg
2 Fábregas, Ignacio
2 Fotsing, Bernard
2 Franchi-Zannettacci, Paul
2 García-Pérez, Álvaro
2 Giegerich, Robert
2 Gray, John W.
2 Große-Rhode, Martin
2 Hendriks, Dimitri
2 Ho, Weng Kin
2 Hoare, C. A. R. Tony
2 Kamimura, Tsutomu
2 Kurz, Alexander
2 Lehmann, Daniel J.
2 Levi, Giorgio
2 Lipeck, Udo Walter
2 Lisper, Björn
2 Liu, Min
2 Lu, Jing
2 Mahr, Bernd
2 Maibaum, Thomas Stephen Edward
2 Małuszyński, Jan
2 Manes, Ernest G.
2 Mastroeni, Isabella
2 Meyer, John-Jules Charles
2 Milius, Stefan
2 Morris, F. Lockwood
2 Moss, Lawrence S.
2 Oles, Frank J.
2 Ortega-Mallén, Yolanda
2 Pair, Claude
2 Poigné, Axel
2 Reiterman, Jan
2 Roşu, Grigore
2 Schmidt, Erik Meineche
...and 253 more Authors
all top 5

Cited in 61 Serials

116 Theoretical Computer Science
44 Journal of Computer and System Sciences
16 Acta Informatica
16 Mathematical Structures in Computer Science
11 Information and Computation
8 Information Processing Letters
6 Journal of Pure and Applied Algebra
6 Mathematical Systems Theory
6 RAIRO, Informatique Théorique
6 Topology and its Applications
5 Algebra Universalis
5 Journal of Symbolic Computation
5 Diagrammes
5 The Journal of Logic and Algebraic Programming
4 The Journal of Symbolic Logic
4 Semigroup Forum
4 Journal of Functional Programming
3 Order
3 International Journal of Foundations of Computer Science
3 Cybernetics and Systems Analysis
2 Discrete Mathematics
2 Calcolo
2 Transactions of the American Mathematical Society
2 Annals of Pure and Applied Logic
2 Formal Aspects of Computing
2 Theory and Applications of Categories
2 Soft Computing
2 Acta Mathematica Sinica. English Series
2 Logical Methods in Computer Science
2 Journal of Logical and Algebraic Methods in Programming
1 Archiv für Mathematische Logik und Grundlagenforschung
1 International Journal of General Systems
1 Journal of the Franklin Institute
1 Periodica Mathematica Hungarica
1 Aplikace Matematiky
1 Applied Mathematics and Computation
1 Cahiers de Topologie et Géométrie Différentielle Catégoriques
1 Commentationes Mathematicae Universitatis Carolinae
1 Computing
1 Czechoslovak Mathematical Journal
1 Fuzzy Sets and Systems
1 Information Sciences
1 International Journal of Computer & Information Sciences
1 Journal of Algebra
1 Journal of Soviet Mathematics
1 Notre Dame Journal of Formal Logic
1 Proceedings of the American Mathematical Society
1 Quaestiones Mathematicae
1 Rendiconti del Circolo Matemàtico di Palermo. Serie II
1 Rendiconti del Seminario Matematico della Università di Padova
1 Science of Computer Programming
1 International Journal of Computer Mathematics
1 RAIRO. Informatique Théorique et Applications
1 Applied Categorical Structures
1 Topology Proceedings
1 Mathematical Logic Quarterly (MLQ)
1 Annals of Mathematics and Artificial Intelligence
1 Abstract and Applied Analysis
1 Discrete Mathematics and Theoretical Computer Science. DMTCS
1 RAIRO. Theoretical Informatics and Applications
1 Computer Science Review

Citations by Year