Please note that IST 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.

6122 Publications


2016 | Journal Article | IST-REx-ID: 1485 | OA View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1486 | OA
The Bardeen–Cooper–Schrieffer functional of superconductivity and its mathematical properties
C. Hainzl, R. Seiringer, Journal of Mathematical Physics 57 (2016).
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1487 | OA
Coherence between rat sensorimotor system and hippocampus is enhanced during tactile discrimination
N. Grion, A. Akrami, Y. Zuo, F. Stella, M. Diamond, PLoS Biology 14 (2016).
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1488 | OA
Ret and Etv4 promote directed movements of progenitor cells during renal branching morphogenesis
P. Riccio, C. Cebrián, H. Zong, S. Hippenmeyer, F. Costantini, PLoS Biology 14 (2016).
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1489 | OA
Local spectral statistics of Gaussian matrices with correlated entries
O.H. Ajanki, L. Erdös, T.H. Krüger, Journal of Statistical Physics 163 (2016) 280–302.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1480 | OA
Exponential varieties
M. Michałek, B. Sturmfels, C. Uhler, P. Zwiernik, Proceedings of the London Mathematical Society 112 (2016) 27–56.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1478 | OA
Decay of correlations and absence of superfluidity in the disordered Tonks-Girardeau gas
R. Seiringer, S. Warzel, New Journal of Physics 18 (2016).
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1445
Erratum to: On the uncertainty of interdisciplinarity measurements due to incomplete bibliographic data
M. Calatrava Moreno, T. Auzinger, H. Werthner, Scientometrics 107 (2016) 233–234.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1490 | OA
Intralymphatic CCL21 promotes tissue egress of dendritic cells through afferent lymphatic vessels
E. Russo, A. Teijeira, K. Vaahtomeri, A. Willrodt, J. Bloch, M. Nitschké, L. Santambrogio, D. Kerjaschki, M.K. Sixt, C. Halin, Cell Reports 14 (2016) 1723–1734.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1491 | OA
The mean-field approximation and the non-linear Schrödinger functional for trapped Bose gases
M. Lewin, P. Nam, N. Rougerie, Transactions of the American Mathematical Society 368 (2016) 6131–6157.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1492 | OA
Targeted cell elimination reveals an auxin-guided biphasic mode of lateral root initiation
P. Marhavý, J.C. Montesinos López, A. Abuzeineh, D. Van Damme, J. Vermeer, J. Duclercq, H. Rakusova, P. Marhavá, J. Friml, N. Geldner, E. Benková, Genes and Development 30 (2016) 471–483.
View | Files available | DOI | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 1493 | OA
A new method and a new scaling for deriving fermionic mean-field dynamics
S.P. Petrat, P. Pickl, Mathematical Physics, Analysis and Geometry 19 (2016).
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1494
Directed percolation phase transition to sustained turbulence in Couette flow
G.M. Lemoult, L. Shi, K. Avila, S.V. Jalikop, M. Avila, B. Hof, Nature Physics 12 (2016) 254–258.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1496 | OA
Relativistic evaluation of the two-photon decay of the metastable 1s22s2p3P0 state in berylliumlike ions with an effective-potential model
P. Amaro, F. Fratini, L. Safari, J. Machado, M. Guerra, P. Indelicato, J. Santos, Physical Review A - Atomic, Molecular, and Optical Physics 93 (2016).
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1545 | OA
Diagonalization of bosonic quadratic Hamiltonians by Bogoliubov transformations
P. Nam, M.M. Napiórkowski, J. Solovej, Journal of Functional Analysis 270 (2016) 4340–4368.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1552 | OA
The genomic basis of adaptation to the fitness cost of rifampicin resistance in Pseudomonas aeruginosa
Q. Qi, M. Toll Riera, K. Heilbron, G. Preston, R.C. Maclean, Proceedings of the Royal Society of London Series B Biological Sciences 283 (2016).
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1408 | OA
On computability and triviality of well groups
P. Franek, M. Krcál, Discrete & Computational Geometry 56 (2016) 126–164.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1518 | OA
Efficient strategies for calculating blockwise likelihoods under the coalescent
K. Lohse, M. Chmelik, S. Martin, N.H. Barton, Genetics 202 (2016) 775–786.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1521
Structure of bacterial respiratory complex I
J. Berrisford, R. Baradaran, L.A. Sazanov, Biochimica et Biophysica Acta - Bioenergetics 1857 (2016) 892–901.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1522 | OA
The classification of certain linked 3-manifolds in 6-space
S. Avvakumov, Moscow Mathematical Journal 16 (2016) 1–25.
View | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1523 | OA
On topological minors in random simplicial complexes
A. Gundert, U. Wagner, Proceedings of the American Mathematical Society 144 (2016) 1815–1828.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1524 | OA
Efficient reduction of kappa models by static inspection of the rule-set
A. Beica, C.C. Guet, T. Petrov, in:, Springer, 2016, pp. 173–191.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1526 | OA
Lipschitz robustness of timed I/O systems
T.A. Henzinger, J. Otop, R. Samanta, in:, Springer, 2016, pp. 250–267.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1289 | OA
The classification of endoscopy images with persistent homology
O. Dunaeva, H. Edelsbrunner, A. Lukyanov, M. Machin, D. Malkova, R. Kuvaev, S. Kashin, Pattern Recognition Letters 83 (2016) 13–22.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1592
Structure preserving signatures and commitments to group elements
M. Abe, G. Fuchsbauer, J. Groth, K. Haralambiev, M. Ohkubo, Journal of Cryptology 29 (2016) 363–421.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1599 | OA
Polysialylation controls dendritic cell trafficking by regulating chemokine recognition
E. Kiermaier, C. Moussion, C. Veldkamp, R. Gerardy  Schahn, I. de Vries, L. Williams, G. Chaffee, A. Phillips, F. Freiberger, R. Imre, D. Taleski, R. Payne, A. Braun, R. Förster, K. Mechtler, M. Mühlenhoff, B. Volkman, M.K. Sixt, Science 351 (2016) 186–190.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 1597
Quantitative analysis of dendritic cell haptotaxis
J. Schwarz, M.K. Sixt, Methods in Enzymology 570 (2016) 567–581.
View | DOI | PubMed | Europe PMC
 

