Publications
Export 376 results:
Author Title Type [ Year
Filters: First Letter Of Last Name is K [Clear All Filters]
Automatic compiler generation. Proceedings of 1st Symposium on Automata, Languages and Programming Systems. :289-297.
.
1986. .
1987.
Automatic Software Generation in Practice: New Features in the HLP/PAS System. Specialized Languages as Tools for Programming Technology. :103–119.
.
1988. Incremental Algorithms in Prof-LP. CC. 371:93-102.
.
1988. Incremental generation of the LL(1) parsing table. Proceedings of 2nd Symposium on Automata, Languages and Programming Systems. :157-161.
.
1988. Generating modular compilers in PROF-LP. Proceedings of the Workshop on Compiler Compilers and High Speed Compilation. :156-166.
.
1989. SYS-DL, a system development language supporting software quality assurance. First Finnish-Hungarian Workshop on Programming Languages and Software Tools. :307-317.
.
1989. Generalized algorithmic debugging and testing. Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation. :317–326.
.
1991. SYS/3 - a software development tool. Proceedings of the third international workshop on Compiler compilers. :193–207.
.
1991. SYS/3 - a software development tool. Proceedings of the third international workshop on Compiler compilers. :193–207.
.
1991. Generalized algorithmic debugging and testing. ACM Lett. Program. Lang. Syst.. 1:303–322.
.
1992. Interactive diagnosis and testing of logic programs. Third Finnish- Estonian- Hungarian Symposium on Programming Languages and Software Tools. :34-47.
.
1993. 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. 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. IDT: Integrated system for debugging and testing Prolog programs. Fourth Symposium on Programming Languages and Software Tools. :312-324.
.
1995. Analyzing and Learning ECG Waveforms. The Sixth International Workshop on Inductive Logic Programming ILP96. 312292:127–145.
.
1996. Classifying ECG Waveforms in Prolog. :173-199.
.
1996. DICOM Based PACS and Its Application in the Education. EuroPACS '96, Proceedings 14th International EuroPACS Meeting. :46-49.
.
1996. Educational PACS of the Medical University of Szeged. Proceedings of the Computer Assisted Radiology (CAR96) Conference. :1027.
.
1996. Educational PACS of the Medical University of Szeged. Proceedings of the Computer Assisted Radiology (CAR96) Conference. :1027.
.
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. 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. 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.