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.
7043 Publications
2013 |Published| Journal Article | IST-REx-ID: 2404 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
R. Frank, M. Lewin, É. Lieb, and R. Seiringer, “A positive density analogue of the Lieb-Thirring inequality,” Duke Mathematical Journal, vol. 162, no. 3. Duke University Press, pp. 435–495, 2013.
View
| DOI
| Download (ext.)
2013 |Published| Journal Article | IST-REx-ID: 2405 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
R. Frank, É. Lieb, and R. Seiringer, “Symmetry of bipolaron bound states for small Coulomb repulsion,” Communications in Mathematical Physics, vol. 319, no. 2. Springer, pp. 557–573, 2013.
View
| DOI
| Download (ext.)
2013 |Published| Journal Article | IST-REx-ID: 2408 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
P. Grech and R. Seiringer, “The excitation spectrum for weakly interacting Bosons in a trap,” Communications in Mathematical Physics, vol. 322, no. 2. Springer, pp. 559–591, 2013.
View
| DOI
| Download (ext.)
2013 |Published| Journal Article | IST-REx-ID: 2412 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A. Kupczok and J. P. Bollback, “Probabilistic models for CRISPR spacer content evolution ,” BMC Evolutionary Biology, vol. 13, no. 1. BioMed Central, pp. 54–54, 2013.
[Published Version]
View
| Files available
| DOI
2013 |Published| Book Chapter | IST-REx-ID: 2413
M. Valderrama, V. Botella Soler, and M. Le Van Quyen, “Neuronal oscillations scale up and scale down the brain dynamics ,” in Multiscale Analysis and Nonlinear Dynamics: From Genes to the Brain, M. Meyer and Z. Pesenson, Eds. Wiley-VCH, 2013.
View
| DOI
2013 |Published| Journal Article | IST-REx-ID: 2410 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
R. A. Fernandes Redondo, A. Kupczok, G. Stift, and J. P. Bollback, “Complete genome sequence of the novel phage MG-B1 infecting bacillus weihenstephanensis,” Genome Announcements, vol. 1, no. 3. American Society for Microbiology, 2013.
[Published Version]
View
| Files available
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 2447 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
R. Piskac, T. Wies, and D. Zufferey, “Automating separation logic using SMT,” vol. 8044. Springer, pp. 773–789, 2013.
[Submitted Version]
View
| Files available
| DOI
2013 |Published| Journal Article | IST-REx-ID: 2443 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
S. Simon et al., “Defining the selectivity of processes along the auxin response chain: A study using auxin analogues,” New Phytologist, vol. 200, no. 4. Wiley, pp. 1034–1048, 2013.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2013 |Published| Conference Paper | IST-REx-ID: 2446 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
K. Chatterjee, A. Gaiser, and J. Kretinsky, “Automata with generalized Rabin pairs for probabilistic model checking and LTL synthesis,” vol. 8044. Springer, pp. 559–575, 2013.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 |Published| Conference Paper | IST-REx-ID: 2444 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
K. Chatterjee and J. Ła̧Cki, “Faster algorithms for Markov decision processes with low treewidth,” vol. 8044. Springer, pp. 543–558, 2013.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 |Published| Journal Article | IST-REx-ID: 245 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
S. Baier and T. D. Browning, “Inhomogeneous cubic congruences and rational points on del Pezzo surfaces,” Journal fur die Reine und Angewandte Mathematik, no. 680. Walter de Gruyter, pp. 69–151, 2013.
View
| DOI
| Download (ext.)
2013 |Published| Journal Article | IST-REx-ID: 2471 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
I. Sanchez-Romero et al., “Mechanism of protein kinetic stabilization by engineered disulfide crosslinks,” PLoS One, vol. 8, no. 7. Public Library of Science, 2013.
[Published Version]
View
| Files available
| DOI
2013 |Published| Journal Article | IST-REx-ID: 2472 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
C. Cazzonelli et al., “Role of the Arabidopsis PIN6 auxin transporter in auxin homeostasis and auxin-mediated development,” PLoS One, vol. 8, no. 7. Public Library of Science, 2013.
[Published Version]
View
| Files available
| DOI
2013 |Published| Journal Article | IST-REx-ID: 2470 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
M. Čovanová, M. Sauer, J. Rychtář, J. Friml, J. Petrášek, and E. Zažímalová, “Overexpression of the auxin binding PROTEIN1 modulates PIN-dependent auxin transport in tobacco cells,” PLoS One, vol. 8, no. 7. Public Library of Science, 2013.
[Published Version]
View
| Files available
| DOI