Publikációink

Percze Gábor

1.

Kusper Gábor, Percze Gábor, Bánlaki József, Kovács Emőd

Eljárás elektronikus pénztárcával történő, digitális tulajdonjog által birtokolt információk átadására és tárolására

NSZO: G06Q 20/32
Ügyszám: P1500194

Benyújtás éve: 2015.
Benyújtás száma: P1500194.
Közzététel éve: 2017
Benyújtás helye: Magyarország

Oltalmi formák/Nemzetközi szabadalom/Tudományos


2.

Márien Szabolcs, Kusper Gábor, Percze Gábor

Eljárás informatikai lenyomatokhoz kapcsolódó, elektronikus értékalapú információkereskedelem kialakítására, informatikai leképezésére

NSZO: G06F 17/30

Benyújtás éve: 2015.
Benyújtás száma: P1500307.
Közzététel éve: 2017
Benyújtás helye: Magyarország

Oltalmi formák/Nemzetközi szabadalom/Tudományos


3.

Dr KUSPER Gábor, PERCZE Gábor, Dr KOVÁCS László, Dr NEHÉZ Károly, Dr RADVÁNYI Tibor, Dr KIRÁLY Sándor

A MeMOOC online informatikai egyetem koncepciója

In: NIIFI (szerk.)

Networkshop 2016. Konferencia helye, ideje: Debrecen, Magyarország, 2016.03.29-2016.04.01. Budapest: Nemzeti Információs Infrastruktúra Fejlesztési Intézet (NIIFI), 2016. p. CD.
(ISBN:978-963-88335-6-3)

Könyvrészlet/Konferenciaközlemény/Tudományos

Függő idéző: 1 Összesen: 1


4.

Gábor Kusper, Gábor Percze

Document management systems from the future:: The visions of DocWay controll system, based on the SCUNL system

In: IEEE Czechoslovakia Section, Institute of Electrical and Electronics Engineers (szerk.)
ICETA 2015: 13th IEEE International Conference on Emerging eLearning Technologies and Applications Proceedings. Konferencia helye, ideje: Starý Smokovec, Szlovákia, 2015.11.26-2015.11.27. Piscataway (NJ)Institute of Electrical and Electronics Engineers (IEEE), pp. 218-224.

Egyéb konferenciaközlemény/Konferenciaközlemény/Tudományos


5.

Gábor Kusper, Nikolett Fanni Menyhárt, Gábor Percze, Gábor Havasi

Integration opportunities of the ‘CommonSense for Scholars’ system at the University of Debrecen

In: Baranyi Peter (szerk.)

2015 6th IEEE International Conference on Cognitive Infocommunications (CogInfoCom). Konferencia helye, ideje: Győr, Magyarország, 2015.10.19-2015.10.21. (IEEE)
New York: IEEE, 2015. pp. 241-243.
(ISBN:978-1-4673-8129-1)

Könyvrészlet/Konferenciaközlemény/Tudományos


6.

Gábor Percze, Nikolett Fanni Menyhárt, Gábor Kusper

Document Management Systems in Higher Education

In: & (szerk.)

The Publications of the MultiScience – XXIX. microCAD International Multidisciplinary Scientific Conference. Konferencia helye, ideje: Miskolc, Magyarország, 2015.04.09-2015.04.10. Miskolc: Miskolci Egyetem, 2015. Paper F:14:20. 11 p. 
(ISBN:978-963-358-061-5)

Könyvrészlet/Konferenciaközlemény/Tudományos


7.

Percze Gábor, Menyhárt Nikolett Fanni, Kusper Gábor

Dokumentum menedzsment rendszerek a felsőoktatásban

In: Nemzeti Információs Infrastruktúra Fejlesztési Intézet (szerk.)
Networkshop 2015. Konferencia helye, ideje: Sárospatak, Magyarország, 2015.03.30-2015.04.02. BudapestNemzeti Információs Infrastruktúra Fejlesztési Intézet (NIIFI), Paper 181. 11 p.

Egyéb konferenciaközlemény/Konferenciaközlemény/Tudományos


Szabadalmak

  • METHOD FOR VALUE BASED TRADE OF DATA REPRESENTING OBJECTS AND THE PROCESS OF RELATED DATA HANDLING

    Patent dateFiled Jun 2015  Patent issuer and numberhu P1500307

  • Patent titleMETHOD FOR EXCHANGING AND STORING DATA RELATING TO DIGITAL PROPERTY PAYED BY ELECTRONIC WALLET

    Patent dateFiled Feb 1, 2015  Patent issuer and numberhu P1500194


Kusper Gábor

1.

Kusper Gábor

A programtervező informatikus alapképzés alapelvei az Eszterházy Károly Egyetemen

In: Aradi Bernadett, Bujdosó Gyöngyi, Horváth Géza, Szokol Patrícia (szerk.)

Informatika a felsőoktatásban 2017 konferencia kiadványa. 461 p.
Konferencia helye, ideje: Debrecen, Magyarország, 2017.08.29-2017.08.31. Debrecen: Debreceni Egyetem Informatikai Kar, 2017. pp. 137-143.
(ISBN:978-963-473-213-6)

Könyvrészlet/Konferenciaközlemény/Tudományos


2.

Kusper Gábor, Percze Gábor, Bánlaki József, Kovács Emőd

Eljárás elektronikus pénztárcával történő, digitális tulajdonjog által birtokolt információk átadására és tárolására

NSZO: G06Q 20/32
Ügyszám: P1500194

Benyújtás éve: 2015.
Benyújtás száma: P1500194.
Közzététel éve: 2017
Benyújtás helye: Magyarország

Oltalmi formák/Nemzetközi szabadalom/Tudományos


3.

Márien Szabolcs, Kusper Gábor, Percze Gábor

Eljárás informatikai lenyomatokhoz kapcsolódó, elektronikus értékalapú információkereskedelem kialakítására, informatikai leképezésére

NSZO: G06F 17/30

Benyújtás éve: 2015.
Benyújtás száma: P1500307.
Közzététel éve: 2017
Benyújtás helye: Magyarország

Oltalmi formák/Nemzetközi szabadalom/Tudományos


4.

Mátyás B, Bautista G, Szarka M, Járvás G, Kusper G, Argay I, Fialowski A, Mátyás G

A novel data storage logic in the cloud

 F1000RESEARCH 5: Paper 93. 12 p. (2017)

Folyóiratcikk/Szakcikk/Tudományos


5.

Király Sándor, Balla Tamás, Kusper Gábor

Code School: Learn to code by practicing

In: 11th Joint Conference on Mathematics and Computer Science. 6 p.
Konferencia helye, ideje: Eger, Magyarország, 2016.05.20-2016.05.22.pp. 136-143.

Egyéb konferenciaközlemény/Konferenciaközlemény/Tudományos


6.

Kovásznai Gergely, Kusper Gábor, Biró Csaba

Az informatika logikai alapjai

BudapestÓbudai Egyetem, 2016.

Könyv/Felsőoktatási tankönyv/Oktatási


7.

Dr KUSPER Gábor, PERCZE Gábor, Dr KOVÁCS László, Dr NEHÉZ Károly, Dr RADVÁNYI Tibor, Dr KIRÁLY Sándor

