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.

2880 Publications


2016 | Journal Article | IST-REx-ID: 1426 | OA
Chakra, M., Hilbe, C., & Traulsen, A. (2016). Coevolutionary interactions between farmers and mafia induce host acceptance of avian brood parasites. Royal Society Open Science, 3(5). https://doi.org/10.1098/rsos.160036
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1427 | OA
Lagator, M., Igler, C., Moreno, A., Guet, C. C., & Bollback, J. P. (2016). Epistatic interactions in the arabinose cis-regulatory element. Molecular Biology and Evolution, 33(3), 761–769. https://doi.org/10.1093/molbev/msv269
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1428 | OA
Könenberg, M., Moser, T., Seiringer, R., & Yngvason, J. (2016). Superfluidity and BEC in a Model of Interacting Bosons in a Random Potential. In Journal of Physics: Conference Series (Vol. 691). Shanghai, China: IOP Publishing Ltd. https://doi.org/10.1088/1742-6596/691/1/012016
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1429 | OA
Husko, C., Wulf, M., Lefrançois, S., Combrié, S., Lehoucq, G., De Rossi, A., … Kuipers, L. (2016). Free-carrier-induced soliton fission unveiled by in situ measurements in nanophotonic waveguides. Nature Communications, 7. https://doi.org/10.1038/ncomms11332
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1431 | OA
Tartally, A., Kelager, A., Fürst, M., & Nash, D. (2016). Host plant use drives genetic differentiation in syntopic populations of Maculinea alcon. PeerJ, 2016(3). https://doi.org/10.7717/peerj.1865
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1432 | OA
Mishra, R. K., Kim, S., Guzmán, J., & Jonas, P. M. (2016). Symmetric spike timing-dependent plasticity at CA3–CA3 synapses optimizes storage and recall in autoassociative networks. Nature Communications, 7. https://doi.org/10.1038/ncomms11552
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1434 | OA
Bao, Z., Erdös, L., & Schnelli, K. (2016). Local stability of the free additive convolution. Journal of Functional Analysis, 271(3), 672–719. https://doi.org/10.1016/j.jfa.2016.04.006
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1435 | OA
Guzmán, J., & Gerevich, Z. (2016). P2Y receptors in synaptic transmission and plasticity: Therapeutic potential in cognitive dysfunction. Neural Plasticity, 2016. https://doi.org/10.1155/2016/1207393
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1436 | OA
Bach, V., Breteaux, S., Petrat, S. P., Pickl, P., & Tzaneteas, T. (2016). Kinetic energy estimates for the accuracy of the time-dependent Hartree-Fock approximation with Coulomb interaction. Journal de Mathématiques Pures et Appliquées, 105(1), 1–30. https://doi.org/10.1016/j.matpur.2015.09.003
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1437 | OA
Chatterjee, K., Goharshady, A., Ibsen-Jensen, R., & Pavlogiannis, A. (2016). Algorithms for algebraic path properties in concurrent systems of constant treewidth components (Vol. 20–22, pp. 733–747). Presented at the POPL: Principles of Programming Languages, St. Petersburg, FL, USA: ACM. https://doi.org/10.1145/2837614.2837624
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1438 | OA
Chatterjee, K., Fu, H., Novotny, P., & Hasheminezhad, R. (2016). Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs (Vol. 20–22, pp. 327–342). Presented at the POPL: Principles of Programming Languages, St. Petersburg, FL, USA: ACM. https://doi.org/10.1145/2837614.2837639
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1439 | OA
Dragoi, C., Henzinger, T. A., & Zufferey, D. (2016). PSYNC: A partially synchronous language for fault-tolerant distributed algorithms (Vol. 20–22, pp. 400–415). Presented at the POPL: Principles of Programming Languages, St. Petersburg, FL, USA: ACM. https://doi.org/10.1145/2837614.2837650
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1441 | OA
Gschaider-Reichhart, E., Inglés Prieto, Á., Tichy, A.-M., Mckenzie, C., & Janovjak, H. L. (2016). A phytochrome sensory domain permits receptor activation by red light. Angewandte Chemie - International Edition, 55(21), 6339–6342. https://doi.org/10.1002/anie.201601736
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1446 | OA
Calatrava Moreno, M., Auzinger, T., & Werthner, H. (2016). On the uncertainty of interdisciplinarity measurements due to incomplete bibliographic data. Scientometrics, 107(1), 213–232. https://doi.org/10.1007/s11192-016-1842-4
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1448 | OA
Fathi, M., & Maas, J. (2016). Entropic Ricci curvature bounds for discrete interacting systems. The Annals of Applied Probability, 26(3), 1774–1806. https://doi.org/10.1214/15-AAP1133
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1475 | OA
Toshima, J., Furuya, E., Nagano, M., Kanno, C., Sakamoto, Y., Ebihara, M., … Toshima, J. (2016). Yeast Eps15-like endocytic protein Pan1p regulates the interaction between endocytic vesicles, endosomes and the actin cytoskeleton. ELife, 5(February 2016). https://doi.org/10.7554/eLife.10276
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1476 | OA
Toshima, J., Horikomi, C., Okada, A., Hatori, M., Nagano, M., Masuda, A., … Toshima, J. (2016). Srv2/CAP is required for polarized actin cable assembly and patch internalization during clathrin-mediated endocytosis. Journal of Cell Science, 129(2), 367–379. https://doi.org/10.1242/jcs.176651
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1477 | OA
Chatterjee, K., Chmelik, M., & Tracol, M. (2016). What is decidable about partially observable Markov decision processes with ω-regular objectives. Journal of Computer and System Sciences, 82(5), 878–911. https://doi.org/10.1016/j.jcss.2016.02.009
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1478 | OA
Seiringer, R., & Warzel, S. (2016). Decay of correlations and absence of superfluidity in the disordered Tonks-Girardeau gas. New Journal of Physics, 18(3). https://doi.org/10.1088/1367-2630/18/3/035002
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1479 | OA
Krenn, S., Pietrzak, K. Z., Wadia, A., & Wichs, D. (2016). A counterexample to the chain rule for conditional HILL entropy. Computational Complexity, 25(3), 567–605. https://doi.org/10.1007/s00037-015-0120-9
View | Files available | DOI
 

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

