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.




3630 Publications

2016 | Journal Article | IST-REx-ID: 1423 | OA
Comparing reactive and memory-one strategies of direct reciprocity
S. Baek, H. Jeong, C. Hilbe, M. Nowak, Scientific Reports 6 (2016).
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1426 | OA
Coevolutionary interactions between farmers and mafia induce host acceptance of avian brood parasites
M. Chakra, C. Hilbe, A. Traulsen, Royal Society Open Science 3 (2016).
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1427 | OA
Epistatic interactions in the arabinose cis-regulatory element
M. Lagator, C. Igler, A. Moreno, C.C. Guet, J.P. Bollback, Molecular Biology and Evolution 33 (2016) 761–769.
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1428 | OA
Superfluidity and BEC in a Model of Interacting Bosons in a Random Potential
M. Könenberg, T. Moser, R. Seiringer, J. Yngvason, in:, Journal of Physics: Conference Series, IOP Publishing Ltd., 2016.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1429 | OA
Free-carrier-induced soliton fission unveiled by in situ measurements in nanophotonic waveguides
C. Husko, M. Wulf, S. Lefrançois, S. Combrié, G. Lehoucq, A. De Rossi, B. Eggleton, L. Kuipers, Nature Communications 7 (2016).
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1431 | OA
Host plant use drives genetic differentiation in syntopic populations of Maculinea alcon
A. Tartally, A. Kelager, M. Fürst, D. Nash, PeerJ 2016 (2016).
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1432 | OA View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1434 | OA
Local stability of the free additive convolution
Z. Bao, L. Erdös, K. Schnelli, Journal of Functional Analysis 271 (2016) 672–719.
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1435 | OA View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1436 | OA
Kinetic energy estimates for the accuracy of the time-dependent Hartree-Fock approximation with Coulomb interaction
V. Bach, S. Breteaux, S.P. Petrat, P. Pickl, T. Tzaneteas, Journal de Mathématiques Pures et Appliquées 105 (2016) 1–30.
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1438 | OA
Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs
K. Chatterjee, H. Fu, P. Novotný, R. Hasheminezhad, in:, ACM, 2016, pp. 327–342.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2016 | Conference Paper | IST-REx-ID: 1439 | OA
PSYNC: A partially synchronous language for fault-tolerant distributed algorithms
C. Dragoi, T.A. Henzinger, D. Zufferey, in:, ACM, 2016, pp. 400–415.
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1440 View | DOI
 
2016 | Journal Article | IST-REx-ID: 1441 | OA
A phytochrome sensory domain permits receptor activation by red light
E. Gschaider-Reichhart, Á. Inglés Prieto, A.-M. Tichy, C. Mckenzie, H.L. Janovjak, Angewandte Chemie - International Edition 55 (2016) 6339–6342.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1448 | OA
Entropic Ricci curvature bounds for discrete interacting systems
M. Fathi, J. Maas, The Annals of Applied Probability 26 (2016) 1774–1806.
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1475 | OA
Yeast Eps15-like endocytic protein Pan1p regulates the interaction between endocytic vesicles, endosomes and the actin cytoskeleton
J. Toshima, E. Furuya, M. Nagano, C. Kanno, Y. Sakamoto, M. Ebihara, D.E. Siekhaus, J. Toshima, ELife 5 (2016).
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1476 | OA
Srv2/CAP is required for polarized actin cable assembly and patch internalization during clathrin-mediated endocytosis
J. Toshima, C. Horikomi, A. Okada, M. Hatori, M. Nagano, A. Masuda, W. Yamamoto, D.E. Siekhaus, J. Toshima, Journal of Cell Science 129 (2016) 367–379.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1477 | OA
What is decidable about partially observable Markov decision processes with ω-regular objectives
K. Chatterjee, M. Chmelik, M. Tracol, Journal of Computer and System Sciences 82 (2016) 878–911.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
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: 1479 | OA
A counterexample to the chain rule for conditional HILL entropy
S. Krenn, K.Z. Pietrzak, A. Wadia, D. Wichs, Computational Complexity 25 (2016) 567–605.
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: 1482 | OA View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1484 | OA
Environmental and endogenous control of cortical microtubule orientation
X. Chen, S. Wu, Z. Liu, J. Friml, Trends in Cell Biology 26 (2016) 409–419.
View | Files available | DOI
 
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: 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: 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 | 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 | 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
 

Search

Filter Publications