A MeMOOC online informatikai egyetem koncepciója

In: NIIFI (szerk.)

Networkshop 2016. Konferencia helye, ideje: Debrecen, Magyarország, 2016.03.29-2016.04.01. Budapest: Nemzeti Információs Infrastruktúra Fejlesztési Intézet (NIIFI), 2016. p. CD.
(ISBN:978-963-88335-6-3)

Könyvrészlet/Konferenciaközlemény/Tudományos

Függő idéző: 1 Összesen: 1


8.

Kusper Gábor, Havasi Gábor, Király Sándor, Kocsis-Baán Mária, Nehéz Károly, Hornyák Olivér, Mileff Péter

Introducing MeMOOC and Recent Results in e-Learning at University of Miskolc

In: Darco Jansen, Lizzie Konings (szerk.)

MOOCs in Europe: Overview of papers representing a collective European response on MOOCs as presented during the HOME conference in Rome November 2015 : Papers ‘WOW! Europe embraces MOOCS’. 221 p.
Konferencia helye, ideje: Rome, Olaszország, 2015.11.30 Heerlen: European Association of Distance Teaching Universities (EADTU), 2016. pp. 75-78.
(ISBN:978-90-79730-19-3)

Könyvrészlet/Konferenciaközlemény/Tudományos

Függő idéző: 1 Összesen: 1


9.

Kusper Gábor

A MEMOOC első évének tapasztalatai

In: Hülber László (szerk.)

II. Nyílt Oktatás Konferencia: absztraktkötet. 48 p.
Konferencia helye, ideje: Gyöngyös, Magyarország, 2016.10.07 Eger: Líceum Kiadó, 2016. p. 38.
(ISBN:978-615-5621-30-7)

Könyvrészlet/Absztrakt / Kivonat/Tudományos


10.

Mátyás B, Szarka M, Járvás G, Kusper G, Argay I, Fialowski A

A novel data storage logic in the cloud [version 2; referees: 1 approved, 1 not approved]

 F1000RESEARCH 5: Paper 93. 12 p. (2016)

Folyóiratcikk/Szakcikk/Tudományos


11.

Pólya Tamás, Mester Dolli, Kusper Gábor

A motiváció a videójátékosok körében: Egy országos felmérés eredményei

In: Hülber László (szerk.)

I. Oktatásszervezési és Oktatásinformatikai Konferencia [elektronikus dok.]: 2016- február 5-6. : absztraktkötet. Konferencia helye, ideje: Eger, Magyarország, 2016.02.05-2016.02.06. Eger: Líceum Kiadó, 2016. p. 24. 1 p. 
(ISBN:978-615-5621-14-7)

Könyvrészlet/Absztrakt / Kivonat/Tudományos


2015

12.

Csaba Biró, Gábor Kusper, Tibor Radványi, Sándor Király, Péter Szigetváry, Péter Takács

SAT representation of randomly deployed Wireless Sensor Networks

In: ICAI 2014: Proceedings of the 9th International Conference on Applied Informatics, vol. 1-2. Konferencia helye, ideje: Eger, Magyarország, 2014.01.29-2014.02.01. Eszterházy Károly Tanárképző Főiskola (EKTF), pp. 101-111.

Egyéb konferenciaközlemény/Konferenciaközlemény/Tudományos

Függő idéző: 1 Összesen: 1


13.

Gábor Kusper, Gábor Percze

Document management systems from the future:: The visions of DocWay controll system, based on the SCUNL system

In: IEEE Czechoslovakia Section, Institute of Electrical and Electronics Engineers (szerk.)
ICETA 2015: 13th IEEE International Conference on Emerging eLearning Technologies and Applications Proceedings. Konferencia helye, ideje: Starý Smokovec, Szlovákia, 2015.11.26-2015.11.27. Piscataway (NJ)Institute of Electrical and Electronics Engineers (IEEE), pp. 218-224.

Egyéb konferenciaközlemény/Konferenciaközlemény/Tudományos


14.

Gábor Kusper, Nikolett Fanni Menyhárt, Gábor Percze, Gábor Havasi

Integration opportunities of the ‘CommonSense for Scholars’ system at the University of Debrecen

In: Baranyi Peter (szerk.)

2015 6th IEEE International Conference on Cognitive Infocommunications (CogInfoCom). Konferencia helye, ideje: Győr, Magyarország, 2015.10.19-2015.10.21. (IEEE)
New York: IEEE, 2015. pp. 241-243.
(ISBN:978-1-4673-8129-1)

Könyvrészlet/Konferenciaközlemény/Tudományos


15.

Gábor Percze, Nikolett Fanni Menyhárt, Gábor Kusper

Document Management Systems in Higher Education

In: & (szerk.)

The Publications of the MultiScience – XXIX. microCAD International Multidisciplinary Scientific Conference. Konferencia helye, ideje: Miskolc, Magyarország, 2015.04.09-2015.04.10. Miskolc: Miskolci Egyetem, 2015. Paper F:14:20. 11 p. 
(ISBN:978-963-358-061-5)

Könyvrészlet/Konferenciaközlemény/Tudományos


16.

Havasi Gábor, Kusper Gábor

SCORM tartalmak importálása EDX alá

In: Ollé János (szerk.)

I. Nyílt Oktatás Konferencia Absztraktkötet. 27 p.
Konferencia helye, ideje: Eger, Magyarország, 2015.06.24 Eger: EKF Líceum Kiadó, 2015. p. 13. 1 p. 
(ISBN:978-615-5621-11-6)

Könyvrészlet/Absztrakt / Kivonat/Tudományos


17.

József Holovács, Gábor Kusper

Information as mapping

In: ICAI 2014: Proceedings of the 9th International Conference on Applied Informatics, vol. 1-2. Konferencia helye, ideje: Eger, Magyarország, 2014.01.29-2014.02.01. Eszterházy Károly Tanárképző Főiskola (EKTF), pp. 329-337.

Egyéb konferenciaközlemény/Konferenciaközlemény/Tudományos


18.

Kusper Gábor

Programozási technológiák: A program kódja állandóan változik

EgerEKF Líceum Kiadó, 2015. 242 p.
(ISBN:978-615-5509-44-5)

Könyv/Szakkönyv/Tudományos


19.

Kusper Gábor, Hornyák Olivér

Online informatikai egyetem

In: Ollé János (szerk.)

I. Nyílt Oktatás Konferencia Absztraktkötet. 27 p.
Konferencia helye, ideje: Eger, Magyarország, 2015.06.24 Eger: EKF Líceum Kiadó, 2015. pp. 23-24.
(ISBN:978-615-5621-11-6)

Könyvrészlet/Absztrakt / Kivonat/Tudományos


20.

Kusper Gábor, Biró Csaba

Solving SAT by an Iterative Version of the Inclusion-Exclusion Principle

In: Laura Kovacs, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Sephen Watt, Daniela Zaharie (szerk.)

2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC). Konferencia helye, ideje: Timisoara, Románia, 2015.09.21-2015.09.25. Timisoara: IEEE Computer Society, 2015. pp. 189-190.
(ISBN:978-1-5090-0461-4)

Könyvrészlet/Absztrakt / Kivonat/Tudományos

