![[up]](/style/images/multi_up.png)
| [pin missing: url] | [pin missing: url] |
Yang, Zijian Győző, Agócs, Ádám, Kusper, Gábor, Váradi, Tamás (2021) Abstractive text summarization for Hungarian Annales Mathematicae et Informaticae (53.): Selected papers of the 1st Conference on Information Technology and Data Science. pp. 299-316. ISSN 1787-6117 (Online)
Drămnesc, Isabela, Ábrahám, Erika, Antal, László, Csóka, Péter, Fachantidis, Nikolaos, Jebelean, Tudor, Kusper, Gábor, Papadopoulos, Konstantinos (2025) Artificial Intelligence based robotic applications for higher education Annales Mathematicae et Informaticae. 61. pp. 68-79. ISSN 1787-6117 (Online)
Liptai, Kálmán, Kusper, Gábor, Radványi, Tibor (2007) Cryptographycal protocols in the Egerfood Information System Annales Mathematicae et Informaticae. 34. pp. 61-70. ISSN 1787-5021 (Print), 1787-6117 (Online)
Biró, Csaba, Kovásznai, Gergely, Biere, Armin, Kusper, Gábor, Geda, Gábor (2013) Cube-and-Conquer approach for SAT solving on grids Annales Mathematicae et Informaticae. 42. pp. 9-21. ISSN 1787-5021 (Print), 1787-6117 (Online)
Bérczes, Tamás, Guta, Gábor, Kusper, Gábor, Schreiner, Wolfgang, Sztrik, János (2010) Evaluating a probabilistic model checker for modeling and analyzing retrial queueing systems Annales Mathematicae et Informaticae. 37. pp. 51-75. ISSN 1787-5021 (Print), 1787-6117 (Online)
Kovásznai, Gergely, Kusper, Gábor (2009) Introducing general redundancy criteria for clausal tableaux, and proposing resolution tableaux Annales Mathematicae et Informaticae. 36. pp. 85-101. ISSN 1787-5021 (Print), 1787-6117 (Online)
Kusper, Gábor, Biró, Csaba, Adamkó, Attila, Baják, Imre (2021) Introducing w-Horn and z-Horn: A generalization of Horn and q-Horn formulae Annales Mathematicae et Informaticae (54.). pp. 33-43. ISSN 1787-6117 (Online)
Kusper, Gábor, Csőke, Lajos, Kovásznai, Gergely (2008) Simplifying the propositional satisfiability problem by sub-model propagation Annales Mathematicae et Informaticae. 35. pp. 75-94. ISSN 1787-5021 (Print), 1787-6117 (Online)
Biró, Csaba, Kusper, Gábor (2019) Some k-hop based graph metrics and node ranking in wireless sensor networks Annales Mathematicae et Informaticae. 50. pp. 19-37. ISSN 1787-5021 (Print) 1787-6117 (Online)
Kusper, Gábor, Yang, Zijian Győző, Nagy, Benedek (2023) Using extended resolution to represent strongly connected components of directed graphs Annales Mathematicae et Informaticae. 58. pp. 92-109. ISSN 1787-6117 (Online)
Kusper, Gábor, Mátyás, György István, Balla, Tamás (2025) We are not afraid of the wolf! – AI usage attitudes among Hungarian informatics students Annales Mathematicae et Informaticae. 61. pp. 186-201. ISSN 1787-6117 (Online)
Bíró, Csaba, Kovásznai, Gergely, Kusper, Gábor, Tajti, Tibor (2023) Annales Mathematicae et Informaticae (57.) : Selected papers of the 2nd Formal Methods in Informatics online workshop. Eger, Eszterházy Károly Katolikus Egyetem Líceum Kiadó.
Kusper, Gábor, Hidi, Erik Zoltán, Kusper, Krisztián, Yang, Zijian Győző, Márien, Szabolcs (2025) Applying Tree-Based Convolutional Neural Networks to classify design patterns In: Proceedings of the International Conference on Formal Methods and Foundations of Artificial Intelligence. Eger, Eszterházy Károly Catholic University. pp. 140-147.
Kusper, Gábor, Márien, Szabolcs (2012) Az objektum-orientált tervezési alapelvek kritikai vizsgálata In: Agria Media 2011 : „Az információs társadalom az alkotó tudás társadalmának digitális előtere. Eszterházy Károly Főiskola Líceum Kiadó. pp. 437-441.
Jebelean, Tudor, Kusper, Gábor, Medve, Anna (2018) Case studies in certified software development In: Agria Média 2017. Eger, Líceum Kiadó. pp. 207-210.
Kusper, Gábor (2014) Definition of digital ownership, digital data treasure, informationbank, some use cases and a business model In: FutureRFID 2014.. Eger, Eszterházy Károly Főiskola. pp. 101-113.
Guta, Gábor, Kusper, Gábor (2025) LLM-based framework to support the construction of valid formal models In: Proceedings of the International Conference on Formal Methods and Foundations of Artificial Intelligence. Eger, Eszterházy Károly Catholic University. pp. 78-89.
Kusper, Gábor (2005) Multimédia a Mesterséges Intelligencia Oktatásában In: Agria Media 2004 : A digitális identitás az útlevelünk Európába. Eszterházy Károly Főiskola Líceum Kiadó. pp. 367-372.
Kusper, Gábor, Kovács, László (2014) Special requirements on ontology for customer support in Internet of Things In: FutureRFID 2014.. Eger, Eszterházy Károly Főiskola. pp. 79-92.
