Tudományterület szerző szerint "Kusper, Gábor"

Export [Atom feed] Atom [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
csoportosítás: Mű típusa | csoportosítás nélkül
Találatok száma: 15.

Folyóiratcikk - Journal article

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)

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)

Könyv - Book

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ó.

Könyvrészlet - Book section

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.

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.

A lista elkészítésének dátuma Thu Mar 28 18:38:17 2024 CET.