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.
9084 Publications
2013 | Conference Paper | IST-REx-ID: 2315 | 
Seiringer, Robert, Jakob Yngvason, and Valentin Zagrebnov. “Disordered Bose-Einstein Condensates with Interaction,” 610–19. World Scientific Publishing, 2013. https://doi.org/10.1142/9789814449243_0063.
View
| DOI
| Download None (ext.)
| arXiv
2013 | Conference Paper | IST-REx-ID: 2319 |
Frank, Rupert, Christian Hainzl, Robert Seiringer, and Jan Solovej. “ Derivation of Ginzburg-Landau Theory for a One-Dimensional System with Contact Interaction,” 57–88. Springer, 2013. https://doi.org/10.1007/978-3-0348-0531-5_3.
View
| DOI
| Download (ext.)
2013 | Conference Paper | IST-REx-ID: 2328 |
Henzinger, Thomas A, Ali Sezgin, and Viktor Vafeiadis. “Aspect-Oriented Linearizability Proofs.” Lecture Notes in Computer Science. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013. https://doi.org/10.1007/978-3-642-40184-8_18.
[Submitted Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2404 |
Frank, Rupert, Mathieu Lewin, Élliott Lieb, and Robert Seiringer. “A Positive Density Analogue of the Lieb-Thirring Inequality.” Duke Mathematical Journal. Duke University Press, 2013. https://doi.org/10.1215/00127094-2019477.
View
| DOI
| Download (ext.)
2013 | Journal Article | IST-REx-ID: 2406
Seiringer, Robert, Jakob Yngvason, and Valentin Zagrebnov. “Condensation of Interacting Bosons in a Random Potential.” European Physical Journal: Special Topics. Springer, 2013. https://doi.org/10.1140/epjst/e2013-01759-5.
View
| DOI
2013 | Journal Article | IST-REx-ID: 2405 |
Frank, Rupert, Élliott Lieb, and Robert Seiringer. “Symmetry of Bipolaron Bound States for Small Coulomb Repulsion.” Communications in Mathematical Physics. Springer, 2013. https://doi.org/10.1007/s00220-012-1604-y.
View
| DOI
| Download (ext.)
2013 | Journal Article | IST-REx-ID: 2408 |
Grech, Philip, and Robert Seiringer. “The Excitation Spectrum for Weakly Interacting Bosons in a Trap.” Communications in Mathematical Physics. Springer, 2013. https://doi.org/10.1007/s00220-013-1736-8.
View
| DOI
| Download (ext.)
2013 | Journal Article | IST-REx-ID: 2412 |
Kupczok, Anne, and Jonathan P Bollback. “Probabilistic Models for CRISPR Spacer Content Evolution .” BMC Evolutionary Biology. BioMed Central, 2013. https://doi.org/10.1186/1471-2148-13-54.
[Published Version]
View
| Files available
| DOI
2013 | Book Chapter | IST-REx-ID: 2413
Valderrama, Mario, Vicente Botella Soler, and Michel Le Van Quyen. “Neuronal Oscillations Scale up and Scale down the Brain Dynamics .” In Multiscale Analysis and Nonlinear Dynamics: From Genes to the Brain, edited by Misha Meyer and Z. Pesenson. Wiley-VCH, 2013. https://doi.org/10.1002/9783527671632.ch08.
View
| DOI
2013 | Journal Article | IST-REx-ID: 2410 |
Fernandes Redondo, Rodrigo A, Anne Kupczok, Gertraud Stift, and Jonathan P Bollback. “Complete Genome Sequence of the Novel Phage MG-B1 Infecting Bacillus Weihenstephanensis.” Genome Announcements. American Society for Microbiology, 2013. https://doi.org/10.1128/genomeA.00216-13.
[Published Version]
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2447 |
Piskac, Ruzica, Thomas Wies, and Damien Zufferey. “Automating Separation Logic Using SMT.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-39799-8_54.
[Submitted Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2443 |
Simon, Sibu, Martin Kubeš, Pawel Baster, Stéphanie Robert, Petre Dobrev, Jiří Friml, Jan Petrášek, and Eva Zažímalová. “Defining the Selectivity of Processes along the Auxin Response Chain: A Study Using Auxin Analogues.” New Phytologist. Wiley, 2013. https://doi.org/10.1111/nph.12437.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2013 | Conference Paper | IST-REx-ID: 2446 |
Chatterjee, Krishnendu, Andreas Gaiser, and Jan Kretinsky. “Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-39799-8_37.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Conference Paper | IST-REx-ID: 2444 |
Chatterjee, Krishnendu, and Jakub Ła̧Cki. “Faster Algorithms for Markov Decision Processes with Low Treewidth.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-39799-8_36.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2449
Nodzyński, Tomasz, Murguel Feraru, Sibylle Hirsch, Riet De Rycke, Claudiu Nicuales, Jelle Van Leene, Geert De Jaeger, Steffen Vanneste, and Jiří Friml. “Retromer Subunits VPS35A and VPS29 Mediate Prevacuolar Compartment (PVC) Function in Arabidopsis.” Molecular Plant. Cell Press, 2013. https://doi.org/10.1093/mp/sst044.
View
| DOI
2013 | Journal Article | IST-REx-ID: 2452
Barbez, Elke, Martina Laňková, Markéta Pařezová, Alexis Maizel, Eva Zažímalová, Jan Petrášek, Jiří Friml, and Jürgen Kleine Vehn. “Single-Cell-Based System to Monitor Carrier Driven Cellular Auxin Homeostasis.” BMC Plant Biology. BioMed Central, 2013. https://doi.org/10.1186/1471-2229-13-20.
View
| DOI
2013 | Journal Article | IST-REx-ID: 2450
Liu, Junli, Saher Menhi, Jennifer Topping, Jiří Friml, and Keith Lindsey. “Interaction of PLS and PIN and Hormonal Crosstalk in Arabidopsis Root Development.” Frontiers in Plant Science. Frontiers Research Foundation, 2013. https://doi.org/10.3389/fpls.2013.00075.
View
| DOI
2013 | Journal Article | IST-REx-ID: 245 |
Baier, Stephan, and Timothy D Browning. “Inhomogeneous Cubic Congruences and Rational Points on Del Pezzo Surfaces.” Journal Fur Die Reine Und Angewandte Mathematik. Walter de Gruyter, 2013. https://doi.org/10.1515/crelle.2012.039.
View
| DOI
| Download (ext.)
2013 | Journal Article | IST-REx-ID: 2457
Viaene, Tom, Charles Delwiche, Stefan Rensing, and Jiří Friml. “Origin and Evolution of PIN Auxin Transporters in the Green Lineage.” Trends in Plant Science. Cell Press, 2013. https://doi.org/10.1016/j.tplants.2012.08.009.
View
| DOI
2013 | 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 | Journal Article | IST-REx-ID: 2471 |
Sanchez-Romero, Inmaculada, Antonio Ariza, Keith Wilson, Michael Skjøt, Jesper Vind, Leonardo De Maria, Lars Skov, and Jose Sánchez Ruiz. “Mechanism of Protein Kinetic Stabilization by Engineered Disulfide Crosslinks.” PLoS One. Public Library of Science, 2013. https://doi.org/10.1371/journal.pone.0070013.
[Published Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2472 |
Cazzonelli, Christopher, Marleen Vanstraelen, Sibu Simon, Kuide Yin, Ashley Carron Arthur, Nazia Nisar, Gauri Tarle, et al. “Role of the Arabidopsis PIN6 Auxin Transporter in Auxin Homeostasis and Auxin-Mediated Development.” PLoS One. Public Library of Science, 2013. https://doi.org/10.1371/journal.pone.0070069.
[Published Version]
View
| Files available
| DOI
2013 | 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 | Journal Article | IST-REx-ID: 2466 |
Ando, Ryoichi, Nils Thuerey, and Chris Wojtan. “Highly Adaptive Liquid Simulations on Tetrahedral Meshes.” ACM Transactions on Graphics. ACM, 2013. https://doi.org/10.1145/2461912.2461982.
[Submitted Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2467 |
Bernstein, Gilbert, and Chris Wojtan. “Putting Holes in Holey Geometry: Topology Change for Arbitrary Surfaces.” ACM Transactions on Graphics. ACM, 2013. https://doi.org/10.1145/2461912.2462027.
[Submitted Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2468 |
Bojsen-Hansen, Morten, and Chris Wojtan. “Liquid Surface Tracking with Error Compensation.” ACM Transactions on Graphics. ACM, 2013. https://doi.org/10.1145/2461912.2461991.
[Submitted Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2469 |
Maître, Jean-Léon, and Carl-Philipp J Heisenberg. “Three Functions of Cadherins in Cell Adhesion.” Current Biology. Cell Press, 2013. https://doi.org/10.1016/j.cub.2013.06.019.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 247
Browning, Timothy D. “The Lang-Weil Estimate for Cubic Hypersurfaces.” Canadian Mathematical Bulletin. Unknown, 2013. https://doi.org/10.4153/CMB-2011-177-4.
View
| DOI
2013 | Journal Article | IST-REx-ID: 2473 |
Barton, Nicholas H, Alison Etheridge, Jerome Kelleher, and Amandine Véber. “Genetic Hitch-Hiking in Spatially Extended Populations.” Theoretical Population Biology. Elsevier, 2013. https://doi.org/10.1016/j.tpb.2012.12.001.
[Submitted Version]
View
| Files available
| DOI
2013 | 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 | Journal Article | IST-REx-ID: 250 |
De La Bretèche, Régis, and Timothy D Browning. “Density of Châtelet Surfaces Failing the Hasse Principle.” Proceedings of the London Mathematical Society. Oxford University Press, 2013. https://doi.org/10.1112/plms/pdt060.
View
| DOI
| Download (ext.)
2013 | Journal Article | IST-REx-ID: 251
De La Bretèche, Régis, and Timothy D Browning. “Counter Examples to the Hasse Principle among Certain Coflasque Tori.” Journal de Theorie Des Nombres de Bordeaux. Universite de Bordeaux I, 2013. https://doi.org/10.5802/jtnb.857.
View
| DOI
2013 | 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 | Conference Paper | IST-REx-ID: 2518 |
Kolmogorov, Vladimir. “The Power of Linear Programming for Finite-Valued CSPs: A Constructive Characterization,” 7965:625–36. Springer, 2013. https://doi.org/10.1007/978-3-642-39206-1_53.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2516
Lampert, Christoph, Hannes Nickisch, and Stefan Harmeling. “Attribute-Based Classification for Zero-Shot Learning of Object Categories.” IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE, 2013. https://doi.org/10.1109/TPAMI.2013.140.
View
| DOI
2013 | Conference Paper | IST-REx-ID: 2520 |
Quadrianto, Novi, Viktoriia Sharmanska, David Knowles, and Zoubin Ghahramani. “The Supervised IBP: Neighbourhood Preserving Infinite Latent Feature Models.” In Proceedings of the 29th Conference Uncertainty in Artificial Intelligence, 527–36. AUAI Press, 2013.
[Submitted Version]
View
| Files available
2013 | Journal Article | IST-REx-ID: 253
Browning, Timothy D. “Counting Rational Points on Cubic Hypersurfaces: Corrigendum.” Mathematika. Unknown, 2013. https://doi.org/10.1112/S0025579313000132.
View
| DOI
2013 | Journal Article | IST-REx-ID: 2692
Dobi, Alice, Simone Sartori, Daniela Busti, Herman Van Der Putten, Nicolas Singewald, Ryuichi Shigemoto, and Francesco Ferraguti. “Neural Substrates for the Distinct Effects of Presynaptic Group III Metabotropic Glutamate Receptors on Extinction of Contextual Fear Conditioning in Mice.” Neuropharmacology. Elsevier, 2013. https://doi.org/10.1016/j.neuropharm.2012.05.025.
View
| DOI
2013 | Journal Article | IST-REx-ID: 2691
Indriati, Dwi, Naomi Kamasawa, Ko Matsui, Andrea Meredith, Masahiko Watanabe, and Ryuichi Shigemoto. “Quantitative Localization of Cav2.1 (P/Q-Type) Voltage-Dependent Calcium Channels in Purkinje Cells: Somatodendritic Gradient and Distinct Somatic Coclustering with Calcium-Activated Potassium Channels.” Journal of Neuroscience. Society for Neuroscience, 2013. https://doi.org/10.1523/JNEUROSCI.2921-12.2013.
View
| DOI
2013 | 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 | Journal Article | IST-REx-ID: 2693
Booker, Sam, Anna Gross, Daniel Althof, Ryuichi Shigemoto, Bernhard Bettler, Michael Frotscher, Matthew Hearing, et al. “Differential GABAB-Receptor-Mediated Effects in Perisomatic- and Dendrite-Targeting Parvalbumin Interneurons.” Journal of Neuroscience. Society for Neuroscience, 2013. https://doi.org/10.1523/JNEUROSCI.1186-12.2013.
View
| DOI
2013 | 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 | 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 | Conference Paper | IST-REx-ID: 2718 |
Barton, Nicholas H, and Tiago Paixao. “Can Quantitative and Population Genetics Help Us Understand Evolutionary Computation?” In Proceedings of the 15th Annual Conference on Genetic and Evolutionary Computation, 1573–80. ACM, 2013. https://doi.org/10.1145/2463372.2463568.
[Submitted Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2720 |
Long, Hongan, Tiago Paixao, Ricardo Azevedo, and Rebecca Zufall. “Accumulation of Spontaneous Mutations in the Ciliate Tetrahymena Thermophila.” Genetics. Genetics Society of America, 2013. https://doi.org/10.1534/genetics.113.153536.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Conference Paper | IST-REx-ID: 2719
Paixao, Tiago, and Nicholas H Barton. “A Variance Decomposition Approach to the Analysis of Genetic Algorithms.” In Proceedings of the 15th Annual Conference on Genetic and Evolutionary Computation, 845–52. ACM, 2013. https://doi.org/10.1145/2463372.2463470.
View
| DOI
2013 | 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 | 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 | 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 | 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