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 N, Schreiber F, Dal Co A, et al. Mathematical model. 2017. doi:10.1371/journal.pgen.1007122.s017
View
| Files available
| DOI
2017 | Research Data Reference | IST-REx-ID: 9844
Nikolic N, Schreiber F, Dal Co A, et al. Source data for figures and tables. 2017. doi:10.1371/journal.pgen.1007122.s018
[Published Version]
View
| Files available
| DOI
2017 | Research Data Reference | IST-REx-ID: 9846
Nikolic N, Schreiber F, Dal Co A, et al. Supplementary methods. 2017. doi: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