Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

2851 Publications


2012 | Journal Article | IST-REx-ID: 2263 | OA
Liang H, Hippenmeyer S, Ghashghaei H. 2012. A Nestin-cre transgenic mouse is insufficient for recombination in early embryonic neural progenitors. Biology open. 1(12), 1200–1203.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2267 | OA
Preiner R, Jeschke S, Wimmer M. 2012. Auto splats: Dynamic point cloud visualization on the GPU. EGPGV: Eurographics Symposium on Parallel Graphics and Visualization 139–148.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2268 | OA
Auzinger T, Guthe M, Jeschke S. 2012. Analytic anti-aliasing of linear functions on polytopes. EUROGRAPHICS: European Association for Computer Graphics, Computer Graphics Forum, vol. 31. 335–344.
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2316 | OA
Frank R, Lieb É, Seiringer R, Thomas L. 2012. Ground state properties of multi-polaron systems. ICMP: International Congress on Mathematical Physics 477–485.
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2317 | OA
Frank R, Hainzl C, Seiringer R, Solovej J. 2012. Microscopic derivation of the Ginzburg-Landau model. ICMP: International Congress on Mathematical Physics 575–583.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2318 | OA
Seiringer R. 2012. Absence of bound states implies non-negativity of the scattering length. Journal of Spectral Theory. 2(3), 321–328.
View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 2395 | OA
Frank R, Hainzl C, Seiringer R, Solovej J. 2012. Microscopic derivation of Ginzburg-Landau theory. Journal of the American Mathematical Society. 25(3), 667–713.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2396 | OA
Landon B, Seiringer R. 2012. The scattering length at positive temperature. Letters in Mathematical Physics. 100(3), 237–243.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2397 | OA
Hainzl C, Seiringer R. 2012. Low density limit of BCS theory and Bose-Einstein condensation of Fermion pairs. Letters in Mathematical Physics. 100(2), 119–138.
View | DOI | Download (ext.)
 

2012 | Book Review | IST-REx-ID: 2398 | OA
Jakšić V, Ogata Y, Pillet C, Seiringer R. 2012. Quantum hypothesis testing and non-equilibrium statistical mechanics. Reviews in Mathematical Physics. 24(6).
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2400 | OA
Frank R, Lieb É, Seiringer R. 2012. Binding of polarons and atoms at threshold. Communications in Mathematical Physics. 313(2), 405–424.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2401 | OA
Lieb É, Seiringer R. 2012. Further implications of the Bessis-Moussa-Villani conjecture. Journal of Statistical Physics. 149(1), 86–91.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2402 | OA
Frank R, Seiringer R. 2012. Lieb-Thirring inequality for a model of particles with point interactions. Journal of Mathematical Physics. 53(9).
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2403 | OA
Seiringer R, Yngvason J, Zagrebnov V. 2012. Disordered Bose-Einstein condensates with interaction in one dimension. Journal of Statistical Mechanics Theory and Experiment. 2012(11).
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2411 | OA
Ebersberger I, De Matos Simoes R, Kupczok A, Gube M, Kothe E, Voigt K, Von Haeseler A. 2012. A consistent phylogenetic backbone for the fungi. Molecular Biology and Evolution. 29(5), 1319–1334.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 242 | OA
Baier S, Browning TD, Marasingha G, Zhao L. 2012. Averages of shifted convolutions of d3 (n). Proceedings of the Edinburgh Mathematical Society. 55(3), 551–576.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 244 | OA
Browning TD, Haynes A. 2012. Incomplete kloosterman sums and multiplicative inverses in short intervals. International Journal of Number Theory. 9(2), 481–486.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2459 | OA
Zwiewka M, Friml J. 2012. Fluorescence imaging-based forward genetic screens to identify trafficking regulators in plants. Frontiers in Plant Science. 3(May).
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 492 | OA
Galkovskyi T, Mileyko Y, Bucksch A, Moore B, Symonova O, Price C, Topp C, Iyer Pascuzzi A, Zurek P, Fang S, Harer J, Benfey P, Weitz J. 2012. GiA Roots: Software for the high throughput analysis of plant root system architecture. BMC Plant Biology. 12.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 493 | OA
Tangermann M, Müller K, Aertsen A, Birbaumer N, Braun C, Brunner C, Leeb R, Mehring C, Miller K, Müller Putz G, Nolte G, Pfurtscheller G, Preissl H, Schalk G, Schlögl A, Vidaurre C, Waldert S, Blankertz B. 2012. Review of the BCI competition IV. Frontiers in Neuroscience. 6.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 495 | OA
Kruckman A, Rubin S, Sheridan J, Zax B. 2012. A Myhill Nerode theorem for automata with advice. Proceedings GandALF 2012. GandALF: Games, Automata, Logics and Formal Verification, EPTCS, vol. 96. 238–246.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 496 | OA
Rabinovich A, Rubin S. 2012. Interpretations in trees with countably many branches. LICS: Symposium on Logic in Computer Science, LICS,
View | DOI | Download Preprint (ext.)
 