Független idéző: 1 Összesen: 1


21.

Kusper Gábor

A miskolci MeMOOC program

Magyarország

Workshop előadás, REGINA – Regionális Informatikai Konferencia, Miskolc, 2015.10.14 (2015)

Egyéb/Nem besorolt/Tudományos


22.

Kusper Gábor

A FutureRFID kutatási projekt bemutatása

Magyarország

Workshop előadás, Internet Kutatáskoordinációs Központ információs napja, Debrecen, 2015.02.18. (2015)

Egyéb/Nem besorolt/Tudományos


23.

Percze Gábor, Menyhárt Nikolett Fanni, Kusper Gábor

Dokumentum menedzsment rendszerek a felsőoktatásban

In: Nemzeti Információs Infrastruktúra Fejlesztési Intézet (szerk.)
Networkshop 2015. Konferencia helye, ideje: Sárospatak, Magyarország, 2015.03.30-2015.04.02. BudapestNemzeti Információs Infrastruktúra Fejlesztési Intézet (NIIFI), Paper 181. 11 p.

Egyéb konferenciaközlemény/Konferenciaközlemény/Tudományos


2014

24.

Biró Csaba, Kusper Gábor

SAT reprezentációk vezeték nélküli szenzorhálózatokhoz

In: Nagy Miklós (szerk.)

Networkshop 2014: CD. Konferencia helye, ideje: Pécs, Magyarország, 2014.04.23-2014.04.25. Budapest: Nemzeti Információs Infrastruktúra Fejlesztési Intézet (NIIFI), 2014. Paper 109. 12 p. 
(ISBN:978-963-88335-5-6)

Könyvrészlet/Konferenciaközlemény/Tudományos


25.

Emőd Kovács, Gábor Kusper, Tibor Juhász, Tibor Tómács (szerk.)

Proceedings of the 1st International Conference and Exhibition on Future RFID Technologies

Konferencia helye, ideje: Eger, Magyarország, 2014.11.05-2014.11.07.

EgerEszterházy Károly Főiskola, 2014. 
(ISBN:978-615-5509-23-0)

Könyv/Konferenciakötet/Tudományos


26.

Kusper Gábor

A digitalis tulajdonjog és az információ-bank alaptulajdonságai

GIKOF JOURNAL: A NEUMANN JÁNOS SZÁMÍTÓGÉP-TUDOMÁNYI TÁRSASÁG GAZDASÁGINFORMATIKAI KUTATÁSI ÉS OKTATÁSI FÓRUM SZAKMAI SZERVEZET SZAKFOLYÓIRATA 2014-1: pp. 60-69. (2014)

Folyóiratcikk/Szakcikk/Tudományos


27.

Kusper Gábor

Nyílt online tömegképzés módszertani kérdései

In: Kunkli Roland , Papp Ildikó, Rutkovszky Edéné (szerk.)

Informatika a felsőoktatásban 2014. Konferencia helye, ideje: Debrecen, Magyarország, 2014.08.27-2014.08.29. Debrecen: Debreceni Egyetem Informatikai Kar, 2014. pp. 107-115.
(ISBN:978-963-473-712-4)

Könyvrészlet/Konferenciaközlemény/Tudományos


28.

Kusper Gábor

Definition of Digital Ownership, Digital Data Treasure, Informationbank, some Use Cases and a Business Model

In: Emőd Kovács, Gábor Kusper, Tibor Juhász, Tibor Tómács (szerk.)

Proceedings of the 1st International Conference and Exhibition on Future RFID Technologies. Konferencia helye, ideje: Eger, Magyarország, 2014.11.05-2014.11.07. Eger: Eszterházy Károly Főiskola, 2014. pp. 101-113.
(ISBN:978-615-5509-23-0)

Könyvrészlet/Konferenciaközlemény/Tudományos


29.

Kusper Gábor

Digitális tulajdonjog, Use Case-ek a jövőből

Magyarország

Workshop előadás, FutreRFID Workshop, Eger, 2014.06.17. (2014)

Egyéb/Nem besorolt/Tudományos


30.

László Kovács, Gábor Kusper

Special requirements on ontology for customer support in Internet of Things

In: Emőd Kovács, Gábor Kusper, Tibor Juhász, Tibor Tómács (szerk.)

Proceedings of the 1st International Conference and Exhibition on Future RFID Technologies. Konferencia helye, ideje: Eger, Magyarország, 2014.11.05-2014.11.07. Eger: Eszterházy Károly Főiskola, 2014. pp. 79-92.
(ISBN:978-615-5509-23-0)

Könyvrészlet/Konferenciaközlemény/Tudományos


31.

J Sztrik, T Bérczes, G Kusper, W Schreiner

Using PRISM to model spectrum renting in mobile cellular networks

9th International Conference on Applied Informatics, Eger, Hungary, konferencia előadás (2014)

Egyéb/Nem besorolt/Tudományos


2013

32.

Biró Csaba, Kovásznai Gergely, Kusper Gábor, Tajti Tibor, Geda Gábor

Look-ahead alapú SAT solver-ek párhuzamosíthatóságának vizsgálata

In: Nemzeti Információs Infrastrukúra Fejlesztési Intézet (Budapest) (szerk.)

Networkshop 2013. Konferencia helye, ideje: Sopron, Magyarország, 2013.03.26-2013.03.28. Budapest: Nemzeti Információs Infrastruktúra Fejlesztési Intézet (NIIFI), 2013. pp. 105-111.
(ISBN:978-963-88335-3-2)

Könyvrészlet/Konferenciaközlemény/Tudományos


33.

Csaba Biró, Gergely Kovásznai, Armin Biere, Gábor Kusper, Gábor Geda

Cube-and-Conquer approach for SAT solving on grids

ANNALES MATHEMATICAE ET INFORMATICAE 42: pp. 9-21. (2013)

Folyóiratcikk/Szakcikk/Tudományos

Független idéző: 1 Függő idéző: 1 Összesen: 2


34.

Csaba Biró, Gábor Kusper, Tibor Tajti

How to generate weakly nondecisive SAT instances

In: Szakál Anikó (szerk.)

SISY 2013: IEEE 11th International Symposium on Intelligent Systems and Informatics : proceedings. Konferencia helye, ideje: Subotica, Szerbia, 2013.09.26-2013.09.28. Budapest: IEEE Hungary Section, 2013. pp. 265-269.
(ISBN:978-1-4799-0303-0)

Könyvrészlet/Konferenciaközlemény/Tudományos

Függő idéző: 1 Összesen: 1


35.

Gábor Kusper

Programming technologies: Lecture Notes

BudapestDigitális Tankönyvtár, 2013. 102 p.

Könyv/Felsőoktatási tankönyv/Oktatási


36.

Gábor Kusper, Csaba Biró, Tibor Tajti

SATCounter: Count Clear Clauses SAT Solver, v.1.2, 03.05.2013

Magyarország

Tudományos célú szoftver (2013)

Egyéb/Számítógépes program/Tudományos


37.

Gábor Kusper, Csaba Biró, Tibor Tajti

WnDGen: Weakly Nondecisive SAT Problem Generator

Magyarország

