Unateness Test of a Boolean Function and Two General Synthesis Methods Using Threshold Logic Elements. - Branislav Hrúz (IEEE Trans. Computers, 1969)

Prozeßgerechter Entwurf von Monitoren in Echtzeitbetriebssystemen / Process-considering design of real-time operating system monitors. - Branislav Hrúz (Elektron. Rechenanlagen, 1984)

Solution of the manufacturing transport control using Petri Nets. - Branislav Hrúz (SMC, 2003)

Modelling of AS/RS using hierarchical and timed coloured Petri nets. - Erik Kucera; Branislav Hrúz (RAAD, 2014)