Publications
Found 81 results
Author Keyword Title [ Type] Year Filters: First Letter Of Last Name is H [Clear All Filters]
.
1987.
XML Semantics Extension. Acta Cybern.. 15:509–528.
.
2002. Towards Analyzing the Complexity Landscape of Solidity Based Ethereum Smart Contracts. Technologies. 7:6.
.
2019. Threshold Circuits of Bounded Depth. J. Comput. Syst. Sci.. 46:129–154.
.
1993. A Speech Recognition-based Solution for the Automatic Detection of Mild Cognitive Impairment from Spontaneous Speech. Current Alzheimer Research. 15:130–138.
.
2018. Runtime Exception Detection in Java Programs Using Symbolic Execution. Acta Cybernetica. 21:331–352.
.
2014. Performance comparison of query-based techniques for anti-pattern detection. Information and Software Technology. 65:147-165.
.
2015. On a Merging Reduction of the Process Network Synthesis Problem. Acta Cybern.. 14:251–261.
.
1999. Measuring an artificial intelligence system’s performance on a Verbal IQ test for young children. Journal Of Experimental & Theoretical Artificial Intelligence 29. :679-693.
.
2017. Learning semantic functions of attribute grammars. Nordic J. of Computing. 4:287–302.
.
1997. Learning logic programs with structured background knowledge. Artif. Intell.. 128:31–97.
.
2001. Independent and-parallelization of logic programs using static slicing. Annales Universitatis Scientiarum Budapestinensis de Rolando Eotvos Nominatae Sectio Computarotica. 17:307-321.
.
1998. Identifying Mild Cognitive Impairment and mild Alzheimer’s disease based on spontaneous speech using ASR and linguistic features. Computer, Speech & Language. 53:181–197.
.
2019. Graphs with no induced C4 and 2K2. Discrete Mathematics. 115:51–55.
.
1993. Feature Analysis using Information Retrieval, Community Detection and Structural Analysis Methods in Product Line Adoption. Journal of Systems and Software. 155:70-90.
.
2019. Empirical evaluation of software maintainability based on a manually validated refactoring dataset. Information and Software Technology. 95:313-327.
.
2018. Differences between a static and a dynamic test-to-code traceability recovery method. SOFTWARE QUALITY JOURNAL. 27:797-822.
.
2019. Deep-water framework: The Swiss army knife of humans working with machine learning models. SoftwareX. 12:100551.
.
2020. On Decision-mappings Related to Process Network Synthesis Problem. Acta Cybern.. 13:319–328.
.
1998. The Debug slicing of logic programs. Acta Cybernetica. 15:257–278.
.
2001. Connection Between Version Control Operations and Quality Change of the Source Code. {Acta Cybernetica}. 21:585–607.
.
2014. Code Coverage Differences of Java Bytecode and Source Code Instrumentation Tools. Software Quality Journal.
.
2017. Code coverage differences of Java bytecode and source code instrumentation tools. SOFTWARE QUALITY JOURNAL. 27:79-123.
.
2019. Analysis of Static and Dynamic Test-to-code Traceability Information. Acta Cybernetica. 23:903-919.
.
2018. Static JavaScript Call Graphs: A Comparative Study. SCAM. :177-186.
.
2018.