Formal verification and error correction on high-level decision diagrams = Formaalne verifitseerimine ja vigade parandamine kõrgtasemelistel otsustusdiagrammidelKarputkin, Anton2012

Methods for coopetition and retention analysis : an application to university management = Koopetitsiooni ja väljalangevuse uurimise meetodid : rakendus ülikooli juhtimisesÜbi, Jaan2014 https://www.ester.ee/record=b3090746*est