Publications
Found 118 results
Author Keyword 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 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. SYS/3 - A Software Development Tool. CC. 477:193–207.
.
1990. SYS/3 - A Software Development Tool. CC. 477:193–207.
.
1990. Generalized Algorithmic Debugging and Testing. PLDI. :317–326.
.
1991. The exact LPT-bound for maximizing the minimum completion time. Oper. Res. Lett.. 11:281–287.
.
1992. 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. 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. Learning Biomedical Patterns. 1314:159-168.
.
1996. Algorithmic Debugging and Testing of Prolog Programs. LPE. :14–21.
.
1997. Application of Inductive Logic Programming for Learning ECG Waveforms. AIME. 1211:126–129.
.
1997. Approximate Inverse-Dynamics based Robust Control using Static and Dynamic State Feedback. Applications of Neural Adaptive Control Technology. :151–197.
.
1997. Learning the Syntax and Semantic Rules of an ECG Grammar. AI*IA. 1321:171–182.
.
1997. Malicious Omissions and Errors in Answers to Membership Queries. Machine Learning. 28:211–255.
.
1997. Static Slicing of JAVA Programs. Fifth Symposium on Programming Languages and Software Tools. :116-128.
.
1997. Development of SPECG System for Automated ECG Analysis. XXVth International Congress on Electrocardiology and 39th International Vectorcardiography. :37.
.
1998. How to solve matrix-eigenvalue problems by optimizations of various functional inequalities? IMACS/GAMM International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN-98), Volume of extended abstract.
.
1998.