 |
|
| Personal data sheet |
 Print previewVALIDITY 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 |
|
|
|
|
|
Login
aries.ektf.hu
