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

Publications by Year

Citations contained in zbMATH Open

38 Publications have been cited 444 times in 332 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.
205
1977
A uniform approach to inductive posets and inductive closure. Zbl 0732.06001
Wright, J. B.; Wagner, E. G.; Thatcher, J. W.
43
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.
24
2000
Some fundamentals of order-algebraic semantics. Zbl 0361.68041
Wagner, E. G.; Wright, J. B.; Goguen, J. A.; Thatcher, J. W.
20
1976
Data type specification, parameterization and the power of specification techniques. Zbl 1282.68170
Thatcher, James W.; Wagner, Eric G.; Wright, Jesse B.
12
1978
Algebraic specifications with generating constraints. Zbl 0518.68019
Ehrig, H.; Wagner, E. G.; Thatcher, J. W.
12
1983
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
Programming languages as mathematical objects. Zbl 0394.68008
Wagner, Eric G.; Thatcher, James W.; Wright, Jesse B.
8
1978
Parameter passing in algebraic specification languages. Zbl 0522.68027
Ehrig, Hartmut; Kreowski, Hans-Joerg; Thatcher, James; Wagner, Eric; Wright, Jesse
7
1984
Bounded action machines: toward an abstract theory of computer structure. Zbl 0162.48301
Wagner, E. G.
6
1968
Recursion and iteration in continuous theories: the ”M-construction”. Zbl 0534.18003
Bloom, Stephen L.; Thatcher, James W.; Wagner, Eric G.; Wright, Jesse B.
6
1983
A uniform approach to inductive posets and inductive closure. Zbl 0372.06002
Wright, J. B.; Wagner, E. G.; Thatcher, J. W.
5
1977
Parameterized data types in algebraic specification languages (short version). Zbl 0456.68101
Ehrig, Hartmut; Kreowski, Hans-Jörg; Thatcher, James; Wagner, Eric; Wright, Jesse
5
1980
Many-sorted theories and their algebras with some applications to data types. Zbl 0575.18004
Bloom, Stephen L.; Wagner, Eric G.
5
1985
More on advice on structuring compilers and proving them correct. Zbl 0412.68013
Thatcher, James W.; Wagner, Eric G.; Wright, Jesse B.
4
1979
An algebraic theory of recursive definitions and recursive languages. Zbl 0252.02048
Wagner, Eric G.
4
1971
Uniformly reflexive structures: On the nature of gödelizations and relative computability. Zbl 0265.02029
Wagner, Eric G.
4
1970
The HOMFLY-PT polynomials of sublinks and the Yokonuma-Hecke algebras. Zbl 1404.57028
Poulain D’Andecy, L.; Wagner, E.
4
2018
Why algebraic theories ? Zbl 0637.68019
Wagner, Eric G.; Bloom, Stephen L.; Thatcher, James W.
4
1985
Notes on algebraic fundamentals for theoretical computer science. Zbl 0418.68034
Thatcher, James W.; Wagner, Eric G.; Wright, Jesse B.
3
1979
Khovanov-Rozansky graph homology and composition product. Zbl 1165.57013
Wagner, E.
3
2008
Categories, data types, and imperative languages. Zbl 0616.68012
Wagner, Eric G.
3
1986
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
Algebraic theories, data types, and control constructs. Zbl 0617.68021
Wagner, Eric G.
2
1986
On connecting moduls together uniformly fot form a modular computer. Zbl 0148.39901
Wagner, E. G.
2
1966
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
Algebras, polynomials and programs. Zbl 0726.68055
Wagner, Eric G.
2
1990
Semantics-directed compiler generation. Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980. Zbl 0447.68002
1
1980
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
On the role of memory in object-based and object-oriented languages. Zbl 0874.68034
Wagner, E. G.
1
1995
Semantics of block structured languages with pointers. Zbl 0644.68023
Wagner, Eric G.
1
1988
An algebraically specified language for data directed design. Zbl 0714.68054
Wagner, Eric G.
1
1990
The HOMFLY-PT polynomials of sublinks and the Yokonuma-Hecke algebras. Zbl 1404.57028
Poulain D’Andecy, L.; Wagner, E.
4
2018
Khovanov-Rozansky graph homology and composition product. Zbl 1165.57013
Wagner, E.
3
2008
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.
24
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
All recursive types defined using products and sums can be implemented using pointers. Zbl 0800.68331
Wagner, Eric G.
1
1990
An algebraically specified language for data directed design. Zbl 0714.68054
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
Many-sorted theories and their algebras with some applications to data types. Zbl 0575.18004
Bloom, Stephen L.; Wagner, Eric G.
5
1985
Why algebraic theories ? Zbl 0637.68019
Wagner, Eric G.; Bloom, Stephen L.; Thatcher, James W.
4
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.
6
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
5
1980
Semantics-directed compiler generation. Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980. Zbl 0447.68002
1
1980
More on advice on structuring compilers and proving them correct. Zbl 0412.68013
Thatcher, James W.; Wagner, Eric G.; Wright, Jesse B.
4
1979
Notes on algebraic fundamentals for theoretical computer science. Zbl 0418.68034
Thatcher, James W.; Wagner, Eric G.; Wright, Jesse B.
3
1979
A uniform approach to inductive posets and inductive closure. Zbl 0732.06001
Wright, J. B.; Wagner, E. G.; Thatcher, J. W.
43
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
Programming languages as mathematical objects. Zbl 0394.68008
Wagner, Eric G.; Thatcher, James W.; Wright, Jesse B.
8
1978
Initial algebra semantics and continuous algebras. Zbl 0359.68018
Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B.
205
1977
A uniform approach to inductive posets and inductive closure. Zbl 0372.06002
Wright, J. B.; Wagner, E. G.; Thatcher, J. W.
5
1977
Some fundamentals of order-algebraic semantics. Zbl 0361.68041
Wagner, E. G.; Wright, J. B.; Goguen, J. A.; Thatcher, J. W.
20
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
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.
4
1971
Uniformly reflexive structures: On the nature of gödelizations and relative computability. Zbl 0265.02029
Wagner, Eric G.
4
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.
2
1966
all top 5

