@article {16362, title = {Enhanced XML validation using SRML}, journal = {INTERNATIONAL JOURNAL OF WEB AND SEMANTIC TECHNOLOGY}, volume = {4}, year = {2013}, pages = {1{\textendash}18}, issn = {0976-2280}, author = {M. K{\'a}lm{\'a}n and F. Havasi} } @inbook {gyimothy:forditoprogramok, title = {Ford{\'\i}t{\'o}programok}, year = {2011}, publisher = {Typotex}, organization = {Typotex}, chapter = {5}, author = {Tibor Gyim{\'o}thy and F. Havasi and {\'A}kos Kiss} } @conference {Havasi11, title = {An improved {B+} tree for flash file systems}, booktitle = {SOFSEM 2011: Theory and Practice of Computer Science: 37th Conference on Current Trends in Theory and Practice of Computer Scienece}, year = {2011}, pages = {297-307}, author = {F. Havasi} } @conference {havasi:aalrural, title = {Ambient Assisted Living in Rural Areas: Vision and Pilot Application}, booktitle = {Constructing Ambient Intelligence {\textendash} AmI 2007 Workshops, Darmstadt, Germany, November 7-10, 2007, Revised Papers}, series = {Communications in Computer and Information Science ({CCIS})}, volume = {11}, year = {2008}, pages = {246{\textendash}252}, author = {F. Havasi and {\'A}kos Kiss} } @article {Kalman200690, title = {Compacting XML documents}, journal = {Information and Software Technology}, volume = {48}, number = {2}, year = {2006}, pages = {90 - 106}, keywords = {XML semantics}, issn = {0950-5849}, doi = {10.1016/j.infsof.2005.03.001}, url = {http://www.sciencedirect.com/science/article/pii/S0950584905000315}, author = {M. K{\'a}lm{\'a}n and F. Havasi and Tibor Gyim{\'o}thy} } @article {GHGy05, title = {Binary code compression based on decision trees}, journal = {Proceedings of the Estonian Academy of Sciences Engineering}, volume = {11}, number = {4}, year = {2005}, pages = {269-285}, author = {Tam{\'a}s Gergely and F. Havasi and Tibor Gyim{\'o}thy} } @booklet {GHB05, title = {Model Based Code Compression}, year = {2005}, note = {Patent \# 6,917,315}, author = {Tam{\'a}s Gergely and F. Havasi and {\'A}rp{\'a}d Besz{\'e}des} } @conference {HaKa04, title = {Compacting {XML} Documents}, booktitle = {Fourth Conference of PhD Students in Computer Science (CSCS 2004)}, year = {2004}, pages = {64}, author = {F. Havasi and M. K{\'a}lm{\'a}n} } @conference {Havasi04, title = {Increasing compression performance of block based file systems}, booktitle = {Fourth Conference of PhD Students in Computer Science (CSCS 2004)}, year = {2004}, pages = {53}, author = {F. Havasi} } @conference {DBLP:conf/splst/KalmanHG03, title = {Compacting XML Documents}, booktitle = {SPLST}, year = {2003}, pages = {137-151}, author = {M. K{\'a}lm{\'a}n and F. Havasi and Tibor Gyim{\'o}thy} } @conference {HaKa02, title = {XML Semantics}, booktitle = {Conference of PhD Students in Computer Science}, year = {2002}, pages = {43}, author = {F. Havasi and M. K{\'a}lm{\'a}n} } @article {Havasi02, title = {{XML} Semantics Extension}, journal = {Acta Cybernetica}, volume = {15}, year = {2002}, pages = {509-528}, author = {F. Havasi} } @conference {Havasi01, title = {XML Semantics Extensions}, booktitle = {Proceedings of Seventh Symposium on Programming Languages and Software Tools}, year = {2001}, pages = {198-211}, author = {F. Havasi} }