Ridelman, Yonatan, et al. “Metallic Nanobowls by Galvanic Replacement Reaction on Heterodimeric Nanoparticles.”10.1002/smll.201101882__Small, vol. 8, no. 5, Wiley, 2012, pp. 654–60, doi:10.1002/smll.201101882.
LibreCat: https://research-explorer.ista.ac.at/record/13408
DOI: 10.1002/smll.201101882
PMID: 22392681

Bouajjani, Ahmed, et al. “Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data.”10.1007/978-3-642-33386-6_14__Automated Technology for Verification and Analysis, vol. 7561, Springer, 2012, pp. 167–82, 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, Krishnendu, et al. “Polynomial-Time Algorithms for Energy Games with Special Weight Structures.”10.1007/978-3-642-33090-2_27__Algorithms – ESA 2012, vol. 7501, Springer, 2012, pp. 301–12, 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, Sergey, et al. “HSF(C): A Software Verifier Based on Horn Clauses.”10.1007/978-3-642-28756-5_46__Tools and Algorithms for the Construction and Analysis of Systems, edited by Cormac Flanagan and Barbara König, vol. 7214, Springer, 2012, pp. 549–51, 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, Ashutosh. “Improved Single Pass Algorithms for Resolution Proof Reduction.”10.1007/978-3-642-33386-6_10__Automated Technology for Verification and Analysis, vol. 7561, Springer Berlin Heidelberg, 2012, pp. 107–21, 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, Damien, et al. Ideal Abstractions for Well Structured Transition Systems. Vol. 7148, Springer, 2012, pp. 445–60, 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, Luis, et al. “The Molecular Evolution of Acquired Resistance to Targeted EGFR Blockade in Colorectal Cancers.”10.1038/nature11219__Nature, vol. 486, no. 7404, Nature Publishing Group, 2012, pp. 537–40, doi:10.1038/nature11219.
LibreCat: https://research-explorer.ista.ac.at/record/3157
DOI: 10.1038/nature11219
PMID: 22722843

Chatterjee, Krishnendu, et al. “Evolutionary Dynamics of Biological Auctions.”10.1016/j.tpb.2011.11.003__Theoretical Population Biology, vol. 81, no. 1, Academic Press, 2012, pp. 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, Sooyun, et al. “Active Dendrites Support Efficient Initiation of Dendritic Spikes in Hippocampal C Pyramidal Neurons.”10.1038/nn.3060__Nature Neuroscience, vol. 15, no. 4, Nature Publishing Group, 2012, pp. 600–06, doi:10.1038/nn.3060.
LibreCat: https://research-explorer.ista.ac.at/record/3258
DOI: 10.1038/nn.3060
PMID: 22388958

Kim, Sooyun. Active Properties of Hippocampal C Pyramidal Neuron Dendrites. Institute of Science and Technology Austria, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/2964

Barone, Vanessa, and Carl-Philipp J. Heisenberg. “Cell Adhesion in Embryo Morphogenesis.”10.1016/j.ceb.2011.11.006__Current Opinion in Cell Biology, vol. 24, no. 1, Elsevier, 2012, pp. 148–53, 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, Christian A., et al. “Active DNA Demethylation in Plant Companion Cells Reinforces Transposon Methylation in Gametes.”10.1126/science.1224839__Science, vol. 337, no. 6100, American Association for the Advancement of Science, 2012, pp. 1360–64, doi:10.1126/science.1224839.
LibreCat: https://research-explorer.ista.ac.at/record/12198
DOI: 10.1126/science.1224839
PMID: 22984074

Pausinger, Florian. “Elementary Solutions of the Bernstein Problem on Two Intervals.” Journal of Mathematical Physics, Analysis, Geometry, vol. 8, no. 1, B. Verkin Institute for Low Temperature Physics and Engineering, 2012, pp. 63–78.
LibreCat: https://research-explorer.ista.ac.at/record/6588
WoS: 000301173600004

Yu, Jihun, et al. “Explicit Mesh Surfaces for Particle Based Fluids.”10.1111/j.1467-8659.2012.03062.x__Computer Graphics Forum, vol. 31, no. 2, Wiley, 2012, pp. 815–24, 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, Patrick. “Die Zeit des Abwartens ist vorbei!” BuB - Forum Bibliothek und Information, vol. 64, no. 4, Fachzeitschrift des BIB – Berufsverband Information Bibliothek, 2012, p. 284.
LibreCat: https://research-explorer.ista.ac.at/record/3244

Danowski, Patrick. “Zwischen Technologie und Information.” Büchereiperspektiven, vol. 2012, no. 1, Büchereiverband Österreichs, 2012, p. 11.
LibreCat: https://research-explorer.ista.ac.at/record/3243

Kroemer, Oliver, et al. Multi-Modal Learning for Dynamic Tactile Sensing. Deutsches Zentrum für Luft und Raumfahrt, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/2915

Edelsbrunner, Herbert, and Nataliya Strelkova. “On the Configuration Space for the Shortest Networks.”10.4213/rm9503__Russian Mathematical Surveys, vol. 67, no. 6, Russian Academy of Sciences, 2012, pp. 1167–1168, doi:10.4213/rm9503.
LibreCat: https://research-explorer.ista.ac.at/record/2912
DOI: 10.4213/rm9503

Quadrianto, Novi, et al. “The Most Persistent Soft-Clique in a Set of Sampled Graphs.” Proceedings of the 29th International Conference on Machine Learning, ML Research Press, 2012, pp. 211–18.
LibreCat: https://research-explorer.ista.ac.at/record/3127

Pausinger, Florian. “Weak Multipliers for Generalized van Der Corput Sequences.”10.5802/jtnb.819__Journal de Theorie Des Nombres Des Bordeaux, vol. 24, no. 3, Université de Bordeaux, 2012, pp. 729–49, doi:10.5802/jtnb.819.
LibreCat: https://research-explorer.ista.ac.at/record/2904
DOI: 10.5802/jtnb.819