![]() |
| 2005 | ||
|---|---|---|
| 3 | EE | Gabor Kusper: Solving the resolution-free SAT problem by submodel propagation in linear time. Ann. Math. Artif. Intell. 43(1): 129-136 (2005) |
| 2002 | ||
| 2 | EE | József Kovács, Gabor Kusper, Róbert Lovas, Wolfgang Schreiner: Integrating Temporal Assertions into a Parallel Debugger. Euro-Par 2002: 113-120 |
| 2001 | ||
| 1 | EE | Wolfgang Schreiner, Gabor Kusper, Karoly Bosa: Fault Tolerance for Cluster Computing Based on Functional Tasks. Euro-Par 2001: 712-716 |
| 1 | Karoly Bosa | [1] |
| 2 | József Kovács | [2] |
| 3 | Róbert Lovas | [2] |
| 4 | Wolfgang Schreiner | [1] [2] |