Edit Profile Schumann, Johann M. Ph. Compute Distance To: Compute Author ID: schumann.johann-m-ph Published as: Schumann, J.; Schumann, Johann; Schumann, Johann M.; Schumann, Johann M. Ph. External Links: MGP Documents Indexed: 22 Publications since 1990, including 2 Books all top 5 Co-Authors 4 single-authored 7 Fischer, Bernd 2 Whalen, Michael W. 2 Whittle, Jon 2 Wolf, Andreas 1 Bushnell, David H. 1 Dahn, Ingo 1 Denney, Ewen 1 Erzberger, Heinz 1 Giannakopoulou, Dimitra 1 Heere, Karen 1 Liu, Yan 1 Pressburger, Thomas 1 Snelting, Gregor 1 Suttner, Christian B. Serials 1 ACM Transactions on Mathematical Software 1 Journal of Functional Programming 1 Annals of Mathematics and Artificial Intelligence 1 Studies in Computational Intelligence Fields 17 Computer science (68-XX) 2 Systems theory; control (93-XX) 1 Statistics (62-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 7 Publications have been cited 54 times in 50 Documents Cited by ▼ Year ▼ SETHEO: A high-performance theorem prover. Zbl 0759.68080Letz, R.; Schumann, J.; Bayerl, S.; Bibel, W. 41 1992 PARTHEO: A high-performance parallel theorem prover. Zbl 0708.68076Schumann, J.; Letz, R. 5 1990 Using automated theorem provers to certify auto-generated aerospace software. Zbl 1126.68563Denney, Ewen; Fischer, Bernd; Schumann, Johann 3 2004 AutoBayes: A system for generating data analysis programs from statistical models. Zbl 1037.68044Fischer, Bernd; Schumann, Johann 2 2003 Synthesizing certified code. Zbl 1064.68541Whalen, Michael; Schumann, Johann; Fischer, Bernd 1 2002 Generating data analysis programs from statistical models (position paper). Zbl 1044.68527Fischer, Bernd; Schumann, Johann; Pressburger, Tom 1 2000 SiCoTHEO: simple competitive parallel theorem provers. Zbl 1412.68259Schumann, J. 1 1996 Using automated theorem provers to certify auto-generated aerospace software. Zbl 1126.68563Denney, Ewen; Fischer, Bernd; Schumann, Johann 3 2004 AutoBayes: A system for generating data analysis programs from statistical models. Zbl 1037.68044Fischer, Bernd; Schumann, Johann 2 2003 Synthesizing certified code. Zbl 1064.68541Whalen, Michael; Schumann, Johann; Fischer, Bernd 1 2002 Generating data analysis programs from statistical models (position paper). Zbl 1044.68527Fischer, Bernd; Schumann, Johann; Pressburger, Tom 1 2000 SiCoTHEO: simple competitive parallel theorem provers. Zbl 1412.68259Schumann, J. 1 1996 SETHEO: A high-performance theorem prover. Zbl 0759.68080Letz, R.; Schumann, J.; Bayerl, S.; Bibel, W. 41 1992 PARTHEO: A high-performance parallel theorem prover. Zbl 0708.68076Schumann, J.; Letz, R. 5 1990 all cited Publications top 5 cited Publications all top 5 Cited by 79 Authors 4 Bibel, Wolfgang 4 Kreitz, Christoph 4 Schumann, Johann M. Ph. 3 Baumgartner, Peter 3 Brüning, Stefan 3 Otten, Jens 3 Sutcliffe, Geoff 2 Beckert, Bernhard 2 Bonacina, Maria Paola 2 Fischer, Bernd 2 Furbach, Ulrich 2 Hähnle, Reiner 2 Letz, Reinhold 2 Loveland, Donald W. 2 Schaub, Torsten H. 2 Schmitt, Stephan 1 Ammon, Kurt 1 Balzer, Wolfgang 1 Barnes, Janet 1 Barrett, Clark W. 1 Brandt, Christoph 1 Buchberger, Bruno 1 Bushnell, David H. 1 Chapman, Roderick 1 Cook, Andrew W. 1 Crǎciun, Adrian 1 Egly, Uwe 1 Ellis, Bill J. 1 Erzberger, Heinz 1 Fronhöfer, Bertram 1 Fuchs, Marc 1 Ge, Yeting 1 German, V. N. 1 Giannakopoulou, Dimitra 1 Goller, Christoph 1 Goré, Rajeev Prabhakar 1 Harrison, John 1 Heere, Karen 1 Horton, Joseph D. 1 Hsiang, Jieh 1 Ibens, Ortrun 1 Ireland, Andrew 1 Jebelean, Tudor 1 Klingenbeck, Stefan 1 Kovács, Laura Ildikó 1 Kutsia, Temur 1 Letychevs’kyĭ, Oleksandr Adol’fovych 1 Mayr, Kathrin 1 Melis, Erica 1 Morokhovets, Marina K. 1 Nakagawa, Koji 1 Nepomnyashchy, V. A. 1 Newborn, Monty 1 Nie, Xumin 1 Pape, Christian 1 Paskevich, Andrei 1 Piroi, Florina 1 Popov, Nikolaj 1 Posegga, Joachim 1 Rath, Thomas 1 Reed, David W. 1 Robu, Judit 1 Rosenkranz, Markus 1 Roşu, Grigore 1 Sander, Jörg 1 Schumann, Jochen 1 Segre, Alberto Maria 1 Shchogoleva, N. N. 1 Shults, Benjamin 1 Siekmann, Jörg H. 1 Spencer, Bruce D. 1 Stickel, Mark E. 1 Stolzenburg, Frieder 1 Sturgill, David B. 1 Suttner, Christian B. 1 Tinelli, Cesare 1 Wang, Zongyan 1 Windsteiger, Wolfgang 1 Wolf, Andreas all top 5 Cited in 9 Serials 10 Journal of Automated Reasoning 8 Artificial Intelligence 3 Journal of Symbolic Computation 3 Annals of Mathematics and Artificial Intelligence 2 Information and Computation 2 Cybernetics and Systems Analysis 1 Theoretical Computer Science 1 European Journal of Operational Research 1 Journal of Applied Logic all top 5 Cited in 7 Fields 47 Computer science (68-XX) 18 Mathematical logic and foundations (03-XX) 1 History and biography (01-XX) 1 Commutative algebra (13-XX) 1 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year