2016 | Journal Article | IST-REx-ID: 1482 | OA
Adibi, M., Yoshida, S., Weijers, D., & Fleck, C. (2016). Centering the organizing center in the Arabidopsis thaliana shoot apical meristem by a combination of cytokinin signaling and self-organization. PLoS One, 11(2). https://doi.org/10.1371/journal.pone.0147830
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1484 | OA
Chen, X., Wu, S., Liu, Z., & Friml, J. (2016). Environmental and endogenous control of cortical microtubule orientation. Trends in Cell Biology, 26(6), 409–419. https://doi.org/10.1016/j.tcb.2016.02.003
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1485 | OA
De Martino, D. (2016). Genome-scale estimate of the metabolic turnover of E. Coli from the energy balance analysis. Physical Biology, 13(1). https://doi.org/10.1088/1478-3975/13/1/016003
View | DOI | Download Preprint (ext.)
 

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

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

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

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

2016 | Journal Article | IST-REx-ID: 1490 | OA
Russo, E., Teijeira, A., Vaahtomeri, K., Willrodt, A., Bloch, J., Nitschké, M., … Halin, C. (2016). Intralymphatic CCL21 promotes tissue egress of dendritic cells through afferent lymphatic vessels. Cell Reports, 14(7), 1723–1734. https://doi.org/10.1016/j.celrep.2016.01.048
View | Files available | DOI
 

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

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

