 |
|
| Személyi adatlap |
 Nyomtatási képARCHÍV OLDAL
Az adatok hitelességéről nyilatkozott: 2014. IX. 30. | Közlemények |
2013
 adattárból, 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.
dokumentum típusa: Folyóiratcikk/Szakcikk
nyelv: angol
|
2012
adattárból, 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.
dokumentum típusa: Folyóiratcikk/Szakcikk
nyelv: magyar
URL |
2011
adattárból, 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.
dokumentum típusa: Folyóiratcikk/Szakcikk
független idéző közlemények száma: 2
nyelv: magyar
|
2010
adattárból, 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.
dokumentum típusa: Folyóiratcikk/Szakcikk
nyelv: angol
Teljes szöveg |
2009
adattárból, 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.
dokumentum típusa: Folyóiratcikk/Szakcikk
nyelv: angol
Teljes szöveg |
2008
adattárból, 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.
dokumentum típusa: Folyóiratcikk/Szakcikk
független idéző közlemények száma: 1
nyelv: angol
Teljes szöveg |
2007
adattárból, 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.
dokumentum típusa: Folyóiratcikk/Szakcikk
nyelv: angol
URL |
2005
adattárból, 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.
dokumentum típusa: Folyóiratcikk/Szakcikk
impakt faktor: 0.541
független idéző közlemények száma: 1
nyelv: angol
DOI |
2002
adattárból, 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.
dokumentum típusa: Folyóiratcikk/Szakcikk
impakt faktor: 0.515
független idéző közlemények száma: 4
nyelv: angol
DOI |
2001
adattárból, 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.
dokumentum típusa: Folyóiratcikk/Szakcikk
impakt faktor: 0.415
nyelv: angol
URL |
| | a legjelentősebbnek tartott közleményekre kapott független hivatkozások száma: | 8 |
|
|
|
|
|
Bejelentkezés
aries.ektf.hu
