Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Wolfgang Schreiner
2010 – today
- 2013
[j15]Birgit Hischenhuber, Hans Havlicek, Jelena Todoric, Sonja Höllrigl-Binder, Wolfgang Schreiner, Bernhard Knapp: Differential geometric analysis of alterations in MH α-helices. Journal of Computational Chemistry 34(21): 1862-1879 (2013)- [c27]Andrii Kryvolap, Mykola Nikitchenko, Wolfgang Schreiner: Program Algebras with Monotone Floyd-Hoare Composition. ICTERI 2013: 533-549
- 2012
- [j14]Wolfgang Schreiner, Rudolf Karch, Bernhard Knapp, Nevena Ilieva: Relaxation Estimation of RMSD in Molecular Dynamics Immunosimulations. Comp. Math. Methods in Medicine 2012 (2012)
- [j13]Birgit Hischenhuber, Florian Frommlet, Wolfgang Schreiner, Bernhard Knapp: MH2c: Characterization of major histocompatibility α-helices - an information criterion approach. Computer Physics Communications 183(7): 1481-1490 (2012)
- [c26]Muhammad Taimoor Khan, Wolfgang Schreiner: Towards the Formal Specification and Verification of Maple Programs. AISC/MKM/Calculemus 2012: 231-247
- [c25]Muhammad Taimoor Khan, Wolfgang Schreiner: On Formal Specification of Maple Programs. AISC/MKM/Calculemus 2012: 443-447
- [i2]Muhammad Taimoor Khan, Wolfgang Schreiner: On Formal Specification of Maple Programs. CoRR abs/1207.2291 (2012)
- [i1]Muhammad Taimoor Khan, Wolfgang Schreiner: Towards the Formal Specification and Verification of Maple Programs. CoRR abs/1207.2300 (2012)
- 2011
- [j12]Bernhard Knapp, Verena Giczi, Reiner Ribarics, Wolfgang Schreiner: PeptX: Using Genetic Algorithms to optimize peptides for MHC binding. BMC Bioinformatics 12: 241 (2011)
- [j11]Bernhard Knapp, Sophie Frantal, M. Cibena, Wolfgang Schreiner, P. Bauer: Is an Intuitive Convergence Definition of Molecular Dynamics Simulations Solely Based on the Root Mean Square Deviation Possible? Journal of Computational Biology 18(8): 997-1005 (2011)
- [c24]Wolfgang Schreiner: Computer-Assisted Program Reasoning Based on a Relational Semantics of Programs. THedu'11 2011: 124-142
- 2010
- [j10]Bernhard Knapp, Nadja Lederer, Ulrich Omasits, Wolfgang Schreiner: vmdICE: A plug-in for rapid evaluation of molecular dynamics simulations using VMD. Journal of Computational Chemistry 31(16): 2868-2873 (2010)
- [c23]Dacian Tudor, Georgiana Macariu, Wolfgang Schreiner, Vladimir Cretu: Shared Data Grid Programming Improvements Using Specialized Objects. CISIS 2010: 398-403
- [e2]Temur Kutsia, Wolfgang Schreiner, Maribel Fernández (Eds.): Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria. ACM 2010, ISBN 978-1-4503-0132-9
2000 – 2009
- 2009
- [j9]Wolfgang Schreiner: The RISC ProofNavigator: a proving assistant for program verification in the classroom. Formal Asp. Comput. 21(3): 277-291 (2009)
- [j8]Dacian Tudor, Georgiana Macariu, Wolfgang Schreiner, Vladimir-Ioan Cretu: Experiences on grid shared data programming. IJGUC 1(4): 296-307 (2009)
- [j7]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)
- [c22]Gabor Guta, Wolfgang Schreiner, Dirk Draheim: A Lightweight MDSD Process Applied in Small Projects. EUROMICRO-SEAA 2009: 255-258
- [c21]Dacian Tudor, Georgiana Macariu, Wolfgang Schreiner, Vladimir Cretu: Experiments on a grid layer prototype for shared data programming model. SACI 2009: 441-446
- 2008
- [c20]Dacian Tudor, Vladimir Cretu, Wolfgang Schreiner: Designing an Architecture for Distributed Shared Data on the Grid. ICA3PP 2008: 261-264
- 2007
- [c19]Rene Kobler, Thomas Köckerbauer, Ulrich Omasits, Martin Neumann, Wolfgang Schreiner, Jens Volkert: Interactive Molecular Dynamics Simulations on the Grid. EUROCAST 2007: 443-447
- [c18]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
- [c17]Rebhi Baraka, Wolfgang Schreiner: Querying Registry-Published Mathematical Web Services. AINA (1) 2006: 767-772
- [c16]Rebhi Baraka, Wolfgang Schreiner: Semantic Querying of Mathematical Web Service Descriptions. WS-FM 2006: 73-87
- 2005
- [j6]Beatrice A. Nadler, Rudolf Karch, Martin Neumann, Friederike Neumann, Seyedhossein Aharinejad, Wolfgang Schreiner: Error estimation of geometrical data obtained by histomorphometry of oblique vessel sections: a computer model study. Comp. in Bio. and Med. 35(9): 829-844 (2005)
- [j5]
- [j4]Karoly Bosa, Wolfgang Schreiner: Tolerating Stop Failures in Distributed Maple. Scalable Computing: Practice and Experience 6(2) (2005)
- [c15]Rebhi Baraka, Olga Caprotti, Wolfgang Schreiner: A Web Registry for Publishing and Discovering Mathematical Services. EEE 2005: 190-193
- 2003
- [j3]Wolfgang Schreiner, Christian Mittermaier, Karoly Bosa: Distributed Maple: parallel computer algebra in networked environments. J. Symb. Comput. 35(3): 305-347 (2003)
- [c14]
- [e1]Alois Ferscha, Wolfgang Schreiner, Gabriele Kotsis, Ismail Khalil Ibrahim (Eds.): MoMM'2003 - The First International Conference Advances in Mobile Multimedia, 15-17 September 2003, Jakarta, Indonesia. books@ocg.at 171, Austrian Computer Society 2003
- 2002
- [c13]József Kovács, Gábor Kusper, Róbert Lovas, Wolfgang Schreiner: Integrating Temporal Assertions into a Parallel Debugger. Euro-Par 2002: 113-120
- [c12]
- [c11]Péter Kacsuk, Wolfgang Schreiner, Dieter Kranzlmüller, Jens Volkert: Parallel and Distributed Programming Tools for Grids. PDP 2002: 137-138
- 2001
- [c10]Wolfgang Schreiner, Gábor Kusper, Karoly Bosa: Fault Tolerance for Cluster Computing Based on Functional Tasks. Euro-Par 2001: 712-716
- [c9]Wolfgang Schreiner: Manager-Worker Parallelism versus Dataflow in a Distributed Computer Algebra System. PaCT 2001: 329-343
- 2000
- [c8]Wolfgang Schreiner, Christian Mittermaier, Franz Winkler: On Solving a Problem in Algebraic Geometry by Cluster Computing (Research Note). Euro-Par 2000: 1196-1200
1990 – 1999
- 1998
- [c7]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
- [j2]Wolfgang Schreiner: A Para-Functional Programming Interface for a Parallel Computer Algebra Package. J. Symb. Comput. 21(4): 593-614 (1996)
- 1995
- [j1]Hoon Hong, Andreas Neubacher, Wolfgang Schreiner: The Design of the SACLIB/PACLIB Kernels. J. Symb. Comput. 19(1-3): 111-132 (1995)
- 1994
- [c6]
- 1993
- [c5]
- [c4]Hoon Hong, Andreas Neubacher, Wolfgang Schreiner: The Design of the SACLIB/PACLIB Kernels. DISCO 1993: 288-302
- [c3]
- 1991
- [c2]Wolfgang Schreiner: ADAM - An Abstract Dataflow Machine and Its Transputer Implementation. EDMCC 1991: 392-401
- 1990
- [c1]Wolfgang Schreiner: The ADAM Abstract Dataflow Machine. Dagstuhl Seminar on Parallelization in Inference Systems 1990: 270-289
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:12 CEST by the dblp team