A Choice of SM/DM Parallel ANN Implementation for Embedded Applications. - Vaclav Dvorak; Rudolf Cejka (ECBS, 2000)

Security Analysis of TCP/IP Networks - An Approach to Automatic Analysis of Network Security Properties. - Miroslav Svéda; Ondrej Rysavý; Petr Matousek; Jaroslav Ráb; Rudolf Cejka (DCNET/OPTICS, 2010)