The library will be closed between August 10, 2026 and August 16, 2026. During this period, it will be possible to upload publications, but all other services will be suspended.
Kusper, G.,
Zijian, G. Y.,
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. 54, 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. G.:
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.:
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.
