| 2009 |
|---|
| 27 | EE | Wolfgang Schreiner:
The RISC ProofNavigator: a proving assistant for program verification in the classroom.
Formal Asp. Comput. 21(3): 277-291 (2009) |
| 26 | EE | Bernhard Knapp,
Ulrich Omasits,
Sophie Frantal,
Wolfgang Schreiner:
A critical cross-validation of high throughput structural binding prediction methods for pMHC.
Journal of Computer-Aided Molecular Design 23(5): 301-307 (2009) |
| 2008 |
|---|
| 25 | EE | Dacian Tudor,
Vladimir Cretu,
Wolfgang Schreiner:
Designing an Architecture for Distributed Shared Data on the Grid.
ICA3PP 2008: 261-264 |
| 2007 |
|---|
| 24 | EE | Rene Kobler,
Thomas Köckerbauer,
Ulrich Omasits,
Martin Neumann,
Wolfgang Schreiner,
Jens Volkert:
Interactive Molecular Dynamics Simulations on the Grid.
EUROCAST 2007: 443-447 |
| 23 | EE | Karoly Bosa,
Wolfgang Schreiner,
Michael Buchberger,
Thomas Kaltofen:
A Grid Software for Virtual Eye Surgery Based on Globus 4 and gLite.
ISPDC 2007: 151-158 |
| 2006 |
|---|
| 22 | EE | Rebhi Baraka,
Wolfgang Schreiner:
Querying Registry-Published Mathematical Web Services.
AINA (1) 2006: 767-772 |
| 21 | EE | Rebhi Baraka,
Wolfgang Schreiner:
Semantic Querying of Mathematical Web Service Descriptions.
WS-FM 2006: 73-87 |
| 2005 |
|---|
| 20 | EE | Rebhi Baraka,
Olga Caprotti,
Wolfgang Schreiner:
A Web Registry for Publishing and Discovering Mathematical Services.
EEE 2005: 190-193 |
| 19 | EE | Schahram Dustdar,
Wolfgang Schreiner:
A survey on web services composition.
IJWGS 1(1): 1-30 (2005) |
| 2003 |
|---|
| 18 | | Alois Ferscha,
Wolfgang Schreiner,
Gabriele Kotsis,
Ismail Khalil Ibrahim:
MoMM'2003 - The First International Conference Advances in Mobile Multimedia, 15-17 September 2003, Jakarta, Indonesia
Austrian Computer Society 2003 |
| 17 | | Wolfgang Schreiner:
Brokering Mathematical Services in the Global Network.
iiWAS 2003 |
| 16 | EE | Wolfgang Schreiner,
Christian Mittermaier,
Karoly Bosa:
Distributed Maple: parallel computer algebra in networked environments.
J. Symb. Comput. 35(3): 305-347 (2003) |
| 2002 |
|---|
| 15 | EE | József Kovács,
Gabor Kusper,
Róbert Lovas,
Wolfgang Schreiner:
Integrating Temporal Assertions into a Parallel Debugger.
Euro-Par 2002: 113-120 |
| 14 | EE | Wolfgang Schreiner:
A java toolkit for teaching distributed algorithms.
ITiCSE 2002: 111-115 |
| 13 | EE | Péter Kacsuk,
Wolfgang Schreiner,
Dieter Kranzlmüller,
Jens Volkert:
Parallel and Distributed Programming Tools for Grids.
PDP 2002: 137-138 |
| 2001 |
|---|
| 12 | EE | Wolfgang Schreiner,
Gabor Kusper,
Karoly Bosa:
Fault Tolerance for Cluster Computing Based on Functional Tasks.
Euro-Par 2001: 712-716 |
| 11 | EE | Wolfgang Schreiner:
Manager-Worker Parallelism versus Dataflow in a Distributed Computer Algebra System.
PaCT 2001: 329-343 |
| 2000 |
|---|
| 10 | EE | Wolfgang Schreiner,
Christian Mittermaier,
Franz Winkler:
On Solving a Problem in Algebraic Geometry by Cluster Computing (Research Note).
Euro-Par 2000: 1196-1200 |
| 1998 |
|---|
| 9 | EE | Wolfgang Schreiner,
Werner Danielczyk-Landerl,
Mircea Marin,
Wolfgang Stöcher:
A Generic Programming Environment for High-Performance Mathematical Libraries.
Generic Programming 1998: 256-268 |
| 1996 |
|---|
| 8 | | Wolfgang Schreiner:
A Para-Functional Programming Interface for a Parallel Computer Algebra Package.
J. Symb. Comput. 21(4): 593-614 (1996) |
| 1995 |
|---|
| 7 | | Hoon Hong,
Andreas Neubacher,
Wolfgang Schreiner:
The Design of the SACLIB/PACLIB Kernels.
J. Symb. Comput. 19(1-3): 111-132 (1995) |
| 1994 |
|---|
| 6 | | Wolfgang Schreiner:
Virtual Tasks for the PACLIB Kernel.
CONPAR 1994: 533-544 |
| 1993 |
|---|
| 5 | | Wolfgang Schreiner,
Hoon Hong:
The Design of the PACLIB Kernel for Parallel Algebraic Computation.
ACPC 1993: 204-218 |
| 4 | | Hoon Hong,
Andreas Neubacher,
Wolfgang Schreiner:
The Design of the SACLIB/PACLIB Kernels.
DISCO 1993: 288-302 |
| 3 | | Wolfgang Schreiner,
Hoon Hong:
A New Library for Parallel Algebraic Computation.
PPSC 1993: 776-783 |
| 1991 |
|---|
| 2 | | Wolfgang Schreiner:
ADAM - An Abstract Dataflow Machine and Its Transputer Implementation.
EDMCC 1991: 392-401 |
| 1990 |
|---|
| 1 | | Wolfgang Schreiner:
The ADAM Abstract Dataflow Machine.
Dagstuhl Seminar on Parallelization in Inference Systems 1990: 270-289 |
