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] |