×

zbMATH — the first resource for mathematics

Fischer, Sebastian

Compute Distance To:
Author ID: fischer.sebastian Recent zbMATH articles by "Fischer, Sebastian"
Published as: Fischer, S.; Fischer, Sebastian
Documents Indexed: 17 Publications since 2007

Publications by Year

Citations contained in zbMATH Open

11 Publications have been cited 28 times in 27 Documents Cited by Year
Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures. Zbl 1329.68062
Berghammer, Rudolf; Fischer, Sebastian
5
2015
Purely functional lazy non-deterministic programming. Zbl 1302.68058
Fischer, Sebastian; Kiselyov, Oleg; Shan, Chung-chieh
5
2009
Purely functional lazy nondeterministic programming. Zbl 1262.68032
Fischer, Sebastian; Kiselyov, Oleg; Shan, Chung-Chieh
4
2011
A play on regular expressions: functional pearl. Zbl 1323.68111
Fischer, Sebastian; Huch, Frank; Wilke, Thomas
4
2010
Implementing relational specifications in a constraint functional logic language. Zbl 1279.68036
Berghammer, Rudolf; Fischer, Sebastian
3
2007
A program transformation for tracing functional logic computations. Zbl 1196.68038
Brassel, Bernd; Fischer, Sebastian; Huch, Frank
2
2007
A clear picture of lens laws. Zbl 1432.68073
Fischer, Sebastian; Hu, Zhenjiang; Pacheco, Hugo
1
2015
Simple rectangle-based functional programs for computing reflexive-transitive closures. Zbl 1330.68044
Berghammer, Rudolf; Fischer, Sebastian
1
2012
Transforming functional logic programs into monadic functional programs. Zbl 1327.68060
Braßel, Bernd; Fischer, Sebastian; Hanus, Michael; Reck, Fabian
1
2011
Declaring numbers. Zbl 1283.68133
Braßel, Bernd; Fischer, Sebastian; Huch, Frank
1
2008
Two-dimensional RANS simulations of the flow through a compressor cascade with jet flaps. Zbl 1273.76251
Fischer, S.; Saathoff, H.; Radespiel, R.
1
2008
Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures. Zbl 1329.68062
Berghammer, Rudolf; Fischer, Sebastian
5
2015
A clear picture of lens laws. Zbl 1432.68073
Fischer, Sebastian; Hu, Zhenjiang; Pacheco, Hugo
1
2015
Simple rectangle-based functional programs for computing reflexive-transitive closures. Zbl 1330.68044
Berghammer, Rudolf; Fischer, Sebastian
1
2012
Purely functional lazy nondeterministic programming. Zbl 1262.68032
Fischer, Sebastian; Kiselyov, Oleg; Shan, Chung-Chieh
4
2011
Transforming functional logic programs into monadic functional programs. Zbl 1327.68060
Braßel, Bernd; Fischer, Sebastian; Hanus, Michael; Reck, Fabian
1
2011
A play on regular expressions: functional pearl. Zbl 1323.68111
Fischer, Sebastian; Huch, Frank; Wilke, Thomas
4
2010
Purely functional lazy non-deterministic programming. Zbl 1302.68058
Fischer, Sebastian; Kiselyov, Oleg; Shan, Chung-chieh
5
2009
Declaring numbers. Zbl 1283.68133
Braßel, Bernd; Fischer, Sebastian; Huch, Frank
1
2008
Two-dimensional RANS simulations of the flow through a compressor cascade with jet flaps. Zbl 1273.76251
Fischer, S.; Saathoff, H.; Radespiel, R.
1
2008
Implementing relational specifications in a constraint functional logic language. Zbl 1279.68036
Berghammer, Rudolf; Fischer, Sebastian
3
2007
A program transformation for tracing functional logic computations. Zbl 1196.68038
Brassel, Bernd; Fischer, Sebastian; Huch, Frank
2
2007

Citations by Year