Nyomtatási kép ARCHÍ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 |
|
|