Publications
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. Generalized algorithmic debugging and testing. ACM Lett. Program. Lang. Syst.. 1:303–322.
.
1992. Integrated Graphic Enviroment to Develop Applications Based on Attribute Grammars. Lecture Notes in Computer Science. 641:51-58.
.
1992. Generalized algorithmic debugging and testing. Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation. :317–326.
.
1991. Natural Languages Interface Construction Using Attribute Grammars. Attribute Grammars Applications and Systems. 545:460–468.
.
1991. Software generation based on attribute grammars. Periodica Polytechnica. 35:147-152.
.
1991. SYS/3 - a software development tool. Proceedings of the third international workshop on Compiler compilers. :193–207.
.
1991.