Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
6161 Publications
2016 | Published | Conference Paper | IST-REx-ID: 1526 | 
T. A. Henzinger, J. Otop, and R. Samanta, “Lipschitz robustness of timed I/O systems,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, St. Petersburg, FL, USA, 2016, vol. 9583, pp. 250–267.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 1529 |
K. Chatterjee, M. Chmelik, R. Gupta, and A. Kanodia, “Optimal cost almost-sure reachability in POMDPs,” Artificial Intelligence, vol. 234. Elsevier, pp. 26–48, 2016.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 1545 |
P. Nam, M. M. Napiórkowski, and J. Solovej, “Diagonalization of bosonic quadratic Hamiltonians by Bogoliubov transformations,” Journal of Functional Analysis, vol. 270, no. 11. Academic Press, pp. 4340–4368, 2016.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 1597
J. Schwarz and M. K. Sixt, “Quantitative analysis of dendritic cell haptotaxis,” Methods in Enzymology, vol. 570. Elsevier, pp. 567–581, 2016.
View
| DOI
| WoS
| PubMed | Europe PMC
2016 | Published | Journal Article | IST-REx-ID: 1518 |
K. Lohse, M. Chmelik, S. Martin, and N. H. Barton, “Efficient strategies for calculating blockwise likelihoods under the coalescent,” Genetics, vol. 202, no. 2. Genetics Society of America, pp. 775–786, 2016.
[Preprint]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2016 | Published | Journal Article | IST-REx-ID: 1493 |
S. P. Petrat and P. Pickl, “A new method and a new scaling for deriving fermionic mean-field dynamics,” Mathematical Physics, Analysis and Geometry, vol. 19, no. 1. Springer, 2016.
[Published Version]
View
| Files available
| DOI
| WoS
2016 | Published | Journal Article | IST-REx-ID: 1492 |
P. Marhavý et al., “Targeted cell elimination reveals an auxin-guided biphasic mode of lateral root initiation,” Genes and Development, vol. 30, no. 4. Cold Spring Harbor Laboratory Press, pp. 471–483, 2016.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2016 | Published | Journal Article | IST-REx-ID: 1490 |
E. Russo et al., “Intralymphatic CCL21 promotes tissue egress of dendritic cells through afferent lymphatic vessels,” Cell Reports, vol. 14, no. 7. Cell Press, pp. 1723–1734, 2016.
[Published Version]
View
| Files available
| DOI
| WoS
2016 | Published | Journal Article | IST-REx-ID: 1496 |
P. Amaro et al., “Relativistic evaluation of the two-photon decay of the metastable 1s22s2p3P0 state in berylliumlike ions with an effective-potential model,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 93, no. 3. American Physical Society, 2016.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 1491 |
M. Lewin, P. Nam, and N. Rougerie, “The mean-field approximation and the non-linear Schrödinger functional for trapped Bose gases,” Transactions of the American Mathematical Society, vol. 368, no. 9. American Mathematical Society, pp. 6131–6157, 2016.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 1523 |
A. Gundert and U. Wagner, “On topological minors in random simplicial complexes,” Proceedings of the American Mathematical Society, vol. 144, no. 4. American Mathematical Society, pp. 1815–1828, 2016.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 1488 |
P. Riccio, C. Cebrián, H. Zong, S. Hippenmeyer, and F. Costantini, “Ret and Etv4 promote directed movements of progenitor cells during renal branching morphogenesis,” PLoS Biology, vol. 14, no. 2. Public Library of Science, 2016.
[Published Version]
View
| Files available
| DOI
| WoS
2016 | Published | Journal Article | IST-REx-ID: 1487 |
N. Grion, A. Akrami, Y. Zuo, F. Stella, and M. Diamond, “Coherence between rat sensorimotor system and hippocampus is enhanced during tactile discrimination,” PLoS Biology, vol. 14, no. 2. Public Library of Science, 2016.
[Published Version]
View
| Files available
| DOI
| WoS
2016 | Published | Journal Article | IST-REx-ID: 1489 |
O. H. Ajanki, L. Erdös, and T. H. Krüger, “Local spectral statistics of Gaussian matrices with correlated entries,” Journal of Statistical Physics, vol. 163, no. 2. Springer, pp. 280–302, 2016.
[Published Version]
View
| Files available
| DOI
| WoS
2016 | Published | Journal Article | IST-REx-ID: 1486 |
C. Hainzl and R. Seiringer, “The Bardeen–Cooper–Schrieffer functional of superconductivity and its mathematical properties,” Journal of Mathematical Physics, vol. 57, no. 2. American Institute of Physics, 2016.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 1479 |
S. Krenn, K. Z. Pietrzak, A. Wadia, and D. Wichs, “A counterexample to the chain rule for conditional HILL entropy,” Computational Complexity, vol. 25, no. 3. Springer, pp. 567–605, 2016.
[Submitted Version]
View
| Files available
| DOI
| WoS
2016 | Published | Journal Article | IST-REx-ID: 1482 |
M. Adibi, S. Yoshida, D. Weijers, and C. Fleck, “Centering the organizing center in the Arabidopsis thaliana shoot apical meristem by a combination of cytokinin signaling and self-organization,” PLoS One, vol. 11, no. 2. Public Library of Science, 2016.
[Published Version]
View
| Files available
| DOI
| WoS