TY  - JOUR
AU  - Schreiner, Wolfgang
TI  - Validating mathematical theorems and algorithms with RISCAL
JF  - LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
J2  - LECT NOTES ARTIF INT
VL  - 11006 LNAI
PY  - 2018
SP  - 248
EP  - 254
PG  - 7
SN  - 0302-9743
DO  - 10.1007/978-3-319-96812-4_21
UR  - https://m2.mtmt.hu/api/publication/3416317
ID  - 3416317
N1  - A4
LA  - English
DB  - MTMT
ER  - 

TY  - CONF
AU  - Schreiner, Wolfgang
AU  - Brunhuemer, A
AU  - Fürst, C
ED  - Quaresma, P
ED  - Neuper, W
TI  - Teaching the formalization of mathematical theories and algorithms via the automatic checking of finite models
T2  - 6th International Workshop on Theorem Proving Components for Educational Software, ThEdu 2017
PB  - Open Publishing Association
T3  - Electronic Proceedings in Theoretical Computer Science, EPTCS, ISSN 2075-2180 ; 267.
PY  - 2018
SP  - 120
EP  - 139
PG  - 20
DO  - 10.4204/EPTCS.267.8
UR  - https://m2.mtmt.hu/api/publication/3416316
ID  - 3416316
N1  - WoS:hiba:000465418300009 2022-12-21 01:51 típus nem egyezik
LA  - English
DB  - MTMT
ER  - 

TY  - GEN
AU  - Schreiner, Wolfgang
AU  - Bérczes, Tamás
AU  - Sztrik, János
AU  - Nemouchi, Hamza
ED  - RISC-Linz, Faculty
TI  - On the Probabilistic Model Checking of Cognitive Radio Networks and Cognitive Information Systems
PY  - 2018
UR  - https://m2.mtmt.hu/api/publication/3346773
ID  - 3346773
LA  - English
DB  - MTMT
ER  - 

TY  - CONF
AU  - Droste, M
AU  - Kutsia, Teimuraz
AU  - Rahonis, G
AU  - Schreiner, Wolfgang
ED  - San, Pietro P
ED  - Bouyer, P
ED  - Orlandini, A
TI  - MK-fuzzy automata and MSO logics
T2  - 8th International Symposium on Games, Automata, Logics and Formal Verification, G and ALF 2017
PB  - Open Publishing Association
C1  - Roma
T3  - Electronic Proceedings in Theoretical Computer Science, EPTCS, ISSN 2075-2180 ; 256.
PY  - 2017
SP  - 106
EP  - 120
PG  - 15
DO  - 10.4204/EPTCS.256.8
UR  - https://m2.mtmt.hu/api/publication/3417040
ID  - 3417040
N1  - WoS:hiba:000439352600009 2022-12-21 02:03 típus nem egyezik
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Ovidiu, Constantin Novac
AU  - Bérczes, Tamás
AU  - Kuki, Attila
AU  - Tóth, Ádám
AU  - Schreiner, Wolfgang
ED  - IEEE, null
TI  - Modeling RF-based sensor networks by using dual-source retrial queueing systems
T2  - 14th International Conference on Engineering of Modern Electric Systems
PB  - IEEE
CY  - Danvers (MA)
SN  - 9781509060740
PY  - 2017
SP  - 149
EP  - 153
PG  - 5
DO  - 10.1109/EMES.2017.7980402
UR  - https://m2.mtmt.hu/api/publication/3267244
ID  - 3267244
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Tóth, Ádám
AU  - Bérczes, Tamás
AU  - Kuki, Attila
AU  - Almási, Béla
AU  - Schreiner, Wolfgang
AU  - Jinting, Wang
AU  - Fang, Wang
TI  - Analysis of finite-source cluster networks
JF  - CREATIVE MATHEMATICS AND INFORMATICS
J2  - CREAT MATH INFORM
VL  - 25
PY  - 2016
IS  - 2
SP  - 223
EP  - 235
PG  - 13
SN  - 1584-286X
UR  - https://m2.mtmt.hu/api/publication/3111368
ID  - 3111368
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Khan, MT
AU  - Schreiner, Wolfgang
TI  - A verification framework for mini maple programs
JF  - ACM COMMUNICATIONS IN COMPUTER ALGEBRA
J2  - ACM COMMUN COMPUT ALGEBR
VL  - 47
PY  - 2014
IS  - 3-4
SP  - 98
EP  - 99
PG  - 2
SN  - 1932-2232
DO  - 10.1145/2576802.2576812
UR  - https://m2.mtmt.hu/api/publication/3416319
ID  - 3416319
LA  - English
DB  - MTMT
ER  - 

TY  - GEN
AU  - Schreiner, Wolfgang
AU  - Bérczes, Tamás
AU  - Tóth, Ádám
TI  - Analyzing the Energy Efficiency of Cluster Scheduling Schemes by Probabilistic Model Checking.
PY  - 2014
UR  - https://m2.mtmt.hu/api/publication/2869472
ID  - 2869472
LA  - English
DB  - MTMT
ER  - 

TY  - GEN
AU  - Schreiner, Wolfgang
AU  - Bérczes, Tamás
AU  - Tóth, Ádám
ED  - Research, Institute for Symbolic Computation (RISC)
TI  - Analyzing Cluster Scheduling Schemes by Probabilistic Model Checking
PY  - 2014
UR  - https://m2.mtmt.hu/api/publication/2869470
ID  - 2869470
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Kryvolap, A
AU  - Nikitchenko, M
AU  - Schreiner, Wolfgang
TI  - Extending Floyd-Hoare Logic for Partial Pre- and Postconditions
JF  - COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE
J2  - COMMUN COMPUT INFORM SCI
VL  - 412 CCIS
PY  - 2013
SP  - 355
EP  - 378
PG  - 24
SN  - 1865-0929
DO  - 10.1007/978-3-319-03998-5_18
UR  - https://m2.mtmt.hu/api/publication/3416321
ID  - 3416321
LA  - English
DB  - MTMT
ER  -