![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Wolfgang Schreiner
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [b2]Wolfgang Schreiner:
Concrete Abstractions - A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria. Texts & Monographs in Symbolic Computation, Springer 2023, ISBN 978-3-031-24933-4, pp. 1-208 - 2022
- [c50]Wolfgang Schreiner, Rudolf Karch, Michael Cibena, Lisa Tomasiak, Michael Kenn, Georg Pfeiler:
The Performance of UMAP plus Linkage Compared with Daura-Clustering of Molecular Dynamics of the PD-1 Checkpoint Receptor. BIBM 2022: 3569-3573 - [c49]Wolfgang Schreiner:
Implementation Techniques for Mathematical Model Checking. SYNASC 2022: 12-15 - 2021
- [b1]Wolfgang Schreiner:
Thinking Programs - A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria. Texts & Monographs in Symbolic Computation, Springer 2021, ISBN 978-3-030-80506-7, pp. 3-619 - [c48]Lisa Tomasiak, Rudolf Karch, Wolfgang Schreiner:
The Monoclonal Antibody Pembrolizumab Alters Dynamics of the Human Programmed Cell Death Receptor 1 (PD-1). BIBM 2021: 3315-3321 - [c47]Wolfgang Schreiner
, Franz-Xaver Reichl:
First-Order Logic in Finite Domains: Where Semantic Evaluation Competes with SMT Solving. SCSS 2021: 99-113 - 2020
- [j25]Bernhard Roither, Chris Oostenbrink, Wolfgang Schreiner
:
Molecular dynamics of the immune checkpoint programmed cell death protein I, PD-1: conformational changes of the BC-loop upon binding of the ligand PD-L1 and the monoclonal antibody nivolumab. BMC Bioinform. 21-S(17): 557 (2020) - [j24]Manfred Droste, Temur Kutsia
, George Rahonis
, Wolfgang Schreiner
:
McCarthy-Kleene fuzzy automata and MSO logics. Inf. Comput. 272: 104499 (2020) - [j23]Wolfgang Schreiner
, William Steingartner
, Valerie Novitzká
:
A Novel Categorical Approach to Semantics of Relational First-Order Logic. Symmetry 12(10): 1584 (2020) - [c46]Lisa Tomasiak, Rudolf Karch, Wolfgang Schreiner:
Long-Term Molecular Dynamics Simulations Reveal Flexibility Properties of a Free and TCR-Bound pMHC-I System. BIBM 2020: 1295-1302 - [c45]David M. Cerna
, Martina Seidl, Wolfgang Schreiner, Wolfgang Windsteiger, Armin Biere:
Computational Logic in the First Semester of Computer Science: An Experience Report. CSEDU (2) 2020: 374-381 - [c44]David M. Cerna
, Martina Seidl, Wolfgang Schreiner
, Wolfgang Windsteiger, Armin Biere:
Aiding an Introduction to Formal Reasoning Within a First-Year Logic Course for CS Majors Using a Mobile Self-Study App. ITiCSE 2020: 61-67
2010 – 2019
- 2019
- [j22]William Steingartner
, Valerie Novitzká, Wolfgang Schreiner:
Coalgebraic Operational Semantics for an Imperative Language. Comput. Informatics 38(5): 1181-1209 (2019) - [c43]Bernhard Roither, Chris Oostenbrink, Wolfgang Schreiner:
Molecular dynamics of the immune checkpoint Programmed Cell Death Protein I, PD-1: Conformational changes of the BC-loop upon binding of the ligand PD-L1 and the monoclonal antibody nivolumab. BIBM 2019: 2192-2196 - [e4]Osman Hasan, Abdou Youssef, Adam Naumowicz, William M. Farmer, Cezary Kaliszyk, Diane Gallois-Wong, Florian Rabe, Gabriel Dos Reis, Grant O. Passmore, James H. Davenport, Markus Pfeiffer, Michael Kohlhase, Serge Autexier, Sofiène Tahar, Thomas Koprucki, Umair Siddique, Walther Neuper, Wolfgang Windsteiger, Wolfgang Schreiner, Wolfram Sperber, Zoltán Kovács:
Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018. CEUR Workshop Proceedings 2307, CEUR-WS.org 2019 [contents] - 2018
- [c42]Wolfgang Schreiner
:
Validating Mathematical Theorems and Algorithms with RISCAL. CICM 2018: 248-254 - [c41]Wolfgang Schreiner:
Logic as a Path to Enlightenment (Work in Progress Report). CICM Workshops 2018 - [c40]Wolfgang Schreiner
:
Theorem and Algorithm Checking for Courses on Logic and Formal Methods. ThEdu@FLoC 2018: 56-75 - 2017
- [c39]David M. Cerna
, Wolfgang Schreiner:
Measuring the Gap: Algorithmic Approximation Bounds for the Space Complexity of Stream Specifications. SCSS 2017: 1-15 - [c38]Manfred Droste, Temur Kutsia
, George Rahonis
, Wolfgang Schreiner
:
MK-fuzzy Automata and MSO Logics. GandALF 2017: 106-120 - [c37]Wolfgang Schreiner
, Alexander Brunhuemer, Christoph Fürst:
Teaching the Formalization of Mathematical Theories and Algorithms via the Automatic Checking of Finite Models. ThEdu@CADE 2017: 120-139 - 2016
- [c36]David M. Cerna, Wolfgang Schreiner
, Temur Kutsia
:
Predicting Space Requirements for a Stream Monitor Specification Language. RV 2016: 135-151 - [c35]David M. Cerna
, Wolfgang Schreiner, Temur Kutsia:
Space Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors. SCSS 2016: 29-41 - 2013
- [j21]Muhammad Taimoor Khan
, Wolfgang Schreiner
:
A verification framework for minimaple programs. ACM Commun. Comput. Algebra 47(3/4): 98-99 (2013) - [j20]Birgit Hischenhuber, Hans Havlicek, Jelena Todoric, Sonja Höllrigl-Binder, Wolfgang Schreiner, Bernhard Knapp:
Differential geometric analysis of alterations in MH α-helices. J. Comput. Chem. 34(21): 1862-1879 (2013) - [j19]Birgit Hischenhuber, Hans Havlicek, Jelena Todoric, Sonja Höllrigl-Binder, Wolfgang Schreiner, Bernhard Knapp:
Corrigendum: Differential geometric analysis of alterations in MH α-helices. J. Comput. Chem. 34(32): 2834 (2013) - [c34]Andrii Kryvolap, Mykola Nikitchenko
, Wolfgang Schreiner
:
Extending Floyd-Hoare Logic for Partial Pre- and Postconditions. ICTERI (Revised Selected Papers) 2013: 355-378 - [c33]Andrii Kryvolap, Mykola S. Nikitchenko, Wolfgang Schreiner:
Program Algebras with Monotone Floyd-Hoare Composition. ICTERI 2013: 533-549 - 2012
- [j18]Wolfgang Schreiner, Rudolf Karch, Bernhard Knapp, Nevena Ilieva
:
Relaxation Estimation of RMSD in Molecular Dynamics Immunosimulations. Comput. Math. Methods Medicine 2012: 173521:1-173521:9 (2012) - [j17]Birgit Hischenhuber, Florian Frommlet
, Wolfgang Schreiner, Bernhard Knapp:
MH2c: Characterization of major histocompatibility α-helices - an information criterion approach. Comput. Phys. Commun. 183(7): 1481-1490 (2012) - [c32]Muhammad Taimoor Khan, Wolfgang Schreiner
:
Towards the Formal Specification and Verification of Maple Programs. AISC/MKM/Calculemus 2012: 231-247 - [c31]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
- [j16]Bernhard Knapp, Verena Giczi, Reiner Ribarics, Wolfgang Schreiner:
PeptX: Using Genetic Algorithms to optimize peptides for MHC binding. BMC Bioinform. 12: 241 (2011) - [j15]Bernhard Knapp, Sophie Frantal, Michael Cibena, Wolfgang Schreiner, P. Bauer:
Is an Intuitive Convergence Definition of Molecular Dynamics Simulations Solely Based on the Root Mean Square Deviation Possible? J. Comput. Biol. 18(8): 997-1005 (2011) - [c30]Wolfgang Schreiner:
Computer-Assisted Program Reasoning Based on a Relational Semantics of Programs. ThEdu 2011: 124-142 - 2010
- [j14]Bernhard Knapp, Nadja Lederer, Ulrich Omasits, Wolfgang Schreiner:
vmdICE: A plug-in for rapid evaluation of molecular dynamics simulations using VMD. J. Comput. Chem. 31(16): 2868-2873 (2010) - [c29]Dacian Tudor, Georgiana Macariu, Wolfgang Schreiner, Vladimir Cretu:
Shared Data Grid Programming Improvements Using Specialized Objects. CISIS 2010: 398-403 - [e3]Temur Kutsia, Wolfgang Schreiner, Maribel Fernández:
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 [contents]
2000 – 2009
- 2009
- [j13]Wolfgang Schreiner
:
The RISC ProofNavigator: a proving assistant for program verification in the classroom. Formal Aspects Comput. 21(3): 277-291 (2009) - [j12]Dacian Tudor, Georgiana Macariu, Wolfgang Schreiner
, Vladimir-Ioan Cretu:
Experiences on grid shared data programming. Int. J. Grid Util. Comput. 1(4): 296-307 (2009) - [j11]Bernhard Knapp, Ulrich Omasits
, Sophie Frantal, Wolfgang Schreiner:
A critical cross-validation of high throughput structural binding prediction methods for pMHC. J. Comput. Aided Mol. Des. 23(5): 301-307 (2009) - [j10]Sanjit Roopra, Bernhard Knapp, Ulrich Omasits
, Wolfgang Schreiner:
jSimMacs for GROMACS: A Java Application for Advanced Molecular Dynamics Simulations with Remote Access Capability. J. Chem. Inf. Model. 49(10): 2412-2417 (2009) - [c28]Gábor Guta, Wolfgang Schreiner
, Dirk Draheim
:
A Lightweight MDSD Process Applied in Small Projects. EUROMICRO-SEAA 2009: 255-258 - [c27]Dacian Tudor, Georgiana Macariu, Wolfgang Schreiner, Vladimir Cretu:
Experiments on a grid layer prototype for shared data programming model. SACI 2009: 441-446 - [p2]Tudor Jebelean, Bruno Buchberger, Temur Kutsia, Nikolaj Popov, Wolfgang Schreiner, Wolfgang Windsteiger:
Automated Reasoning. Hagenberg Research 2009: 63-101 - [p1]Wolfgang Schreiner, Károly Bósa, Andreas Langegger, Thomas Leitner, Bernhard Moser
, Szilárd Páll
, Volkmar Wieser, Wolfram Wöß:
Parallel, Distributed, and Grid Computing. Hagenberg Research 2009: 333-378 - [e2]Bruno Buchberger, Michael Affenzeller, Alois Ferscha, Michael Haller, Tudor Jebelean, Erich-Peter Klement
, Peter Paule, Gustav Pomberger, Wolfgang Schreiner, Robert Stubenrauch, Roland R. Wagner, Gerhard Weiß, Wolfgang Windsteiger:
Hagenberg Research. Springer 2009, ISBN 978-3-642-02126-8 [contents] - 2008
- [c26]Dacian Tudor, Vladimir Cretu, Wolfgang Schreiner
:
Designing an Architecture for Distributed Shared Data on the Grid. ICA3PP 2008: 261-264 - 2007
- [c25]Rene Kobler, Thomas Köckerbauer, Ulrich Omasits, Martin Neumann
, Wolfgang Schreiner, Jens Volkert:
Interactive Molecular Dynamics Simulations on the Grid. EUROCAST 2007: 443-447 - [c24]Wolfgang Schreiner, Peter Hrastnik:
On Web Service Evolution Monitoring. IESA 2007: 811-815 - [c23]Károly Bósa, Wolfgang Schreiner, Michael Buchberger, Thomas Kaltofen:
A Grid Software for Virtual Eye Surgery Based on Globus 4 and gLite. ISPDC 2007: 151-158 - 2006
- [c22]Rebhi Baraka, Wolfgang Schreiner
:
Querying Registry-Published Mathematical Web Services. AINA (1) 2006: 767-772 - [c21]Rebhi Baraka, Wolfgang Schreiner
:
Semantic Querying of Mathematical Web Service Descriptions. WS-FM 2006: 73-87 - 2005
- [j9]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. Comput. Biol. Medicine 35(9): 829-844 (2005) - [j8]Schahram Dustdar
, Wolfgang Schreiner:
A survey on web services composition. Int. J. Web Grid Serv. 1(1): 1-30 (2005) - [j7]Károly Bósa, Wolfgang Schreiner:
Tolerating Stop Failures in Distributed Maple. Scalable Comput. Pract. Exp. 6(2) (2005) - [c20]Rebhi Baraka, Olga Caprotti, Wolfgang Schreiner:
A Web Registry for Publishing and Discovering Mathematical Services. EEE 2005: 190-193 - 2003
- [j6]Wolfgang Schreiner
, Christian Mittermaier, Károly Bósa:
Distributed Maple: parallel computer algebra in networked environments. J. Symb. Comput. 35(3): 305-347 (2003) - [c19]Wolfgang Schreiner:
Brokering Mathematical Services in the Global Network. iiWAS 2003 - [e1]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. books@ocg.at 171, Austrian Computer Society 2003 - 2002
- [c18]József Kovács
, Gábor Kusper, Róbert Lovas, Wolfgang Schreiner
:
Integrating Temporal Assertions into a Parallel Debugger. Euro-Par 2002: 113-120 - [c17]Wolfgang Schreiner:
A java toolkit for teaching distributed algorithms. ITiCSE 2002: 111-115 - [c16]Péter Kacsuk, Wolfgang Schreiner, Dieter Kranzlmüller, Jens Volkert:
Parallel and Distributed Programming Tools for Grids. PDP 2002: 137-138 - 2001
- [c15]Wolfgang Schreiner, Gábor Kusper, Károly Bósa:
Fault Tolerance for Cluster Computing Based on Functional Tasks. Euro-Par 2001: 712-716 - [c14]Wolfgang Schreiner
:
Manager-Worker Parallelism versus Dataflow in a Distributed Computer Algebra System. PaCT 2001: 329-343 - 2000
- [c13]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
- 1999
- [j5]Rudolf Karch, Friederike Neumann, Martin Neumann
, Wolfgang Schreiner:
A three-dimensional model for arterial tree representation, generated by constrained constructive optimization. Comput. Biol. Medicine 29(1): 19-38 (1999) - 1998
- [c12]Rudolf Karch, Wolfgang Schreiner, Friederike Neumann, Martin Neumann:
Three-Dimensional Growth and Optimization of Arterial Tree Models. AMIA 1998 - [c11]Wolfgang Schreiner, Rudolf Karch, Friederike Neumann, Martin Neumann:
Optimization Targets for Computer Models of Blood Vessels. AMIA 1998 - [c10]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
- [j4]Wolfgang Schreiner
:
A Para-Functional Programming Interface for a Parallel Computer Algebra Package. J. Symb. Comput. 21(4): 593-614 (1996) - 1995
- [j3]Hoon Hong, Andreas Neubacher, Wolfgang Schreiner
:
The Design of the SACLIB/PACLIB Kernels. J. Symb. Comput. 19(1-3): 111-132 (1995) - 1994
- [c9]Wolfgang Schreiner
:
Virtual Tasks for the PACLIB Kernel. CONPAR 1994: 533-544 - [c8]Wolfgang Schreiner:
A Para-Functional Programming Interface for a Parallel Computer Algebra Package. PASCO 1994: 346-355 - 1993
- [c7]Wolfgang Schreiner
, Hoon Hong:
The Design of the PACLIB Kernel for Parallel Algebraic Computation. ACPC 1993: 204-218 - [c6]Hoon Hong, Andreas Neubacher, Wolfgang Schreiner
:
The Design of the SACLIB/PACLIB Kernels. DISCO 1993: 288-302 - [c5]Wolfgang Schreiner, Hoon Hong:
A New Library for Parallel Algebraic Computation. PPSC 1993: 776-783 - 1992
- [j2]Hoon Hong, Wolfgang Schreiner:
Programming in PACLIB. SIGSAM Bull. 26(4): 1-6 (1992) - [j1]Wolfgang Schreiner:
Computer simulation of the coronary circulation: Implications for models and therapeutic Coronary Sinus Intervention. Simul. 59(1): 15-23 (1992) - 1991
- [c4]Wolfgang Schreiner
:
ADAM - An Abstract Dataflow Machine and Its Transputer Implementation. EDMCC 1991: 392-401 - [c3]Wolfgang Schreiner, Guenther Laufer, Martin Neumann, Wolfgang Premauer, Franz Merksa, Rudolf Lahoda, Ernst Wolner:
Averaged Powerspectra of the Electrocardiograms of Patients after Heart Transplantation. MIE 1991: 471-476 - [c2]Wolfgang Schreiner, Michael R. Müller, Wolfgang Premauer, Ernst Wolner:
Whole Blood Aggregometry: A PC-Based System for Clinical Routine Application. MIE 1991: 904-907 - 1990
- [c1]Wolfgang Schreiner
:
The ADAM Abstract Dataflow Machine. Dagstuhl Seminar on Parallelization in Inference Systems 1990: 270-289
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-04 22:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint