Publications
Found 118 results
Author Keyword Title [ Type] Year Filters: First Letter Of Last Name is K [Clear All Filters]
Adding Constraint Building Mechanisms to a Symbolic Execution Engine Developed for Detecting Runtime Errors. Proceedings of the International Conference on Computational Science and Its Applications – ICCSA 2015. 9159:20-35.
.
2015. Approximate Inverse-Dynamics based Robust Control using Static and Dynamic State Feedback. Applications of Neural Adaptive Control Technology. :151–197.
.
1997. Assessment of the Code Refactoring Dataset Regarding the Maintainability of Methods. Computational Science and Its Applications – ICCSA 2016: 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part IV. :610–624.
.
2016. Automatic Software Generation in Practice: New Features in the HLP/PAS System. Specialized Languages as Tools for Programming Technology. :103–119.
.
1988. Heuristics for Simplified Process Network Synthesis (PNS) Problems with a Blossom-Type Algorithm for the Edge Covering Problem. Optimization Theory: Recent Developments from Mátraháza. :19–31.
.
2001. Heuristics for Simplified Process Network Synthesis (PNS) Problems with a Blossom-Type Algorithm for the Edge Covering Problem. Optimization Theory: Recent Developments from Mátraháza. :19–31.
.
2001. Abstract Runtime Monitoring with USE. Proceedings of CSMR 2012 (16th European Conference on Software Maintenance and Reengineering). :549-552.
.
2012. Algorithmic Debugging and Testing of Prolog Programs. LPE. :14–21.
.
1997. Application of Feature Transformation and Learning Methods in Phoneme Classification. Engineering of Intelligent Systems : 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001, LNAI vol. 2070. :502-512.
.
2001. Application of Inductive Logic Programming for Learning ECG Waveforms. AIME. 1211:126–129.
.
1997. Automatic compiler generation. Proceedings of 1st Symposium on Automata, Languages and Programming Systems. :289-297.
.
1986. Better approximation algorithms for bin covering. Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms. :557–566.
.
2001. Classifier Combination in Speech Recognition. Conference of PhD students on Computer Sciences, Volume of Extended Abstracts. :30.
.
2002. Classifying ECG Waveforms in Prolog. :173-199.
.
1996. Coarse Hierarchical Delta Debugging. Proceedings of the 33rd IEEE International Conference on Software Maintenance and Evolution (ICSME 2017). :194–203.
.
2017. A Code Refactoring Dataset and Its Assessment Regarding Software Maintainability. Proceedings of the 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER). 1:599-603.
.
2016. Columbus – Tool for Reverse Engineering Large Object Oriented Software Systems. Proceedings of the 7th Symposium on Programming Languages and Software Tools (SPLST 2001). :16–27.
.
2001. Compacting XML Documents. SPLST. :137-151.
.
2003. Comparing different postagging techniques for hungarian. Proceedings of the MSZNY 2003. :16-23.
.
2003. A Compiler-Generator Based on the Pred-LL(k) Parsing Method. Proceedings of Program Analsysis and verification, Fenno-Ugric Symposium. :41-50.
.
1999. Complexity Measures in 4GL Environment. Computational Science and Its Applications - ICCSA 2011, Lecture Notes in Computer Science. 6786:293-309.
.
2011. Complexity Measures in 4GL Environment. Computational Science and Its Applications - ICCSA 2011, Lecture Notes in Computer Science. 6786:293-309.
.
2011. Development of SPECG System for Automated ECG Analysis. XXVth International Congress on Electrocardiology and 39th International Vectorcardiography. :37.
.
1998. A Discriminative Segmental Speech Model and its Application to Hungarian Number Recognition. Text, Speech and Dialogue: Third International Workshop, TSD 2000, LNAI vol. 1902. :307-313.
.
2000. A Discriminative Segmental Speech Model and its Application to Hungarian Number Recognition. Text, Speech and Dialogue: Third International Workshop, TSD 2000, LNAI vol. 1902. :307-313.
.
2000.