×
Author ID: wright.jesse-b Recent zbMATH articles by "Wright, Jesse B."
Published as: Wright, Jesse B.; Wright, J. B.; Wright, Jesse
External Links: MGP · dblp

Publications by Year

Citations contained in zbMATH Open

35 Publications have been cited 843 times in 642 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.
219
1977
Generalized finite automata theory with an application to a decision problem of second-order logic. Zbl 0157.02201
Thatcher, J. W.; Wright, J. B.
177
1968
Algebraic automata and context-free sets. Zbl 0155.34301
Mezei, J.; Wright, J. B.
73
1967
Automata in general algebras. Zbl 0175.27902
Eilenberg, S.; Wright, J. B.
55
1967
A uniform approach to inductive posets and inductive closure. Zbl 0732.06001
Wright, J. B.; Wagner, E. G.; Thatcher, J. W.
47
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
Generalised finite automata theory with an application to a decision problem of second-order logic. Zbl 0196.01901
Thatcher, J. W.; Wright, J. B.
29
1968
Vector iteration in pointed iterative theories. Zbl 0461.68047
Bloom, Stephen L.; Elgot, Calvin C.; Wright, Jesse B.
26
1980
Solutions of the iteration equation and extensions of the scalar iteration operation. Zbl 0454.18011
Bloom, Stephen L.; Elgot, Calvin C.; Wright, Jesse B.
25
1980
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
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
Realization of events by logical nets. Zbl 0088.01901
Copi, Irving M.; Elgot, Calvin C.; Wright, Jesse B.
10
1958
Programming languages as mathematical objects. Zbl 0394.68008
Wagner, Eric G.; Thatcher, James W.; Wright, Jesse B.
9
1978
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
Quantifier elimination in a problem of logical design. Zbl 0085.34001
Elgot, Calvin C.; Wright, Jesse B.
6
1959
Theory of logical nets. Zbl 0148.25305
Burks, A. W.; Wright, J. B.
6
1953
Finitary quasi-varieties. Zbl 0493.18004
Bloom, Stephen L.; Wright, Jesse B.
6
1982
P-varieties - a signature independent characterization of varieties of ordered algebras. Zbl 0519.08007
Bloom, Stephen L.; Wright, Jesse B.
6
1983
Realization of events by logical nets. Zbl 0148.25202
Copi, I. M.; Elgot, C. C.; Wright, J. B.
5
1958
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
A uniform approach to inductive posets and inductive closure. Zbl 0372.06002
Wright, J. B.; Wagner, E. G.; Thatcher, J. W.
5
1977
Series-parallel graphs and lattices. Zbl 0086.16303
Elgot, Calvin C.; Wright, Jesse B.
4
1959
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
Sequence generators and digital computers. Zbl 0145.24303
Burks, A. W.; Wright, J. B.
2
1962
An analysis of a logical machine using parenthesis-free notation. Zbl 0058.00405
Burks, Arthur W.; Warren, Don W.; Wright, Jesse B.
2
1954
The theory of proportionality as an abstraction of group theory. Zbl 0065.00902
Büchi, J. Richard; Wright, Jesse B.
1
1955
Invariants of the anti-automorphisms of a group. Zbl 0083.24604
Büchi, J. Richard; Wright, Jesse B.
1
1958
Sequence generators, graphs, and formal languages. Zbl 0109.35301
Burks, A. W.; Wright, J. B.
1
1962
Semantics-directed compiler generation. Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980. Zbl 0447.68002
1
1980
Quasi-projective geometry of two dimensions. Zbl 0058.14101
Wright, Jesse
1
1954
Parameter passing in algebraic specification languages. Zbl 0522.68027
Ehrig, Hartmut; Kreowski, Hans-Joerg; Thatcher, James; Wagner, Eric; Wright, Jesse
7
1984
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
P-varieties - a signature independent characterization of varieties of ordered algebras. Zbl 0519.08007
Bloom, Stephen L.; 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
Finitary quasi-varieties. Zbl 0493.18004
Bloom, Stephen L.; Wright, Jesse B.
6
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
Vector iteration in pointed iterative theories. Zbl 0461.68047
Bloom, Stephen L.; Elgot, Calvin C.; Wright, Jesse B.
26
1980
Solutions of the iteration equation and extensions of the scalar iteration operation. Zbl 0454.18011
Bloom, Stephen L.; Elgot, Calvin C.; Wright, Jesse B.
25
1980
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.
47
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.
9
1978
Initial algebra semantics and continuous algebras. Zbl 0359.68018
Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B.
219
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
Generalized finite automata theory with an application to a decision problem of second-order logic. Zbl 0157.02201
Thatcher, J. W.; Wright, J. B.
177
1968
Generalised finite automata theory with an application to a decision problem of second-order logic. Zbl 0196.01901
Thatcher, J. W.; Wright, J. B.
29
1968
Algebraic automata and context-free sets. Zbl 0155.34301
Mezei, J.; Wright, J. B.
73
1967
Automata in general algebras. Zbl 0175.27902
Eilenberg, S.; Wright, J. B.
55
1967
Sequence generators and digital computers. Zbl 0145.24303
Burks, A. W.; Wright, J. B.
2
1962
Sequence generators, graphs, and formal languages. Zbl 0109.35301
Burks, A. W.; Wright, J. B.
1
1962
Quantifier elimination in a problem of logical design. Zbl 0085.34001
Elgot, Calvin C.; Wright, Jesse B.
6
1959
Series-parallel graphs and lattices. Zbl 0086.16303
Elgot, Calvin C.; Wright, Jesse B.
4
1959
Realization of events by logical nets. Zbl 0088.01901
Copi, Irving M.; Elgot, Calvin C.; Wright, Jesse B.
10
1958
Realization of events by logical nets. Zbl 0148.25202
Copi, I. M.; Elgot, C. C.; Wright, J. B.
5
1958
Invariants of the anti-automorphisms of a group. Zbl 0083.24604
Büchi, J. Richard; Wright, Jesse B.
1
1958
The theory of proportionality as an abstraction of group theory. Zbl 0065.00902
Büchi, J. Richard; Wright, Jesse B.
1
1955
An analysis of a logical machine using parenthesis-free notation. Zbl 0058.00405
Burks, Arthur W.; Warren, Don W.; Wright, Jesse B.
2
1954
Quasi-projective geometry of two dimensions. Zbl 0058.14101
Wright, Jesse
1
1954
Theory of logical nets. Zbl 0148.25305
Burks, A. W.; Wright, J. B.
6
1953
all top 5

