Gabor Kusper

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2005

3 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 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 Wolfgang Schreiner, Gabor Kusper, Karoly Bosa: Fault Tolerance for Cluster Computing Based on Functional Tasks. Euro-Par 2001: 712-716

	2005
3		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		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		Wolfgang Schreiner, Gabor Kusper, Karoly Bosa: Fault Tolerance for Cluster Computing Based on Functional Tasks. Euro-Par 2001: 712-716

Coauthor Index