Please note that ISTA 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.
9078 Publications
2012 | Journal Article | IST-REx-ID: 2125 | 
Hairer M, Maas J. 2012. A spatial version of the Itô-Stratonovich correction. Annals of Probability. 40(4), 1675–1714.
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 2127 |
Erbar M, Maas J. 2012. Ricci curvature of finite Markov chains via convexity of the entropy. Archive for Rational Mechanics and Analysis. 206(3), 997–1038.
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 2128 |
Maas J, Van Neerven J, Portal P. 2012. Whitney coverings and the tent spaces T 1,q (γ) for the Gaussian measure. Arkiv för Matematik. 50(2), 379–395.
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 2203 |
Lemeshko M, Friedrich B. 2012. Interaction between polar molecules subject to a far-off-resonant optical field: Entangled dipoles up- or down-holding each other. Molecular Physics. 110(15–16), 1873–1881.
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 2201 |
Lemeshko M, Krems R, Weimer H. 2012. Nonadiabatic preparation of spin crystals with ultracold polar molecules. Physical Review Letters. 109(3).
View
| Files available
| DOI
| Download None (ext.)
2012 | Journal Article | IST-REx-ID: 2202 |
Alyabyshev S, Lemeshko M, Krems R. 2012. Sensitive imaging of electromagnetic fields with paramagnetic polar molecules. Physical Review A - Atomic, Molecular, and Optical Physics. 86(1).
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 2263 |
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.
[Published Version]
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 2267 |
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.
[Submitted Version]
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 2268 |
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 | Journal Article | IST-REx-ID: 2302
Henzinger TA, Mateescu M. 2012. The propagation approach for computing biochemical reaction networks. IEEE ACM Transactions on Computational Biology and Bioinformatics. 10(2), 310–322.
View
| DOI
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 2313
Dixon Salazar T, Silhavy J, Udpa N, Schroth J, Bielas S, Schaffer A, Olvera J, Bafna V, Zaki M, Abdel Salam G, Mansour L, Selim L, Abdel Hadi S, Marzouki N, Ben Omran T, Al Saana N, Sönmez F, Celep F, Azam M, Hill K, Collazo A, Fenstermaker A, Novarino G, Akizu N, Garimella K, Sougnez C, Russ C, Gabriel S, Gleeson J. 2012. Exome sequencing can improve diagnosis and alter patient management. Science Translational Medicine. 4(138).
View
| DOI
2012 | Journal Article | IST-REx-ID: 2314
Novarino G, El Fishawy P, Kayserili H, Meguid N, Scott E, Schroth J, Silhavy J, Kara M, Khalil R, Ben Omran T, Ercan Sencicek A, Hashish A, Sanders S, Gupta A, Hashem H, Matern D, Gabriel S, Sweetman L, Rahimi Y, Harris R, State M, Gleeson J. 2012. Mutations in BCKD-kinase lead to a potentially treatable form of autism with epilepsy. Science. 338(6105), 394–397.
View
| DOI
2012 | Journal Article | IST-REx-ID: 2318 |
Seiringer R. 2012. Absence of bound states implies non-negativity of the scattering length. Journal of Spectral Theory. 2(3), 321–328.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 | Conference Paper | IST-REx-ID: 2317 |
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 | Conference Paper | IST-REx-ID: 2316 |
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 | Journal Article | IST-REx-ID: 2395 |
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 |
Landon B, Seiringer R. 2012. The scattering length at positive temperature. Letters in Mathematical Physics. 100(3), 237–243.
View
| DOI
| Download (ext.)
2012 | Book Review | IST-REx-ID: 2398 |
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: 2397 |
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 | Journal Article | IST-REx-ID: 2400 |
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: 2403 |
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: 2402 |
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: 2401 |
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: 2411 |
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.
[Published Version]
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 242 |
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 | Conference Paper | IST-REx-ID: 2440
Čadek M, Krcál M, Matoušek J, Sergeraert F, Vokřínek L, Wagner U. 2012. Computing all maps into a sphere. SODA: Symposium on Discrete Algorithms, 1–10.
View
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 244 |
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 |
Zwiewka M, Friml J. 2012. Fluorescence imaging-based forward genetic screens to identify trafficking regulators in plants. Frontiers in Plant Science. 3(May), 97.
[Published Version]
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 2475
Saito Y, Inoue T, Zhu G, Kimura N, Okada M, Nishimura M, Murayama S, Kaneko S, Shigemoto R, Imoto K, Suzuki T. 2012. Hyperpolarization-activated cyclic nucleotide gated channels: A potential molecular link between epileptic seizures and Aβ generation in Alzheimer’s disease. Molecular Neurodegeneration. 7(1).
View
| DOI
2012 | Journal Article | IST-REx-ID: 2515
Ballesteros Merino C, Lin M, Wu W, Ferrándiz Huertas C, Cabañero M, Watanabe M, Fukazawa Y, Shigemoto R, Maylie J, Adelman J, Luján R. 2012. Developmental profile of SK2 channel expression and function in CA1 neurons. Hippocampus. 22(6), 1467–1480.
View
| DOI
2012 | Journal Article | IST-REx-ID: 2689
Parajuli L, Nakajima C, Kulik Á, Matsui K, Schneider T, Shigemoto R, Fukazawa Y. 2012. Quantitative regional and ultra structural localization of the Ca v2 3 subunit of R type calcium channel in mouse brain. Journal of Neuroscience. 32(39), 13555–13567.
View
| DOI
2012 | Preprint | IST-REx-ID: 2696 |
Erdös L. 2012. Universality for random matrices and log-gases. ArXiv, .
View
| Download (ext.)
2012 | Conference Paper | IST-REx-ID: 2700 |
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 |
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.
[Published Version]
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 10904
Chatterjee K, Randour M, Raskin J-F. 2012. Strategy synthesis for multi-dimensional quantitative objectives. CONCUR 2012 - Concurrency Theory. CONCUR: Conference on Concurrency Theory, LNCS, vol. 7454, 115–131.
[Preprint]
View
| Files available
| DOI
| arXiv
2012 | Conference Paper | IST-REx-ID: 2825
Lampert C. 2012. Dynamic pruning of factor graphs for maximum marginal prediction. NIPS: Neural Information Processing Systems vol. 1, 82–90.
View
2012 | Journal Article | IST-REx-ID: 2848 |
Chatterjee K, Zufferey D, Nowak M. 2012. Evolutionary game dynamics in populations with different learners. Journal of Theoretical Biology. 301, 161–173.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 2849 |
Edelsbrunner H, Strelkova N. 2012. On the configuration space of Steiner minimal trees. Russian Mathematical Surveys. 67(6), 1167–1168.
[Submitted Version]
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 2875 |
Bielach A, Duclercq J, Marhavý 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 |
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.
[Published Version]
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 2903 |
Edelsbrunner H, Symonova O. 2012. The adaptive topology of a digital image. ISVD: International Symposium on Voronoi Diagrams in Science and Engineering, 41–48.
[Submitted Version]
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 2916 |
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.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
2012 | Journal Article | IST-REx-ID: 2911
Edelsbrunner H, Ivanov A, Karasev R. 2012. Open problems in discrete and computational geometry. Automatic Control and Computer Sciences. in print.
View
2012 | Conference Paper | IST-REx-ID: 2930 |
Huber A, Kolmogorov V. 2012. Towards minimizing k-submodular functions. ISCO: International Symposium on Combinatorial Optimization, LNCS, vol. 7422, 451–462.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 | Preprint | IST-REx-ID: 2928 |
Kolmogorov V, Schoenemann T. 2012. Generalized sequential tree-reweighted message passing. arXiv, .
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2012 | Report | IST-REx-ID: 2929 |
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: 2937 |
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.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2012 | Conference Paper | IST-REx-ID: 2936 |
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.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 | Journal Article | IST-REx-ID: 2943 |
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.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)