@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}
}
