Kusper, G., Zijian, G., Nagy, B.: Using extended resolution to represent strongly connected components of directed graphs.
Ann. Math. Inform. 58 92-109, 2023.

Kusper, G., Biró, C., Adamkó, A., Baják, I.: Introducing w-Horn and z-Horn: A generalization of Horn and q-Horn formulae.
Ann. Math. Inform. Accepted manuscript 33-43, 2021.

Danisovszky, M., Adamkó, A., Baják, I., Kusper, K., Marien, S., Kusper, G.: Cognitive Code Quality Improvement with Pattern Recognition and Recommendation by Examples.
In: IEEE Xplore

Biró, C., Kusper, G., Tajti, T.: How to Generate Weakly Nondecisive SAT Instances.
In: IEEE 11th International Symposium on Intelligent Systems and Informatics Proceedings, IEEE, Piscataway, 265-269, 2013. ISBN: 9781479903054

Bérczes, T., Guta, G., Kusper, G., Schreiner, W., Sztrik, J.: Evaluating a probabilistic model checker for modeling and analyzing retrial queueing systems.
Ann. Math. Inform. 2010 (37), 51-75, 2010.

Bérczes, T., Guta, G., Kusper, G., Schreiner, W., Sztrik, J.: Analyzing a proxy cache server performance model with the probabilistic model checker PRISM.
In: Automated Specification and Verification of Web Systems WWV'09 : Fifth International Workshop, July 17, 2009, Castle of Hagenberg, Austria. Eds.: Demis Ballis, Temur Kutsia. - Hagenberg, Austria : [s.n.], 2009

Bérczes, T., Guta, G., Kusper, G., Schreiner, W., Sztrik, J.: Comparing the Performance Modeling Environment MOSEL and the Probabilistic Model Checker PRISM for Modeling and Analysing Retrial Queueing Systems.
In: International Conference Probability and Statistics with Applications Dedicated to the 100th anniversary of the birthday of Béla Gyires. Abstracts. [elektronikus dokumentum]. Honorary Conference Chairs:: Mátyás Arató, Zoltán Daróczy, Kálmán Győry, Attila Pethő, Debreceni Egyetem TEK Informatikai Kar, Debrecen, , 2009.

Bérczes, T., Guta, G., Kusper, G., Schreiner, W., Sztrik, J.: Performance Analyzes of a Proxy Cache Server Model with External Users using the Probabilistic Model Checker PRISM.
In: International Conference Probability and Statistics with Applications Dedicated to the 100th anniversary of the birthday of Béla Gyires. Abstracts. [elektronikus dokumentum]. Honorary Conference Chairs:: Mátyás Arató, Zoltán Daróczy, Kálmán Győry, Attila Pethő, Debreceni Egyetem TEK Informatikai Kar, Debrecen, [1], 2009.

Bérczes, T., Guta, G., Kusper, G., Schreiner, W., Sztrik, J.: Analyzing Web Server Performance Models with the Probabilistic Model Checker PRISM.
RISC 17 14, 2008.

Bérczes, T., Guta, G., Kusper, G., Schreiner, W., Sztrik, J.: Comparing the Performance Modeling Environment MOSEL and the Probabilistic Model Checker PRISM for Modeling and Analysing Retrial Queueing Systems.
RISC-Linz Report 07-17 1-40, 2007.