Innovative Information Technology

Innovitech kft.

Publikációink

Csaba Biró, Gergely Kovásznai, Armin Biere, Gábor Kusper, Gábor Geda: Cube-and-Conquer Approach for SAT Solving on Grids, submitted to Annales Mathematicae et Informaticae, under review, 2013.

Gábor Kusper: Programming technologies, Lecture notes, EKF, főiskolai angol nyelvű jegyzet, 2013.

Márien Szabolcs Doktori Disszertáció: „Objektumorientált tervezési alapelvek és tervezési minták döntésalapú elemzése, a döntésösszevonás elmélete és gyakorlata”, "Decision Based Interpretation of Object-Oriented Design Principles and Design Patterns, Decision Contraction Theory with Practice", Debrecen, 2012.

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 08-17, RISC Report Series, Johannes Kepler University of Linz, Austria, 2008.

László Kovács, Gergely Kovásznai, Gábor Kusper: Metamodels in generation of UML using NLI-based dialog, Proceedings of 5th International Symposium on Applied Computational Intelligence and Informatics (SACI 2009), pp. 29-34, 2009.

Gábor Kusper, Gergely Kovásznai, Wolfgang Schreiner, Gábor Guta, János Sztrik: A Small Survey on Java Specification Languages, Proceedings of ICAI-2010, ISBN 978-963-9894-72-3, Volume II. 409-416, Eger, Hungary, 2010.

Gábor Kusper, Tudor Jebelean: Multi-Domain Logic as a Tool for Program Verification, Proceedings of SCSS-2010, pp. 105-117, 2010.

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, Proceedings of WWV 2009, 37-52, 2009.

Radványi Tibor, Kusper Gábor: Az EgerFood élelmiszerbiztonsági nyomkövető rendszer informatikai megoldásai (IT solutions of EgerFood food safety tracking system), Journal of Agricultural Informatics, ISSN: 2061-862X, Vol. 3, No. 1:52-64, 2012.

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, Vol. 37,

Gergely Kovásznai, Gábor Kusper: Introducing General Redundancy Criteria for Clausal Tableaux, and Proposing Resolution Tableaux, Annales Mathematicae et Informaticae, Vol. 36, ISSN 1787-5021, pp. 85-101, 2009.

Gábor Kusper, Lajos Csőke, Gergely Kovásznai: Simplifying the propositional satisfiability problem by sub-model propagation, Annales Mathematicae et Informaticae, Vol. 35, ISSN 1787-5021, pp. 75-94, 2008.

Kálmán Liptai, Gábor Kusper, Tibor Radványi: Cryptographycal protocols in the Egerfood Information System, Annales Mathematicae et Informaticae, Vol. 34, ISSN 1787-5021, pp. 61-70, 2007.

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, KI 2006: Advances in Artificial Intelligence, ISSN 0302-9743, pp. 128-142, 2007.

Gábor Kusper: Solving the Resolution-Free SAT Problem by Submodel Propagation in Linear Time, Annals of Mathematics and Artificial Intelligence 43(1-4), IF: 0.541, ISSN 1012-2443, pp. 129-136, 2005.

József Kovács, Gábor Kusper, Róbert Lovas, Wolfgang Schreiner: Integrating Temporal Assertions into a Parallel Debugger, Lecture Notes in Computer Science, Vol. 2400, IF: 0.515, ISBN 3-540-44049-6, pp. 113-120, 2002.

Wolfgang Schreiner, Gábor Kusper, Károly Bósa: Fault Tolerance for Cluster Computing Based on Functional Tasks, Lecture Notes In Computer Science, Vol. 2150, IF: 0.415, ISBN 3-540-42495-4, pp. 712-716, 2001.

Kaiser Zoltán: Függvényegyenletek stabilitása absztrakt struktúrákon, doktori (PhD) értekezés, Debreceni Egyetem, 2005.

Gábor Kusper: Solving and Simplifying the Propositional Satisability Problem by Sub-Model Propagation, PhD Thesis, Supervisor: Tudor Jebelean, Johannes Kepler University Linz, RISC Institute, 2005.

Kovásznai Gergely, Kusper Gábor: A mesterséges intelligencia kérdései a középiskolai oktatásban, EKF, főiskolai jegyzet az informatika tanár MA képzéshez, 2011.

Kovásznai Gergely, Kusper Gábor: Artificial Intelligence and its Teaching, EKF, főiskolai jegyzet az informatika tanár MA képzéshez, 2011.

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

Orosz Ágota és Kaiser Zoltán: Diszkrét Matematika I. példatár elektronikus jegyzet, mobiDIÁK könyvtár, 2004.

Kaiser Zoltán: On stability of the Cauchy equation in normed spaces over fields with valuation, Publ. Math. Debrecen, 64/1-2 (2004), 189-200.

Ficsor Lajos, Krizsán Zoltán, Kovács László, Kusper Gábor: Szoftvertesztelés, Miskolci Egyetem, egyetemi jegyzet,2011.

Kusper Gábor, Radványi Tibor: Jegyzet a projekt labor című tárgyhoz, A szoftver is csak egy termék, olyan, mint egy doboz müzli, EKF, főiskolai jegyzet az informatikatanár MA képzéshez, 2011.

Márien Szabolcs, Kusper Gábor, Understanding Design Patterns as Constructive Proofs,  Proceedings of ICAI-2004, Volume II., Oldalak: 173-182, Eger, 2004.

Márien Szabolcs, Decision Based Examination of Object-Oriented Methodology Using JML,  Annales Mathematicae et Informaticae, Oldalak: 95-121, 2008.

Márien Szabolcs, Decision Based Examination of Object-Oriented Programming and Design Patterns, Teaching Mathematics and Computer Science 6/1, Oldalak: 83-109, 2008.

Kusper Gábor, Márien Szabolcs, Élelmiszer adatbázis szűrése mennyiségi megszorítások alapján logaritmikus indexeléssel, AIK, 2011.

Kusper Gábor, Dr. Kovács Emőd, Márien Szabolcs, 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, NETWORKSHOP 2011.

Kusper Gábor, Márien Szabolcs: Az objektum-orientált tervezési alapelvek kritikai vizsgálata, AgriaMédia 2011 konferencia, Oldalak: 437-441, 2011.

Kusper Gábor, Márien Szabolcs, Dr. Kovács Emőd, Innovatív megoldások az eFilter projektben,  Informatika a felsőoktatásban, Debrecen 2011.

Kaiser Zoltán, Gilányi Attila, Páles Zsolt: Estimates to the stability of the Cauchy equation, Aequationes Math. 73, No. 1-2, 125-143 (2007).

Kaiser Zoltán: On stability of the monomial functional equation in normed spaces over fields with valuation, J. Math. Anal. Appl., (2006), Volume 322, Issue 2, 1188-1198.

Kaiser Zoltán, Páles Zsolt: An example of a stable functional equation when the Hyers method does not work, JIPAM. J. Inequal. Pure Appl. Math., Volume 6, Issue 1, Article 14 (2005)

Kaiser Zoltán, Boros Zoltán: Note on approximate ring homomorphisms in algebras over fields with valuations, Ann. Univ. Sci. Budapest., Sect. Comput. 24 (2004), 119-124.

Orosz Ágota és Kaiser Zoltán: Diszkrét Matematika II. példatár elektronikus jegyzet, mobiDIÁK könyvtár, 2004.

Márien Szabolcs, Automated excavation and detection of Design Patterns, Proceedings of CSCS-2004, Szeged, 2004.