Kézzel annotált magyar nyelvi korpusz: a Szeged Korpusz. I. Magyar Számítógépes Nyelvészeti Konferencia előadásai: MSZNY 2003. :238-245.. 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.
Interactive diagnosis and testing of logic programs. Third Finnish- Estonian- Hungarian Symposium on Programming Languages and Software Tools. :34-47.. 1993.
Integrating Algorithmic Debugging and Unfolding Transformation in an Interactive Learner. Proceedings of the European Conference on Artificial Intelligence (ECAI'96). :403-407.. 1996.
Integrating Algorithmic Debugging and Unfolding Transformation in an Interactive Learner. Fifth International Workshop on Inductive Logic Programming. :437-452.. 1996.
Independent and-parallelization of logic programs using static slicing. Fourth Symposium on Programming Languages and Software Tools. :307-319.. 1995.
Incremental generation of the LL(1) parsing table. Proceedings of 2nd Symposium on Automata, Languages and Programming Systems. :157-161.. 1988.
Incremental Algorithms in Prof-LP. CC. 371:93-102.. 1988.
Implementation of a LOTOS precompiler in PROF-LP. Proceedings of the Fourth Conference of Program Designers. :31-36.. 1988.
Impact Analysis Using Static Execute After in WebKit. Proceedings of the16th European Conference on Software Maintenance and Reengineering (CSMR'12). :95–104.. 2012.
IDTS: a Tool for the Debugging and Testing of Prolog Programs. 8th Conference on Logic and Computer Science. :103-110.. 1997.
IDT: Integrated system for debugging and testing Prolog programs. Fourth Symposium on Programming Languages and Software Tools. :312-324.. 1995.
Identifying Wasted Effort in the Field via Developer Interaction Data. Proceedings of the 31th IEEE International Conference on Software Maintenance and Evolution (ICSME'15), Industry Track. :391-400.. 2015.
Graph-Less Dynamic Dependence-Based Dynamic Slicing Algorithms. Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'06). :21-30.. 2006.
Grammarinator: A Grammar-based Open Source Fuzzer. Proceedings of the 9th Workshop on Automating Test Case Design, Selection and Evaluation (A-TEST 2018).. 2018.
Generating modular compilers in PROF-LP. Proceedings of the Workshop on Compiler Compilers and High Speed Compilation. :156-166.. 1989.
Generalized algorithmic debugging and testing. Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation. :317–326.. 1991.
General Flow-Sensitive Pointer Analysis and Call Graph Construction. Proceedings of the 9th Symposium on Programming Languages and Software Tools (SPLST 2005). :49–58.. 2005.
Formalizing Executable Dynamic and Forward Slicing. Proceedings of the 4th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004). :43–52.. 2004.
FGT - A framework for generating rule-based taggers. Inductive Logic Programming, 9th International Workshop, Late-Breaking papers. :1-7.. 1999.
Feature Level Complexity and Coupling Analysis in 4GL Systems. The 18th International Conference on Computational Science and Its Applications (ICCSA'18). 10964:438-453.. 2018.
FaultBuster: An Automatic Code Smell Refactoring Toolset. Proceedings of the 15th International Working Conference on Source Code Analysis and Manipulation (SCAM 2015). :253–258.. 2015.
Fact Extraction and Code Auditing with Columbus and SourceAudit. Proceedings of the 20th International Conference on Software Maintenance (ICSM 2004). :513.. 2004.
Extracting Facts with Columbus from C++ Code. Tool Demonstrations of the 8th European Conference on Software Maintenance and Reengineering (CSMR 2004). :4-8.. 2004.