Toczki J., Simon E., Garai T., Kocsis T., Gyimóthy T.  1986.  Automatic compiler generation. Proceedings of 1st Symposium on Automata, Languages and Programming Systems. :289-297.

Toczki J., Gyimóthy T, Horváth T., Kocsis F..  1987.  PROF-LP user’s guide.

Toczki J., Gyimóthy T, Kocsis F., Horváth T..  1988.  Automatic Software Generation in Practice: New Features in the HLP/PAS System. Specialized Languages as Tools for Programming Technology. :103–119.

Gyimóthy T, Horváth T., Kocsis F., Toczki J..  1988.  Incremental Algorithms in Prof-LP. CC. 371:93-102.

Gyimóthy T, Horváth T, Kocsis F, Toczki J.  1988.  Incremental Algorithms in Prof-LP. CC. 371:93–102.

Gyimóthy T, Kocsis F..  1988.  Incremental generation of the LL(1) parsing table. Proceedings of 2nd Symposium on Automata, Languages and Programming Systems. :157-161.

Toczki J., Gyimóthy T, Horváth T., Kocsis F..  1989.  Generating modular compilers in PROF-LP. Proceedings of the Workshop on Compiler Compilers and High Speed Compilation. :156-166.

Toczki J., Gyimóthy T, Kocsis F..  1989.  SYS-DL, a system development language supporting software quality assurance. First Finnish-Hungarian Workshop on Programming Languages and Software Tools. :307-317.

Toczki J, Kocsis F, Gyimóthy T, Dányi G., Kókai G.  1990.  SYS/3 - A Software Development Tool. CC. 477:193–207.

Toczki J, Kocsis F, Gyimóthy T, Dányi G., Kókai G.  1990.  SYS/3 - A Software Development Tool. CC. 477:193–207.

Fritzson P, Gyimóthy T, Kamkar M, Shahmehri N.  1991.  Generalized Algorithmic Debugging and Testing. PLDI. :317–326.

Csirik J, Kellerer H, Woeginger GJ.  1992.  The exact LPT-bound for maximizing the minimum completion time. Oper. Res. Lett.. 11:281–287.

Fritzson P., Shahmehri N., Kamkar M., Gyimóthy T.  1992.  Generalized algorithmic debugging and testing. ACM Lett. Program. Lang. Syst.. 1:303–322.

Horváth T., Gyimóthy T, Alexin Z., Kocsis F..  1993.  Interactive diagnosis and testing of logic programs. Third Finnish- Estonian- Hungarian Symposium on Programming Languages and Software Tools. :34-47.

Kókai G., Alexin Z., Gyimóthy T.  1996.  Analyzing and Learning ECG Waveforms. The Sixth International Workshop on Inductive Logic Programming ILP96. 312292:127–145.

Kókai G., Alexin Z., Gyimóthy T.  1996.  Classifying ECG Waveforms in Prolog. :173-199.

Kókai G., Alexin Z., Gyimóthy T.  1996.  Learning Biomedical Patterns. 1314:159-168.

Kókai G, Harmath L, Gyimóthy T.  1997.  Algorithmic Debugging and Testing of Prolog Programs. LPE. :14–21.

Kókai G, Alexin Z, Gyimóthy T.  1997.  Application of Inductive Logic Programming for Learning ECG Waveforms. AIME. 1211:126–129.

Szepesvári C., Lörincz A..  1997.  Approximate Inverse-Dynamics based Robust Control using Static and Dynamic State Feedback. Applications of Neural Adaptive Control Technology. :151–197.

Kókai G, Csirik J, Gyimóthy T.  1997.  Learning the Syntax and Semantic Rules of an ECG Grammar. AI*IA. 1321:171–182.

Angluin D, Krikis M, Sloan RH, Turán G.  1997.  Malicious Omissions and Errors in Answers to Membership Queries. Machine Learning. 28:211–255.

Kovács G., Magyar F., Gyimóthy T.  1997.  Static Slicing of JAVA Programs. Fifth Symposium on Programming Languages and Software Tools. :116-128.

Thury A., Kókai G., Csirik J., Gyimóthy T, Csanády M..  1998.  Development of SPECG System for Automated ECG Analysis. XXVth International Congress on Electrocardiology and 39th International Vectorcardiography. :37.

Kocsor A, Dombi J, Bálint I.  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.