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
Közlemény:3416317 Egyeztetett Forrás Idéző Folyóiratcikk (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 7 | Független: 2 | Függő: 5 | Nem jelölt: 0 | WoS jelölt: 7 | Scopus jelölt: 3 | WoS/Scopus jelölt: 7 | DOI jelölt: 4
Konferenciaközlemény (Folyóiratcikk) | Tudományos[3416317] [Egyeztetett]
Nyilvános idéző összesen: 7, Független: 2, Függő: 5, Nem jelölt: 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 (szerk.) 6th International Workshop on Theorem Proving Components for Educational Software, ThEdu 2017
Open Publishing Association (2018) pp. 120-139. , 20 p.
DOI WoS Scopus
Közlemény:3416316 WoS/MTMT nem egyezik Forrás Egyéb konferenciaközlemény (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 4 | Független: 1 | Függő: 3 | Nem jelölt: 0 | WoS jelölt: 3 | Scopus jelölt: 4 | WoS/Scopus jelölt: 4 | DOI jelölt: 3
Konferenciaközlemény (Könyvrészlet) | Tudományos[3416316] []
Nyilvános idéző összesen: 4, Független: 1, Függő: 3, Nem jelölt: 0
3.
Wolfgang, Schreiner ; Tamas, Berczes ; Janos, Sztrik ; Hamza, Nemouchi ; RISC-Linz, Faculty (szerk.)
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
Közlemény:3346773 Egyeztetett Forrás Egyéb (Kutatási jelentés (közzétett) ) Tudományos
Kutatási jelentés (közzétett) (Egyéb) | Tudományos[3346773] [Egyeztetett]
4.
Droste, M ; Kutsia, T ; Rahonis, G ; Schreiner, W
MK-fuzzy automata and MSO logics
In: San, Pietro P; Bouyer, P; Orlandini, A (szerk.) 8th International Symposium on Games, Automata, Logics and Formal Verification, G and ALF 2017
Roma, Olaszország : Open Publishing Association (2017) pp. 106-120. , 15 p.
DOI WoS Scopus
Közlemény:3417040 WoS/MTMT nem egyezik Forrás Egyéb konferenciaközlemény (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 1 | Független: 0 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 1 | Scopus jelölt: 1 | WoS/Scopus jelölt: 1 | DOI jelölt: 1
Konferenciaközlemény (Könyvrészlet) | Tudományos[3417040] []
Nyilvános idéző összesen: 1, Független: 0, Függő: 1, Nem jelölt: 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 (szerk.) 14th International Conference on Engineering of Modern Electric Systems
Danvers (MA), Amerikai Egyesült Államok : IEEE (2017) pp. 149-153. Paper: 7980402 , 5 p.
DOI IEEE Xplore DEA WoS Scopus
Közlemény:3267244 Admin láttamozott Forrás Idéző Duplumgyanú Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[3267244] [Admin láttamozott]
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
Közlemény:3111368 Egyeztetett Forrás Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[3111368] [Egyeztetett]
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
Közlemény:3416319 Nyilvános Forrás Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[3416319] [Nyilvános]
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,
Közlemény:2869472 Admin láttamozott Forrás Egyéb (Kutatási jelentés (közzétett) ) Tudományos
Kutatási jelentés (közzétett) (Egyéb) | Tudományos[2869472] [Admin láttamozott]
9.
Wolfgang, Schreiner ; Tamas, Berczes ; Adam, Toth ; Research, Institute for Symbolic Computation (RISC) (szerk.)
Analyzing Cluster Scheduling Schemes by Probabilistic Model Checking (2014)
Research Institute for Symbolic Computation (RISC),, Johannes Kepler University, Linz, Austria., Technical report, September 2014,
Közlemény:2869470 Admin láttamozott Forrás Egyéb (Kutatási jelentés (közzétett) ) Tudományos
Nyilvános idéző összesen: 4 | Független: 4 | Függő: 0 | Nem jelölt: 0 | DOI jelölt: 2
Kutatási jelentés (közzétett) (Egyéb) | Tudományos[2869470] [Admin láttamozott]
Nyilvános idéző összesen: 4, Független: 4, Függő: 0, Nem jelölt: 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
Közlemény:3416321 Nyilvános Forrás Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[3416321] [Nyilvános]
2024-04-24 20:22