2016 | Journal Article | IST-REx-ID: 1493 | OA
Petrat, S. P., & Pickl, P. (2016). A new method and a new scaling for deriving fermionic mean-field dynamics. Mathematical Physics, Analysis and Geometry, 19(1). https://doi.org/10.1007/s11040-016-9204-2
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1496 | OA
Amaro, P., Fratini, F., Safari, L., Machado, J., Guerra, M., Indelicato, P., & Santos, J. (2016). 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, 93(3). https://doi.org/10.1103/PhysRevA.93.032502
View | DOI | Download Preprint (ext.)
 

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

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

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

2016 | Conference Paper | IST-REx-ID: 1524 | OA
Beica, A., Guet, C. C., & Petrov, T. (2016). Efficient reduction of kappa models by static inspection of the rule-set (Vol. 9271, pp. 173–191). Presented at the HSB: Hybrid Systems Biology, Madrid, Spain: Springer. https://doi.org/10.1007/978-3-319-26916-0_10
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1526 | OA
Henzinger, T. A., Otop, J., & Samanta, R. (2016). Lipschitz robustness of timed I/O systems (Vol. 9583, pp. 250–267). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, St. Petersburg, FL, USA: Springer. https://doi.org/10.1007/978-3-662-49122-5_12
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1529 | OA
Chatterjee, K., Chmelik, M., Gupta, R., & Kanodia, A. (2016). Optimal cost almost-sure reachability in POMDPs. Artificial Intelligence, 234, 26–48. https://doi.org/10.1016/j.artint.2016.01.007
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 100 | OA
Aasen, D., Hell, M., Mishmash, R., Higginbotham, A. P., Danon, J., Leijnse, M., … Alicea, J. (2016). Milestones toward Majorana-based quantum computing. Physical Review X, 6(3). https://doi.org/10.1103/PhysRevX.6.031016
View | Files available | DOI
 

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

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

2016 | Conference Paper | IST-REx-ID: 1068 | OA
Chatterjee, K., Dvorák, W., Henzinger, M., & Loitzenbauer, V. (2016). Conditionally optimal algorithms for generalized Büchi Games (Vol. 58). Presented at the MFCS: Mathematical Foundations of Computer Science (SG), Krakow, Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.MFCS.2016.25
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1069 | OA
Chonev, V. K., Ouaknine, J., & Worrell, J. (2016). On the skolem problem for continuous linear dynamical systems (Vol. 55). Presented at the ICALP: Automata, Languages and Programming, Rome, Italy: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik. https://doi.org/10.4230/LIPIcs.ICALP.2016.100
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1070 | OA
Chatterjee, K., & Doyen, L. (2016). Computation tree logic for synchronization properties (Vol. 55). Presented at the ICALP: Automata, Languages and Programming, Rome, Italy: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik. https://doi.org/10.4230/LIPIcs.ICALP.2016.98
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1071 | OA
Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2016). Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs (Vol. 57). Presented at the ESA: European Symposium on Algorithms, Aarhus, Denmark: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik. https://doi.org/10.4230/LIPIcs.ESA.2016.28
View | Files available | DOI
 

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

2016 | Conference Paper | IST-REx-ID: 1082 | OA
Chalk, M. J., Marre, O., & Tkacik, G. (2016). Relevant sparse codes with variational information bottleneck (Vol. 29, pp. 1965–1973). Presented at the NIPS: Neural Information Processing Systems, Barcelona, Spain: Neural Information Processing Systems.
View | Files available | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1090 | OA
Chatterjee, K., Henzinger, T. A., & Otop, J. (2016). Nested weighted limit-average automata of bounded width (Vol. 58). Presented at the MFCS: Mathematical Foundations of Computer Science (SG), Krakow; Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.MFCS.2016.24
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1093 | OA
Daca, P., Henzinger, T. A., Kretinsky, J., & Petrov, T. (2016). Linear distances between Markov chains (Vol. 59). Presented at the CONCUR: Concurrency Theory, Quebec City; Canada: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2016.20
View | Files available | DOI
 

Filters and Search Terms

oa=1

Search

Filter Publications