2012 | Conference Paper | IST-REx-ID: 497 | OA
Chatterjee K, Chaubal S, Kamath P. 2012. Faster algorithms for alternating refinement relations. EACSL: European Association for Computer Science Logic, LIPIcs, vol. 16. 167–182.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 498 | OA
Pickup M, Field D, Rowell D, Young A. 2012. Predicting local adaptation in fragmented plant populations: Implications for restoration genetics. Evolutionary Applications. 5(8), 913–924.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 506 | OA
Sixt MK. 2012. Cell migration: Fibroblasts find a new way to get ahead. Journal of Cell Biology. 197(3), 347–349.
View | Files available | DOI
 

2012 | Technical Report | IST-REx-ID: 5377 | OA
Chatterjee K, Velner Y. 2012. Mean-payoff pushdown games, IST Austria, 33p.
View | Files available | DOI
 

2012 | Technical Report | IST-REx-ID: 5378 | OA
Chatterjee K, Chaubal S, Kamath P. 2012. Faster algorithms for alternating refinement relations, IST Austria, 21p.
View | Files available | DOI
 

2012 | Technical Report | IST-REx-ID: 5396 | OA
Korc F, Kolmogorov V, Lampert C. 2012. Approximating marginals using discrete energy minimization, IST Austria, 13p.
View | Files available | DOI
 

2012 | Report | IST-REx-ID: 5398 | OA
Porsche J. 2012. Actual state of research data @ ISTAustria, IST Austria,p.
View | Files available
 

2012 | Book Chapter | IST-REx-ID: 5745 | OA
Gupta A. 2012. Improved Single Pass Algorithms for Resolution Proof Reduction. Automated Technology for Verification and Analysis. ATVA 2012LNCS vol. 7561. 107–121.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 5839 | OA
Biswas R, Sil J. 2012. An Improved Canny Edge Detection Algorithm Based on Type-2 Fuzzy Sets. Procedia Technology. 4, 820–824.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 596 | OA
Bernecky C, Taatjes D. 2012. Activator-mediator binding stabilizes RNA polymerase II orientation within the human mediator-RNA polymerase II-TFIIF assembly. Journal of Molecular Biology. 417(5), 387–394.
View | DOI | Download None (ext.)
 

