Publications
.
1998.
Development of SPECG System for Automated ECG Analysis. XXVth International Congress on Electrocardiology and 39th International Vectorcardiography. :37.
.
1998. Diagnosis of Heart Diseases with the Help of the PECG System. Annals of Noninvasive Electrocardiology. 3:58.
.
1998. IDT: Integrated system for debugging and testing Prolog programs. Annales Universitatis Scientiarum Budapestinensis de Rolando Eotvos Nominatae Sectio Computarotica. 17:3-17.
.
1998. Independent and-parallelization of logic programs using static slicing. Annales Universitatis Scientiarum Budapestinensis de Rolando Eotvos Nominatae Sectio Computarotica. 17:307-321.
.
1998. Parallel execution of object functional queries. Annales Universitatis Scientiarum Budapestinensis de Rolando Eotvos Nominatae Sectio Computarotica. 17:339-355.
.
1998. Slicing of Constraint Logic Programs. Linköping Electronic Articles in Computer and Information Science. 3:1-27.
.
1998. Algorithmic Debugging and Testing of Prolog Programs.. LPE. :14-21.
.
1997. Analyzing and Learning ECG Waveforms. Selected Papers from the 6th International Workshop on Inductive Logic Programming. :152–171.
.
1997. Application of inductive logic programming for learning ECG waveforms. Artificial Intelligence in Medicine. 1211:126-129.
.
1997. IDTS: a Tool for the Debugging and Testing of Prolog Programs. 8th Conference on Logic and Computer Science. :103-110.
.
1997. IMPUT: An Interactive Learning Tool Based on Program Specialization. Intelligent Data Analysis. 1:219–244.
.
1997. Learning ECG Grammars. Fifth Symposium on Programming Languages and Software Tools. :84-95.
.
1997. Learning Phonetic Rules in a Speech Recognition System.. ILP. 1297:37-44.
.
1997. Learning semantic functions of attribute grammars. Nordic J. of Computing. 4:287–302.
.
1997. Learning syntax and semantics of ECG grammars. Proceedings of 5th Congress of IAAI. :171.
.
1997. Learning the syntax and semantic rules of an ECG grammar. AI*IA 97: Advances in Artificial Intelligence. 1321:171-182.
.
1997. Static Slicing of JAVA Programs. Fifth Symposium on Programming Languages and Software Tools. :116-128.
.
1997. Analyzing and Learning ECG Waveforms. The Sixth International Workshop on Inductive Logic Programming ILP96. 312292:127–145.
.
1996. .
1996. Classifying ECG Waveforms in Prolog. :173-199.
.
1996. 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. Proceedings of the European Conference on Artificial Intelligence (ECAI'96). :403-407.
.
1996. Integrating Algorithmic Debugging and Unfolding Transformation in an Interactive Learner. Fifth International Workshop on Inductive Logic Programming. :437-452.
.
1996. Learning Biomedical Patterns. 1314:159-168.
.
1996.