Publications
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. 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. 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. .
1996. 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. .
1998.
Development of SPECG System for Automated ECG Analysis. XXVth International Congress on Electrocardiology and 39th International Vectorcardiography. :37.
.
1998.