Publications
Export 178 results:
Author Title Type [ Year
Filters: First Letter Of Last Name is H [Clear All Filters]
Dynamic Slicing of Logic Programs: Program analysis and verification. The Sixth Fenno-Ugric Symposium on Software Technology. :101-113.
.
1999. .
1999. On a Merging Reduction of the Process Network Synthesis Problem. Acta Cybernetica. 14:251-261.
.
1999. On bottleneck and k-sum versions of the Process Network Synthesis problems. Novi Sad Journal of Mathematics. 30:11-19.
.
2000. Debug Slicing of Logic Programs. Conference of PhD Students on Computer Sciences. :43-44.
.
2000. A Look Ahead Branch-and-Bound Procedure for Solving PNS Problems. Pure Mathematics and Applications. 11:265-279.
.
2000. On a well solvable class of the PNS problem. Novi Sad Journal of Mathematics. 30:21-30.
.
2000. The debug slicing of logic programs. Acta Cybernetica. 15:257–278.
.
2001. Heuristics for the PNS problem. Optimization theory: Recent development from Mátraháza. :1-18.
.
2001. Towards a Standard Schema for C/C++. Proceedings of the 8th Working Conference on Reverse Engineering (WCRE 2001). :49-58.
.
2001. XML Semantics Extensions. Proceedings of Seventh Symposium on Programming Languages and Software Tools. :198-211.
.
2001. A Procedure Based on Automaton Theory Approach for Solving Modified PNS Problems. Pure Mathematics and Applications. 13:159-169.
.
2002. XML Semantics. Conference of PhD Students in Computer Science. :43.
.
2002. XML Semantics Extension. Acta Cybernetica. 15:509-528.
.
2002. Application of ILP methods in different natural language processing phases for information extraction from Hungarian texts. Kalmár Workshop on Logic and Computer Science. :107-116.
.
2003. Compacting XML Documents. SPLST. :137-151.
.
2003. Comparing different postagging techniques for hungarian. Proceedings of the MSZNY 2003. :16-23.
.
2003. 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. Manually annotated Hungarian corpus. Proceedings of the tenth conference on European chapter of the Association for Computational Linguistics - Volume 2. :53-56.
.
2003. A partial enumeration algorithm for solving PNS problems. Mathematical and Computer Modelling. 38:855-864.
.
2003. Compacting XML Documents. Fourth Conference of PhD Students in Computer Science (CSCS 2004). :64.
.
2004. Formalizing Executable Dynamic and Forward Slicing. Proceedings of the 4th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004). :43–52.
.
2004. .
2004. Increasing compression performance of block based file systems. Fourth Conference of PhD Students in Computer Science (CSCS 2004). :53.
.
2004. Binary code compression based on decision trees. Proceedings of the Estonian Academy of Sciences Engineering. 11:269-285.
.
2005.