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.




5473 Publications

2016 | Published | 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.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2016 | Published | Journal Article | IST-REx-ID: 1608 | OA
Anderson transition at 2 dimensional growth rate on antitrees and spectral theory for operators with one propagating channel
C. Sadel, Annales Henri Poincare 17 (2016) 1631–1675.
[Preprint] View | DOI | Download Preprint (ext.)
 
2016 | Published | Journal Article | IST-REx-ID: 1612 | OA
CSP for binary conservative relational structures
A. Kazda, Algebra Universalis 75 (2016) 75–84.
[Preprint] View | DOI | Download Preprint (ext.)
 
2016 | Published | 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.
[Published Version] View | Files available | DOI
 
2016 | Published | Journal Article | IST-REx-ID: 1617 | OA
On the discrepancy of jittered sampling
F. Pausinger, S. Steinerberger, Journal of Complexity 33 (2016) 199–216.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2016 | Published | 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.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2016 | Published | 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.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2016 | Published | 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.
[Published Version] View | Files available | DOI
 
2016 | Published | Conference Paper | IST-REx-ID: 8094 | OA
Self-organized control of an tendon driven arm by differential extrinsic plasticity
G.S. Martius, R. Hostettler, A. Knoll, R. Der, in:, Proceedings of the Artificial Life Conference 2016, MIT Press, 2016, pp. 142–143.
[Published Version] View | Files available | DOI
 
2016 | Published | 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.
[Preprint] View | DOI | Download Preprint (ext.)
 
2016 | Published | 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.
[Preprint] View | DOI | Download Preprint (ext.)
 
2016 | Published | Conference Paper | IST-REx-ID: 1093 | OA
Linear distances between Markov chains
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
[Published Version] View | Files available | DOI
 
2016 | Published | Conference Paper | IST-REx-ID: 1234 | OA
Faster statistical model checking for unbounded temporal properties
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Springer, 2016, pp. 112–129.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2016 | Published | Conference Paper | IST-REx-ID: 1391 | OA
Array folds logic
P. Daca, T.A. Henzinger, A. Kupriyanov, in:, Springer, 2016, pp. 230–248.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2016 | Published | Conference Paper | IST-REx-ID: 1230 | OA
Abstraction-driven concolic testing
P. Daca, A. Gupta, T.A. Henzinger, in:, Springer, 2016, pp. 328–347.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2016 | Published | Conference Paper | IST-REx-ID: 1229 | OA
Offline witness encryption
H.M. Abusalah, G. Fuchsbauer, K.Z. Pietrzak, in:, Springer, 2016, pp. 285–303.
[Submitted Version] View | Files available | DOI
 
2016 | Published | Conference Paper | IST-REx-ID: 1236 | OA
Constrained PRFs for unbounded inputs
H.M. Abusalah, G. Fuchsbauer, K.Z. Pietrzak, in:, Springer, 2016, pp. 413–428.
[Submitted Version] View | Files available | DOI
 
2016 | Published | Conference Paper | IST-REx-ID: 1235 | OA
Constrained PRFs for unbounded inputs with short keys
H.M. Abusalah, G. Fuchsbauer, in:, Springer, 2016, pp. 445–463.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 
2016 | Published | Journal Article | IST-REx-ID: 1358 | OA
Intrinsic limits to gene regulation by global crosstalk
T. Friedlander, R. Prizak, C.C. Guet, N.H. Barton, G. Tkačik, Nature Communications 7 (2016).
[Published Version] View | Files available | DOI
 
2016 | Published | Journal Article | IST-REx-ID: 1096
Actin rings of power
C. Schwayer, M.K. Sikora, J. Slovakova, R. Kardos, C.-P.J. Heisenberg, Developmental Cell 37 (2016) 493–506.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Export / Embed