Publikációim

Dr Kusper Gábor
Tanszékvezető főiskolai docens, Számítástudományi Tanszék, EKF

Letöltés PDF

gkusper(kukac)aries(pont)ektf(pont)hu

Tankönyvek, felsőoktatási jegyzetek

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

Kovásznai Gergely, Kusper Gábor
EKF, főiskolai jegyzet az informatika tanár MA képzéshez

2011

megtekintés

Artificial Intelligence and its Teaching

Kovásznai Gergely, Kusper Gábor
EKF, főiskolai jegyzet az informatika tanár MA képzéshez

2011

megtekintés

OpenOffice

Kusper Gábor, Radványi Tibor
EKF, főiskolai jegyzet az informatika tanár MA képzéshez

2011

megtekintés

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

Kusper Gábor, Radványi Tibor
EKF, főiskolai jegyzet az informatika tanár MA képzéshez

2011

megtekintés

Szoftvertesztelés

Ficsor Lajos, Krizsán Zoltán, Kovács László, Kusper Gábor
Miskolci Egyetem, egyetemi jegyzet

2011

megtekintés

Mesterséges Intelligencia

Kovásznai Gergely, Kusper Gábor
EKF, főiskolai jegyzet

2008

megtekintés

A Sulinet Digitális Tudástár számára elkészített főleg az OpenOffice.org-hoz kapcsolódó tananyagelemek

2006

http://sdt.sulinet.hu

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

Gábor Kusper
PhD Thesis, Supervisor: Tudor Jebelean, Johannes Kepler University Linz, RISC Institute

2005

megtekintés

WWW a környezetvédelem tükrében
Az MNEWS hálózati információs rendszer használatának bemutatása a környezetvédelem területén

Kusper Gábor
Diploma munka, Témavezető: Kuki Attila, Kossuth Lajos Tudományegyetem, TTK

1999

 

Folyóirat publikációk

Az EgerFood élelmiszerbiztonsági nyomkövető rendszer
informatikai megoldásai

Radványi Tibor, Kusper Gábor
Journal of Agricultural Informatics, ISSN: 2061-862X, Vol. 3, No. 1, pp. 52-64

2012

megtekintés

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

Tamás Bérczes, Gábor Guta, Gábor Kusper, Wolfgang Schreiner, János Sztrik
Annales Mathematicae et Informaticae, Vol. 37, ISSN 1787-5021, pp. 51-75

2010

megtekintés

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

Gergely Kovásznai, Gábor Kusper
Annales Mathematicae et Informaticae, Vol. 36, ISSN 1787-5021, pp. 85-101

2009

megtekintés

Simplifying the propositional satisfiability problem
by sub-model propagation

Gábor Kusper, Lajos Csőke, Gergely Kovásznai
Annales Mathematicae et Informaticae 35, ISSN 1787-5021, pp. 75-94

2008

Citations:

1. Xinsheng Lai and Yuren Zhou: The analysis of expected fitness and success ratio of two heuristic optimizations on two bimodal MaxSAT problems, Journal of Global Optimization, pp. 1-20, 2011.

megtekintés

Cryptographycal protocols in the Egerfood Information System

Kálmán Liptai, Gábor Kusper, Tibor Radványi
Annales Mathematicae et Informaticae 34, ISSN 1787-5021, pp. 61-70

2007

megtekintés

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

Kusper Gábor
Lecture Notes in Artificial Intelligence 4314, KI 2006: Advances in Artificial Intelligence, ISSN 0302-9743, 128-142

2007

megtekintés prezentáció

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

Kusper Gábor
Annals of Mathematics and Artificial Intelligence 43(1-4), ISSN 1012-2443, pp. 129-136

2005

megtekintés

Integrating Temporal Assertions into a Parallel Debugger

József Kovács, Gábor Kusper, Róbert Lovas, Wolfgang Schreiner
Lecture Notes in Computer Science, Vol. 2400, ISBN 3-540-44049-6, pp. 113-120

2002

Citations:

1. Karlston D'Emanuele and Gordon Pace: Source-Level Runtime Validation Through Interval Temporal Logic, Computer Science Annual Workshop 2005, Department of Computer Science and AI, University of Malta, 2005.

2. Drusinsky, D.: On-line monitoring of metric temporal logic with time-series constraints using alternating finite automata. Journal of Universal Computer Science 12 (5), pp. 482-498, 2006.

3. Karlston D’Emanuele: Runtime monitoring of duration calculus assertions for real-time applications, A dissertation submitted in fulfillment of the degree of Masters of Science, Department of Computer Science and AI Faculty of Science University of Malta, September 2006.