Tudományos célú szoftver, Version: 1.0, 29.05.2012, Current version: 2.0, 07.01.2013 (2013)


38.

Kovács László, Kusper Gábor

Adaption of NNS classification to domain of category values

In: Szakál Anikó (szerk.)

SISY 2013: IEEE 11th International Symposium on Intelligent Systems and Informatics : proceedings. Konferencia helye, ideje: Subotica, Szerbia, 2013.09.26-2013.09.28. Budapest: IEEE Hungary Section, 2013. pp. 299-303.
(ISBN:978-1-4799-0303-0)

Könyvrészlet/Konferenciaközlemény/Tudományos


39.

Kusper Gábor, Biró Csaba, Tajti Tibor

A fordított névvállalás biztonsági protokollja

In: Nemzeti Információs Infrastrukúra Fejlesztési Intézet (Budapest) (szerk.)

Networkshop 2013. Konferencia helye, ideje: Sopron, Magyarország, 2013.03.26-2013.03.28. Budapest: Nemzeti Információs Infrastruktúra Fejlesztési Intézet (NIIFI), 2013. pp. 80-92.
(ISBN:978-963-88335-3-2)

Könyvrészlet/Konferenciaközlemény/Tudományos


40.

Kusper Gábor

Az Internet ott Tárgyak témakörének áttekintése

In: Körtesi Péter (szerk.)

MAFIOK 2013 közlemények – online: Matematikát, Fizikát és Informatikát Oktatók Konferenciájának kiadványa – online. Konferencia helye, ideje: Miskolc, Magyarország, 2013.08.26-2013.08.28. Miskolc: Miskolci Egyetem, 2013. pp. 137-146.
(ISBN:978-963-358-037-0)

Könyvrészlet/Konferenciaközlemény/Tudományos


41.

Kusper Gábor, Lehoczki Eszter

A digitális tulajdonjog fehér könyvének első vázlata,

Magyarország

Workshop előadás, FutreRFID Workshop, Eger, 2013.11.28 (2013)

Egyéb/Nem besorolt/Tudományos


42.

Radványi Tibor, Biro Csaba, Kusper Gábor, Tajti Tibor

Szenzor hálózatok modellezése és vizsgálata nulladrendű logika segítségével

In: Biró Károly Ágoston, Sebestyén-Pál György (szerk.)
ENELKO 2013 XIV. Nemzetközi Energetika-Elektrotechnika Konferencia, SzámOkt 2013 XXIII. Nemzetközi Számítástechnika és Oktatás Konferencia. Konferencia helye, ideje: Nagyszeben, Románia, 2013.10.10-2013.10.13. NagyszebenErdélyi Magyar Műszaki Tudományos Társaság (EMT), pp. 147-153.

Egyéb konferenciaközlemény/Konferenciaközlemény/Tudományos

Függő idéző: 1 Összesen: 1


43.

Tajti Tibor, Biró Csaba, Kusper Gábor

SAT probléma kielégíthetőségének vizsgálata masszív parallel mesterséges neurális hálózat alkalmazásáva

In: Nemzeti Információs Infrastrukúra Fejlesztési Intézet (Budapest) (szerk.)

Networkshop 2013. Konferencia helye, ideje: Sopron, Magyarország, 2013.03.26-2013.03.28. Budapest: Nemzeti Információs Infrastruktúra Fejlesztési Intézet (NIIFI), 2013. pp. 72-77.
(ISBN:978-963-88335-3-2)

Könyvrészlet/Konferenciaközlemény/Tudományos


44.

Wolfgang Schreiner, Tamas Berczes, Janos Sztrik, Gabor Kusper

A Case Study on Exploring the Performance Limits of PRISM

Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria., Technical report, 2013. Szeptember 23. (2013)

Egyéb/Kutatási jelentés (közzétett)/Tudományos


45.

Wolfgang Schreiner, Nikolaj Popov, Tamas Berczes, Janos Sztrik, Gabor Kusper

Applying High Performance Computing to Analyzing by Probabilistic Model Checking Mobile Cellular Networks with Spectrum Renting

Technical report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria, 25. July 2013 (2013)

Egyéb/Kutatási jelentés (közzétett)/Tudományos

Függő idéző: 2 Összesen: 2


2012

46.

Ficsor Lajos, Krizsán Zoltán, Kovács László, Kusper Gábor

Szoftvertesztelés

MiskolcMiskolci Egyetem Alkalmazott Informatika Tanszék, 2012. 188 p.

Könyv/Felsőoktatási tankönyv/Oktatási


47.

Kusper Gábor, Tajti Tibor, Szabó Máté

A Magyar Közös Tudás projekt első eredményei

In: Nemzeti Információs Infrastrukúra Fejlesztési Intézet (Budapest) (szerk.)

Networkshop 2012. Konferencia helye, ideje: Veszprém, Magyarország, 2012.04.11-2012.04.13. Budapest: Nemzeti Információs Infrastruktúra Fejlesztési Intézet (NIIFI), 2012. Paper 42. 9 p. 
(ISBN:978-963-88335-1-8)

Könyvrészlet/Konferenciaközlemény/Tudományos


48.

Kusper Gábor, Márien Szabolcs

Az objektum-orientált tervezési alapelvek kritikai vizsgálata

In: Nádasi András (szerk.)

Agria Media 2011 Információtechnikai és Oktatástechnológiai Konferencia és Kiállítás és ICI-11 Nemzetközi Informatikai Konferencia. 457 p.
Konferencia helye, ideje: Eger, Magyarország, 2011.10.16-2011.10.18. Eger: Líceum Kiadó, 2012. pp. 437-441.
(ISBN:978-615-5250-02-6)

Könyvrészlet/Konferenciaközlemény/Tudományos


49.

Radványi Tibor, Kusper Gábor

Az EgerFood élelmiszerbiztonsági nyomkövető rendszer informatikai megoldásai: IT solutions of EgerFood food safety tracking system

AGRÁRINFORMATIKA / JOURNAL OF AGRICULTURAL INFORMATICS 3:(1) pp. 52-64. (2012)

Folyóiratcikk/Szakcikk/Tudományos


2011

50.

Kovács Emőd, Kovásznai Gergely, Kusper Gábor

Projektlabor, Projektmunka és Projekt szeminárium tapasztalatai és kérdései az informatika oktatásában az Eszterházy Károly Főiskolán

In: Klebniczki József (szerk.)

Felsőfokú alapképzésben matematikát, fizikát és informatikát oktatók XXXII. Konferenciakiadványa. Konferencia helye, ideje: Kecskemét, Magyarország, 2008.08.25-2008.08.27. Kecskemét: Kecskeméti Főiskola, 2011. pp. 177-181.
(ISBN:978-963-7294-70-9)

Könyvrészlet/Konferenciaközlemény/Tudományos


51.

Kovásznai Gergely, Kusper Gábor

A mesterséges intelligencia kérdései a középiskolai oktatásban

EgerEszterházy Károly Főiskola, 2011. 103 p.

Könyv/Oktatási anyag/Oktatási


52.

Kovásznai Gergely, Kusper Gábor

Artificial Intelligence and its Teaching

EgerEszterházy Károly Főiskola, 2011. 92 p.

Könyv/Oktatási anyag/Oktatási

