BATKO, Michal, Claudio GENNARO and Pavel ZEZULA. A P2P System for Searching in Metric Spaces. In Proceedings of the Twelfth Italian Symposium on Advanced Database Systems. Cagliari: LITHOSgrafiche - Cagliari, 2004, p. 410-417. ISBN 88-901409-1-7.
BATKO, Michal, Claudio GENNARO and Pavel ZEZULA. GHT*: a Peer-to-Peer System for Metric Data. In Ercim News No. 59. Sophia-Antipolis Cedex, France: ERCIM EEIG, 2004, p. 65-66.
ŘEHÁK, Vojtěch. $\xor$-OBDD in Symbolic Model Checking. In SOFSEM 2002: Student Research Forum. Milovy (Czech Republic): Slovak University of Technology, 2002, p. 41-46.