4. Róbert Lovas, Péter Kacsuk, Ákos Horváth and András Horányi: Application of P-Grade Development Environment in Meteorology. Scalable Computing: Practice and Experience Volume 6, Number 2, pp. 13–22, 2005.

5. Róbert Lovas and Péter Kacsuk: Correctness Debugging of Message Passing Programs Using Model Verification Techniques. Recent Advances in Parallel Virtual Machine and Message Passing Interface, pp. 335-343, 2007.

6. Róbert Lovas and Bertalan Vécsei: Integration of formal verification and debugging methods in PGRADE environment, Distributed and Parallel Systems, Springer, pp. 83-92, 2004.

megtekintés

Fault Tolerance for Cluster Computing Based on
Functional Tasks

Wolfgang Schreiner, Gábor Kusper, Károly Bósa
Lecture Notes In Computer Science, Vol. 2150, ISBN 3-540-42495-4, pp. 712-716

2001

Citations:

1. Karoly Bosa, Wolfgang Schreiner: Task Logging, Rescheduling, and Peer Checking in Distributed Maple. Technical Report 02-10, RISC, Johannes Kepler University, Linz, Austria, March 2002.

2. Karoly Bosa, Wolfgang Schreiner: Tolerating Stop Failures in Distributed Maple. Scalable Computing: Practice and Experience, volume 6, number 2, pp. 59-70, July 2005.

3. Schreiner, W., Mittermaier, C., Bosa, K.: Distributed Maple: Parallel computer algebra in networked environments. Journal of Symbolic Computation 35 (3), pp. 305-347, 2003.

megtekintés

Referált konferencia kiadványába megjelent publikációk

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

Tamás Bérczes, Gábor Guta, Gábor Kusper, Wolfgang Schreiner, János Sztrik
Proceedings of WWV 2009, 37-52

2009

Citations:

1. Erik Burger and Ralf Reussner: Performance Certification of Software Components, Electronic Notes in Theoretical Computer Science, 279(2): 33-41, 2011.

2. Sasu Tarkoma, Dmitriy Kuptsov, Petri Savolainen, Pasi Sarolahti : CAT: A Last Mile Protocol for Content-Centric Networks. To appear in proceedings of ICC'11 Workshop T2 FutureNet IV, Kyoto, Japan, 2011.

3. Emad Hassan Al-Hemiary: Modelling and Performance Evaluation of Router Transparent Web cache Mode, International Journal of Computer Science Engineering and Technology (IJCSET), July 2012, Volume 2, Issue 7, pp. 1316-1320, 2012.

megtekintés prezentáció

Multi-Domain Logic and its Applications to SAT (invited talk)

Tudor Jebelean, Gábor Kusper
SYNASC’08, IEEE Computer Society Press, ISBN 978-0-7695-3523-4, pp. 3-8

2008

megtekintés prezentáció program

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

Kusper Gábor, Király Roland
Tavaszi szél 2005 konferencia

2005

megtekintés

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

Kusper Gábor
Proceedings of SAT 2002 (5th International Symposium on the Theory and Applications of Satisfiability Testing), pp.323–332, Cincinnati, Ohio, USA

2002

Citations:

1. Oliver Kullmann: On the conflict matrix of clause-sets. Technical Report CSR, 7-2003, University of Wales Swansea, Computer Science Report Series, 2003.

2. Oliver Kullmann: The Combinatorics of Conflicts between Clauses. Lecture Notes in Computer Science, Volume 2919/2004, pp. 426-440, 2004.

3. Oliver Kullmann: On some Connections between Linear Algebra and the Combinatorics of Clause-sets, Proceedings of SAT 2003.

megtekintés prezentáció

Nem referált konferencia kiadványába megjelent publikációk

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

Kusper Gábor, Márien Szabolcs
AIK 2011 konferencia, elfogadás alatt

2011

Citations:

1. Biró Csaba: A hátizsák probléma továbbfejlesztése az egészségügyi profil figyelembevételével diéta tanácsadáshoz, AgriaMédia 2011 konferencia.

2. Király Roland: Hiteles adatgyűjtés az eFilter projektben - azonosítási módszerek elemzése, Informatika a Felsőoktatásban 2011 konferencia, 2011.

megtekintés prezentáció

Multi-Domain Logic as a Tool for Program Verification

Gábor Kusper, Tudor Jebelean
Proceedings of SCSS-2010, pp. 105-117

2010

megtekintés prezentáció

A Small Survey on Java Specification Languages

Gábor Kusper, Gergely Kovásznai, Wolfgang Schreiner, Gábor Guta, János Sztrik
Proceedings of ICAI-2010, Volume II. 409-416, Eger, Hungary

2010

megtekintés prezentáció

Empirical Investigation on Combining Tableaux and Resolution