Független idéző: 4 Összesen: 4


53.

Kusper Gábor, Radványi Tibor

Jegyzet a projekt labor című tárgyhoz: A program is csak egy termék, olyan, mint egy doboz müzli

EgerEszterházy Károly Főiskola, 2011. 221 p.

Könyv/Oktatási anyag/Oktatási

Független idéző: 6 Összesen: 6


54.

Kusper Gábor, Kovács Emőd, Márien Szabolcs, Kusper Krisztián, Scheffer Imre, Kiss Balázs, Kovács Péter, Winkler Ernő

Innovatív megoldások az eFilter projektben

In: Cser L, Herdon M (szerk.)

Informatika a felsőoktatásban 2011 konferencia. 1140 p.
Konferencia helye, ideje: Debrecen, Magyarország, 2011.08.24-2011.08.26. Debrecen: Debreceni Egyetem Informatikai Kar, 2011. pp. 1-22.
(ISBN:978-963-473-461-1)

Könyvrészlet/Konferenciaközlemény/Tudományos

Független idéző: 1 Függő idéző: 2 Összesen: 3


55.

Kusper Gábor, Márien Szabolcs, Kovács Emőd, Kovács László

Valós időben választ adó egészségügyi profil, mint több dimenziós megszorítás mátrix, alapján élelmiszert szűrő domain specifikus algoritmus

In: Networkshop 2011: Kaposvár, [2011]. ápri lis 27-29.. Konferencia helye, ideje: Kaposvár, Magyarország, 2011.04.27-2011.04.29. BudapestNemzeti Információs Infrastruktúra Fejlesztési Intézet (NIIFI), Paper 77.

Egyéb konferenciaközlemény/Konferenciaközlemény/Tudományos

Független idéző: 2 Függő idéző: 1 Összesen: 3


56.

Kusper Gábor, Márien Szabolcs

Élelmiszer adatbázis szűrése mennyiségi megszorítások alapján logaritmikus indexeléssel

ACTA AGRARIA KAPOSVÁRIENSIS 15:(3) pp. 13-30. (2011)

Folyóiratcikk/Szakcikk/Tudományos

Független idéző: 2 Összesen: 2


57.

Kusper Gábor, Radványi Tibor

OpenOffice

EgerSzerzői kiadás, 2011. 114 p.

Könyv/Felsőoktatási tankönyv/Oktatási


58.

Radványi Tibor, Kusper Gábor, Kovács Emőd

Az RFID technológia megjelenése az oktatásban

In: Cser L, Herdon M (szerk.)

Informatika a felsőoktatásban 2011 konferencia. 1140 p.
Konferencia helye, ideje: Debrecen, Magyarország, 2011.08.24-2011.08.26. Debrecen: Debreceni Egyetem Informatikai Kar, 2011. pp. 64-69.
(ISBN:978-963-473-461-1)

Könyvrészlet/Konferenciaközlemény/Tudományos


2010

59.

Attila Egri-Nagy, Emőd Kovács, Gergely Kovásznai, Gábor Kusper, Tibor Tómács (szerk.)

Proceedings of the 8th International Conference on Applied Informatics : January 27-30, 2010, Eger, Hungary

Konferencia helye, ideje: Eger, Magyarország, 2010.01.27-2010.01.30.

EgerEszterházy Károly College, 2010. 456 p.
1-2.
(ISBN:978-963-9894-72-3)

Könyv/Konferenciakötet/Tudományos


60.

Gábor Kusper, Gergely Kovásznai, Wolfgang Schreiner, Gábor Guta, János Sztrik

A Small Survey on Java Specification Languages

In: Attila Egri-Nagy, Emőd Kovács, Gergely Kovásznai, Gábor Kusper, Tibor Tómács (szerk.)

Proceedings of the 8th International Conference on Applied Informatics : January 27-30, 2010, Eger, Hungary. 456 p.
Konferencia helye, ideje: Eger, Magyarország, 2010.01.27-2010.01.30. Eger: Eszterházy Károly College, 2010. pp. 409-416.
1-2.
(ISBN:978-963-9894-72-3)

Könyvrészlet/Konferenciaközlemény/Tudományos


61.

Gábor Kusper, Tudor Jebelean

Multi-Domain Logic as a Tool for Program Verification

In: Tudor JEBELEAN, Mohamed MOSBAH, Nikolaj POPOV (szerk.)
RISC – Linz Research Institute for Symbolic Computation: SCSS 2010 Symbolic Computation in Software Science. 158 p.
Konferencia helye, ideje: Hagenberg, Ausztria, 2010.07.29-2010.07.30. Linzpp. 105-117.
(RISC-Linz Report Series; No. 10-10. )

Egyéb konferenciaközlemény/Konferenciaközlemény/Tudományos


62.

Gergely Kovásznai, Gábor Kusper

Empirical Investigation on Combining Tableaux and Resolution

In: Attila Egri-Nagy, Emőd Kovács, Gergely Kovásznai, Gábor Kusper, Tibor Tómács (szerk.)

Proceedings of the 8th International Conference on Applied Informatics : January 27-30, 2010, Eger, Hungary. 456 p.
Konferencia helye, ideje: Eger, Magyarország, 2010.01.27-2010.01.30. Eger: Eszterházy Károly College, 2010. pp. 115-125.
1-2.
(ISBN:978-963-9894-72-3)

Könyvrészlet/Konferenciaközlemény/Tudományos


63.

Tamás Bérczes, Gábor Guta, Gábor Kusper, Wolfgang Schreiner, János Sztrik

Evaluating a probabilistic model checker for modeling and analyzing retrial queueing systems

ANNALES MATHEMATICAE ET INFORMATICAE 37: pp. 51-75. (2010)

Folyóiratcikk/Szakcikk/Tudományos

Függő idéző: 2 Összesen: 2


64.

Tibor Radványi, Róbert Szabó, Péter Incze, Péter Magyar, Gábor Kusper, Emőd Kovács

RFID Technological Knowledge in our Teaching

Magyarország

Poszter, 8. International Conference on Applied Informatics (ICAI), Eger, 2010. január 27-30. (2010)

Egyéb/Segédlet/Tudományos


65.

Tudor Jebelean, Gábor Kusper

SAT Solving Experiments in Multi-Domain Logic

In: Attila Egri-Nagy, Emőd Kovács, Gergely Kovásznai, Gábor Kusper, Tibor Tómács (szerk.)

Proceedings of the 8th International Conference on Applied Informatics : January 27-30, 2010, Eger, Hungary. 456 p.
Konferencia helye, ideje: Eger, Magyarország, 2010.01.27-2010.01.30. Eger: Eszterházy Károly College, 2010. pp. 95-105.
1-2.
(ISBN:978-963-9894-72-3)

Könyvrészlet/Konferenciaközlemény/Tudományos


66.

Tudor Jebelean, Gabor Kusper

Experiments with Multi-Domain Logic: Variable Merging and Split Strategies

Technical report no. 10-03, RISC Report Series, Johannes Kepler University of Linz (2010)

Egyéb/Kutatási jelentés (közzétett)/Tudományos


67.

Emőd Kovács, Gergely Kovásznai, Gábor Kusper

