Wolfgang Schreiner, William Steingartner, Valerie Novitzká.
A Novel Categorical Approach to the Semantics of Relational First-Order Logic.
Symmetry volume 12, number 10, article 1584, 24 pages, September 2020. MDPI, Basel,
Switzerland, ISSN 2073-8994. DOI:10.3390/sym12101584
Wolfgang Schreiner, Franz-Xaver Reichl.
Mathematical Model Checking Based on Semantics and SMT.
Transactions on Internet Research, volume 16, number 2, pages 4-13, July 2020. IPSI, ISSN
1820-4503.
Ádam Tóth, Tamas Bérczes, Janos Sztrik, Attila Kuki, Wolfgang Schreiner.
The Simulation of Finite-Source Retrial Queueing Systems with Collisions and Blocking.
Journal of Mathematical Sciences, Volume 246, Number 4, pages 558-559, March 2020.
DOI:10.1007/s10958-020-04759-4
Manfred Droste, Temur Kutsia, George Rahonis, Wolfgang Schreiner.
McCarthy-Kleene fuzzy automata and MSO logics.
Information and Computation, 23 pages, 2019. Elsevier, ISSN 0890-5401. In Press.
William Steingartner, Valerie Novitzká, Wolfgang Schreiner.
A Coalgebraic Operational Semantics for an Imperative Language.
Computing and Informatics, 28 pages. To appear in 2019/2020.
Adam Toth, Tamas Berczes, Attila Kuki, Bela Almasi, Wolfgang Schreiner, Jinting Wang, Fang
Wang.
Analysis of Finite-Source Cluster Networks.
Creative Mathematics and Informatics, volume 25, number 2, pages 223–235, May 2016. SINUS
Association, ISSN 1584-286X.
Wolfgang Schreiner, Tamas Berczes, Janos Sztrik.
Probabilistic Model Checking on HPC Systems for the Performance Analysis of Mobile
Networks
Annales Mathematicae et Informaticae, volume 43, pp. 123–144, 2014.
Tamas Berczes, Gabor Guta, Gabor Kusper, Wolfgang Schreiner, and Janos Sztrik.
Evaluating a Probabilistic Model Checker for Modeling and Analyzing Retrial Queueing
Systems
Annales Mathematicae et Informaticae, Volume 7, pp. 51–75, Líceum University Press,
2010.
Dacian Tudor, Georgiana Macariu, Wolfgang Schreiner, Vladimir Cretu.
Experiences on Grid Shared Data Programming
International Journal of Grid and Utility Computing (IJGUC), Inderscience, 2009, pp.
43–54.
Wolfgang Schreiner.
The RISC ProofNavigator: A Proving Assistant for Program Verification in the Classroom
Formal Aspects of Computing, volume 21, number 3, pp. 277–291, 2009. The original publication is
available at www.springerlink.com.
DOI 10.1007/s00165-008-0069-4
Gabriele Kotsis, Alois Ferscha, Wolfgang Schreiner, Ismail Khalil Ibrahim.
Mobile Multimedia: A Communication Engineering Perspective
Radiomatics: Journal on Communication Engineering, ITB Press, volume 1, number 1, May 2004,
pp.1-11, ISSN 1693-5152.
Karoly Bosa, Wolfgang Schreiner.
Tolerating Stop Failures in Distributed Maple.
Scalable Computing: Practice and Experience, volume 6, number 2, pp. 59–70, July
2005.
Wolfgang Schreiner, Christian Mittermaier, Karoly Bosa.
Distributed Maple: Parallel Computer Algebra in Networked Environments.
Journal of Symbolic Computation, volume 35, number 3, pp. 305–347, Academic Press,
2003.
Mircea Marin, Tetsuo Ida, Wolfgang Schreiner.
CFLP: a Mathematica Implementation of a Distributed Constraint Solving System (PostScript,
Mathematica Notebook, Conference Version).
The Mathematica Journal, volume 8, number 2, pp. 287–300, 2001.
Selected papers of IMS ’99, Third International Mathematica Symposium, Hagenberg, Austria,
August 23–25, 1999.
Wolfgang Schreiner.
A Para-Functional Programming Interface for a Parallel Computer Algebra Package.
Journal of Symbolic Computation, Special Issue on Parallel Symbolic Computation, Hoon Hong
(ed.), volume 21, pp. 593–614, Academic Press, 1996.
Hoon Hong, Andreas Neubacher, Wolfgang Schreiner.
The Design of the SACLIB/PACLIB Kernels.
Journal of Symbolic Computation 19, pages 111–132, Academic Press, 1995.