2012 | Journal Article | IST-REx-ID: 6136 | OA
Busch KE, Laurent P, Soltesz Z, Murphy RJ, Faivre O, Hedwig B, Thomas M, Smith HL, de Bono M. 2012. Tonic signaling from O2 sensors sets neural circuit activity and behavioral state. Nature Neuroscience. 15(4), 581–591.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Preprint | IST-REx-ID: 2696 | OA
Erdös L. 2012. Universality for random matrices and log-gases. ArXiv.
View | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2700 | OA
Erdös L. 2012. Lecture notes on quantum Brownian motion. Les Houches Summer School 2010, Quantum Theory from Small to Large Scales, vol. 95. 3–98.
View | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2715 | OA
Chatterjee K, Joglekar M, Shah N. 2012. Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 18. 461–473.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2848 | OA
Chatterjee K, Zufferey D, Nowak M. 2012. Evolutionary game dynamics in populations with different learners. Journal of Theoretical Biology. 301, 161–173.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 2849 | OA
Edelsbrunner H, Strelkova N. 2012. On the configuration space of Steiner minimal trees. Russian Mathematical Surveys. 67(6), 1167–1168.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2875 | OA
Bielach A, Duclercq J, Marhavy P, Benková E. 2012. Genetic approach towards the identification of auxin - cytokinin crosstalk components involved in root development. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 367(1595), 1469–1478.
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2891 | OA
Boker U, Henzinger TA. 2012. Approximate determinization of quantitative automata. Leibniz International Proceedings in Informatics. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 18. 362–373.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2903 | OA
Edelsbrunner H, Symonova O. 2012. The adaptive topology of a digital image. ISVD: International Symposium on Voronoi Diagrams in Science and Engineering 41–48.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2904 | OA
Pausinger F. 2012. Weak multipliers for generalized van der Corput sequences. Journal de Theorie des Nombres des Bordeaux. 24(3), 729–749.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2916 | OA
Cerny P, Chmelik M, Henzinger TA, Radhakrishna A. 2012. Interface Simulation Distances. Electronic Proceedings in Theoretical Computer Science. GandALF: Games, Automata, Logic, and Formal Verification vol. 96. 29–42.
View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

2012 | Preprint | IST-REx-ID: 2928 | OA
Kolmogorov V, Schoenemann T. 2012. Generalized sequential tree-reweighted message passing. arXiv.
View | Download Preprint (ext.) | arXiv
 

