Modelling the magnetic signature of neuronal tissue. - K. B. Blagoev; Bogdan Mihaila; B. J. Travis; Ludmil B. Alexandrov; Alan R. Bishop; Douglas M. Ranken; Stefan Posse; Charles Gasparovic; Andy R. Mayer; Cheryl J. Aine; István Ulbert; M. Morita; et al. (NeuroImage, 2007)

Interprocedural Control Flow Reconstruction. - Andrea Flexeder; Bogdan Mihaila; Michael Petter; Helmut Seidl (APLAS, 2010)

Precise Static Analysis of Binaries by Extracting Relational Information. - Alexander Sepp; Bogdan Mihaila; Axel Simon (WCRE, 2011)

The Undefined Domain: Precise Relational Information for Entities That Do Not Exist. - Holger Siegel; Bogdan Mihaila; Axel Simon (APLAS, 2013)

Widening as Abstract Domain. - Bogdan Mihaila; Alexander Sepp; Axel Simon (NASA Formal Methods, 2013)

Synthesizing Predicates from Abstract Domain Losses. - Bogdan Mihaila; Axel Simon (NASA Formal Methods, 2014)

Adaptable Static Analysis of Executables for proving the Absence of Vulnerabilities. - Bogdan Mihaila (2015)