BATKO, Michal, Claudio GENNARO a 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, s. 410-417. ISBN 88-901409-1-7.
BATKO, Michal, Claudio GENNARO a Pavel ZEZULA. GHT*: a Peer-to-Peer System for Metric Data. In Ercim News No. 59. Sophia-Antipolis Cedex, France: ERCIM EEIG, 2004, s. 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, s. 41-46.