Chovnik O, Balgley R, Goldman JR, Klajn R. Dynamically self-assembling carriers enable guiding of diamagnetic particles by weak magnets. Journal of the American Chemical Society. 2012;134(48):19564-19567. doi:10.1021/ja309633v
LibreCat: https://research-explorer.ista.ac.at/record/13407
DOI: 10.1021/ja309633v
PMID: 23181449

Ridelman Y, Singh G, Popovitz-Biro R, Wolf SG, Das S, Klajn R. Metallic nanobowls by galvanic replacement reaction on heterodimeric nanoparticles. Small. 2012;8(5):654-660. doi:10.1002/smll.201101882
LibreCat: https://research-explorer.ista.ac.at/record/13408
DOI: 10.1002/smll.201101882
PMID: 22392681

Bouajjani A, Dragoi C, Enea C, Sighireanu M. Accurate invariant checking for programs manipulating lists and arrays with infinite data. In: Automated Technology for Verification and Analysis. Vol 7561. LNCS. Berlin, Heidelberg: Springer; 2012:167-182. doi:10.1007/978-3-642-33386-6_14
LibreCat: https://research-explorer.ista.ac.at/record/10903
DOI: 10.1007/978-3-642-33386-6_14

Chatterjee K, Henzinger MH, Krinninger S, Nanongkai D. Polynomial-time algorithms for energy games with special weight structures. In: Algorithms – ESA 2012. Vol 7501. Springer; 2012:301-312. doi:10.1007/978-3-642-33090-2_27
LibreCat: https://research-explorer.ista.ac.at/record/10905
DOI: 10.1007/978-3-642-33090-2_27
arXiv: 1604.08234

Grebenshchikov S, Gupta A, Lopes NP, Popeea C, Rybalchenko A. HSF(C): A software verifier based on Horn clauses. In: Flanagan C, König B, eds. Tools and Algorithms for the Construction and Analysis of Systems. Vol 7214. LNCS. Berlin, Heidelberg: Springer; 2012:549-551. doi:10.1007/978-3-642-28756-5_46
LibreCat: https://research-explorer.ista.ac.at/record/10906
DOI: 10.1007/978-3-642-28756-5_46

Gupta A. Improved Single Pass Algorithms for Resolution Proof Reduction. In: Automated Technology for Verification and Analysis. Vol 7561. LNCS. Berlin, Heidelberg: Springer Berlin Heidelberg; 2012:107-121. doi:10.1007/978-3-642-33386-6_10
LibreCat: https://research-explorer.ista.ac.at/record/5745
DOI: 10.1007/978-3-642-33386-6_10

Zufferey D, Wies T, Henzinger TA. Ideal abstractions for well structured transition systems. In: Vol 7148. Springer; 2012:445-460. doi:10.1007/978-3-642-27940-9_29
LibreCat: https://research-explorer.ista.ac.at/record/3251
DOI: 10.1007/978-3-642-27940-9_29

Diaz Jr L, Williams R, Wu J, et al. The molecular evolution of acquired resistance to targeted EGFR blockade in colorectal cancers. Nature. 2012;486(7404):537-540. doi:10.1038/nature11219
LibreCat: https://research-explorer.ista.ac.at/record/3157
DOI: 10.1038/nature11219
PMID: 22722843

Chatterjee K, Reiter J, Nowak M. Evolutionary dynamics of biological auctions. Theoretical Population Biology. 2012;81(1):69-80. doi:10.1016/j.tpb.2011.11.003
LibreCat: https://research-explorer.ista.ac.at/record/3260
DOI: 10.1016/j.tpb.2011.11.003
PMID: 22120126

Kim S, Guzmán J, Hu H, Jonas PM. Active dendrites support efficient initiation of dendritic spikes in hippocampal C pyramidal neurons. Nature Neuroscience. 2012;15(4):600-606. doi:10.1038/nn.3060
LibreCat: https://research-explorer.ista.ac.at/record/3258
DOI: 10.1038/nn.3060
PMID: 22388958

Kim S. Active properties of hippocampal C pyramidal neuron dendrites. 2012.
LibreCat: https://research-explorer.ista.ac.at/record/2964

Barone V, Heisenberg C-PJ. Cell adhesion in embryo morphogenesis. Current Opinion in Cell Biology. 2012;24(1):148-153. doi:10.1016/j.ceb.2011.11.006
LibreCat: https://research-explorer.ista.ac.at/record/3246
DOI: 10.1016/j.ceb.2011.11.006

Ibarra CA, Feng X, Schoft VK, et al. Active DNA demethylation in plant companion cells reinforces transposon methylation in gametes. Science. 2012;337(6100):1360-1364. doi:10.1126/science.1224839
LibreCat: https://research-explorer.ista.ac.at/record/12198
DOI: 10.1126/science.1224839
PMID: 22984074

Pausinger F. Elementary solutions of the Bernstein problem on two intervals. Journal of Mathematical Physics, Analysis, Geometry. 2012;8(1):63-78.
LibreCat: https://research-explorer.ista.ac.at/record/6588
WoS: 000301173600004

Yu J, Wojtan C, Turk G, Yap C. Explicit mesh surfaces for particle based fluids. In: Computer Graphics Forum. Vol 31. Wiley; 2012:815-824. doi:10.1111/j.1467-8659.2012.03062.x
LibreCat: https://research-explorer.ista.ac.at/record/3123
DOI: 10.1111/j.1467-8659.2012.03062.x

Danowski P. Die Zeit des Abwartens ist vorbei! BuB - Forum Bibliothek und Information. 2012;64(4):284.
LibreCat: https://research-explorer.ista.ac.at/record/3244

Danowski P. Zwischen Technologie und Information. Büchereiperspektiven. 2012;2012(1):11.
LibreCat: https://research-explorer.ista.ac.at/record/3243

Kroemer O, Lampert C, Peters J. Multi-modal learning for dynamic tactile sensing. In: Deutsches Zentrum für Luft und Raumfahrt; 2012.
LibreCat: https://research-explorer.ista.ac.at/record/2915

Edelsbrunner H, Strelkova N. On the configuration space for the shortest networks. Russian Mathematical Surveys. 2012;67(6):1167–1168. doi:10.4213/rm9503
LibreCat: https://research-explorer.ista.ac.at/record/2912
DOI: 10.4213/rm9503

Quadrianto N, Lampert C, Chen C. The most persistent soft-clique in a set of sampled graphs. In: Proceedings of the 29th International Conference on Machine Learning. ML Research Press; 2012:211-218.
LibreCat: https://research-explorer.ista.ac.at/record/3127