Publications
Found 77 results
Author Keyword Title Type [ Year] Filters: Author is Tibor Gyimóthy [Clear All Filters]
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. Compiler Construction, 6th International Conference, CC'96, Linköping, Sweden, April 24-26, 1996, Proceedings. Lecture Notes in Computer Science. 1060
.
1996. An Efficient Interprocedural Slicing Method for Large Programs. 9th International Conference on Software Engineering and Knowledge Engineering. :279-287.
.
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. Learning semantic functions of attribute grammars. Nordic J. of Computing. 4:287–302.
.
1997. Learning the Syntax and Semantic Rules of an ECG Grammar. AI*IA. 1321:171–182.
.
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. IDT: Integrated system for debugging and testing Prolog programs. Annales Universitatis Scientiarum Budapestinensis de Rolando Eotvos Nominatae Sectio Computarotica. 17:3-17.
.
1998. Independent and-parallelization of logic programs using static slicing. Annales Universitatis Scientiarum Budapestinensis de Rolando Eotvos Nominatae Sectio Computarotica. 17:307-321.
.
1998. Parallel execution of object functional queries. Annales Universitatis Scientiarum Budapestinensis de Rolando Eotvos Nominatae Sectio Computarotica. 17:339-355.
.
1998. Slicing of Constraint Logic Programs. Linköping Electronic Articles in Computer and Information Science. 3:1-27.
.
1998. Application of Different Learning Methods to Hungarian Part-of-Speech Tagging. Proceedings of the 9th International Workshop on Inductive Logic Programming. :128–139.
.
1999. A Compiler-Generator Based on the Pred-LL(k) Parsing Method. Proceedings of Program Analsysis and verification, Fenno-Ugric Symposium. :41-50.
.
1999. Dynamic Slicing of Logic Programs: Program analysis and verification. The Sixth Fenno-Ugric Symposium on Software Technology. :101-113.
.
1999. Using decision trees to infer semantic functions of attribute grammars. Acta Cybernetica. 15:279–304.
.
2001. 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.
.
2003. Compacting XML Documents. SPLST. :137-151.
.
2003. Interprocedural Static Slicing of Binary Executables. Proceedings of the 3rd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2003). :118–127.
.
2003. Combining preprocessor slicing with C/C++ language slicing. Science of Computer Programming. 74:399-413.
.
2009. .
2010.
MAGISTER: Quality assurance of Magic applications for software developers and end users. Software Maintenance (ICSM), 2010 IEEE International Conference on. :1-6.
.
2010.