Gergely Kovásznai, Gábor Kusper
Proceedings of ICAI-2010, Volume I. 115-125, Eger, Hungary

2010

megtekintés

SAT Solving Experiments in Multi-Domain Logic

Tudor Jebelean, Gábor Kusper
Proceedings of ICAI-2010, Volume I. 95-105, Eger, Hungary

2010

megtekintés

Metamodels in generation of UML using NLI-based dialog

László Kovács, Gergely Kovásznai, Gábor Kusper
Proceedings of 5th International Symposium on Applied Computational Intelligence and Informatics (SACI 2009), pp. 29-34

2009

Citations:

1. Imran Sarwar Bajwa, Behzad Bordbar, Mark G. Lee: OCL Constraints Generation from Natural Language Specification, http://www.cs.bham.ac.uk/~bxb/Papres/1005.pdf, IEEE International EDOC Conference 2010, Vitoria, Brazil, pp. 204-213, 2010.

megtekintés

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

Kovács Emőd, Kusper Gábor
AgriaMédia 2008 konferencia, Kötet I. 61-65

2008

megtekintés prezentáció

Adatforgalom és mobilkommunikáció az Egerfood rendszerben

Radványi Tibor, Kusper Gábor, Kovács Emőd
AgriaMédia 2008 konferencia, Kötet I. 100-107

2008

megtekintés prezentáció

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

Emőd Kovács, Gergely Kovásznai, Gábor Kusper
XXI. DIDMATTECH 2008 International Scientific and Professional Conference, Conference Proceedings, ISBN:978-963-9894-18-1, pp. 99-100

2008

megtekintés prezentáció

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

Tibor Radványi, Gábor Kusper
Proceedings of ICAI-2007, Volume I. 15-23, Eger, Hungary

2007

megtekintés prezentáció

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

Gábor Kusper, Lajos Csőke
Proceedings of ICAI-2007, Volume II. 127-135, Eger, Hungary

2007

megtekintés

Philosophical aspects of information

József Holovács, Gábor Kusper, Lajos Csőke
Proceedings of ICAI-2007, Volume II. 353-358, Eger, Hungary

2007

megtekintés

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

Kusper Gábor
Proceedings of ICAI-2004, Volume II. 143-172, Eger, Hungary

2004

megtekintés prezentáció

Understanding Design Patterns as Constructive Proofs

Szabolcs Márien, Gábor Kusper
Proceedings of ICAI-2004, Volume II. 173-182, Eger, Hungary

2004

megtekintés

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

Kusper Gábor
AgriaMédia 2004 konferenciakötete, Kötet II. 367-372

2004

megtekintés prezentáció

Nem referált CD konferencia kiadványába megjelent publikációk

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

Kusper Gábor, Márien Szabolcs
AgriaMédia 2011

2011

megtekintés prezentáció

Innovatív megoldások az eFilter projektben

Kusper Gábor, Kovács Emőd, Márien Szabolcs, Kusper Krisztián, Scheffer Imre, Kiss Balázs, Kovács Péter és Winkler Ernő
IF2011, Informatika a Felsőoktatásban 2011, CD-kiadvány, 978-963-473-461-1, 22 oldal

2011

Citations:

1. Biró Csaba: A hátizsák probléma továbbfejlesztése az egészségügyi profil figyelembevételével diéta tanácsadáshoz, AgriaMédia 2011 konferencia.

megtekintés prezentáció

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

Kusper Gábor, Márien Szabolcs, Kovács Emőd, Kovács László
Networkshop 2011 konferencia, Kaposvár, 24 oldal

2011

Citations:

1. Biró Csaba: A hátizsák probléma továbbfejlesztése az egészségügyi profil figyelembevételével diéta tanácsadáshoz, AgriaMédia 2011 konferencia.

2. Király Roland: Hiteles adatgyűjtés az eFilter projektben - azonosítási módszerek elemzése, Informatika a Felsőoktatásban 2011 konferencia, 2011.

megtekintés prezentáció

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

Kovács Emőd, Kovásznai Gergely, Kusper Gábor
Felsőfokú alapképzésben matematikát, fizikát és informatikát oktatók XXXII. Konferenciája, konferencia kötet, CD-kiadvány, ISBN 978-963-7294-70-9, pp. 177-181

2008

megtekintés prezentáció

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

Radványi Tibor, Kusper Gábor, Kovács Emőd
IF2008 konferencia, CD-kiadvány, ISBN 978-963-473-129-0, 10 oldal

2008

megtekintés

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

Kovács Emőd, Kusper Gábor
IF2008 konferencia, CD-kiadvány, ISBN 978-963-473-129-0, 8 oldal

2008

megtekintés prezentáció

