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.

6694 Publications


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: 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: 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: 1529 | OA
Optimal cost almost-sure reachability in POMDPs
K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, Artificial Intelligence 234 (2016) 26–48.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

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: 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: 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 | 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: 1608 | OA View | DOI | Download Preprint (ext.)
 

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: 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: 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 | 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: 100 | OA
Milestones toward Majorana-based quantum computing
D. Aasen, M. Hell, R. Mishmash, A.P. Higginbotham, J. Danon, M. Leijnse, T. Jespersen, J. Folk, C. Marcs, K. Flensberg, J. Alicea, Physical Review X 6 (2016).
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1008
An orthogonal permease–inducer–repressor feedback loop shows bistability
R. Gnügge, L. Dharmarajan, M. Lang, J. Stelling, ACS Synthetic Biology 5 (2016) 1098–1107.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 101 | OA
Exponential protection of zero modes in Majorana islands
S.M. Albrecht, A.P. Higginbotham, T. Jespersen, M. Madsen, F. Kuemmeth, J. Nygård, P. Krogstrup, C. Marcus, Nature 531 (2016) 206–209.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 102 | OA
Approaching a topological phase transition in Majorana nanowires
R. Mishmash, D. Aasen, A.P. Higginbotham, J. Alicea, Physical Review B 93 (2016).
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1057
Coordinate-targeted fluorescence nanoscopy with multiple off states
J.G. Danzl, S. Sidenstein, C. Gregor, N. Urban, P. Ilgen, S. Jakobs, S. Hell, Nature Photonics 10 (2016) 122–128.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1059
Fluorescent rhodamines and fluorogenic carbopyronines for super-resolution STED microscopy in living cells
A. Butkevich, G. Mitronova, S. Sidenstein, J. Klocke, D. Kamin, D. Meineke, E. D’Este, P. Kraemer, J.G. Danzl, V. Belov, S. Hell, Angewandte Chemie - International Edition 55 (2016) 3290–3294.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1060
Multicolour multilevel STED nanoscopy of actin/spectrin organization at synapses
S. Sidenstein, E. D’Este, M. Böhm, J.G. Danzl, V. Belov, S. Hell, Scientific Reports 6 (2016) 1–8.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1068 | OA
Conditionally optimal algorithms for generalized Büchi Games
K. Chatterjee, W. Dvorák, M. Henzinger, V. Loitzenbauer, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1069 | OA
On the skolem problem for continuous linear dynamical systems
V.K. Chonev, J. Ouaknine, J. Worrell, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1070 | OA
Computation tree logic for synchronization properties
K. Chatterjee, L. Doyen, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1071 | OA
Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1081 | OA
Cellular mechanisms for cargo delivery and polarity maintenance at different polar domains in plant cells
Ł. Łangowski, K.T. Wabnik, H. Li, S. Vanneste, S. Naramoto, H. Tanaka, J. Friml, Cell Discovery 2 (2016).
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1082 | OA
Relevant sparse codes with variational information bottleneck
M.J. Chalk, O. Marre, G. Tkačik, in:, Neural Information Processing Systems, 2016, pp. 1965–1973.
View | Files available | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1083
KCTD12 auxiliary proteins modulate kinetics of GABAB receptor-mediated inhibition in Cholecystokinin-containing interneurons
S. Booker, D. Althof, A. Gross, D. Loreth, J. Müller, A. Unger, B. Fakler, A. Varro, M. Watanabe, M. Gassmann, B. Bettler, R. Shigemoto, I. Vida, Á. Kulik, Cerebral Cortex 27 (2016) 2318–2334.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1088
Geometric control and modeling of genome reprogramming
C. Uhler, G.V. Shivashankar, BioArchitecture 6 (2016) 76–84.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1090 | OA
Nested weighted limit-average automata of bounded width
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
View | Files available | DOI
 

2016 | 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.
View | Files available | DOI
 

2016 | Book Chapter | IST-REx-ID: 1094
Immunogold protein localization on grid-glued freeze-fracture replicas
H. Harada, R. Shigemoto, in:, High-Resolution Imaging of Cellular Proteins, Springer, 2016, pp. 203–216.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1095 | OA
Local linearizability for concurrent container-type data structures
A. Haas, T.A. Henzinger, A. Holzer, C. Kirsch, M. Lippautz, H. Payer, A. Sezgin, A. Sokolova, H. Veith, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
View | Files available | DOI
 

2016 | 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