ŠIMKO, V., HNĚTYNKA, P., BUREŠ, Tomáš, PLÁŠIL, František. <em>Formal Verification of Annotated Use-Cases</em>. Prague: Department of Distributed and Dependable Systems, Charles University, 2012. Technical report, 2012/2.
HAKL, František, JIŘINA, Marcel. <em>Hardwarová realizace datového kanálu NNSU separátoru</em>. Ústav informatiky AV ČR, v. v. i., 2012. Funkční vzorek HWIMPNNSU1ch. Dostupné z: http://www.cs.cas.cz/hakl/HWIMPNNSU1ch/
ŠMERGLOVÁ, M., KALINA, Jan. Náhoda děsně nenáhodná? <em>Týdeník Květy. </em> 2012, <b>22</b>(48), 14-17. ISSN 0023-5849.
ŽÁK, Stanislav. <em>A Lower Bound Method for Branching Programs and Its Application</em>. Prague: ICS AS CR, 2012. Technical Report, V-1171.
KONÁR, Ondřej. Optimalizace osazování odběrných míst inteligentními plynoměry. In: KUŽELOVÁ, D., HAKL, F., eds. <em>Doktorandské dny '12</em>. Praha: Ústav informatiky AV ČR, v. v. i. & MATFYZPRESS, 2012, S. 33-39. ISBN 978-80-7278-217-7.
ŠTULLER, Július, TYL, Pavel, ŘIMNÁČ, Martin, KUŽELOVÁ, Dana. <em>SOFSEM 2012. International Conference on Current Trends in Theory and Practice of Computer Science /38./</em>. Špindlerův Mlýn, Ústav informatiky AV ČR, v. v. i., 21.01.2012-27.01.2012. Konference. Dostupné z: http://www.sofsem.cz/sofsem12/
NEDOMA, Jiří. <em>The Primal-Dual Active Set (PDAS) Method for Dynamic Variational Inequalities Arising from the Fractured Bone Neoplasm Models</em>. Prague: ICS AS CR, 2012. Technical Report, V-1167.
PETRŮ, L., WIEDERMANN, Jiří. <em>Flying Amorphous Computer: A Robust Model</em>. Prague: ICS AS CR, 2012. Technical Report, V-1173.
PAPÁČEK, Š., KAŇA, Radek. Estimation of diffusivity of phycobilisomes on thylakoid membrane based on spatio-temporal FRAP images. In: <em>Seminar on Numerical Analysis. Modelling and Simulation of Challenging Engineering Problems</em>. Liberec: Technical University, 2012, S. 146-148. ISBN 978-80-7372-821-2.
