Publications
An Efficient Interprocedural Slicing Method for Large Programs. 9th International Conference on Software Engineering and Knowledge Engineering. :279-287.
.
1996. Integrating Algorithmic Debugging and Unfolding Transformation in an Interactive Learner. Fifth International Workshop on Inductive Logic Programming. :437-452.
.
1996. Integrating Algorithmic Debugging and Unfolding Transformation in an Interactive Learner. Proceedings of the European Conference on Artificial Intelligence (ECAI'96). :403-407.
.
1996. Kép-archiváló és továbbító rendszer szoftverének fejlesztése (SZOTE-PACS). Informatika a felsőoktatásban 96 - Networkshop. :1186-1192.
.
1996. Learning Biomedical Patterns. 1314:159-168.
.
1996. .
1996. Orvosi információs rendszerek a SZOTE-n (HIS, RIS, PACS). Információcsere a rendszerek között.. A számítastechnika orvosi és biológiai alkalmazásai, 20. Neumann Kollokvium. :184-186.
.
1996. .
1996. SZOTE-PACS: A Szent-Györgyi Albert Orvostudományi Egyetem képarchiváló és továbbító rendszerének szoftvere. XX. Neumann Kollokvium. :173-176.
.
1996. .
1995.
IDT: Integrated system for debugging and testing Prolog programs. Fourth Symposium on Programming Languages and Software Tools. :312-324.
.
1995. Independent and-parallelization of logic programs using static slicing. Fourth Symposium on Programming Languages and Software Tools. :307-319.
.
1995. O caracterizare structurala a multimilor partiale D-continue. Studii si Cercetari Matematice. 47:81-96.
.
1995. Parallel execution of object functional queries. Fourth Symposium on Programming Languages and Software Tools. :447-459.
.
1995. Static Slicing of Logic Programs. AADEBUG 2nd International Workshop on Automated and Algorithmic Debugging. :85–105.
.
1995. .
1995. .
1995. Effective Algorithmic Debugging for Inductive Logic Programming. GMD-Studien. 237:175-194.
.
1994. The IDT System and its Application for Learning Prolog Programs. Sixth International Conference on Artificial Intelligence and Information-Control Systems of Robots. :315-320.
.
1994. A Parallel Design Method for Producing Valid Protocols. Proc. of 8th Symposium on Microcomputer and Microprocessor Applications. :689-697.
.
1994. Dynamic Load Balancing for Decomposible Problems. Impact TEMPUS JEP's and Hungarian Transputer Users Group's Workshop.
.
1993. Interactive diagnosis and testing of logic programs. Third Finnish- Estonian- Hungarian Symposium on Programming Languages and Software Tools. :34-47.
.
1993. Investigation of Dynamic Load Balancing in Distributed Memory Multiprocessor Machines. Proc. of 15th Intl. Conf. on Information Technology Interfaces.
.
1993. .
1993. A Test Environment for Investigation of Dynamic Load Balancing in Transputer Networks. Transputer and Occam Engineering Series. 36:284-295.
.
1993.