Edit Profile (opens in new tab) Wegbreit, Ben Co-Author Distance Author ID: wegbreit.ben Published as: Wegbreit, Ben; Wegbreit, B. Documents Indexed: 19 Publications since 1969 Co-Authors: 6 Co-Authors with 8 Joint Publications 170 Co-Co-Authors all top 5 Co-Authors 11 single-authored 3 Book, Ronald Vernon 2 Greibach, Sheila A. 2 Morris, James H. jun. 2 Spitzen, Jay M. 1 Bobrow, Daniel G. 1 Ibarra, Oscar H. all top 5 Serials 5 Communications of the ACM 3 Journal of the Association for Computing Machinery 3 Journal of Computer and System Sciences 2 IEEE Transactions on Software Engineering 1 Acta Informatica 1 Information Processing Letters 1 The Computer Journal. Section A / Section B 1 IEEE Transactions on Computers 1 Information and Control Fields 19 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 15 Publications have been cited 123 times in 104 Documents Cited by ▼ Year ▼ Mechanical program analysis. Zbl 0306.68008 Wegbreit, Ben 37 1975 Time- and tape-bounded Turing acceptors and AFLs. Zbl 0206.28702 Book, R. V.; Greibach, S. A.; Wegbreit, B. 23 1970 A generator of context-sensitive languages. Zbl 0205.31302 Wegbreit, B. 11 1969 The synthesis of loop predicates. Zbl 0273.68014 Wegbreit, Ben 11 1974 Subgoal induction. Zbl 0349.68007 Morris, James H. jun.; Wegbreit, Ben 8 1977 Tape-bounded Turing acceptors and principal AFLs. Zbl 0206.28703 Book, R. V.; Greibach, S. A.; Ibarra, O. H.; Wegbreit, B. 8 1970 A note on AFLs and bounded erasing. Zbl 0237.68021 Book, Ronald V.; Wegbreit, Ben 5 1971 Verifying program performance. Zbl 0333.68013 Wegbreit, Ben 5 1976 Goal-directed program transformation. Zbl 0352.68033 Wegbreit, Ben 4 1976 The treatment of data types in EL 1. Zbl 0276.68016 Wegbreit, Ben 4 1974 Constructive methods in program verification. Zbl 0364.68011 Wegbreit, Ben 2 1977 Retrieval from context trees. Zbl 0307.68071 Wegbreit, Ben 2 1975 The verification and synthesis of data structures. Zbl 0282.68013 Spitzen, Jay; Wegbreit, Ben 1 1975 A model for control structures for artificial intelligence programming languages. Zbl 0324.68006 Bobrow, Daniel G.; Wegbreit, Ben 1 1976 Proving properties of complex data structures. Zbl 0326.68019 Wegbreit, Ben; Spitzen, Jay M. 1 1976 Subgoal induction. Zbl 0349.68007 Morris, James H. jun.; Wegbreit, Ben 8 1977 Constructive methods in program verification. Zbl 0364.68011 Wegbreit, Ben 2 1977 Verifying program performance. Zbl 0333.68013 Wegbreit, Ben 5 1976 Goal-directed program transformation. Zbl 0352.68033 Wegbreit, Ben 4 1976 A model for control structures for artificial intelligence programming languages. Zbl 0324.68006 Bobrow, Daniel G.; Wegbreit, Ben 1 1976 Proving properties of complex data structures. Zbl 0326.68019 Wegbreit, Ben; Spitzen, Jay M. 1 1976 Mechanical program analysis. Zbl 0306.68008 Wegbreit, Ben 37 1975 Retrieval from context trees. Zbl 0307.68071 Wegbreit, Ben 2 1975 The verification and synthesis of data structures. Zbl 0282.68013 Spitzen, Jay; Wegbreit, Ben 1 1975 The synthesis of loop predicates. Zbl 0273.68014 Wegbreit, Ben 11 1974 The treatment of data types in EL 1. Zbl 0276.68016 Wegbreit, Ben 4 1974 A note on AFLs and bounded erasing. Zbl 0237.68021 Book, Ronald V.; Wegbreit, Ben 5 1971 Time- and tape-bounded Turing acceptors and AFLs. Zbl 0206.28702 Book, R. V.; Greibach, S. A.; Wegbreit, B. 23 1970 Tape-bounded Turing acceptors and principal AFLs. Zbl 0206.28703 Book, R. V.; Greibach, S. A.; Ibarra, O. H.; Wegbreit, B. 8 1970 A generator of context-sensitive languages. Zbl 0205.31302 Wegbreit, B. 11 1969 all cited Publications top 5 cited Publications all top 5 Cited by 140 Authors 10 Albert, Elvira 10 Book, Ronald Vernon 8 Genaim, Samir 6 Greibach, Sheila A. 4 Hermenegildo, Manuel V. 4 López-García, Pedro 4 Puebla, Germán 4 Wrathall, Celia 3 Arenas, Puri 3 Ben-Amram, Amir M. 3 Charguéraud, Arthur 3 Kapur, Deepak 3 Klemen, Maximiliano 3 Martin-Martin, Enrique 3 Pottier, François 2 Flajolet, Philippe 2 Gallagher, John P. 2 Gutiérrez, Raúl 2 Hamilton, Geoff W. 2 Kovács, Laura Ildikó 2 Liqat, Umer 2 Merayo, Alicia 2 Nipkow, Tobias 2 Román-Díez, Guillermo 2 Rubio, Albert 2 Steyaert, Jean-Marc 2 Wegbreit, Ben 2 Wotschke, Detlef 2 Zanardini, Damiano 2 Zimmermann, Paul 1 Aharon, Shir 1 Allender, Eric W. 1 Arsac, Jacques J. 1 Asveld, Peter R. J. 1 Back, Ralph-Johan 1 Barthe, Gilles 1 Beigel, Richard 1 Benzinger, Ralph 1 Birget, Jean-Camille 1 Bofill, Miquel 1 Borralleras, Cristina 1 Brandstädt, Andreas 1 Brinkop, Hauke 1 Brown, James Robert 1 Casas, Rafael 1 Culik, Karel II 1 Cyphert, John 1 Dang, Duc-Hanh 1 Danner, Norman 1 D’Antoni, Loris 1 Dershowitz, Nachum 1 Early, Jay 1 Fernández-Camacho, María-Inés 1 Gaines, Brian R. 1 Ginsburg, Seymour 1 Gotlieb, Calvin C. 1 Guéneau, Armaël 1 Haemmerlé, Rémy 1 Hähnle, Reiner 1 Harel, David 1 Hawrusik, Frank M. 1 Hertrampf, Ulrich 1 Hoffmann, Jan-Philipp 1 Homer, Steven 1 Hu, Qinheping 1 Hung, Dang Van 1 Ibarra, Oscar H. 1 Ish-Shalom, Oren 1 Itzhaky, Shachar 1 Jourdan, Jacques-Henri 1 Kahn, David M. 1 Kalvala, Saraswati 1 Kasai, Takumi 1 Kauer, Stefan 1 Kodratoff, Yves 1 Kohout, Ladislav J. 1 Kostyrko, V.s. 1 Koutsos, Adrien 1 Kozhevnikova, G. P. 1 Kristiansen, Lars 1 Laneve, Cosimo 1 Lewis, Harry R. 1 Li, Ming 1 Licata, Daniel R. 1 Lienhardt, Michael 1 Lin, Fangzhen 1 Maass, Wolfgang 1 Majster, Mila E. 1 Maslov, A. N. 1 Masud, Abu Naser 1 Maurer, Hermann A. 1 McCloskey, Teresemarie 1 Mili, Ali 1 Milner, Robin 1 Mirliaz, Solène 1 Moore, Daniel J. 1 Morales, Jose Francisco 1 Nadkarni, Chaitanya 1 Nepeĭvoda, Nikolaĭ Nikolaevich 1 Nguyen, Ngoc-Khai ...and 40 more Authors all top 5 Cited in 35 Serials 14 Journal of Computer and System Sciences 14 Theoretical Computer Science 5 International Journal of Computer & Information Sciences 5 RAIRO, Informatique Théorique 4 Mathematical Systems Theory 4 Theory and Practice of Logic Programming 3 Acta Informatica 3 Artificial Intelligence 3 Journal of Automated Reasoning 2 Journal of Soviet Mathematics 2 Journal of Symbolic Computation 2 Logical Methods in Computer Science 1 Discrete Mathematics 1 International Journal of General Systems 1 Information Processing Letters 1 Information Sciences 1 Kybernetika 1 Publications of the Research Institute for Mathematical Sciences, Kyoto University 1 Transactions of the American Mathematical Society 1 Cybernetics 1 Science of Computer Programming 1 New Generation Computing 1 International Journal of Algebra and Computation 1 International Journal of Foundations of Computer Science 1 International Journal of Computer Mathematics 1 RAIRO. Informatique Théorique et Applications 1 Cybernetics and Systems Analysis 1 Formal Methods in System Design 1 Journal of Functional Programming 1 Theory of Computing Systems 1 The Journal of Logic and Algebraic Programming 1 Journal of Systems Science and Complexity 1 ACM Transactions on Computational Logic 1 Frontiers of Computer Science in China 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 10 Fields 102 Computer science (68-XX) 17 Mathematical logic and foundations (03-XX) 2 Combinatorics (05-XX) 1 Commutative algebra (13-XX) 1 Group theory and generalizations (20-XX) 1 Topological groups, Lie groups (22-XX) 1 Measure and integration (28-XX) 1 Biology and other natural sciences (92-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year