Edit Profile (opens in new tab) Fischer, Bernd Compute Distance To: Compute Author ID: fischer.bernd.1 Published as: Fischer, Bernd Homepage: http://www.cs.sun.ac.za/~bfischer/ Documents Indexed: 13 Publications since 1997 4 Contributions as Editor Co-Authors: 13 Co-Authors with 15 Joint Publications 187 Co-Co-Authors all top 5 Co-Authors 0 single-authored 7 Schumann, Johann M. Ph. 2 Denney, Ewen 2 Grech, Neville 2 Rathke, Julian 2 Schulz, Stephan 2 Sutcliffe, Geoff 2 Whalen, Michael W. 1 Baar, Thomas 1 Fuchs, Dirk 1 Geldenhuys, Jaco 1 Pressburger, Thomas 1 Roşu, Grigore 1 Snelting, Gregor 1 Uustalu, Tarmo 1 Visser, Eelco Serials 2 Journal of Automated Reasoning 2 Lecture Notes in Computer Science 1 Journal of Functional Programming 1 Journal of Universal Computer Science 1 Journal of Logical and Algebraic Methods in Programming Fields 17 Computer science (68-XX) 4 General and overarching topics; collections (00-XX) 2 Mathematical logic and foundations (03-XX) 1 Statistics (62-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 7 Publications have been cited 10 times in 10 Documents Cited by ▼ Year ▼ 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 Interpreting abstract interpretations in membership equational logic. Zbl 1268.68066Fischer, Bernd; Roşu, Grigore 2 2001 Generating data analysis programs from statistical models (position paper). Zbl 1044.68527Fischer, Bernd; Schumann, Johann; Pressburger, Tom 1 2000 Synthesizing certified code. Zbl 1064.68541Whalen, Michael; Schumann, Johann; Fischer, Bernd 1 2002 Theoretical aspects of computing – ICTAC 2018. 15th international colloquium, Stellenbosch, South Africa, October 16–19, 2018. Proceedings. Zbl 1398.68027 1 2018 Preemptive type checking in dynamically typed languages. Zbl 1405.68030Grech, Neville; Rathke, Julian; Fischer, Bernd 1 2013 Theoretical aspects of computing – ICTAC 2018. 15th international colloquium, Stellenbosch, South Africa, October 16–19, 2018. Proceedings. Zbl 1398.68027 1 2018 Preemptive type checking in dynamically typed languages. Zbl 1405.68030Grech, Neville; Rathke, Julian; Fischer, Bernd 1 2013 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 Interpreting abstract interpretations in membership equational logic. Zbl 1268.68066Fischer, Bernd; Roşu, Grigore 2 2001 Generating data analysis programs from statistical models (position paper). Zbl 1044.68527Fischer, Bernd; Schumann, Johann; Pressburger, Tom 1 2000 all cited Publications top 5 cited Publications all top 5 Cited by 23 Authors 2 Fischer, Bernd 2 Meseguer Guaita, José 2 Sutcliffe, Geoff 1 Barnes, Janet 1 Barrett, Clark W. 1 Bushnell, David H. 1 Chapman, Roderick 1 Clavel, Manuel 1 Cook, Andrew W. 1 Ellis, Bill J. 1 Erzberger, Heinz 1 Ge, Yeting 1 Giannakopoulou, Dimitra 1 Grech, Neville 1 Heere, Karen 1 Ireland, Andrew 1 Martí-Oliet, Narciso 1 Nepomnyashchy, V. A. 1 Palomino, Miguel 1 Rathke, Julian 1 Roşu, Grigore 1 Schumann, Johann M. Ph. 1 Tinelli, Cesare Cited in 5 Serials 3 Journal of Automated Reasoning 2 Theoretical Computer Science 2 Annals of Mathematics and Artificial Intelligence 1 Cybernetics and Systems Analysis 1 Journal of Logical and Algebraic Methods in Programming Cited in 2 Fields 10 Computer science (68-XX) 3 Mathematical logic and foundations (03-XX) Citations by Year