Beyer D, Henzinger TA, Keremoglu M, Wendler P. Conditional model checking: A technique to pass information between verifiers. In: Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. ACM; 2012. doi:10.1145/2393596.2393664
LibreCat: https://research-explorer.ista.ac.at/record/1384
DOI: 10.1145/2393596.2393664

De Cataldo M, Hausel T, Migliorini L. Topology of hitchin systems and Hodge theory of character varieties: The case A 1. Annals of Mathematics. 2012;175(3):1329-1407. doi:10.4007/annals.2012.175.3.7
LibreCat: https://research-explorer.ista.ac.at/record/1472
DOI: 10.4007/annals.2012.175.3.7

Hausel T, Pauly C. Prym varieties of spectral covers. Geometry and Topology. 2012;16(3):1609-1638. doi:10.2140/gt.2012.16.1609
LibreCat: https://research-explorer.ista.ac.at/record/1471
DOI: 10.2140/gt.2012.16.1609

Browning TD, Baier S. Inhomogeneous cubic congruences and rational points on del Pezzo surfaces. Journal fur die Reine und Angewandte Mathematik. 2012;2013(680):1-65. doi:https://doi.org/10.1515/crelle.2012.039
LibreCat: https://research-explorer.ista.ac.at/record/171
DOI: https://doi.org/10.1515/crelle.2012.039

Kicheva A, Cohen M, Briscoe J. Developmental pattern formation: Insights from physics and biology. Science. 2012;338(6104):210-212. doi:10.1126/science.1225182
LibreCat: https://research-explorer.ista.ac.at/record/1725
DOI: 10.1126/science.1225182

Zhang J, Katsaros G, Montalenti F, et al. Monolithic growth of ultrathin Ge nanowires on Si(001) . Physical Review Letters. 2012;109(8). doi:10.1103/PhysRevLett.109.085502
LibreCat: https://research-explorer.ista.ac.at/record/1757
DOI: 10.1103/PhysRevLett.109.085502

Lee E, Jiang X, Aguado R, Katsaros G, Lieber C, De Franceschi S. Zero-bias anomaly in a nanowire quantum dot coupled to superconductors. Physical Review Letters. 2012;109(18). doi:10.1103/PhysRevLett.109.186802
LibreCat: https://research-explorer.ista.ac.at/record/1758
DOI: 10.1103/PhysRevLett.109.186802

Mongillo M, Spathis P, Katsaros G, Gentile P, De Franceschi S. Multifunctional devices and logic gates with undoped silicon nanowires. Nano Letters. 2012;12(6):3074-3079. doi:10.1021/nl300930m
LibreCat: https://research-explorer.ista.ac.at/record/1756
DOI: 10.1021/nl300930m

Mlynek J, Abdumalikov A, Fink JM, et al. Demonstrating W-type entanglement of Dicke states in resonant cavity quantum electrodynamics. Physical Review A - Atomic, Molecular, and Optical Physics. 2012;86(5). doi:10.1103/PhysRevA.86.053838
LibreCat: https://research-explorer.ista.ac.at/record/1783
DOI: 10.1103/PhysRevA.86.053838

Pechal M, Berger S, Abdumalikov A, et al. Geometric phase and nonadiabatic effects in an electronic harmonic oscillator. Physical Review Letters. 2012;108(17). doi:10.1103/PhysRevLett.108.170401
LibreCat: https://research-explorer.ista.ac.at/record/1782
DOI: 10.1103/PhysRevLett.108.170401

Eichler C, Lang C, Fink JM, Govenius J, Filipp S, Wallraff A. Observation of entanglement between itinerant microwave photons and a superconducting qubit. Physical Review Letters. 2012;109(24). doi:10.1103/PhysRevLett.109.240501
LibreCat: https://research-explorer.ista.ac.at/record/1784
DOI: 10.1103/PhysRevLett.109.240501

Siegert S, Cabuy E, Scherf B, et al. Transcriptional code and disease map for adult retinal cell types. Nature Neuroscience. 2012;15(3):487-495. doi:10.1038/nn.3032
LibreCat: https://research-explorer.ista.ac.at/record/1801
DOI: 10.1038/nn.3032

Efremov R, Sazanov LA. The coupling mechanism of respiratory complex i - A structural and evolutionary perspective. Biochimica et Biophysica Acta - Bioenergetics. 2012;1817(10):1785-1795. doi:10.1016/j.bbabio.2012.02.015
LibreCat: https://research-explorer.ista.ac.at/record/1976
DOI: 10.1016/j.bbabio.2012.02.015

Efremov R, Sazanov LA. Structure of Escherichia coli OmpF porin from lipidic mesophase. Journal of Structural Biology. 2012;178(3):311-318. doi:10.1016/j.jsb.2012.03.005
LibreCat: https://research-explorer.ista.ac.at/record/1972
DOI: 10.1016/j.jsb.2012.03.005

Schweizer J, Loose M, Bonny M, Kruse K, Mönch I, Schwille P. Geometry sensing by self-organized protein patterns. PNAS. 2012;109(38):15283-15288. doi:10.1073/pnas.1206953109
LibreCat: https://research-explorer.ista.ac.at/record/1987
DOI: 10.1073/pnas.1206953109

Faust S, Pietrzak KZ, Schipper J. Practical leakage-resilient symmetric cryptography. In: 10.1007/978-3-642-33027-8_13__Conference Proceedings CHES 2012. Vol 7428. Springer; 2012:213-232. doi:10.1007/978-3-642-33027-8_13
LibreCat: https://research-explorer.ista.ac.at/record/2048
DOI: 10.1007/978-3-642-33027-8_13

Heyse S, Kiltz E, Lyubashevsky V, Paar C, Pietrzak KZ. Lapin: An efficient authentication protocol based on ring-LPN. In: 10.1007/978-3-642-34047-5_20__Conference Proceedings FSE 2012. Vol 7549. Springer; 2012:346-365. doi:10.1007/978-3-642-34047-5_20
LibreCat: https://research-explorer.ista.ac.at/record/2049
DOI: 10.1007/978-3-642-34047-5_20

Zhou Q, Zhu H, Huang Q, et al. Deciphering neo-sex and B chromosome evolution by the draft genome of Drosophila albomicans. BMC Genomics. 2012;13(1). doi:10.1186/1471-2164-13-109
LibreCat: https://research-explorer.ista.ac.at/record/2073
DOI: 10.1186/1471-2164-13-109

Hildebrand K, Bickel B, Alexa M. crdbrd: Shape fabrication by sliding planar slices. Computer Graphics Forum. 2012;31(2pt3):583-592. doi:10.1111/j.1467-8659.2012.03037.x
LibreCat: https://research-explorer.ista.ac.at/record/2079
DOI: 10.1111/j.1467-8659.2012.03037.x

Beeler T, Bickel B, Noris G, et al. Coupled 3D reconstruction of sparse facial hair and skin. ACM Transactions on Graphics. 2012;31(4). doi:10.1145/2185520.2185613
LibreCat: https://research-explorer.ista.ac.at/record/2103
DOI: 10.1145/2185520.2185613