Edit Profile (opens in new tab) Wegner, Peter Co-Author Distance Author ID: wegner.peter Published as: Wegner, Peter; Wegner, P. External Links: MGP · Wikidata · dblp · IdRef Documents Indexed: 23 Publications since 1960, including 1 Book 3 Contributions as Editor Co-Authors: 9 Co-Authors with 12 Joint Publications 170 Co-Co-Authors all top 5 Co-Authors 14 single-authored 5 Goldin, Dina Q. 3 Smolka, Scott A. 2 Eberbach, Eugene 1 Cohen, Jacques 1 Doig, Alison G. 1 Kendall, Maurice George 1 Nierstrasz, Oscar M. 1 Tokoro, Mario 1 Trilling, Caurent all top 5 Serials 2 The Computer Journal. Section A / Section B 1 IEEE Transactions on Computers 1 International Journal of Computer & Information Sciences 1 Journal of the Association for Computing Machinery 1 Management Science 1 Theoretical Computer Science 1 Communications of the ACM 1 Computing Surveys 1 IEEE Transactions on Software Engineering 1 Bulletin of the European Association for Theoretical Computer Science EATCS 1 A.P.I.C. Studies in Data Processing 1 Lecture Notes in Computer Science 1 Revue de l’Institut International de Statistique Fields 18 Computer science (68-XX) 2 Mathematical logic and foundations (03-XX) 2 Operations research, mathematical programming (90-XX) 1 General and overarching topics; collections (00-XX) 1 Statistics (62-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 15 Publications have been cited 81 times in 66 Documents Cited by ▼ Year ▼ Interactive computation. The new paradigm. Zbl 1106.68002 17 2006 Interactive foundations of computing. Zbl 0897.68041Wegner, Peter 15 1998 The Vienna Definition Language. Zbl 0242.68042Wegner, Peter 13 1972 The Church-Turing thesis: Breaking the myth. Zbl 1115.68082Goldin, Dina; Wegner, Peter 7 2005 Beyond Turing machines. Zbl 1169.68409Eberbach, Eugene; Wegner, Peter 5 2003 Principles of interactive computation. Zbl 1266.68110Goldin, Dina; Wegner, Peter 5 2006 Turing machines, transition systems, and interaction. Zbl 1260.68267Goldin, Dina Q.; Smolka, Scott A.; Wegner, Peter 4 2002 New models of computation. Zbl 1090.68044Wegner, Peter; Eberbach, Eugene 3 2004 Programming languages - the first 25 years. Zbl 0345.68003Wegner, Peter 2 1976 Programming with ADA. An introduction by means of graduated examples. Zbl 0434.68006Wegner, Peter 2 1980 Coinductive models of finite computing agents. Zbl 0918.68023Wegner, Peter; Goldin, Dina 2 1999 A nonlinear extension of the simplex method. Zbl 0995.90624Wegner, Peter 2 1960 A nucleus of a theorem-prover described in ALGOL-68. Zbl 0276.68038Cohen, Jacques; Trilling, Caurent; Wegner, Peter 2 1974 Programming language semantics. Zbl 0266.68039Wegner, Peter 1 1972 Symmetric solutions of the postage stamp problem. Zbl 0173.47502Wegner, P.; Doig, A. 1 1966 Interactive computation. The new paradigm. Zbl 1106.68002 17 2006 Principles of interactive computation. Zbl 1266.68110Goldin, Dina; Wegner, Peter 5 2006 The Church-Turing thesis: Breaking the myth. Zbl 1115.68082Goldin, Dina; Wegner, Peter 7 2005 New models of computation. Zbl 1090.68044Wegner, Peter; Eberbach, Eugene 3 2004 Beyond Turing machines. Zbl 1169.68409Eberbach, Eugene; Wegner, Peter 5 2003 Turing machines, transition systems, and interaction. Zbl 1260.68267Goldin, Dina Q.; Smolka, Scott A.; Wegner, Peter 4 2002 Coinductive models of finite computing agents. Zbl 0918.68023Wegner, Peter; Goldin, Dina 2 1999 Interactive foundations of computing. Zbl 0897.68041Wegner, Peter 15 1998 Programming with ADA. An introduction by means of graduated examples. Zbl 0434.68006Wegner, Peter 2 1980 Programming languages - the first 25 years. Zbl 0345.68003Wegner, Peter 2 1976 A nucleus of a theorem-prover described in ALGOL-68. Zbl 0276.68038Cohen, Jacques; Trilling, Caurent; Wegner, Peter 2 1974 The Vienna Definition Language. Zbl 0242.68042Wegner, Peter 13 1972 Programming language semantics. Zbl 0266.68039Wegner, Peter 1 1972 Symmetric solutions of the postage stamp problem. Zbl 0173.47502Wegner, P.; Doig, A. 1 1966 A nonlinear extension of the simplex method. Zbl 0995.90624Wegner, Peter 2 1960 all cited Publications top 5 cited Publications all top 5 Cited by 110 Authors 7 Skowron, Andrzej 3 Cabessa, Jérémie 3 Zadeh, Lotfi Asker 2 Broy, Manfred 2 Chakraborty, Mihir Kumar 2 Cooper, Stuart Barry 2 Dutta, Soma 2 Eberbach, Eugene 2 Russell, Bruce D. 2 Villa, Alessandro E. P. 2 Wasilewski, Piotr 2 Zenil, Hector 1 Abramsky, Samson 1 Adorna, Henry Natividad 1 Akl, Selim G. 1 Arbab, Farhad 1 Attie, Paul C. 1 Berry, Daniel M. 1 Boker, Udi 1 Bonsangue, Marcello Maria 1 Brol’, V. V. 1 Bryant, Raymond M. 1 Cabarle, Francis George C. 1 Cabrera, Inma P. 1 Chandra D, Satish 1 Ciobanu, Gabriel 1 Cockshott, Paul 1 Cordero, Pablo 1 de Bakker, Jacobus W. 1 Dershowitz, Nachum 1 Dezani-Ciancaglini, Mariangiola 1 Dragoi, Cezara 1 Dymora, Paweł 1 Goldin, Dina Q. 1 Golovkin, B. A. 1 Greibach, Sheila A. 1 Grzymala-Busse, Jerzy W. 1 Gutiérrez, Gloria 1 Hennessy, John LeRoy 1 Hernández-Espinosa, Alberto 1 Hernández-Quiroz, Francisco 1 Jankowski, Andrzej Wojciech 1 Japaridze, Giorgi 1 Khrennikov, Andreĭ Yur’evich 1 Kieburtz, Richard B. 1 Kramer, Simon 1 Krasilov, A. A. 1 Krasnogor, Natalio 1 Lee, Edward Ashford 1 Letz, Reinhold 1 Li, Qing 1 Liu, Fangfang 1 Liu, Xingwu 1 Lu, Hanlin 1 Luo, Xiangfeng 1 Luttik, Bas 1 Macias, R. Infante 1 Mackenzie, Lewis M. 1 Marek, V. Wiktor 1 Martínez del Castillo, Javier 1 Maslov, A. N. 1 Maurer, Ward Douglas 1 Mazurek, Mirosław 1 Melton, Austin C. jun. 1 Michaelson, Greg 1 Middleton, A. G. 1 Mosses, Peter D. 1 Mukherjee, Saikat 1 Nguyen, Hung Son 1 Ojeda-Aciego, Manuel 1 Perera, Roly 1 Pérez-Jiménez, Mario J. 1 Peters, James Francis III 1 Polyak, Boris Teodorovich 1 Potgieter, Petrus H. 1 Raptis, Theophanes E. 1 Rotaru, Mihai D. 1 Rozenberg, Grzegorz 1 Rutten, Jan J. M. M. 1 Saaty, Thomas L. 1 Sajaniemi, Jorma 1 Salay, Nancy 1 Schröder, Bernd S. W. 1 Schumann, Andrew 1 Scutellà, A. 1 Siegelmann, Hava T. 1 Ślęzak, Dominik 1 Słowiński, Roman 1 Smolka, Scott A. 1 Soare, Robert I. 1 Sonderegger, Elaine L. 1 Srinivasa, Srinath 1 Ştefănescu, Gheorghe 1 Stenz, Gernot 1 Strecker, George E. 1 Strzalka, Dominik 1 Terrazas, German 1 Tsumoto, Shusaku 1 Unger, Brian W. 1 Van Leeuwen, Jan ...and 10 more Authors all top 5 Cited in 29 Serials 11 Theoretical Computer Science 4 Acta Informatica 4 Information Sciences 4 Natural Computing 3 Applied Mathematics and Computation 3 Journal of Soviet Mathematics 2 Journal of Computer and System Sciences 2 2 Information and Computation 1 International Journal of Theoretical Physics 1 Chaos, Solitons and Fractals 1 International Journal of Computer & Information Sciences 1 Software. Practice & Experience 1 Trabajos de Estadistica y de Investigacion Operativa 1 Annals of Pure and Applied Logic 1 New Generation Computing 1 Journal of Automated Reasoning 1 International Journal of Approximate Reasoning 1 Formal Aspects of Computing 1 Neural Computation 1 The Journal of Logic and Algebraic Programming 1 International Journal of Parallel, Emergent and Distributed Systems 1 Naval Research Logistics Quarterly 1 BIT. Nordisk Tidskrift for Informationsbehandling 1 Annales Universitatis Mariae Curie-Skłodowska. Sectio A1. Informatica 1 Logical Methods in Computer Science 1 \(p\)-Adic Numbers, Ultrametric Analysis, and Applications 1 Revue Française d’Automatique, Informatique, Recherche Opérationnelle. Série Rouge 1 Computer Science Review all top 5 Cited in 15 Fields 57 Computer science (68-XX) 11 Mathematical logic and foundations (03-XX) 4 Information and communication theory, circuits (94-XX) 3 Quantum theory (81-XX) 3 Biology and other natural sciences (92-XX) 2 Number theory (11-XX) 2 Operations research, mathematical programming (90-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 General algebraic systems (08-XX) 1 Category theory; homological algebra (18-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Probability theory and stochastic processes (60-XX) 1 Numerical analysis (65-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.