Publications
Anonymous, Fault-Tolerant Distributed Queries for Smart Devices. ACM Trans. Cyber-Phys. Syst.. 3
.
2018. Learning Atomic Formulas with Prescribed Properties. COLT. :166–174.
.
1998. On the Complexity of Planar Boolean Circuits. Computational Complexity. 5:24–42.
.
1995. A Size-Depth Trade-Off for the Analog Computation of Boolean Functions. Inf. Process. Lett.. 59:251–254.
.
1996. On the Computation of Boolean Functions by Analog Circuits of Bounded Fan-In. J. Comput. Syst. Sci.. 54:199–212.
.
1997. Linear decision lists and partitioning algorithms for the construction of neural networks. Foundations of Computational Mathematics. :414–423.
.
1997. On the Computation of Boolean Functions by Analog Circuits of Bounded Fan-in (Extended Abstract). FOCS. :553–564.
.
1994. Lower Bounds for PAC Learning with Queries. COLT. :384–391.
.
1993. Characterizability in belief revision. 24th International Joint Conference on Artificial Intelligence. :3236-3242.
.
2015. Performance comparison of query-based techniques for anti-pattern detection. Information and Software Technology. 65:147-165.
.
2015. Anti-pattern Detection with Model Queries: A Comparison of Approaches. Proceedings of CSMR-WCRE 2014 Software Evolution Week (European Conference on Software Maintenance and Reengineering and Working Conference on Reverse Engineering). :293-302.
.
2014. E-magyar -- A Digital Language Processing System. Proceedings of the Eleventh International Conference on Language Resources and Evaluation. :1307-1312..
.
2018. MTBA - magyar nyelvû telefonbeszéd-adatbázis. Híradástechnika. LVII:35-39.
.
2002. Combining preprocessor slicing with C/C++ language slicing. Science of Computer Programming. 74:399-413.
.
2009. Supporting Software Product Line Testing by Optimizing Code Configuration Coverage. Proceedings of the 8th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW'15); 10th Testing: Academic and Industrial Conference - Practice and Research Techniques (TAIC PART'15). :1-7.
.
2015. Test Suite Reduction for Fault Detection and Localization: a Combined Approach. Proceedings of CSMR-WCRE 2014 Software Evolution Week (European Conference on Software Maintenance and Reengineering and Working Conference on Reverse Engineering). :204-213.
.
2014. Co-evolution Analysis of Production and Test Code by Learning Association Rules of Changes. 2018 IEEE Workshop on Machine Learning Techniques for Software Quality Evaluation (MaLTeSQuE 2018). :31-36.
.
2018. Assessing the Test Suite of a Large System Based on Code Coverage, Efficiency and Uniqueness. Proceedings of the IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering, the First International Workshop on Validating Software Tests (VST'16). :13-16.
.
2016. Supporting Software Product Line Testing by Optimizing Code Configuration Coverage. Proceedings of the 8th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW'15); 10th Testing: Academic and Industrial Conference - Practice and Research Techniques (TAIC PART'15). :1-7.
.
2015. Developer Support for Understanding Preprocessor Macro Expansions. Proceedings of International Conference on Advanced Software Engineering & Its Applications (ASEA 2012). 340:121-130.
.
2012. .
2009. Refactoring of C/C++ Preprocessor Constructs at the Model Level. Proceedings of ICSOFT 2009, 4th International Conference on Software and Data Technologies. :232-237.
.
2009. Opening Up The C/C++ Preprocessor Black Box. Proceedings of the Eight Symposium on Programming Languages and Software Tools (SPLST’03). :45-57.
.
2003. Refactoring of C/C++ Preprocessor Constructs at the Model Level. Proceedings of ICSOFT 2009, 4th International Conference on Software and Data Technologies. :232-237.
.
2009. .
2009.