Edit Profile (opens in new tab) Wright, Jesse B. Co-Author Distance Author ID: wright.jesse-b Published as: Wright, Jesse B.; Wright, J. B.; Wright, Jesse more...less External Links: MGP · dblp Documents Indexed: 39 Publications since 1953 1 Further Contribution Co-Authors: 16 Co-Authors with 38 Joint Publications 262 Co-Co-Authors all top 5 Co-Authors 2 single-authored 18 Thatcher, James W. 16 Wagner, Eric G. 7 Elgot, Calvin C. 6 Burks, Arthur W. 5 Bloom, Stephen L. 4 Goguen, Joseph Amadee 3 Copi, Irving M. 3 Warren, Don W. 2 Buchi, J. Richard 2 Ehrig, Hartmut 2 Kreowski, Hans-Jörg 2 McNaughton, Robert 2 Pollmar, Carl H. 1 Buks, Arthur W. 1 DeRemer, Franklin L. 1 Donzeau-Gouge, Veronique 1 Eilenberg, Samuel 1 Ganzinger, Harald 1 Gaudel, Marie-Claude 1 Jones, Neil D. 1 Jüllig, Richard 1 Kahn, Gilles 1 Lang, Bernard 1 Madsen, C. M. 1 Madsen, Ole Lehrmann 1 Mezei, J. 1 Mosses, Peter D. 1 Räihä, Kari-Jouko 1 Raskovsky, Martin 1 Schmidt, David A. 1 Turchin, Valentin F. 1 Watt, David Anthony all top 5 Serials 3 Information and Control 3 Theoretical Computer Science 2 Journal of the Association for Computing Machinery 2 Journal of Pure and Applied Algebra 2 Mathematical Systems Theory 2 Michigan Mathematical Journal 2 SIAM Journal on Computing 1 Journal of the Franklin Institute 1 Duke Mathematical Journal 1 Journal of Computer and System Sciences 1 The Journal of Symbolic Logic 1 Mathematische Annalen 1 Proceedings of the American Mathematical Society 1 ACM Transactions on Programming Languages and Systems 1 Journal of the Society for Industrial & Applied Mathematics 1 Mathematical Tables and other Aids to Computation 1 Lecture Notes in Computer Science all top 5 Fields 18 Computer science (68-XX) 12 Category theory; homological algebra (18-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 3 General algebraic systems (08-XX) 2 Mathematical logic and foundations (03-XX) 2 Systems theory; control (93-XX) 2 Information and communication theory, circuits (94-XX) 1 General and overarching topics; collections (00-XX) 1 Combinatorics (05-XX) 1 Group theory and generalizations (20-XX) Publications by Year all cited Publications top 5 cited Publications 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 cited Publications top 5 cited Publications 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 all top 5 Cited in 24 Fields 540 Computer science (68-XX) 159 Mathematical logic and foundations (03-XX) 104 Category theory; homological algebra (18-XX) 59 Order, lattices, ordered algebraic structures (06-XX) 57 General algebraic systems (08-XX) 26 Combinatorics (05-XX) 14 Group theory and generalizations (20-XX) 14 General topology (54-XX) 6 Associative rings and algebras (16-XX) 6 Systems theory; control (93-XX) 6 Information and communication theory, circuits (94-XX) 4 History and biography (01-XX) 3 Operations research, mathematical programming (90-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Biology and other natural sciences (92-XX) 1 General and overarching topics; collections (00-XX) 1 Topological groups, Lie groups (22-XX) 1 Measure and integration (28-XX) 1 Functional analysis (46-XX) 1 Operator theory (47-XX) 1 Statistics (62-XX) 1 Quantum theory (81-XX) 1 Mathematics education (97-XX) Citations by Year