Cited by 330 Authors

14 Courcelle, Bruno
14 Ésik, Zoltán
10 Wagner, Eric G.
9 Ehrig, Hartmut
9 Goguen, Joseph Amadee
9 Tarlecki, Andrzej
8 Bloom, Stephen L.
7 Sannella, Donald T.
6 Adámek, Jiří
6 Bergstra, Jan A.
6 Erné, Marcel
6 Meseguer Guaita, José
6 Parisi-Presicce, Francesco
6 Vogler, Heiko
5 Gallier, Jean H.
5 Li, Qingguo
5 Padawitz, Peter
5 Thatcher, James W.
5 Wirsing, Martin
5 Wright, Jesse B.
4 Broy, Manfred
4 Corradini, Andrea
4 Diaconescu, Răzvan
4 Engelfriet, Joost
4 Oriat, Catherine
4 Velebil, Jiří
4 Zhao, Bin
3 Burstall, Rod M.
3 Cremers, Armin B.
3 Ehrich, Hans-Dieter
3 Gadducci, Fabio
3 Hibbard, Thomas N.
3 Indermark, Klaus
3 Ingólfsdóttir, Anna
3 Kaplan, Stéphane
3 Klop, Jan Willem
3 Kreowski, Hans-Jörg
3 Mislove, Michael W.
3 Nelson, Evelyn M.
3 Orejas, Fernando
3 Ştefănescu, Gheorghe
3 Thatte, Satish R.
3 Tucker, John V.
3 Wand, Mitchell
3 Zhang, Zhongxi
2 Aceto, Luca
2 Aczel, Peter
2 Arbib, Michael A.
2 Arnold, André
2 Astesiano, Egidio
2 Back, Ralph-Johan
2 Badouel, Eric
2 Bidoit, Michel
2 Buro, Samuele
2 Căzănescu, Virgil Emil
2 de Lucena, Carlos José Pereira
2 Endrullis, Jörg
2 Fábregas, Ignacio
2 Fotsing, Bernard
2 Franchi-Zannettacci, Paul
2 Fülöp, Zoltán
2 García-Pérez, Álvaro
2 Giegerich, Robert
2 Gray, John W.
2 Große-Rhode, Martin
2 Hendriks, Dimitri
2 Hennessy, Matthew C. B.
2 Ho, Weng Kin
2 Hoare, C. A. R. Tony
2 Kurz, Alexander
2 Lehmann, Daniel J.
2 Levi, Giorgio
2 Lipeck, Udo Walter
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 Palamidessi, Catuscia
2 Poigné, Axel
2 Reiterman, Jan
2 Roşu, Grigore
2 Schmidt, Erik Meineche
2 Tchougong, Rodrigue
2 Visser, Eelco
2 Xu, Xiaoquan
2 Zhang, Minghua
2 Zhao, Dongsheng
2 Zucker, Jeffery I.
1 Abramsky, Samson
1 Aït-Kaci, Hassan
1 Akama, Yohji
1 Alda, Vaclav
...and 230 more Authors
all top 5

Cited in 57 Serials

110 Theoretical Computer Science
39 Journal of Computer and System Sciences
16 MSCS. Mathematical Structures in Computer Science
15 Acta Informatica
11 Information and Computation
8 Information Processing Letters
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 Journal of Pure and Applied Algebra
4 The Journal of Symbolic Logic
4 Semigroup Forum
4 Journal of Functional Programming
3 Order
3 Cybernetics and Systems Analysis
2 Discrete Mathematics
2 Calcolo
2 Transactions of the American Mathematical Society
2 Formal Aspects of Computing
2 International Journal of Foundations of Computer Science
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 Computing
1 Czechoslovak Mathematical Journal
1 Information Sciences
1 International Journal of Computer & Information Sciences
1 Journal of Algebra
1 Journal of Soviet Mathematics
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 Annals of Pure and Applied Logic
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