1.
Schreiner, W
Validating mathematical theorems and algorithms with RISCAL
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE 11006 LNAI pp. 248-254. , 7 p. (2018)
DOI WoS Scopus
Publication:3416317 Validated Core Citing Journal Article (Conference paper in journal ) Scientific
Citing papers: 7 | Independent citation: 2 | Self citation: 5 | Unknown citation: 0 | Number of citations in WoS: 7 | Number of citations in Scopus: 3 | WoS/Scopus assigned: 7 | Number of citations with DOI: 4
Conference paper in journal (Journal Article) | Scientific[3416317] [Validated]
All citations+mentions: 7, External citations: 2, Self citations: 5, Unhandled citations: 0
2.
Schreiner, W ; Brunhuemer, A ; Fürst, C
Teaching the formalization of mathematical theories and algorithms via the automatic checking of finite models
In: Quaresma, P; Neuper, W (eds.) 6th International Workshop on Theorem Proving Components for Educational Software, ThEdu 2017
Open Publishing Association (2018) pp. 120-139. , 20 p.
DOI WoS Scopus
Publication:3416316 WoS/MTMT difference Core Conference paper (Conference paper ) Scientific
Citing papers: 4 | Independent citation: 1 | Self citation: 3 | Unknown citation: 0 | Number of citations in WoS: 3 | Number of citations in Scopus: 4 | WoS/Scopus assigned: 4 | Number of citations with DOI: 3
Conference paper (Chapter in Book) | Scientific[3416316] []
All citations+mentions: 4, External citations: 1, Self citations: 3, Unhandled citations: 0
3.
Wolfgang, Schreiner ; Tamas, Berczes ; Janos, Sztrik ; Hamza, Nemouchi ; RISC-Linz, Faculty (eds.)
On the Probabilistic Model Checking of Cognitive Radio Networks and Cognitive Information Systems (2018)
Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria, Technical Report, February 2018,
Teljes dokumentum
Publication:3346773 Validated Core Miscellaneous (Technical report (published) ) Scientific
Technical report (published) (Miscellaneous) | Scientific[3346773] [Validated]
4.
Droste, M ; Kutsia, T ; Rahonis, G ; Schreiner, W
MK-fuzzy automata and MSO logics
In: San, Pietro P; Bouyer, P; Orlandini, A (eds.) 8th International Symposium on Games, Automata, Logics and Formal Verification, G and ALF 2017
Róma, Rome, Italy : Open Publishing Association (2017) pp. 106-120. , 15 p.
DOI WoS Scopus
Publication:3417040 WoS/MTMT difference Core Conference paper (Conference paper ) Scientific
Citing papers: 1 | Independent citation: 0 | Self citation: 1 | Unknown citation: 0 | Number of citations in WoS: 1 | Number of citations in Scopus: 1 | WoS/Scopus assigned: 1 | Number of citations with DOI: 1
Conference paper (Chapter in Book) | Scientific[3417040] []
All citations+mentions: 1, External citations: 0, Self citations: 1, Unhandled citations: 0
5.
Ovidiu, Constantin Novac ; Tamás, Bérczes ; Attila, Kuki ; Ádám, Tóth ; Wolfgang, Schreiner
Modeling RF-based sensor networks by using dual-source retrial queueing systems
In: IEEE (eds.) 14th International Conference on Engineering of Modern Electric Systems
Danvers (MA), United States of America : Institute of Electrical and Electronics Engineers (2017) pp. 149-153. Paper: 7980402 , 5 p.
DOI IEEE Xplore DEA WoS Scopus
Publication:3267244 Admin approved Core Citing Suspect Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[3267244] [Admin approved]
6.
Tóth, Ádám ; Bérczes, Tamás ; Kuki, Attila ; Almási, Béla ; Wolfgang, Schreiner ; Jinting, Wang ; Fang, Wang
Analysis of finite-source cluster networks
CREATIVE MATHEMATICS AND INFORMATICS 25 : 2 pp. 223-235. , 13 p. (2016)
DEA
Publication:3111368 Validated Core Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[3111368] [Validated]
7.
Khan, MT ; Schreiner, W
A verification framework for mini maple programs
ACM COMMUNICATIONS IN COMPUTER ALGEBRA 47 : 3-4 pp. 98-99. , 2 p. (2014)
DOI Scopus
Publication:3416319 Published Core Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[3416319] [Approved]
8.
Wolfgang, Schreiner ; Tamas, Berczes ; Adam, Toth
Analyzing the Energy Efficiency of Cluster Scheduling Schemes by Probabilistic Model Checking. (2014)
Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, December 2014,
Publication:2869472 Admin approved Core Miscellaneous (Technical report (published) ) Scientific
Technical report (published) (Miscellaneous) | Scientific[2869472] [Admin approved]
9.
Wolfgang, Schreiner ; Tamas, Berczes ; Adam, Toth ; Research, Institute for Symbolic Computation (RISC) (eds.)
Analyzing Cluster Scheduling Schemes by Probabilistic Model Checking (2014)
Research Institute for Symbolic Computation (RISC),, Johannes Kepler University, Linz, Austria., Technical report, September 2014,
Publication:2869470 Admin approved Core Miscellaneous (Technical report (published) ) Scientific
Citing papers: 4 | Independent citation: 4 | Self citation: 0 | Unknown citation: 0 | Number of citations with DOI: 2
Technical report (published) (Miscellaneous) | Scientific[2869470] [Admin approved]
All citations+mentions: 4, External citations: 4, Self citations: 0, Unhandled citations: 0
10.
Kryvolap, A ; Nikitchenko, M ; Schreiner, W
Extending Floyd-Hoare Logic for Partial Pre- and Postconditions
COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE 412 CCIS pp. 355-378. , 24 p. (2013)
DOI Scopus
Publication:3416321 Published Core Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[3416321] [Approved]
2024-05-06 10:50