Project Lab and Project Work Issues and Experiences at the Eszterházy Károly Collage

In: Stoffová Veronika (szerk.)

XXI. DIDMATTECH 2008, 2nd part: III Information and Communication Technologies in Education. IV Common Problems of Education. 294 p.
Konferencia helye, ideje: Eger, Magyarország, 2008.10.29-2008.10.30. Eger: Eszterházy Károly College; J. Selye University, 2009. pp. 97-100.
(ISBN:978-963-9894-18-1)

Könyvrészlet/Konferenciaközlemény/Tudományos


2009

68.

Gergely Kovásznai, Gábor Kusper

Introducing General Redundancy Criteria for Clausal Tableaux, and Proposing Resolution Tableaux

ANNALES MATHEMATICAE ET INFORMATICAE 36: pp. 85-101. (2009)

Folyóiratcikk/Szakcikk/Tudományos


69.

Kovács Emőd, Kusper Gábor

Interaktív TV alkalmazások a világban, lehetőségek Magyarországon

In: Nádasi András (szerk.)

Agria Media 2008: 1-2. köt. : A WEB 2.0 a hatékony e-learning alapú oktatás egyik legfontosabb feltétele = the WEB 2.0 is one of the most important preconditions for the launching of effective e-learning programs. 434 p.
Konferencia helye, ideje: Eger, Magyarország, 2008.10.27-2008.10.28. Eger: EKF Líceum Kiadó, 2009. pp. 61-65.
(ISBN:963-9417-09-2 (hibás))

Könyvrészlet/Konferenciaközlemény/Tudományos

A 2008. október 27-28. között Egerben az Eszterházy Károly Tanárképző Főiskola etc. által rendezett Agria Media 2008 Információtechnikai és Oktatástechnológiai Konferencia és Kiállítás valamint a 8. International Conference on Information válogatott előadásainak szerkesztett anyaga


70.

Kovács Emőd, Kusper Gábor, Kovásznai Gergely

Műhelymunka az EKF Matematika és Informatika Intézetében

In: Nádasi András (szerk.)

Agria Media 2008: 1-2. köt. : A WEB 2.0 a hatékony e-learning alapú oktatás egyik legfontosabb feltétele = the WEB 2.0 is one of the most important preconditions for the launching of effective e-learning programs. 434 p.
Konferencia helye, ideje: Eger, Magyarország, 2008.10.27-2008.10.28. Eger: EKF Líceum Kiadó, 2009. pp. 463-467.
(ISBN:963-9417-09-2 (hibás))

Könyvrészlet/Konferenciaközlemény/Tudományos

A 2008. október 27-28. között Egerben az Eszterházy Károly Tanárképző Főiskola etc. által rendezett Agria Media 2008 Információtechnikai és Oktatástechnológiai Konferencia és Kiállítás valamint a 8. International Conference on Information válogatott előadásainak szerkesztett anyaga


71.

Kovács L, Kusper G, Kovásznai G

Semantic Layers in Generation of UML from NLI-based Specifications

In: Lehoczky László (szerk.)

23th MicroCAD International Scientific Conference. Konferencia helye, ideje: Miskolc, Magyarország, 2009.03.19-2009.03.20. Miskolc: Miskolci Egyetem Innovációs és Technológia Transzfer Centrum, 2009. p. 125.
Waste Processing and Recycling
(ISBN:978-963-661-868-1)

Könyvrészlet/Konferenciaközlemény/Tudományos


72.

László Kovács, Gergely Kovásznai, Gábor Kusper

Metamodels in generation of UML using NLI-based dialog

In: Szakál A (szerk.)

Proceedings of the 5th International Symposium on Applied Computational Intelligence and Informatics, SACI 2009. Konferencia helye, ideje: Timisoara, Románia, 2009.05.28-2009.05.29. Budapest: IEEE Hungary Section, 2009. pp. 29-34.
(ISBN:9781424444786)

Könyvrészlet/Konferenciaközlemény/Tudományos

Független idéző: 2 Függő idéző: 1 Összesen: 3


73.

Radványi Tibor, Kusper Gábor, Kovács Emőd

Adatforgalom és mobilkommunikáció az Egerfood rendszerben

In: Nádasi András (szerk.)

Agria Media 2008: 1-2. köt. : A WEB 2.0 a hatékony e-learning alapú oktatás egyik legfontosabb feltétele = the WEB 2.0 is one of the most important preconditions for the launching of effective e-learning programs. 434 p.
Konferencia helye, ideje: Eger, Magyarország, 2008.10.27-2008.10.28. Eger: EKF Líceum Kiadó, 2009. pp. 100-107.
(ISBN:963-9417-09-2 (hibás))

Könyvrészlet/Konferenciaközlemény/Tudományos

A 2008. október 27-28. között Egerben az Eszterházy Károly Tanárképző Főiskola etc. által rendezett Agria Media 2008 Információtechnikai és Oktatástechnológiai Konferencia és Kiállítás valamint a 8. International Conference on Information válogatott előadásainak szerkesztett anyaga

Függő idéző: 1 Összesen: 1


74.

Tamás Bérczes, Gábor Guta, Gábor Kusper, Wolfgang Schreiner, János Sztrik

Analyzing a Proxy Cache Server Performance Model with the Probabilistic Model Checker PRISM

In: Proceedings of 5th Int’l Workshop on Automated Specification and Verification of Web Systems (WWV’09). Konferencia helye, ideje: Hagenberg, Ausztria, 2009pp. 37-52.

Egyéb konferenciaközlemény/Konferenciaközlemény/Tudományos

Független idéző: 5 Függő idéző: 1 Összesen: 6


75.

Tamás Bérczes, Gábor Guta, Gábor Kusper, Wolfgang Schreiner, János Sztrik

Performance Analyzes of a Proxy Cache Server Model with External Users using the Probabilistic Model Checker PRISM

In: Mátyás Arató, Zoltán Daróczy, Kálmán Győry, Attila Pethő (szerk.)
International Conference Probability and Statistics with Applications Dedicated to the 100th anniversary of the birthday of Béla Gyires. Abstracts. [elektronikus dokumentum]. Konferencia helye, ideje: Debrecen, Magyarország, 2009.06.08-2009.06.12. DebrecenDebreceni Egyetem Informatikai Kar, Paper 2.

Egyéb konferenciaközlemény/Absztrakt / Kivonat/Tudományos


2008

76.

Bérczes T, Guta G, Kusper G, Schreiner W, Sztrik J

Analysing Web Server Performance Models with the Probabilistic Model Checker PRISM

RICS-Linz Report No. 08-17, Johannes Kepler University, Ausztria (2008)

Egyéb/Kutatási jelentés (közzétett)/Tudományos

Független idéző: 4 Függő idéző: 2 Összesen: 6


77.

Gábor Kusper, Lajos Csőke, Gergely Kovásznai

Simplifying the propositional satisfiability problem by sub-model propagation

ANNALES MATHEMATICAE ET INFORMATICAE 35: pp. 75-94. (2008)

Folyóiratcikk/Szakcikk/Tudományos

Független idéző: 1 Összesen: 1


78.

Kovács Emőd, Kusper Gábor