2012 | Report | IST-REx-ID: 2929 | OA
Kolmogorov V. 2012. The power of linear programming for valued CSPs: a constructive characterization, Unknown,p.
View | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2930 | OA
Huber A, Kolmogorov V. 2012. Towards minimizing k-submodular functions. ISCO: International Symposium on Combinatorial Optimization, LNCS, vol. 7422. 451–462.
View | DOI | Download Preprint (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2936 | OA
Chatterjee K, Henzinger TA, Prabhu V. 2012. Finite automata with time delay blocks. roceedings of the tenth ACM international conference on Embedded software. EMSOFT: Embedded Software 43–52.
View | DOI | Download Preprint (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2937 | OA
Almeida J, Barbosa M, Bangerter E, Barthe G, Krenn S, Béguelin S. 2012. Full proof cryptography: Verifiable compilation of efficient zero-knowledge protocols. Proceedings of the 2012 ACM conference on Computer and communications security. CCS: Computer and Communications Security 488–500.
View | DOI | Download Submitted Version (ext.)
 

2012 | Journal Article | IST-REx-ID: 2941 | OA
Dolbilin N, Edelsbrunner H, Musin O. 2012. On the optimality of functionals over triangulations of Delaunay sets. Russian Mathematical Surveys. 67(4), 781–783.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2943 | OA
Hadizadeh Yazdi N, Guet CC, Johnson R, Marko J. 2012. Variation of the folding and dynamics of the Escherichia coli chromosome with growth conditions. Molecular Microbiology. 86(6), 1318–1333.
View | DOI | Download Submitted Version (ext.)
 

2012 | Journal Article | IST-REx-ID: 2946 | OA
Dueck A, Ziegler C, Eichner A, Berezikov E, Meister G. 2012. MicroRNAs associated with the different human Argonaute proteins. Nucleic Acids Research. 40(19), 9850–9862.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2947 | OA
Chatterjee K, Chmelik M, Majumdar R. 2012. Equivalence of games with probabilistic uncertainty and partial observation games. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 7561. 385–399.
View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 2954 | OA
Pernia-Andrade A, Goswami S, Stickler Y, Fröbe U, Schlögl A, Jonas PM. 2012. A deconvolution based method with high sensitivity and temporal resolution for detection of spontaneous synaptic currents in vitro and in vivo. Biophysical Journal. 103(7), 1429–1439.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Conference Paper | IST-REx-ID: 2955 | OA
Chatterjee K, Doyen L. 2012. Partial-observation stochastic games: How to win when belief fails. Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Conference Paper | IST-REx-ID: 2957 | OA
Chatterjee K, Tracol M. 2012. Decidable problems for probabilistic automata on infinite words. Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Journal Article | IST-REx-ID: 2958 | OA
Allen K, Rawlins JN, Bannerman D, Csicsvari JL. 2012. Hippocampal place cells can encode multiple trial-dependent features through rate remapping. Journal of Neuroscience. 32(42), 14752–14766.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 2959 | OA
Uhler C. 2012. Geometry of maximum likelihood estimation in Gaussian graphical models. Annals of Statistics. 40(1), 238–261.
View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 2962 | OA
Aeschbacher S, Beaumont M, Futschik A. 2012. A novel approach for choosing summary statistics in approximate Bayesian computation. Genetics. 192(3), 1027–1047.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 2965 | OA
Danowski P. 2012. Kontext Open Access: Creative Commons. Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen & Bibliothekare. 65(2), 200–212.
View | Files available | Download Published Version (ext.)
 

2012 | Journal Article | IST-REx-ID: 2966 | OA
Cremer S, Suefuji M, Schrempf A, Heinze J. 2012. The dynamics of male-male competition in Cardiocondyla obscurior ants. BMC Ecology. 12.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2968 | OA
Lohse K, Barton NH, Melika G, Stone G. 2012. A likelihood based comparison of population histories in a parasitoid guild. Molecular Ecology. 21(18), 4605–4617.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2969 | OA
Goswami S, Bucurenciu I, Jonas PM. 2012. Miniature IPSCs in hippocampal granule cells are triggered by voltage-gated Ca^(2+) channels via microdomain coupling. Journal of Neuroscience. 32(41), 14294–14304.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 2972 | OA
Chatterjee K, Doyen L. 2012. Energy parity games. Theoretical Computer Science. 458, 49–60.
View | Files available | DOI | arXiv
 

2012 | Conference Paper | IST-REx-ID: 2974 | OA
Jain A, Krenn S, Pietrzak KZ, Tentes A. 2012. Commitments and efficient zero knowledge proofs from learning parity with noise. ASIACRYPT: Theory and Application of Cryptology and Information Security, LNCS, vol. 7658. 663–680.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3115 | OA
Berberich E, Halperin D, Kerber M, Pogalnikova R. 2012. Deconstructing approximate offsets. Discrete & Computational Geometry. 48(4), 964–989.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Journal Article | IST-REx-ID: 3117 | OA
Kolmogorov V. 2012. Minimizing a sum of submodular functions. Discrete Applied Mathematics. 160(15), 2246–2258.
View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 3118 | OA
Bojsen-Hansen M, Li H, Wojtan CJ. 2012. Tracking surfaces with evolving topology. ACM Transactions on Graphics. 31(4).
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3119 | OA
Raveendran K, Thuerey N, Wojtan CJ, Turk G. 2012. Controlling liquids using meshes. Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation. SCA: ACM SIGGRAPH/Eurographics Symposium on Computer animation 255–264.
View | Files available
 

2012 | Journal Article | IST-REx-ID: 3120 | OA
Brown G, Kerber M, Reid M. 2012. Fano 3 folds in codimension 4 Tom and Jerry Part I. Compositio Mathematica. 148(4), 1171–1194.
View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 3121 | OA
Williams C, Chen W, Lee C, Yaeger D, Vyleta N, Smith S. 2012. Coactivation of multiple tightly coupled calcium channels triggers spontaneous release of GABA. Nature Neuroscience. 15(9), 1195–1197.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Conference Paper | IST-REx-ID: 3123 | OA
Yu J, Wojtan CJ, Turk G, Yap C. 2012. Explicit mesh surfaces for particle based fluids. Computer Graphics Forum. EUROGRAPHICS: Conference on European Association for Computer Graphics, Eurographics, vol. 31. 815–824.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3124 | OA
Korc F, Kolmogorov V, Lampert C. 2012. Approximating marginals using discrete energy minimization. ICML: International Conference on Machine Learning, Inferning 2012,
View | Files available
 

2012 | Conference Paper | IST-REx-ID: 3125 | OA
Sharmanska V, Quadrianto N, Lampert C. 2012. Augmented attribute representations. ECCV: European Conference on Computer Vision, LNCS, vol. 7576. 242–255.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3127 | OA
Quadrianto N, Lampert C, Chen C. 2012. The most persistent soft-clique in a set of sampled graphs. Proceedings of the 29th International Conference on Machine Learning. ICML: International Conference on Machine Learning 211–218.
View | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 3128 | OA
Chatterjee K, Doyen L, Henzinger TA. 2012. A survey of partial-observation stochastic parity games. Formal Methods in System Design. 43(2), 268–284.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3129 | OA
Busaryev O, Cabello S, Chen C, Dey T, Wang Y. 2012. Annotating simplices with a homology basis and its applications. SWAT: Symposium and Workshops on Algorithm Theory, LNCS, vol. 7357. 189–200.
View | DOI | Download Preprint (ext.) | arXiv
 

2012 | Journal Article | IST-REx-ID: 3130 | OA
Bergmiller T, Ackermann M, Silander O. 2012. Patterns of evolutionary conservation of essential genes correlate with their compensability. PLoS Genetics. 8(6).
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3131 | OA
Weissman D, Barton NH. 2012. Limits to the rate of adaptive substitution in sexual populations. PLoS Genetics. 8(6).
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3133 | OA
Edelsbrunner H, Kerber M. 2012. Alexander duality for functions: The persistent behavior of land and water and shore. Proceedings of the twenty-eighth annual symposium on Computational geometry . SCG: Symposium on Computational Geometry 249–258.
View | DOI | Download Preprint (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3135 | OA
Brázdil B, Chatterjee K, Kučera A, Novotny P. 2012. Efficient controller synthesis for consumption games with multiple resource types. CAV: Computer Aided Verification, LNCS, vol. 7358. 23–38.
View | DOI | Download Preprint (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3155 | OA
Delahaye B, Fahrenberg U, Henzinger TA, Legay A, Nickovic D. 2012. Synchronous interface theories and time triggered scheduling. FORTE: Formal Techniques for Networked and Distributed Systems & FMOODS: Formal Methods for Open Object-Based Distributed Systems , LNCS, vol. 7273. 203–218.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3157 | OA
Diaz Jr L, Williams R, Wu J, Kinde I, Hecht J, Berlin J, Allen B, Božić I, Reiter J, Nowak M, Kinzler K, Oliner K, Vogelstein B. 2012. The molecular evolution of acquired resistance to targeted EGFR blockade in colorectal cancers. Nature. 486(7404), 537–540.
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 3158 | OA
Schachtner H, Li A, Stevenson D, Calaminus S, Thomas S, Watson S, Sixt MK, Wedlich Söldner R, Strathdee D, Machesky L. 2012. Tissue inducible Lifeact expression allows visualization of actin dynamics in vivo and ex vivo. European Journal of Cell Biology. 91(11–12), 923–929.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 3159 | OA
Mileyko Y, Edelsbrunner H, Price C, Weitz J. 2012. Hierarchical ordering of reticular networks. PLoS One. 7(6).
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 6588 | OA
Pausinger F. 2012. Elementary solutions of the Bernstein problem on two intervals. Journal of Mathematical Physics, Analysis, Geometry. 8(1), 63–78.
View | Download Published Version (ext.) | WoS
 

2012 | Journal Article | IST-REx-ID: 171 | OA
Browning TD, Baier S. 2012. Inhomogeneous cubic congruences and rational points on del Pezzo surfaces. Journal fur die Reine und Angewandte Mathematik. 2013(680), 1–65.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1756 | OA
Mongillo M, Spathis P, Katsaros G, Gentile P, De Franceschi S. 2012. Multifunctional devices and logic gates with undoped silicon nanowires. Nano Letters. 12(6), 3074–3079.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1757 | OA
Zhang J, Katsaros G, Montalenti F, Scopece D, Rezaev R, Mickel C, Rellinghaus B, Miglio L, De Franceschi S, Rastelli A, Schmidt O. 2012. Monolithic growth of ultrathin Ge nanowires on Si(001) . Physical Review Letters. 109(8).
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1758 | OA
Lee E, Jiang X, Aguado R, Katsaros G, Lieber C, De Franceschi S. 2012. Zero-bias anomaly in a nanowire quantum dot coupled to superconductors. Physical Review Letters. 109(18).
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1782 | OA
Pechal M, Berger S, Abdumalikov A, Fink JM, Mlynek J, Steffen L, Wallraff A, Filipp S. 2012. Geometric phase and nonadiabatic effects in an electronic harmonic oscillator. Physical Review Letters. 108(17).
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1783 | OA
Mlynek J, Abdumalikov A, Fink JM, Steffen L, Baur M, Lang C, Van Loo A, Wallraff A. 2012. Demonstrating W-type entanglement of Dicke states in resonant cavity quantum electrodynamics. Physical Review A - Atomic, Molecular, and Optical Physics. 86(5).
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 808 | OA
Vinzenz M, Nemethova M, Schur FK, Mueller J, Narita A, Urban E, Winkler C, Schmeiser C, Koestler S, Rottner K, Resch G, Maéda Y, Small J. 2012. Actin branching in the initiation and maintenance of lamellipodia. Journal of Cell Science. 125(11), 2775–2785.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 922 | OA
Hannezo E, Prost J, Joanny J. 2012. Mechanical instabilities of biological tubes. Physical Review Letters. 109(1).
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 966 | OA
Bieri S, Serbyn M, Senthil T, Lee P. 2012. Paired chiral spin liquid with a Fermi surface in S=1 model on the triangular lattice. Physical Review B - Condensed Matter and Materials Physics. 86(22).
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 1384 | OA
Beyer D, Henzinger TA, Keremoglu M, Wendler P. 2012. Conditional model checking: A technique to pass information between verifiers. Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. FSE: Foundations of Software Engineering
View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 1471 | OA
Hausel T, Pauly C. 2012. Prym varieties of spectral covers. Geometry and Topology. 16(3), 1609–1638.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1472 | OA
De Cataldo M, Hausel T, Migliorini L. 2012. Topology of hitchin systems and Hodge theory of character varieties: The case A 1. Annals of Mathematics. 175(3), 1329–1407.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1056 | OA
Mark M, Haller E, Lauber K, Danzl J, Janisch A, Büchler H, Daley A, Nägerl H. 2012. Preparation and spectroscopy of a metastable mott-insulator state with attractive interactions. Physical Review Letters. 108(21).
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 114 | OA
Waitukaitis SR, Jaeger H. 2012. Solidification of a cornstarch and water suspension. Revista Cubana de Fisica. 29(1E), 1E31-1E33.
View | Files available
 

2012 | Journal Article | IST-REx-ID: 3161 | OA
Vyleta M, Wong J, Magun B. 2012. Suppression of ribosomal function triggers innate immune signaling through activation of the NLRP3 inflammasome. PLoS One. 7(5).
View | Files available | DOI
 

Filters and Search Terms

oa=1

Search

Filter Publications