×

zbMATH — the first resource for mathematics

Fischer, Bernd

Compute Distance To:
Author ID: fischer.bernd.1 Recent zbMATH articles by "Fischer, Bernd"
Published as: Fischer, Bernd
Homepage: http://www.cs.sun.ac.za/~bfischer/
Documents Indexed: 17 Publications since 1997, including 4 Books

Publications by Year

Citations contained in zbMATH

6 Publications have been cited 10 times in 10 Documents Cited by Year
Using automated theorem provers to certify auto-generated aerospace software. Zbl 1126.68563
Denney, Ewen; Fischer, Bernd; Schumann, Johann
3
2004
AutoBayes: A system for generating data analysis programs from statistical models. Zbl 1037.68044
Fischer, Bernd; Schumann, Johann
2
2003
Interpreting abstract interpretations in membership equational logic. Zbl 1268.68066
Fischer, Bernd; Roşu, Grigore
2
2001
Preemptive type checking in dynamically typed languages. Zbl 1405.68030
Grech, Neville; Rathke, Julian; Fischer, Bernd
1
2013
Synthesizing certified code. Zbl 1064.68541
Whalen, Michael; Schumann, Johann; Fischer, Bernd
1
2002
Generating data analysis programs from statistical models (position paper). Zbl 1044.68527
Fischer, Bernd; Schumann, Johann; Pressburger, Tom
1
2000
Preemptive type checking in dynamically typed languages. Zbl 1405.68030
Grech, Neville; Rathke, Julian; Fischer, Bernd
1
2013
Using automated theorem provers to certify auto-generated aerospace software. Zbl 1126.68563
Denney, Ewen; Fischer, Bernd; Schumann, Johann
3
2004
AutoBayes: A system for generating data analysis programs from statistical models. Zbl 1037.68044
Fischer, Bernd; Schumann, Johann
2
2003
Synthesizing certified code. Zbl 1064.68541
Whalen, Michael; Schumann, Johann; Fischer, Bernd
1
2002
Interpreting abstract interpretations in membership equational logic. Zbl 1268.68066
Fischer, Bernd; Roşu, Grigore
2
2001
Generating data analysis programs from statistical models (position paper). Zbl 1044.68527
Fischer, Bernd; Schumann, Johann; Pressburger, Tom
1
2000

Citations by Year