Annealing-induced structural changes of carbon onions: High-resolution transmission electron microscopy and Raman studiesBOGDANOV, Kirill; FEDOROV, Anatoly; OSIPOV, Vladimir et al.Carbon (New York, NY). 2014, Vol 73, pp 78-86, issn 0008-6223, 9 p.Article

FORTEST: Formal methods and testingBOWEN, Jonathan P; BOGDANOV, Kirill; CLARK, John A et al.Proceedings - International Computer Software & Applications Conference. 2002, pp 91-101, isbn 0-7695-1727-7, 11 p.Conference Paper

Using Formal Specifications to Support TestingHIERONS, Robert M; BOGDANOV, Kirill; LÜTTGEN, Gerald et al.ACM computing surveys. 2009, Vol 41, Num 2, issn 0360-0300, 9.1-9.76Article