Az EKFCSLint holtpont kereső eszköz

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
IF2008 konferencia, CD-kiadvány, ISBN 978-963-473-129-0, 8 oldal

2008

megtekintés

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

Kusper Gábor, Radványi Tibor
Networkshop 2008 konferencia, Dunaújváros, 8 oldal

2008

megtekintés

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

Kusper Gábor, Radványi Tibor
Networkshop 2007 konferencia, Eger, 8 oldal

2007

megtekintés

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

Kusper Gábor
Networkshop 2006 konferencia, Miskolc, 8 oldal

2006

megtekintés prezentáció

Konferencia beszédek egy oldalas összefoglalóval a konferencia kiadványban

Comparing the Performance Modeling Environment MOSEL
and the Probabilistic Model Checker PRISM
for Modeling and Analysing Retrial Queueing Systems

Tamás Bérczes, Gábor Guta, Gábor Kusper, Wolfgang Schreiner, János Sztrik
Probability and Statistics with Applications 2009 International Conference

2009

megtekintés prezentáció

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

Tamás Bérczes, Gábor Guta, Gábor Kusper, Wolfgang Schreiner, János Sztrik
Probability and Statistics with Applications 2009 International Conference

2009

megtekintés prezentáció

Műhelymunka az EKF Matematikai és Informatikai Intézetében

Kovács Emőd, Kovásznai Gergő, Kusper Gábor
AgriaMédia 2008 konferencia

2008

megtekintés prezentáció

A SAT probléma különböző reprezentációinak vizsgálata oktatási szempontból

Kusper Gábor, Kovásznai Gergely, Bíró Csaba
AgriaMédia 2008 konferencia

2008

megtekintés prezentáció

Intelligens kártyák a közszférában

Kusper Gábor
AgriaMédia 2006 konferencia

2006

megtekintés

Effective Implementation of Hyper-Unit Propagation
on FPGA and PC

Gábor Kusper, Krisztián Kusper
Proceedings of CSCS-2004, page 79., Szeged, Hungary

2004

megtekintés

Investigation of Binary Representations of SAT especially
2-Literal Representation (Excellent Talk Reward)

Gábor Kusper
Proceedings of CSCS-2002, page 68., Szeged, Hungary

2002

megtekintés

Technikai riportok

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

Tudor Jebelean, Gabor Kusper
Technical report no. 10-03 in RISC Report Series, University of Linz, Austria

2010

megtekintés

Analyzing Web Server Performance Models with the
Probabilistic Model Checker PRISM

Tamás Bérczes, Gábor Guta, Gábor Kusper, Wolfgang Schreiner, János Sztrik
Technical report 08-17, RISC Report Series, University of Linz, Austria

2008

Citations:

1. LIU Xu-jun, MA Yue, YU Dong: Analysis and Evaluation of Real-time Performance of Publish/Subscribe Communication Mode, Computer Engineering, Vol.36 No.20, pp. 229-231, October 2010.

2. Angel Vassilev Nikolov: Effects of the coherency on the Performance of the Web Cache Proxy Server. IJCSNS International Journal of Computer Science and Network Security, VOL.9 No.4, pp. 158-162, April 2009.

3. Bérczes, T.: Approximation approach to performance evaluation of proxy cache server systems. Annales Mathematicae et Informaticae 36 (1), pp. 15-28, 2009.

megtekintés

Comparing the Performance Modeling Environment MOSEL
and the Probabilistic Model Checker PRISM for Modeling and Analyzing Retrial Queueing Systems

Tamás Bérczes, Gábor Guta, Gábor Kusper, Wolfgang Schreiner, János Sztrik
Technical report 07-17, RISC Report Series, University of Linz, Austria

2007

megtekintés

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

Gábor Kusper, Róbert Lovas, Wolfgang Schreiner
Technical Report 02-07, RISC Report Series, University of Linz, Austria

2006

Citations:

1. Karlston D’Emanuele: Runtime monitoring of duration calculus assertions for real-time applications, A dissertation submitted in fulfillment of the degree of Masters of Science, Department of Computer Science and AI Faculty of Science University of Malta, September 2006.

megtekintés

Solving the SAT Problem by Hyper-Unit Propagation

Kusper Gábor
Technical Report 02-02, RISC Report Series, University of Linz, Austria

2002

megtekintés

Introducing Fault Tolerance to Distributed Maple

Wolfgang Schreiner, Gábor Kusper, Károly Bósa
Technical Report 01-03, RISC Report Series, University of Linz, Austria

2001

megtekintés

Poszterek

RFID Technological knowledge in our Teaching

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

2010

megtekintés

Dr Kusper Gábor — gkusper(kukac)aries(pont)ektf(pont)hu — Készítette: Robita © 2010