Publications

Export 648 results:
Author Title Type [ Year(Asc)]
1996
Forgács I, Gyimóthy T.  1996.  An Efficient Interprocedural Slicing Method for Large Programs. 9th International Conference on Software Engineering and Knowledge Engineering. :279-287.
Alexin Z, Gyimóthy T, Boström H.  1996.  Integrating Algorithmic Debugging and Unfolding Transformation in an Interactive Learner. Fifth International Workshop on Inductive Logic Programming. :437-452.
Alexin Z, Gyimóthy T, Boström H.  1996.  Integrating Algorithmic Debugging and Unfolding Transformation in an Interactive Learner. Proceedings of the European Conference on Artificial Intelligence (ECAI'96). :403-407.
Kuba A, Alexin Z, Nagy A, Nyúl L, Csernay L.  1996.  Kép-archiváló és továbbító rendszer szoftverének fejlesztése (SZOTE-PACS). Informatika a felsőoktatásban 96 - Networkshop. :1186-1192.
Kókai G, Alexin Z, Gyimóthy T.  1996.  Learning Biomedical Patterns. 1314:159-168.
Holló C..  1996.  Modele ale proceselor concurente bazate pe CSP.
Almási L, Sóti Z., Csernay L, Kuba A, Pavelka Z, Kelemen A, Nagy A, Nyúl L, Alexin Z.  1996.  Orvosi információs rendszerek a SZOTE-n (HIS, RIS, PACS). Információcsere a rendszerek között.. A számítastechnika orvosi és biológiai alkalmazásai, 20. Neumann Kollokvium. :184-186.
Kovács G., Magyar F, Gyimóthy T.  1996.  Static Slicing of JAVA Programs.
Kuba A, Alexin Z, Nyúl L, Nagy A, Palagyi K, Dudásné NM, Csernay L, Almási L.  1996.  SZOTE-PACS: A Szent-Györgyi Albert Orvostudományi Egyetem képarchiváló és továbbító rendszerének szoftvere. XX. Neumann Kollokvium. :173-176.
1995
Holló C..  1995.  Comunicare si concurentă în CSP.
Alexin Z, Gyimóthy T, Kókai G.  1995.  IDT: Integrated system for debugging and testing Prolog programs. Fourth Symposium on Programming Languages and Software Tools. :312-324.
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.
Romila B, Preda C, Holló C..  1995.  O caracterizare structurala a multimilor partiale D-continue. Studii si Cercetari Matematice. 47:81-96.
Schrettner L, Gyimóthy T, Alexin Z, Toczki J.  1995.  Parallel execution of object functional queries. Fourth Symposium on Programming Languages and Software Tools. :447-459.
Gyimóthy T, Paakki J.  1995.  Static Slicing of Logic Programs. AADEBUG 2nd International Workshop on Automated and Algorithmic Debugging. :85–105.
Holló C..  1995.  Tehnici de modelare în psihologie bazate pe teoria Fuzzy. Aplicatii pentru recunoasterea motivatiilor.
Alb P, Ferenc R, Rajda V.  1995.  Vállalati információs rendszer elemzése és tervezése SSADM-mel és a DFD-k globális analízise.
1994
Paakki J, Gyimóthy T, Horváth T.  1994.  Effective Algorithmic Debugging for Inductive Logic Programming. GMD-Studien. 237:175-194.
Kókai G, Alexin Z, Kocsis F.  1994.  The IDT System and its Application for Learning Prolog Programs. Sixth International Conference on Artificial Intelligence and Information-Control Systems of Robots. :315-320.
Schrettner L, Bohus M.  1994.  A Parallel Design Method for Producing Valid Protocols. Proc. of 8th Symposium on Microcomputer and Microprocessor Applications. :689-697.
1993
Schrettner L, Toczki J.  1993.  Dynamic Load Balancing for Decomposible Problems. Impact TEMPUS JEP's and Hungarian Transputer Users Group's Workshop.
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.
Schrettner L, Jelly IE.  1993.  Investigation of Dynamic Load Balancing in Distributed Memory Multiprocessor Machines. Proc. of 15th Intl. Conf. on Information Technology Interfaces.
Romila B, Preda C, Holló C..  1993.  O caracterizare structurala a multimilor partiale D-continue.
Schrettner L, Jelly IE.  1993.  A Test Environment for Investigation of Dynamic Load Balancing in Transputer Networks. Transputer and Occam Engineering Series. 36:284-295.