Web-programozó felsőfokú szakképzés kialakítása az Eszterházy Károly Főiskolán

In: Pethő Attila, Herdon Miklós (szerk.)

Informatika a felsőoktatásban 2008: Előadás-összefoglalók és teljes előadást tartalmazó CD-melléklet. 227 p.
Konferencia helye, ideje: Debrecen, Magyarország, 2008.08.27-2008.08.29. Debrecen: Debreceni Egyetem Informatikai Kar, 2008. Paper B62. 
(ISBN:978-963-473-129-0)

Könyvrészlet/Konferenciaközlemény/Tudományos

Függő idéző: 3 Összesen: 3


79.

Kovásznai Gergely, Kusper Gábor

Mesterséges Intelligencia

EgerEszterházy Károly Főiskola, 2008. 72 p.

Könyv/Felsőoktatási tankönyv/Oktatási


80.

Kusper Gábor, Radványi Tibor

Az EGERFOOD élelmiszerbiztonsági nyomkövető rendszer: Hogyan modellezzük a cégek munkafolyamatait

In: Networkshop 2008 17. Országos Konferencia: Előadás kivonatok. Konferencia helye, ideje: Dunaújváros, Magyarország, 2008.03.17-2008.03.19. (Dunaújvárosi Főiskola (DF))
DunaújvárosNemzeti Információs Infrastrukúra Fejlesztési Program Iroda, Paper 485. Előadás kivonatok

Egyéb konferenciaközlemény/Konferenciaközlemény/Tudományos

Függő idéző: 1 Összesen: 1


81.

Kusper Gábor, Király Roland, Kovács Emőd, Baranyi Ádám, Csintalan Ádám, Gréczi László, Pekk Roland, Pető György

Az EKFCSLint holtpont kereső eszköz

In: Pethő Attila, Herdon Miklós (szerk.)

Informatika a felsőoktatásban 2008: Előadás-összefoglalók és teljes előadást tartalmazó CD-melléklet. 227 p.
Konferencia helye, ideje: Debrecen, Magyarország, 2008.08.27-2008.08.29. Debrecen: Debreceni Egyetem Informatikai Kar, 2008. Paper D15. 
(ISBN:978-963-473-129-0)

Könyvrészlet/Konferenciaközlemény/Tudományos


82.

Radványi Tibor, Kusper Gábor, Kovács Emőd

Kommunikáció az EGERFOOD élelmiszerbiztonsági projekt információs rendszerében

In: Pethő Attila, Herdon Miklós (szerk.)

Informatika a felsőoktatásban 2008: Előadás-összefoglalók és teljes előadást tartalmazó CD-melléklet. 227 p.
Konferencia helye, ideje: Debrecen, Magyarország, 2008.08.27-2008.08.29. Debrecen: Debreceni Egyetem Informatikai Kar, 2008. Paper &. 
(ISBN:978-963-473-129-0)

Könyvrészlet/Konferenciaközlemény/Tudományos


83.

Tamás Bérczes, Gábor Guta, Gábor Kusper, Wolfgang Schreiner, János Sztrik

Analyzing Web Server Performance Models with the Probabilistic Model Checker PRISM

Technical report, RISC-Linz Report Series No. 08-17, Johannes Kepler University of Linz, Ausztria 2008. november 14. (2008)

Egyéb/Kutatási jelentés (közzétett)/Tudományos

Független idéző: 2 Függő idéző: 4 Összesen: 6


84.

Tudor Jebelean, Gábor Kusper

Multi-Domain Logic and its Applications to SAT

In: 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing: Proceedings of SYNASC’08. Konferencia helye, ideje: Timisoara, Románia, 2008.09.26-2008.09.29. TimisoaraIEEE Computer Society Press, pp. 3-8.(ISBN:978-0-7695-3523-4)

Egyéb konferenciaközlemény/Konferenciaközlemény/Tudományos

Függő idéző: 3 Összesen: 3


2007

85.

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

RICS-Linz Report No. 07-17, Johannes Kepler University (2007)

Egyéb/Kutatási jelentés (közzétett)/Tudományos

Függő idéző: 1 Összesen: 1


86.

Gábor Kusper

Finding Models for Blocked 3-SAT Problems in Linear Time by Systematical Refinement of a Sub-Model

LECTURE NOTES IN COMPUTER SCIENCE 4314: pp. 128-142. (2007)

Folyóiratcikk/Szakcikk/Tudományos

Független idéző: 1 Függő idéző: 2 Összesen: 3


87.

Gábor Kusper, Lajos Csőke

Better test results for the graph coloring and the Pigeonhole Problems using DPLL with k-literal representation

In: Emőd Kovács, Péter Olajos, Tibor Tómács (szerk.)
Proceedings of the 7th International Conference on Applied Informatics. 792 p.
Konferencia helye, ideje: Eger, Magyarország, 2007.01.28-2007.01.31. EgerBVB Nyomda és Kiadó Kft., pp. 127-135.

Egyéb konferenciaközlemény/Konferenciaközlemény/Tudományos

Függő idéző: 4 Összesen: 4


88.

József Holovács, Gábor Kusper, Lajos Csőke

Philosophical aspects of information

In: Emőd Kovács, Péter Olajos, Tibor Tómács (szerk.)
Proceedings of the 7th International Conference on Applied Informatics. 792 p.
Konferencia helye, ideje: Eger, Magyarország, 2007.01.28-2007.01.31. EgerBVB Nyomda és Kiadó Kft., pp. 353-358.

Egyéb konferenciaközlemény/Konferenciaközlemény/Tudományos


89.

Kálmán Liptai, Gábor Kusper, Tibor Radványi

Cryptographycal protocols in the Egerfood Information System

ANNALES MATHEMATICAE ET INFORMATICAE 34: pp. 61-70. (2007)

Folyóiratcikk/Szakcikk/Tudományos

Függő idéző: 4 Összesen: 4


90.

Kusper Gábor, Radványi Tibor

Az EGERFOOD élelmiszerbiztonsági tudásközpont projekt információs rendszerének kialakítása

In: Networkshop 2007 Konferencia. Eger CD-ROM Kiadvány, NIIF 2007.. Konferencia helye, ideje: Eger, Magyarország, 2007.04.11-2007.03.13. BudapestNemzeti Információs Infrastruktúra Fejlesztési Intézet (NIIFI), Paper 1756.

Egyéb konferenciaközlemény/Konferenciaközlemény/Tudományos

Függő idéző: 2 Összesen: 2


91.

Tibor Radványi, Gábor Kusper

Requirement analyses and a database model for the project EGERFOOD Food Safety Knowledge Center

In: Emőd Kovács, Péter Olajos, Tibor Tómács (szerk.)
Proceedings of the 7th International Conference on Applied Informatics. 792 p.
Konferencia helye, ideje: Eger, Magyarország, 2007.01.28-2007.01.31. EgerBVB Nyomda és Kiadó Kft., pp. 15-23.

Egyéb konferenciaközlemény/Konferenciaközlemény/Tudományos

Függő idéző: 4 Összesen: 4


2006

92.

Kusper Gábor

Programtervezési minták értelmezése normálformákként