2016 | Conference Paper | IST-REx-ID: 1164 | OA
Hanani-Tutte for radial planarity II
R. Fulek, M. Pelsmajer, M. Schaefer, in:, Springer, 2016, pp. 468–481.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1608 | OA View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1620 | OA
The external field dependence of the BCS critical temperature
R. Frank, C. Hainzl, R. Seiringer, J. Solovej, Communications in Mathematical Physics 342 (2016) 189–216.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1622 | OA
Fractional Hardy–Lieb–Thirring and related Inequalities for interacting systems
D. Lundholm, P. Nam, F. Portmann, Archive for Rational Mechanics and Analysis 219 (2016) 1343–1382.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1631 | OA
Spread of pedigree versus genetic ancestry in spatially distributed populations
J. Kelleher, A. Etheridge, A. Véber, N.H. Barton, Theoretical Population Biology 108 (2016) 1–12.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1612 | OA
CSP for binary conservative relational structures
A. Kazda, Algebra Universalis 75 (2016) 75–84.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1613 | OA
Modeling Alzheimer's disease with human induced pluripotent stem (iPS) cells
A. Mungenast, S. Siegert, L. Tsai, Molecular and Cellular Neuroscience 73 (2016) 13–31.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1616 | OA
Intrinsic membrane properties determine hippocampal differential firing pattern in vivo in anesthetized rats
J. Kowalski, J. Gan, P.M. Jonas, A. Pernia-Andrade, Hippocampus 26 (2016) 668–682.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1617 | OA
On the discrepancy of jittered sampling
F. Pausinger, S. Steinerberger, Journal of Complexity 33 (2016) 199–216.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1641 | OA
A forward genetic screen for new regulators of auxin mediated degradation of auxin transport proteins in Arabidopsis thaliana
R. Zemová, M. Zwiewka, A. Bielach, H. Robert, J. Friml, Journal of Plant Growth Regulation 35 (2016) 465–476.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1653 | OA
New realizations of somewhere statistically binding hashing and positional accumulators
T. Okamoto, K.Z. Pietrzak, B. Waters, D. Wichs, in:, Springer, 2016, pp. 121–145.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1225 | OA
Practical round-optimal blind signatures in the standard model from weaker assumptions
G. Fuchsbauer, C. Hanser, C. Kamath Hosdurg, D. Slamanig, in:, Springer, 2016, pp. 391–408.
View | Files available | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1148
Adaptive moment closure for parameter inference of biochemical reaction networks
C. Schilling, S. Bogomolov, T.A. Henzinger, A. Podelski, J. Ruess, Biosystems 149 (2016) 15–25.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1662 | OA
Approximation and convergence of the intrinsic volume
H. Edelsbrunner, F. Pausinger, Advances in Mathematics 287 (2016) 674–703.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1705 | OA
Guided search for hybrid systems based on coarse-grained space abstractions
S. Bogomolov, A. Donzé, G. Frehse, R. Grosu, T. Johnson, H. Ladan, A. Podelski, M. Wehrle, International Journal on Software Tools for Technology Transfer 18 (2016) 449–467.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1707 View | DOI
 

2016 | Journal Article | IST-REx-ID: 173 | OA
Square-free values of reducible polynomials
T.D. Browning, A. Booker, Discrete Analysis 8 (2016) 1–18.
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1833 | OA
On the closure of relational models
A. Klimova, T. Rudas, Journal of Multivariate Analysis 143 (2016) 440–452.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1881 | OA
Extremal eigenvalues and eigenvectors of deformed Wigner matrices
J. Lee, K. Schnelli, Probability Theory and Related Fields 164 (2016) 165–241.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1243
Bacterial autoimmunity due to a restriction-modification system
M. Pleska, L. Qian, R. Okura, T. Bergmiller, Y. Wakamoto, E. Kussell, C.C. Guet, Current Biology 26 (2016) 404–409.
View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1125
Evolutionary proccesses in variable emvironments
S. Novak, Evolutionary Proccesses in Variable Emvironments, IST Austria, 2016.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1123
Eliminating higher-multiplicity intersections: an r-fold Whitney trick for the topological Tverberg conjecture
I. Mabillard, Eliminating Higher-Multiplicity Intersections: An r-Fold Whitney Trick for the Topological Tverberg Conjecture, IST Austria, 2016.
View | Files available
 

2016 | Journal Article | IST-REx-ID: 1411 | OA
Untangling two systems of noncrossing curves
J. Matoušek, E. Sedgwick, M. Tancer, U. Wagner, Israel Journal of Mathematics 212 (2016) 37–79.
View | Files available | DOI | Download Preprint (ext.)
 

Search

Filter Publications