@article{MTMT:3416317,
	title = {Validating mathematical theorems and algorithms with RISCAL},
	url = {https://m2.mtmt.hu/api/publication/3416317},
	author = {Schreiner, Wolfgang},
	doi = {10.1007/978-3-319-96812-4_21},
	journal-iso = {LECT NOTES ARTIF INT},
	journal = {LECTURE NOTES IN ARTIFICIAL INTELLIGENCE},
	volume = {11006 LNAI},
	unique-id = {3416317},
	issn = {0302-9743},
	year = {2018},
	pages = {248-254}
}

@inproceedings{MTMT:3416316,
	title = {Teaching the formalization of mathematical theories and algorithms via the automatic checking of finite models},
	url = {https://m2.mtmt.hu/api/publication/3416316},
	author = {Schreiner, Wolfgang and Brunhuemer, A and Fürst, C},
	booktitle = {6th International Workshop on Theorem Proving Components for Educational Software, ThEdu 2017},
	doi = {10.4204/EPTCS.267.8},
	unique-id = {3416316},
	year = {2018},
	pages = {120-139}
}

@techreport{MTMT:3346773,
	title = {On the Probabilistic Model Checking of Cognitive Radio Networks and Cognitive Information Systems},
	url = {https://m2.mtmt.hu/api/publication/3346773},
	author = {Schreiner, Wolfgang and Bérczes, Tamás and Sztrik, János and Nemouchi, Hamza},
	editor = {RISC-Linz, Faculty},
	unique-id = {3346773},
	year = {2018}
}

@inproceedings{MTMT:3417040,
	title = {MK-fuzzy automata and MSO logics},
	url = {https://m2.mtmt.hu/api/publication/3417040},
	author = {Droste, M and Kutsia, Teimuraz and Rahonis, G and Schreiner, Wolfgang},
	booktitle = {8th International Symposium on Games, Automata, Logics and Formal Verification, G and ALF 2017},
	doi = {10.4204/EPTCS.256.8},
	unique-id = {3417040},
	year = {2017},
	pages = {106-120}
}

@inproceedings{MTMT:3267244,
	title = {Modeling RF-based sensor networks by using dual-source retrial queueing systems},
	url = {https://m2.mtmt.hu/api/publication/3267244},
	author = {Ovidiu, Constantin Novac and Bérczes, Tamás and Kuki, Attila and Tóth, Ádám and Schreiner, Wolfgang},
	booktitle = {14th International Conference on Engineering of Modern Electric Systems},
	doi = {10.1109/EMES.2017.7980402},
	unique-id = {3267244},
	year = {2017},
	pages = {149-153}
}

@article{MTMT:3111368,
	title = {Analysis of finite-source cluster networks},
	url = {https://m2.mtmt.hu/api/publication/3111368},
	author = {Tóth, Ádám and Bérczes, Tamás and Kuki, Attila and Almási, Béla and Schreiner, Wolfgang and Jinting, Wang and Fang, Wang},
	journal-iso = {CREAT MATH INFORM},
	journal = {CREATIVE MATHEMATICS AND INFORMATICS},
	volume = {25},
	unique-id = {3111368},
	issn = {1584-286X},
	year = {2016},
	eissn = {1843-441X},
	pages = {223-235}
}

@article{MTMT:3416319,
	title = {A verification framework for mini maple programs},
	url = {https://m2.mtmt.hu/api/publication/3416319},
	author = {Khan, MT and Schreiner, Wolfgang},
	doi = {10.1145/2576802.2576812},
	journal-iso = {ACM COMMUN COMPUT ALGEBR},
	journal = {ACM COMMUNICATIONS IN COMPUTER ALGEBRA},
	volume = {47},
	unique-id = {3416319},
	issn = {1932-2232},
	year = {2014},
	eissn = {1932-2240},
	pages = {98-99}
}

@techreport{MTMT:2869472,
	title = {Analyzing the Energy Efficiency of Cluster Scheduling Schemes by Probabilistic Model Checking.},
	url = {https://m2.mtmt.hu/api/publication/2869472},
	author = {Schreiner, Wolfgang and Bérczes, Tamás and Tóth, Ádám},
	unique-id = {2869472},
	year = {2014}
}

@techreport{MTMT:2869470,
	title = {Analyzing Cluster Scheduling Schemes by Probabilistic Model Checking},
	url = {https://m2.mtmt.hu/api/publication/2869470},
	author = {Schreiner, Wolfgang and Bérczes, Tamás and Tóth, Ádám},
	editor = {Research, Institute for Symbolic Computation (RISC)},
	unique-id = {2869470},
	year = {2014}
}

@article{MTMT:3416321,
	title = {Extending Floyd-Hoare Logic for Partial Pre- and Postconditions},
	url = {https://m2.mtmt.hu/api/publication/3416321},
	author = {Kryvolap, A and Nikitchenko, M and Schreiner, Wolfgang},
	doi = {10.1007/978-3-319-03998-5_18},
	journal-iso = {COMMUN COMPUT INFORM SCI},
	journal = {COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE},
	volume = {412 CCIS},
	unique-id = {3416321},
	issn = {1865-0929},
	year = {2013},
	eissn = {1865-0937},
	pages = {355-378}
}