In: Koltay T
Networkshop 2006: Miskolci Egyetem, Miskolc, 2006. április 19 – április 21. : tutoriálok, 2006. április 18. : konferencia anyag. 150 p.
Konferencia helye, ideje: Miskolc, Magyarország, 2006.04.19-2006.04.21. BudapestNemzeti Információs Infrastruktúra Fejlesztési Iroda, Paper 57.

Egyéb konferenciaközlemény/Konferenciaközlemény/Tudományos

Független idéző: 1 Összesen: 1


2005

93.

Gábor Kusper

Solving the Resolution-Free SAT Problem by Submodel Propagation in Linear Time

ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE 43:(1) pp. 129-136. (2005)

Folyóiratcikk/Szakcikk/Tudományos

Független idéző: 1 Függő idéző: 3 Összesen: 4


94.

Gábor Kusper

Solving and Simplifying the Propositional Satisability Problem by Sub-Model Propagation

145 p.
Doktori Iskola: Johannes Kepler University Linz, RISC Institute. Tudományág: műszaki tudományok/informatikai tudományok
Benyújtás éve: 2005. Védés éve: 2005.
Megjelenés/Fokozatszerzés éve: 2005.

Disszertáció/PhD/Tudományos

Független idéző: 1 Függő idéző: 3 Összesen: 4


95.

Kusper Gábor, Király Roland

Eljárás-hívás nélküli nyelv konstruálásának lehetősége: A No Procedure Call (NPC) Paradigma

In: Csizmadia József (szerk.)

Tavaszi Szél 2005: Konferencia kiadvány. 464 p.
Konferencia helye, ideje: Debrecen, Magyarország, 2005.05.05-2005.05.08. Budapest: Doktoranduszok Országos Szövetsége, 2005. pp. 248-251.
(ISBN:963 218 368 1)

Könyvrészlet/Konferenciaközlemény/Tudományos


2004

96.

Gábor Kusper

Proving by Assignment Trees that SAT Solvers are Non-Polynomial in Unit Propagation Framework with 1 Selection and Cache

In: Lajos Csőke, Péter Olajos, Péter Szigetváry, Tibor Tómács (szerk.)
Proceedings of the 6th international conference on applied informatics (ICAI 2004). 488 p.
Konferencia helye, ideje: Eger, Magyarország, 2004.01.27-2004.01.31. EgerEszterházy Károly Tanárképző Főiskola (EKTF), pp. 139-168.I-II.

Egyéb konferenciaközlemény/Konferenciaközlemény/Tudományos


97.

Kusper Gábor

Multimédia a Mesterséges Intelligencia Oktatásában

In: Tompa Klára (szerk.)

Agria Media 2004: ICI3: International Conference on Information. Konferencia helye, ideje: Eger, Magyarország, 2004.10.18-2004.10.19. Eger: EKTF Líceum Kiadó, 2004. pp. 367-372.
(ISBN:9639417092)

Könyvrészlet/Konferenciaközlemény/Tudományos


98.

Szabolcs Márien, Gábor Kusper

Understanding Design Patterns as Constructive Proofs

In: Lajos Csőke, Péter Olajos, Péter Szigetváry, Tibor Tómács (szerk.)
Proceedings of the 6th international conference on applied informatics (ICAI 2004). 488 p.
Konferencia helye, ideje: Eger, Magyarország, 2004.01.27-2004.01.31. EgerEszterházy Károly Tanárképző Főiskola (EKTF), pp. 169-177.I-II.

Egyéb konferenciaközlemény/Konferenciaközlemény/Tudományos

Függő idéző: 1 Összesen: 1


2003

99.

B Buchberger, T Jebelean, W Windsteiger, T Kutsia, K Nakagawa, J Robu, F Piroi, A Craciun, N Popov, G Kusper, M Rosenkranz, L Kovacs, C Kocsis

F 1302, THEOREMA: Proving, Solving and Computing in General Domains

In: P Paule, U Langer (szerk.)

Special Research Program (SFB) F 013: Numerical and Symbolic Scientific Computing, Proposal for Continuation. Linz: Johannes Kepler Universität, 2003. pp. 148-170.
1., Progress Report, April 2001-September 2003

Könyvrészlet/Szaktanulmány/Tudományos

Független idéző: 1 Összesen: 1


2002

100.

B Buchberger, T Jebelean, W Windsteiger, T Kutsia, K Nakagawa, J Robu, F Piroi, A Craciun, N Popov, G Kusper, M Rosenkranz

U Langer, F Winkler (szerk.)

F 1302: Solving and Proving in General Domains

pp. 4-5.

Special Research Program (SFB) F 013, Numerical and Symbolic Scientific Computing, Annual Report 2002, Johannes Kepler University : Linz (2002)

Egyéb/Kutatási jelentés (közzétett)/Tudományos


101.

Gábor Kusper

Solving the Resolution-Free SAT Problem by Hyper-Unit Propagation in Linear Time

In: 5th International Symposium on the Theory and Applications of Satisfiability Testing. Konferencia helye, ideje: Cincinnati (OH), Amerikai Egyesült Államok, 2002.05.06-2002.05.09. Cincinnati (OH)pp. 323-332.

Egyéb konferenciaközlemény/Konferenciaközlemény/Tudományos

Független idéző: 3 Összesen: 3


102.

Gábor Kusper, Róbert Lovas, Wolfgang Schreiner

Integrating Temporal Specifications as Runtime Assertions into Parallel Debugging Tools (Project Report)

Technical Report 02-07, RISC Report Series, University of Linz (2002)

Egyéb/Kutatási jelentés (közzétett)/Tudományos

Független idéző: 1 Összesen: 1


103.

Gábor Kusper

Solving the SAT Problem by Hyper-Unit Propagation

Technical Report 02-02, RISC Report Series, Johannes Kepler University of Linz (2002)

Egyéb/Kutatási jelentés (közzétett)/Tudományos

Függő idéző: 3 Összesen: 3


104.

Kovács J, Kusper G, Lovas R, Schreiner W

Integrating temporal assertions into a parallel debugger

In: Monien B, Feldmann R (szerk.)

Euro-Par 2002. Parallel processing. 8th international Euro-Par conference. Proceedings. Paderborn, 2002.: (Lecture notes in computer science 2400). Konferencia helye, ideje: Paderborn, Németország, 2002.08.27-2002.08.30. Berlin: Springer-Verlag London Ltd, 2002. pp. 113-120.
(ISBN:3-540-44049-6)

Könyvrészlet/Konferenciaközlemény/Tudományos

Független idéző: 10 Függő idéző: 4 Összesen: 14


2001

105.

Wolfgang Schreiner, Gábor Kusper, Károly Bósa

Fault Tolerance for Cluster Computing Based on Functional Tasks

LECTURE NOTES IN COMPUTER SCIENCE 2150: pp. 712-716. (2001)

Folyóiratcikk/Szakcikk/Tudományos

Függő idéző: 4 Összesen: 4


106.

Wolfgang Schreiner, Gábor Kusper, Károly Bósa

Introducing Fault Tolerance to Distributed Maple

Technical Report 01-03, RISC Report Series, Johannes Kepler University of Linz (2001)

Egyéb/Kutatási jelentés (közzétett)/Tudományos

Függő idéző: 1 Összesen: 1


Comments