Publications
Effective Algorithmic Debugging for Inductive Logic Programming. GMD-Studien. 237:175-194.
.
1994. Independent and-parallelization of logic programs using static slicing. Annales Universitatis Scientiarum Budapestinensis de Rolando Eotvos Nominatae Sectio Computarotica. 17:307-321.
.
1998. Independent and-parallelization of logic programs using static slicing. Fourth Symposium on Programming Languages and Software Tools. :307-319.
.
1995. Recognizing Design Patterns in C++ programs with the integration of Columbus and Maisa. Acta Cybernetica. 15:669-682.
.
2002. Recognizing Design Patterns in C++ programs with the integration of Columbus and Maisa. Proceedings of the 7th Symposium on Programming Languages and Software Tools (SPLST 2001). :58-70.
.
2001. Static Slicing of Logic Programs. AADEBUG 2nd International Workshop on Automated and Algorithmic Debugging. :85–105.
.
1995.