Print preview VALIDITY EXPIRED personal data approved: 2014. IX. 30. Publications |
2013
from data base, 2014. IX. 30. |
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 : INTERNATIONAL JOURNAL FOR MATHEMATICS AND COMPUTER SCIENCE 42: pp. 9-21. type of document: Journal paper/Article language: English
|
2012
from data base, 2014. IX. 30. |
Radványi Tibor, Kusper Gábor: Az EgerFood élelmiszerbiztonsági nyomkövető rendszer informatikai megoldásai, AGRÁRINFORMATIKA / AGRICULTURAL INFORMATICS 3: (1) pp. 52-64. type of document: Journal paper/Article language: Hungarian URL |
2011
from data base, 2014. IX. 30. |
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. type of document: Journal paper/Article number of independent citations: 2 language: Hungarian
|
2010
from data base, 2014. IX. 30. |
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 : INTERNATIONAL JOURNAL FOR MATHEMATICS AND COMPUTER SCIENCE 37: pp. 51-75. type of document: Journal paper/Article language: English Full text |
2009
from data base, 2014. IX. 30. |
Gergely Kovásznai, Gábor Kusper: Introducing General Redundancy Criteria for Clausal Tableaux, and Proposing Resolution Tableaux, ANNALES MATHEMATICAE ET INFORMATICAE : INTERNATIONAL JOURNAL FOR MATHEMATICS AND COMPUTER SCIENCE 36: pp. 85-101. type of document: Journal paper/Article language: English Full text |
2008
from data base, 2014. IX. 30. |
Gábor Kusper, Lajos Csőke, Gergely Kovásznai: Simplifying the propositional satisfiability problem by sub-model propagation, ANNALES MATHEMATICAE ET INFORMATICAE : INTERNATIONAL JOURNAL FOR MATHEMATICS AND COMPUTER SCIENCE 35: pp. 75-94. type of document: Journal paper/Article number of independent citations: 1 language: English Full text |
2007
from data base, 2014. IX. 30. |
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. type of document: Journal paper/Article language: English URL |
2005
from data base, 2014. IX. 30. |
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. type of document: Journal paper/Article impact factor: 0.541 number of independent citations: 1 language: English DOI |
2002
from data base, 2014. IX. 30. |
József Kovács, Gábor Kusper, Róbert Lovas, Wolfgang Schreiner: Integrating Temporal Assertions into a Parallel Debugger, LECTURE NOTES IN COMPUTER SCIENCE 2400: pp. 113-120. Paper 2002. type of document: Journal paper/Article impact factor: 0.515 number of independent citations: 4 language: English DOI |
2001
from data base, 2014. IX. 30. |
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. type of document: Journal paper/Article impact factor: 0.415 language: English URL |
| Number of independent citations to these publications: | 8 |
|
|