Wolfgang Schreiner

89 papers B 4C 6Misc 6Journal 29Unranked 36

Year	Rank	Type	Title / Venue / Authors
2026	—	`book`	Thinking Programs - A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria, Second Edition Wolfgang Schreiner
2025	—	`conf`	Executable Semantics for Teaching Concatenative Stack-Based DSLs: The Case of StackLang. ADBIS (Short Papers) William Steingartner, Wolfgang Schreiner
2023	—	`book`	Concrete Abstractions - A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria Concrete Abstractions Wolfgang Schreiner
2022	Misc	`conf`	Implementation Techniques for Mathematical Model Checking. SYNASC Wolfgang Schreiner
2022	—	`conf`	The Performance of UMAP plus Linkage Compared with Daura-Clustering of Molecular Dynamics of the PD-1 Checkpoint Receptor. BIBM Wolfgang Schreiner, Rudolf Karch, Michael Cibena, Lisa Tomasiak, Michael Kenn, Georg Pfeiler
2021	—	`conf`	First-Order Logic in Finite Domains: Where Semantic Evaluation Competes with SMT Solving. SCSS Wolfgang Schreiner, Franz-Xaver Reichl
2021	—	`conf`	The Monoclonal Antibody Pembrolizumab Alters Dynamics of the Human Programmed Cell Death Receptor 1 (PD-1). BIBM Lisa Tomasiak, Rudolf Karch, Wolfgang Schreiner
2021	—	`book`	Thinking Programs - A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria Wolfgang Schreiner
2020	J	`jnl`	A Novel Categorical Approach to Semantics of Relational First-Order Logic. Symmetry Wolfgang Schreiner, William Steingartner, Valerie Novitzká
2020	B	`conf`	Aiding an Introduction to Formal Reasoning Within a First-Year Logic Course for CS Majors Using a Mobile Self-Study App. ITiCSE David M. Cerna, Martina Seidl, Wolfgang Schreiner, Wolfgang Windsteiger, Armin Biere
2020	—	`conf`	Computational Logic in the First Semester of Computer Science: An Experience Report. CSEDU (2) David M. Cerna, Martina Seidl, Wolfgang Schreiner, Wolfgang Windsteiger, Armin Biere
2020	—	`conf`	Long-Term Molecular Dynamics Simulations Reveal Flexibility Properties of a Free and TCR-Bound pMHC-I System. BIBM Lisa Tomasiak, Rudolf Karch, Wolfgang Schreiner
2020	J	`jnl`	McCarthy-Kleene fuzzy automata and MSO logics. Inf. Comput. Manfred Droste, Temur Kutsia, George Rahonis, Wolfgang Schreiner
2020	J	`jnl`	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. Bernhard Roither, Chris Oostenbrink, Wolfgang Schreiner
2019	J	`jnl`	Coalgebraic Operational Semantics for an Imperative Language. Comput. Informatics William Steingartner, Valerie Novitzká, Wolfgang Schreiner
2019	—	`ed.`	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. CICM Workshops 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
2019	—	`conf`	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 Bernhard Roither, Chris Oostenbrink, Wolfgang Schreiner
2018	—	`conf`	Logic as a Path to Enlightenment (Work in Progress Report). CICM Workshops Wolfgang Schreiner
2018	—	`conf`	Theorem and Algorithm Checking for Courses on Logic and Formal Methods. ThEdu@FLoC Wolfgang Schreiner
2018	C	`conf`	Validating Mathematical Theorems and Algorithms with RISCAL. CICM Wolfgang Schreiner
2017	—	`conf`	MK-fuzzy Automata and MSO Logics. GandALF Manfred Droste, Temur Kutsia, George Rahonis, Wolfgang Schreiner
2017	—	`conf`	Measuring the Gap: Algorithmic Approximation Bounds for the Space Complexity of Stream Specifications. SCSS David M. Cerna, Wolfgang Schreiner
2017	—	`conf`	Teaching the Formalization of Mathematical Theories and Algorithms via the Automatic Checking of Finite Models. ThEdu@CADE Wolfgang Schreiner, Alexander Brunhuemer, Christoph Fürst
2016	B	`conf`	Predicting Space Requirements for a Stream Monitor Specification Language. RV David M. Cerna, Wolfgang Schreiner, Temur Kutsia
2016	—	`conf`	Space Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors. SCSS David M. Cerna, Wolfgang Schreiner, Temur Kutsia
2013	J	`jnl`	A verification framework for minimaple programs. ACM Commun. Comput. Algebra Muhammad Taimoor Khan, Wolfgang Schreiner
2013	J	`jnl`	Corrigendum: Differential geometric analysis of alterations in MH α-helices. J. Comput. Chem. Birgit Hischenhuber, Hans Havlicek, Jelena Todoric, Sonja Höllrigl-Binder, Wolfgang Schreiner, Bernhard Knapp
2013	J	`jnl`	Differential geometric analysis of alterations in MH α-helices. J. Comput. Chem. Birgit Hischenhuber, Hans Havlicek, Jelena Todoric, Sonja Höllrigl-Binder, Wolfgang Schreiner, Bernhard Knapp
2013	—	`conf`	Extending Floyd-Hoare Logic for Partial Pre- and Postconditions. ICTERI (Revised Selected Papers) Andrii Kryvolap, Mykola Nikitchenko, Wolfgang Schreiner
2013	Misc	`conf`	Program Algebras with Monotone Floyd-Hoare Composition. ICTERI Andrii Kryvolap, Mykola S. Nikitchenko, Wolfgang Schreiner
2012	J	`jnl`	MH Comput. Phys. Commun. Birgit Hischenhuber, Florian Frommlet, Wolfgang Schreiner, Bernhard Knapp
2012	J	`jnl`	On Formal Specification of Maple Programs CoRR Muhammad Taimoor Khan, Wolfgang Schreiner
2012	—	`conf`	On Formal Specification of Maple Programs. AISC/MKM/Calculemus Muhammad Taimoor Khan, Wolfgang Schreiner
2012	J	`jnl`	Relaxation Estimation of RMSD in Molecular Dynamics Immunosimulations. Comput. Math. Methods Medicine Wolfgang Schreiner, Rudolf Karch, Bernhard Knapp, Nevena Ilieva
2012	J	`jnl`	Towards the Formal Specification and Verification of Maple Programs CoRR Muhammad Taimoor Khan, Wolfgang Schreiner
2012	—	`conf`	Towards the Formal Specification and Verification of Maple Programs. AISC/MKM/Calculemus Muhammad Taimoor Khan, Wolfgang Schreiner
2011	—	`conf`	Computer-Assisted Program Reasoning Based on a Relational Semantics of Programs ThEdu Wolfgang Schreiner
2011	J	`jnl`	Is an Intuitive Convergence Definition of Molecular Dynamics Simulations Solely Based on the Root Mean Square Deviation Possible? J. Comput. Biol. Bernhard Knapp, Sophie Frantal, Michael Cibena, Wolfgang Schreiner, P. Bauer
2011	J	`jnl`	PeptX: Using Genetic Algorithms to optimize peptides for MHC binding. BMC Bioinform. Bernhard Knapp, Verena Giczi, Reiner Ribarics, Wolfgang Schreiner
2010	C	`ed.`	Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria PPDP Temur Kutsia, Wolfgang Schreiner, Maribel Fernández
2010	Misc	`conf`	Shared Data Grid Programming Improvements Using Specialized Objects. CISIS Dacian Tudor, Georgiana Macariu, Wolfgang Schreiner, Vladimir Cretu
2010	J	`jnl`	vmdICE: A plug-in for rapid evaluation of molecular dynamics simulations using VMD. J. Comput. Chem. Bernhard Knapp, Nadja Lederer, Ulrich Omasits, Wolfgang Schreiner
2009	—	`conf`	A Lightweight MDSD Process Applied in Small Projects. EUROMICRO-SEAA Gábor Guta, Wolfgang Schreiner, Dirk Draheim
2009	J	`jnl`	A critical cross-validation of high throughput structural binding prediction methods for pMHC. J. Comput. Aided Mol. Des. Bernhard Knapp, Ulrich Omasits, Sophie Frantal, Wolfgang Schreiner
2009	—	`ch.`	Automated Reasoning. Hagenberg Research Tudor Jebelean, Bruno Buchberger, Temur Kutsia, Nikolaj Popov, Wolfgang Schreiner, Wolfgang Windsteiger
2009	J	`jnl`	Experiences on grid shared data programming. Int. J. Grid Util. Comput. Dacian Tudor, Georgiana Macariu, Wolfgang Schreiner, Vladimir-Ioan Cretu
2009	Misc	`conf`	Experiments on a grid layer prototype for shared data programming model. SACI Dacian Tudor, Georgiana Macariu, Wolfgang Schreiner, Vladimir Cretu
2009	—	`book`	Hagenberg Research 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
2009	—	`ch.`	Parallel, Distributed, and Grid Computing. Hagenberg Research Wolfgang Schreiner, Károly Bósa, Andreas Langegger, Thomas Leitner, Bernhard Moser, Szilárd Páll, Volkmar Wieser, Wolfram Wöß
2009	J	`jnl`	The RISC ProofNavigator: a proving assistant for program verification in the classroom. Formal Aspects Comput. Wolfgang Schreiner
2009	J	`jnl`	jSimMacs for GROMACS: A Java Application for Advanced Molecular Dynamics Simulations with Remote Access Capability. J. Chem. Inf. Model. Sanjit Roopra, Bernhard Knapp, Ulrich Omasits, Wolfgang Schreiner
2008	C	`conf`	Designing an Architecture for Distributed Shared Data on the Grid. ICA3PP Dacian Tudor, Vladimir Cretu, Wolfgang Schreiner
2007	C	`conf`	A Grid Software for Virtual Eye Surgery Based on Globus 4 and gLite. ISPDC Károly Bósa, Wolfgang Schreiner, Michael Buchberger, Thomas Kaltofen
2007	—	`conf`	Interactive Molecular Dynamics Simulations on the Grid. EUROCAST Rene Kobler, Thomas Köckerbauer, Ulrich Omasits, Martin Neumann, Wolfgang Schreiner, Jens Volkert
2007	—	`conf`	On Web Service Evolution Monitoring. IESA Wolfgang Schreiner, Peter Hrastnik
2006	—	`conf`	Querying Registry-Published Mathematical Web Services. AINA (1) Rebhi Baraka, Wolfgang Schreiner
2006	—	`conf`	Semantic Querying of Mathematical Web Service Descriptions. WS-FM Rebhi Baraka, Wolfgang Schreiner
2005	—	`conf`	A Web Registry for Publishing and Discovering Mathematical Services. EEE Rebhi Baraka, Olga Caprotti, Wolfgang Schreiner
2005	J	`jnl`	A survey on web services composition. Int. J. Web Grid Serv. Schahram Dustdar, Wolfgang Schreiner
2005	J	`jnl`	Error estimation of geometrical data obtained by histomorphometry of oblique vessel sections: a computer model study. Comput. Biol. Medicine Beatrice A. Nadler, Rudolf Karch, Martin Neumann, Friederike Neumann, Seyedhossein Aharinejad, Wolfgang Schreiner
2005	J	`jnl`	Tolerating Stop Failures in Distributed Maple. Scalable Comput. Pract. Exp. Károly Bósa, Wolfgang Schreiner
2003	C	`conf`	Brokering Mathematical Services in the Global Network. iiWAS Wolfgang Schreiner
2003	J	`jnl`	Distributed Maple: parallel computer algebra in networked environments. J. Symb. Comput. Wolfgang Schreiner, Christian Mittermaier, Károly Bósa
2003	—	`ed.`	MoMM'2003 - The First International Conference Advances in Mobile Multimedia, 15-17 September 2003, Jakarta, Indonesia MoMM Alois Ferscha, Wolfgang Schreiner, Gabriele Kotsis, Ismail Khalil Ibrahim
2002	B	`conf`	A java toolkit for teaching distributed algorithms. ITiCSE Wolfgang Schreiner
2002	—	`conf`	Integrating Temporal Assertions into a Parallel Debugger. Euro-Par József Kovács, Gábor Kusper, Róbert Lovas, Wolfgang Schreiner
2002	C	`conf`	Parallel and Distributed Programming Tools for Grids. PDP Péter Kacsuk, Wolfgang Schreiner, Dieter Kranzlmüller, Jens Volkert
2001	—	`conf`	Fault Tolerance for Cluster Computing Based on Functional Tasks. Euro-Par Wolfgang Schreiner, Gábor Kusper, Károly Bósa
2001	B	`conf`	Manager-Worker Parallelism versus Dataflow in a Distributed Computer Algebra System. PaCT Wolfgang Schreiner
2000	—	`conf`	On Solving a Problem in Algebraic Geometry by Cluster Computing (Research Note). Euro-Par Wolfgang Schreiner, Christian Mittermaier, Franz Winkler
1999	J	`jnl`	A three-dimensional model for arterial tree representation, generated by constrained constructive optimization. Comput. Biol. Medicine Rudolf Karch, Friederike Neumann, Martin Neumann, Wolfgang Schreiner
1998	—	`conf`	A Generic Programming Environment for High-Performance Mathematical Libraries. Generic Programming Wolfgang Schreiner, Werner Danielczyk-Landerl, Mircea Marin, Wolfgang Stöcher
1998	Misc	`conf`	Optimization Targets for Computer Models of Blood Vessels. AMIA Wolfgang Schreiner, Rudolf Karch, Friederike Neumann, Martin Neumann
1998	Misc	`conf`	Three-Dimensional Growth and Optimization of Arterial Tree Models. AMIA Rudolf Karch, Wolfgang Schreiner, Friederike Neumann, Martin Neumann
1996	J	`jnl`	A Para-Functional Programming Interface for a Parallel Computer Algebra Package. J. Symb. Comput. Wolfgang Schreiner
1995	J	`jnl`	The Design of the SACLIB/PACLIB Kernels. J. Symb. Comput. Hoon Hong, Andreas Neubacher, Wolfgang Schreiner
1994	—	`conf`	A Para-Functional Programming Interface for a Parallel Computer Algebra Package. PASCO Wolfgang Schreiner
1994	—	`conf`	Virtual Tasks for the PACLIB Kernel. CONPAR Wolfgang Schreiner
1993	—	`conf`	A New Library for Parallel Algebraic Computation. PPSC Wolfgang Schreiner, Hoon Hong
1993	J	`jnl`	Computer-optimization of vascular trees. IEEE Trans. Biomed. Eng. Wolfgang Schreiner, Peter Franz Buxbaum
1993	—	`conf`	The Design of the PACLIB Kernel for Parallel Algebraic Computation. ACPC Wolfgang Schreiner, Hoon Hong
1993	—	`conf`	The Design of the SACLIB/PACLIB Kernels. DISCO Hoon Hong, Andreas Neubacher, Wolfgang Schreiner
1992	J	`jnl`	Computer simulation of the coronary circulation: Implications for models and therapeutic Coronary Sinus Intervention. Simul. Wolfgang Schreiner
1992	J	`jnl`	Programming in PACLIB. SIGSAM Bull. Hoon Hong, Wolfgang Schreiner
1991	—	`conf`	ADAM - An Abstract Dataflow Machine and Its Transputer Implementation. EDMCC Wolfgang Schreiner
1991	—	`conf`	Averaged Powerspectra of the Electrocardiograms of Patients after Heart Transplantation. MIE Wolfgang Schreiner, Guenther Laufer, Martin Neumann, Wolfgang Premauer, Franz Merksa, Rudolf Lahoda, Ernst Wolner
1991	—	`conf`	Whole Blood Aggregometry: A PC-Based System for Clinical Routine Application. MIE Wolfgang Schreiner, Michael R. Müller, Wolfgang Premauer, Ernst Wolner
1990	—	`conf`	The ADAM Abstract Dataflow Machine. Dagstuhl Seminar on Parallelization in Inference Systems Wolfgang Schreiner
1990	J	`jnl`	The role of intramyocardial pressure during coronary sinus interventions: a computer model study. IEEE Trans. Biomed. Eng. Wolfgang Schreiner, Friederike Neumann, Werner Mohl