Cited by 634 Authors

31 Ésik, Zoltán
30 Courcelle, Bruno
24 Engelfriet, Joost
19 Vogler, Heiko
16 Bloom, Stephen L.
13 Fülöp, Zoltán
11 Ehrig, Hartmut
10 Adámek, Jiří
10 Goguen, Joseph Amadee
9 Wright, Jesse B.
8 Droste, Manfred
8 Tarlecki, Andrzej
8 Thatcher, James W.
8 Wagner, Eric G.
7 Gallier, Jean H.
7 Ghorani, Maryam
7 Li, Qingguo
7 Meseguer Guaita, José
7 Niehren, Joachim
6 Bozapalidis, Symeon
6 Corradini, Andrea
6 Drewes, Frank
6 Elgot, Calvin C.
6 Erné, Marcel
6 Sannella, Donald T.
6 Vardi, Moshe Ya’akov
5 Aceto, Luca
5 Bergstra, Jan A.
5 Bojańczyk, Mikołaj
5 Gadducci, Fabio
5 Kreowski, Hans-Jörg
5 Padawitz, Peter
5 Parisi-Presicce, Francesco
5 Rahonis, George
5 Schwentick, Thomas
5 Ştefănescu, Gheorghe
5 Wirsing, Martin
4 Broy, Manfred
4 Căzănescu, Virgil Emil
4 Diaconescu, Răzvan
4 Gastin, Paul
4 Löding, Christof
4 Maletti, Andreas
4 Manes, Ernest G.
4 Oriat, Catherine
4 Podelski, Andreas
4 Velebil, Jiří
4 Weil, Pascal
4 Zhang, Zhongxi
4 Zhao, Bin
3 Anisimov, Anatoly V.
3 Arbib, Michael A.
3 Arnold, André
3 Bartha, Miklós
3 Bollig, Benedikt
3 Buchi, J. Richard
3 Burstall, Rod M.
3 Ehrich, Hans-Dieter
3 Gottlob, Georg
3 Hennessy, Matthew C. B.
3 Hoogeboom, Hendrik Jan
3 Inaba, Kazuhiro
3 Ingólfsdóttir, Anna
3 Kamimura, Tsutomu
3 Kaminski, Michael
3 Kaplan, Stéphane
3 Kirsten, Daniel
3 Klop, Jan Willem
3 Kuske, Dietrich
3 Langer, Alexander
3 Maibaum, Thomas Stephen Edward
3 Meinecke, Ingmar
3 Milius, Stefan
3 Moghari, Somaye
3 Mönnich, Uwe
3 Moss, Lawrence S.
3 Nelson, Evelyn M.
3 Nivat, Maurice
3 Orejas, Fernando
3 Pair, Claude
3 Palamidessi, Catuscia
3 Rozenberg, Grzegorz
3 Shepherdson, John C.
3 Slutzki, Giora
3 Thatte, Satish R.
3 Zahedi, Mohammad Mehdi
3 Zhao, Dongsheng
2 Aczel, Peter
2 Aït-Kaci, Hassan
2 Astesiano, Egidio
2 Back, Ralph-Johan
2 Badouel, Eric
2 Beaudry, Martin
2 Bedon, Nicolas
2 Beeri, Catriel
2 Bělohlávek, Radim
2 Bidoit, Michel
2 Björklund, Johanna
2 Boiret, Adrien
2 Buro, Samuele
...and 534 more Authors
all top 5

Cited in 90 Serials

177 Theoretical Computer Science
63 Journal of Computer and System Sciences
34 Information and Computation
22 Mathematical Systems Theory
22 MSCS. Mathematical Structures in Computer Science
20 Acta Informatica
13 Journal of Pure and Applied Algebra
12 Information Processing Letters
7 Algebra Universalis
7 RAIRO, Informatique Théorique
7 International Journal of Foundations of Computer Science
7 Soft Computing
6 Journal of Symbolic Computation
6 Theory of Computing Systems
5 Discrete Mathematics
5 Semigroup Forum
5 Topology and its Applications
5 Diagrammes
4 Information Sciences
4 Journal of Algebra
4 The Journal of Symbolic Logic
4 Kybernetika
4 Cybernetics and Systems Analysis
4 Journal of Functional Programming
4 The Journal of Logic and Algebraic Programming
4 Logical Methods in Computer Science
3 Israel Journal of Mathematics
3 Fuzzy Sets and Systems
3 International Journal of Computer & Information Sciences
3 Transactions of the American Mathematical Society
3 Cybernetics
3 Annals of Pure and Applied Logic
3 Order
3 Journal of Logical and Algebraic Methods in Programming
2 Artificial Intelligence
2 Discrete Applied Mathematics
2 Journal of the Franklin Institute
2 Computing
2 Journal of Soviet Mathematics
2 Journal of Automated Reasoning
2 Formal Aspects of Computing
2 RAIRO. Informatique Théorique et Applications
2 Archive for Mathematical Logic
2 Journal of Logic, Language and Information
2 Theory and Applications of Categories
2 Discrete Mathematics and Theoretical Computer Science. DMTCS
2 Acta Mathematica Sinica. English Series
2 RAIRO. Theoretical Informatics and Applications
2 Journal of Applied Mathematics and Computing
2 RAIRO. Theoretical Informatics and Applications
1 Acta Mathematica Academiae Scientiarum Hungaricae
1 Archiv für Mathematische Logik und Grundlagenforschung
1 Bulletin of the Australian Mathematical Society
1 International Journal of General Systems
1 International Journal of Theoretical Physics
1 Journal of Mathematical Analysis and Applications
1 Periodica Mathematica Hungarica
1 Aplikace Matematiky
1 Cahiers de Topologie et Géométrie Différentielle Catégoriques
1 Calcolo
1 Commentationes Mathematicae Universitatis Carolinae
1 Czechoslovak Mathematical Journal
1 Journal of Combinatorial Theory. Series B
1 Mathematische Annalen
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 SIAM Journal on Computing
1 Studia Logica
1 Science of Computer Programming
1 Algorithmica
1 International Journal of Approximate Reasoning
1 International Journal of Algebra and Computation
1 Automation and Remote Control
1 International Journal of Computer Mathematics
1 Applicable Algebra in Engineering, Communication and Computing
1 Applied Categorical Structures
1 Mathematical Logic Quarterly (MLQ)
1 Annals of Mathematics and Artificial Intelligence
1 Journal of Automata, Languages and Combinatorics
1 Abstract and Applied Analysis
1 ACM Transactions on Computational Logic
1 Iranian Journal of Fuzzy Systems
1 Discrete Optimization
1 Bulletin of the American Mathematical Society
1 BIT. Nordisk Tidskrift for Informationsbehandling
1 The Bulletin of Mathematical Biophysics
1 Statistics and Computing
1 Computer Science Review

Citations by Year