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.
5652 Publications
2017 | Published | Journal Article | IST-REx-ID: 466 | 
Chatterjee, Krishnendu, Unifying two views on multiple mean-payoff objectives in Markov decision processes. Logical Methods in Computer Science 13 (2). 2017
[Published Version]
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 467 |
Chatterjee, Krishnendu, Nested weighted automata. ACM Transactions on Computational Logic (TOCL) 18 (4). 2017
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Published | Journal Article | IST-REx-ID: 512 |
Pavlogiannis, Andreas, Amplification on undirected population structures: Comets beat stars. Scientific Reports 7 (1). 2017
[Published Version]
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 514 |
Simonnet, Jean, Activity dependent feedback inhibition may maintain head direction signals in mouse presubiculum. Nature Communications 8. 2017
[Published Version]
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 515 |
Letts, James A, Clarifying the supercomplex: The higher-order organization of the mitochondrial electron transport chain. Nature Structural and Molecular Biology 24 (10). 2017
[Submitted Version]
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 471 |
Daca, Przemyslaw, Faster statistical model checking for unbounded temporal properties. ACM Transactions on Computational Logic 18 (2). 2017
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2017 | Published | Journal Article | IST-REx-ID: 520
Du, Wei, Nonhierarchical flux regulation exposes the fitness burden associated with lactate production in Synechocystis sp. PCC6803. ACS Synthetic Biology 6 (3). 2017
View
| DOI
| PubMed | Europe PMC
2017 | Published | Journal Article | IST-REx-ID: 484 |
Nam, Phan, Bogoliubov correction to the mean-field dynamics of interacting bosons. Advances in Theoretical and Mathematical Physics 21 (3). 2017
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2017 | Published | Journal Article | IST-REx-ID: 483 |
Bourgade, Paul, Universality for a class of random band matrices. Advances in Theoretical and Mathematical Physics 21 (3). 2017
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2017 | Published | Journal Article | IST-REx-ID: 540 |
Khamina, Kseniya, Characterization of host proteins interacting with the lymphocytic choriomeningitis virus L protein. PLoS Pathogens 13 (12). 2017
[Published Version]
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 541 |
Nikolic, Nela, Cell-to-cell variation and specialization in sugar metabolism in clonal bacterial populations. PLoS Genetics 13 (12). 2017
[Published Version]
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 569 |
Spira, Felix, Cytokinesis in vertebrate cells initiates by contraction of an equatorial actomyosin network composed of randomly oriented filaments. eLife 6. 2017
[Published Version]
View
| Files available
| DOI
2017 | Published | Book Chapter | IST-REx-ID: 604 |
Lemeshko, Mikhail, Molecular impurities interacting with a many-particle environment: From ultracold gases to helium nanodroplets. Cold Chemistry: Molecular Scattering and Reactivity Near Absolute Zero 11. 2017
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2017 | Published | Journal Article | IST-REx-ID: 560 |
Gerencser, Mate, On stochastic differential equations with arbitrarily slow convergence rates for strong approximation in two space dimensions. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 473 (2207). 2017
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2017 | Published | Journal Article | IST-REx-ID: 568 |
Franek, Peter, Persistence of zero sets. Homology, Homotopy and Applications 19 (2). 2017
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2017 | Research Data Reference | IST-REx-ID: 9845
Nikolic, Nela, Frank Schreiber, Alma Dal Co, Daniel Kiviet, Tobias Bergmiller, Sten Littmann, Marcel Kuypers, and Martin Ackermann. “Mathematical Model.” Public Library of Science, 2017. https://doi.org/10.1371/journal.pgen.1007122.s017.
View
| Files available
| DOI
2017 | Research Data Reference | IST-REx-ID: 9844
Nikolic, Nela, Frank Schreiber, Alma Dal Co, Daniel Kiviet, Tobias Bergmiller, Sten Littmann, Marcel Kuypers, and Martin Ackermann. “Source Data for Figures and Tables.” Public Library of Science, 2017. https://doi.org/10.1371/journal.pgen.1007122.s018.
[Published Version]
View
| Files available
| DOI
2017 | Research Data Reference | IST-REx-ID: 9846
Nikolic, Nela, Frank Schreiber, Alma Dal Co, Daniel Kiviet, Tobias Bergmiller, Sten Littmann, Marcel Kuypers, and Martin Ackermann. “Supplementary Methods.” Public Library of Science, 2017. https://doi.org/10.1371/journal.pgen.1007122.s016.
[Published Version]
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 613 |
Chait, Remy P, Shaping bacterial population behavior through computer interfaced control of individual cells. Nature Communications 8 (1). 2017
[Published Version]
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 746 |
Aloisi, Elisabetta, Altered surface mGluR5 dynamics provoke synaptic NMDAR dysfunction and cognitive defects in Fmr1 knockout mice. Nature Communications 8 (1). 2017
[Published Version]
View
| Files available
| DOI
| WoS