Publications
Towards Analyzing the Complexity Landscape of Solidity Based Ethereum Smart Contracts. Proceedings of the 1st International Workshop on Emerging Trends in Software Engineering for Blockchain. :35–39.
.
2018. Advances in Software Product Quality Measurement and Its Applications in Software Evolution. Proceedings of the International Conference on Software Maintenance and Evolution. :590–593.
.
2015. Empirical evaluation of software maintainability based on a manually validated refactoring dataset. Information and Software Technology. 95:313-327.
.
2018. XML Semantics Extension. Acta Cybern.. 15:509–528.
.
2002. Dynamic Slicing of Logic Programs: Program analysis and verification. The Sixth Fenno-Ugric Symposium on Software Technology. :101-113.
.
1999. Abstract Runtime Monitoring with USE. Proceedings of CSMR 2012 (16th European Conference on Software Maintenance and Reengineering). :549-552.
.
2012. Threshold Circuits of Bounded Depth. J. Comput. Syst. Sci.. 46:129–154.
.
1993. An implementation of the HLP. Acta Cybernetica - Szeged. 6:315-327.
.
1983. Syntactic pattern recognition in the HLP/PAS system. Acta Cybern.. 8:79–88.
.
1987. Static Slicing of Logic Programs. AADEBUG 2nd International Workshop on Automated and Algorithmic Debugging. :85–105.
.
1995. Incremental generation of the LL(1) parsing table. Proceedings of 2nd Symposium on Automata, Languages and Programming Systems. :157-161.
.
1988. Natural Languages Interface Construction Using Attribute Grammars. Attribute Grammars Applications and Systems. 545:460–468.
.
1991. Compiler Construction, 6th International Conference, CC'96, Linköping, Sweden, April 24-26, 1996, Proceedings. Lecture Notes in Computer Science. 1060
.
1996. Software generation based on attribute grammars. Periodica Polytechnica. 35:147-152.
.
1991. Learning semantic functions of attribute grammars. Nordic J. of Computing. 4:287–302.
.
1997. Syntactic pattern recognition with modified fuzzy automata. Computational Linguistics and Computer Langugaes. 15:175-193.
.
1982. Incremental Algorithms in Prof-LP. CC. 371:93-102.
.
1988. Incremental Algorithms in Prof-LP. CC. 371:93–102.
.
1988. An Efficient Relevant Slicing Method for Debugging. Software Engineering –- ESEC/FSE '99. :303–321.
.
1999. .
2002. Integrated Graphic Enviroment to Develop Applications Based on Attribute Grammars. Lecture Notes in Computer Science. 641:51-58.
.
1992. Robust Surface Matching for Registration. 2nd International Conference on 3D Digital Imaging and Modeling (3DIM '99), 4-8 October 1999, Ottawa, Canada. :169–179.
.
1999. Robust point correspondence applied to two- and three-dimensional image registration. IEEE Transactions on Pattern Analysis and Machine Intelligence. 23:165-179.
.
2001. Training Context-Dependent DNN Acoustic Models Using Probabilistic Sampling. Proceedings of Interspeech. :1621–1625.
.
2017. A Comparative Evaluation of GMM-Free State Tying Methods for ASR. Proceedings of Interspeech. :1626–1630.
.
2017.