Hócza A., Alexin Z., Csendes D., Csirik J., Gyimóthy T.  2003.  Application of ILP methods in different natural language processing phases for information extraction from Hungarian texts. Kalmár Workshop on Logic and Computer Science. :107-116.

Kálmán M., Havasi F., Gyimóthy T.  2003.  Compacting XML Documents. SPLST. :137-151.

Kuba A., Bakota T, Hócza A., Oravecz C..  2003.  Comparing different postagging techniques for hungarian. Proceedings of the MSZNY 2003. :16-23.

Alexin Z, Gyimóthy T, Hatvani C, Tihanyi L, Csirik J, Bibok K, Prószéky G.  2003.  Manually Annotated Hungarian Corpus. Proceedings of the Tenth Conference on European Chapter of the Association for Computational Linguistics - Volume 2. :53–56.

Havasi F.  2002.  XML Semantics Extension. Acta Cybern.. 15:509–528.

Szilágyi G., Harmath L., Gyimóthy T..  2001.  The Debug slicing of logic programs. Acta Cybernetica. 15:257–278.

Horváth T, Turán G.  2001.  Learning logic programs with structured background knowledge. Artif. Intell.. 128:31–97.

Ferenc R, Sim SElliott, Holt RC, Koschke R, Gyimóthy T.  2001.  Towards a Standard Schema for C/C++. Proceedings of the 8th Working Conference on Reverse Engineering (WCRE 2001). :49–58.

Horváth T., Alexin Z., Gyimóthy T, Wrobel S..  1999.  Application of Different Learning Methods to Hungarian Part-of-Speech Tagging. Proceedings of the 9th International Workshop on Inductive Logic Programming. :128–139.

Harmath L., Szilágyi G., Gyimóthy T, Csirik J..  1999.  Dynamic Slicing of Logic Programs: Program analysis and verification. The Sixth Fenno-Ugric Symposium on Software Technology. :101-113.

Holló C., Blázsik Z., Imreh C., Kovács Z..  1999.  On a Merging Reduction of the Process Network Synthesis Problem. Acta Cybern.. 14:251–261.

Blázsik Z., Holló C., Imreh B..  1998.  On Decision-mappings Related to Process Network Synthesis Problem. Acta Cybern.. 13:319–328.

Paakki J., Gyimóthy T, Horváth T..  1998.  Independent and-parallelization of logic programs using static slicing. Annales Universitatis Scientiarum Budapestinensis de Rolando Eotvos Nominatae Sectio Computarotica. 17:307-321.

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

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.

Horváth T, Sloan RH, Turán G.  1997.  Learning Logic Programs by Using the Product Homomorphism Method. COLT. :10–20.

Gyimóthy T, Horváth T..  1997.  Learning semantic functions of attribute grammars. Nordic J. of Computing. 4:287–302.

Horváth T, Sloan RH, Turán G.  1996.  Learning Logic Programs with Random Classification Noise. Inductive Logic Programming Workshop. 1314:315–336.

Paakki J., Gyimóthy T, Horváth T..  1995.  Independent and-parallelization of logic programs using static slicing. Fourth Symposium on Programming Languages and Software Tools. :307-319.

Paakki J., Gyimóthy T, Horváth T..  1994.  Effective Algorithmic Debugging for Inductive Logic Programming. GMD-Studien. 237:175-194.

Blázsik Z, Hujter M, Pluhár A, Tuza Z..  1993.  Graphs with no induced C4 and 2K2. Discrete Mathematics. 115:51–55.

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.

Hajnal A, Maass W, Pudlák P, Szegedy M, Turán G.  1993.  Threshold Circuits of Bounded Depth. J. Comput. Syst. Sci.. 46:129–154.

Fábricz K., Alexin Z., Gyimóthy T, Horváth T..  1990.  THALES: a software package for plane geometry constructions with a natural language interface. Proceedings of the 13th conference on Computational linguistics - Volume 1. :44–46.

Horváth T., Alexin Z., Gyimóthy T, Fábricz K..  1990.  Towards a Multilingual Natural Language Understanding Interface (Extended Abstract). CC. :217-218.