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.
2023 Publications
2013 |Published| Journal Article | IST-REx-ID: 246
Browning, Timothy D, and Ritabrata Munshi. “Rational Points on Singular Intersections of Quadrics.” Compositio Mathematica. Cambridge University Press, 2013. https://doi.org/10.1112/S0010437X13007185.
View
| DOI
2013 |Published| Journal Article | IST-REx-ID: 2470 | 
Čovanová, Milada, Michael Sauer, Jan Rychtář, Jiří Friml, Jan Petrášek, and Eva Zažímalová. “Overexpression of the Auxin Binding PROTEIN1 Modulates PIN-Dependent Auxin Transport in Tobacco Cells.” PLoS One. Public Library of Science, 2013. https://doi.org/10.1371/journal.pone.0070050.
[Published Version]
View
| Files available
| DOI
2013 |Published| Journal Article | IST-REx-ID: 2478
Budreck, Elaine, Oh Kwon, Jung Jung, Stéphane Baudouin, Albert Thommen, Hye Kim, Yugo Fukazawa, et al. “Neuroligin-1 Controls Synaptic Abundance of NMDA-Type Glutamate Receptors through Extracellular Coupling.” PNAS. National Academy of Sciences, 2013. https://doi.org/10.1073/pnas.1214718110.
View
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 2517 |
Almagor, Shaull, Udi Boker, and Orna Kupferman. “Formalizing and Reasoning about Quality.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-39212-2_3.
[Submitted Version]
View
| Files available
| DOI
2013 |Published| Journal Article | IST-REx-ID: 2690
Budisantoso, Timotheus, Harumi Harada, Naomi Kamasawa, Yugo Fukazawa, Ryuichi Shigemoto, and Ko Matsui. “Evaluation of Glutamate Concentration Transient in the Synaptic Cleft of the Rat Calyx of Held.” Journal of Physiology. Wiley-Blackwell, 2013. https://doi.org/10.1113/jphysiol.2012.241398.
View
| DOI
2013 |Published| Journal Article | IST-REx-ID: 2698 |
Erdös, László, Søren Fournais, and Jan Solovej. “Stability and Semiclassics in Self-Generated Fields.” Journal of the European Mathematical Society. European Mathematical Society, 2013. https://doi.org/10.4171/JEMS/416.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 |Published| Journal Article | IST-REx-ID: 2697 |
Erdös, László, Antti Knowles, Horng Yau, and Jun Yin. “Delocalization and Diffusion Profile for Random Band Matrices.” Communications in Mathematical Physics. Springer, 2013. https://doi.org/10.1007/s00220-013-1773-3.
View
| DOI
| Download (ext.)
2013 |Published| Journal Article | IST-REx-ID: 2782 |
Erdös, László, and Brendan Farrell. “Local Eigenvalue Density for General MANOVA Matrices.” Journal of Statistical Physics. Springer, 2013. https://doi.org/10.1007/s10955-013-0807-8.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 |Published| Journal Article | IST-REx-ID: 2781 |
Erdös, László, Antti Knowles, Horng Yau, and Jun Yin. “Spectral Statistics of Erdős-Rényi Graphs I: Local Semicircle Law.” Annals of Probability. Institute of Mathematical Statistics, 2013. https://doi.org/10.1214/11-AOP734.
View
| DOI
| Download (ext.)
2013 |Published| Journal Article | IST-REx-ID: 2780 |
Erdös, László, Antti Knowles, and Horng Yau. “Averaging Fluctuations in Resolvents of Random Band Matrices.” Annales Henri Poincare. Birkhäuser, 2013. https://doi.org/10.1007/s00023-013-0235-y.
View
| DOI
| Download (ext.)
2013 |Published| Conference Paper | IST-REx-ID: 2807 |
Čadek, Martin, Marek Krcál, Jiří Matoušek, Lukáš Vokřínek, and Uli Wagner. “Extending Continuous Maps: Polynomiality and Undecidability.” In 45th Annual ACM Symposium on Theory of Computing, 595–604. ACM, 2013. https://doi.org/10.1145/2488608.2488683.
[Submitted Version]
View
| Files available
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 2819 |
Chatterjee, Krishnendu, and Vinayak Prabhu. “Quantitative Timed Simulation Functions and Refinement Metrics for Real-Time Systems.” In Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, 1:273–82. Springer, 2013. https://doi.org/10.1145/2461328.2461370.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2013 |Published| Journal Article | IST-REx-ID: 2821 |
Remy, Estelle, Tânia Cabrito, Pawel Baster, Rita Batista, Miguel Teixeira, Jiří Friml, Isabel Sá Correia, and Paula Duque. “A Major Facilitator Superfamily Transporter Plays a Dual Role in Polar Auxin Transport and Drought Stress Tolerance in Arabidopsis.” Plant Cell. American Society of Plant Biologists, 2013. https://doi.org/10.1105/tpc.113.110353.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 |Published| Journal Article | IST-REx-ID: 2824
Chatterjee, Krishnendu, and Vinayak Prabhu. “Synthesis of Memory-Efficient, Clock-Memory Free, and Non-Zeno Safety Controllers for Timed Systems.” Information and Computation. Elsevier, 2013. https://doi.org/10.1016/j.ic.2013.04.003.
View
| DOI
2013 |Published| Journal Article | IST-REx-ID: 2828 |
Kolmogorov, Vladimir, and Stanislav Živný. “The Complexity of Conservative Valued CSPs.” Journal of the ACM. ACM, 2013. https://doi.org/10.1145/2450142.2450146.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 |Published| Journal Article | IST-REx-ID: 2844
Rosquete, Michel, Daniel von Wangenheim, Peter Marhavý, Elke Barbez, Ernst Stelzer, Eva Benková, Alexis Maizel, and Jürgen Kleine Vehn. “An Auxin Transport Mechanism Restricts Positive Orthogravitropism in Lateral Roots.” Current Biology. Cell Press, 2013. https://doi.org/10.1016/j.cub.2013.03.064.
View
| DOI
2013 |Published| Journal Article | IST-REx-ID: 2854 |
Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “Strategy Improvement for Concurrent Reachability and Turn Based Stochastic Safety Games.” Journal of Computer and System Sciences. Elsevier, 2013. https://doi.org/10.1016/j.jcss.2012.12.001.
[Published Version]
View
| Files available
| DOI
2013 |Published| Journal Article | IST-REx-ID: 2857 |
Szobota, Stephanie, Catherine Mckenzie, and Harald L Janovjak. “Optical Control of Ligand-Gated Ion Channels.” Methods in Molecular Biology. Springer, 2013. https://doi.org/10.1007/978-1-62703-351-0_32.
[Submitted Version]
View
| Files available
| DOI
2013 |Published| Journal Article | IST-REx-ID: 2815 |
Edelsbrunner, Herbert, Brittany Terese Fasy, and Günter Rote. “Add Isotropic Gaussian Kernels at Own Risk: More and More Resilient Modes in Higher Dimensions.” Discrete & Computational Geometry. Springer, 2013. https://doi.org/10.1007/s00454-013-9517-x.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2013 |Published| Journal Article | IST-REx-ID: 2939
Chen, Chao, and Michael Kerber. “An Output Sensitive Algorithm for Persistent Homology.” Computational Geometry: Theory and Applications. Elsevier, 2013. https://doi.org/10.1016/j.comgeo.2012.02.010.
View
| Files available
| DOI