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.
5776 Publications
2016 | Published | Conference Paper | IST-REx-ID: 1138 | 
Chatterjee, Krishnendu, et al. “Quantitative Automata under Probabilistic Semantics.” Proceedings of the 31st Annual ACM/IEEE Symposium, IEEE, 2016, pp. 76–85, doi:10.1145/2933575.2933588.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Conference Paper | IST-REx-ID: 1140 |
Chatterjee, Krishnendu, et al. “Model and Objective Separation with Conditional Lower Bounds: Disjunction Is Harder than Conjunction.” Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2016, pp. 197–206, doi:10.1145/2933575.2935304.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Conference Paper | IST-REx-ID: 1093 |
Daca, Przemyslaw, et al. Linear Distances between Markov Chains. Vol. 59, 20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:10.4230/LIPIcs.CONCUR.2016.20.
[Published Version]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1227 |
Kong, Hui, et al. Discrete Abstraction of Multiaffine Systems. Vol. 9957, Springer, 2016, pp. 128–44, doi:10.1007/978-3-319-47151-8_9.
[Submitted Version]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1438 |
Chatterjee, Krishnendu, et al. Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs. Vol. 20–22, ACM, 2016, pp. 327–42, doi:10.1145/2837614.2837639.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 1529 |
Chatterjee, Krishnendu, et al. “Optimal Cost Almost-Sure Reachability in POMDPs.” Artificial Intelligence, vol. 234, Elsevier, 2016, pp. 26–48, doi:10.1016/j.artint.2016.01.007.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 1408 |
Franek, Peter, and Marek Krcál. “On Computability and Triviality of Well Groups.” Discrete & Computational Geometry, vol. 56, no. 1, Springer, 2016, pp. 126–64, doi:10.1007/s00454-016-9794-2.
[Published Version]
View
| Files available
| DOI
2016 | Published | Thesis | IST-REx-ID: 1121 |
Acar, Hande. Selective Barriers to Horizontal Gene Transfer. Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
2016 | Published | Journal Article | IST-REx-ID: 1197 |
Prentice, Jason, et al. “Error-Robust Modes of the Retinal Population Code.” PLoS Computational Biology, vol. 12, no. 11, e1005855, Public Library of Science, 2016, doi:10.1371/journal.pcbi.1005148.
[Published Version]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1097 |
Du, Tao, et al. Computational Multicopter Design. Vol. 35, no. 6, 227, ACM, 2016, doi:10.1145/2980179.2982427.
[Submitted Version]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1364 |
Miguel Villalba, Eder, et al. Computational Design of Stable Planar-Rod Structures. Vol. 35, no. 4, 86, ACM, 2016, doi:10.1145/2897824.2925978.
[Preprint]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1099 |
Malomo, Luigi, et al. FlexMolds: Automatic Design of Flexible Shells for Molding. Vol. 35, no. 6, 223, ACM, 2016, doi:10.1145/2980179.2982397.
[Submitted Version]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1349 |
Oliveto, Pietro, et al. “When Non-Elitism Outperforms Elitism for Crossing Fitness Valleys.” Proceedings of the Genetic and Evolutionary Computation Conference 2016 , ACM, 2016, pp. 1163–70, doi:10.1145/2908812.2908909.
[Published Version]
View
| Files available
| DOI
2016 | Published | Journal Article | IST-REx-ID: 1359 |
Paixao, Tiago, and Nicholas H. Barton. “The Effect of Gene Interactions on the Long-Term Response to Selection.” PNAS, vol. 113, no. 16, National Academy of Sciences, 2016, pp. 4422–27, doi:10.1073/pnas.1518830113.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2016 | Published | Journal Article | IST-REx-ID: 1599 |
Kiermaier, Eva, et al. “Polysialylation Controls Dendritic Cell Trafficking by Regulating Chemokine Recognition.” Science, vol. 351, no. 6269, American Association for the Advancement of Science, 2016, pp. 186–90, doi:10.1126/science.aad0512.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2016 | Published | Conference Paper | IST-REx-ID: 1428 |
Könenberg, Martin, et al. “Superfluidity and BEC in a Model of Interacting Bosons in a Random Potential.” Journal of Physics: Conference Series, vol. 691, no. 1, 012016, IOP Publishing, 2016, doi:10.1088/1742-6596/691/1/012016.
[Published Version]
View
| Files available
| DOI
2016 | Published | Journal Article | IST-REx-ID: 1478 |
Seiringer, Robert, and Simone Warzel. “Decay of Correlations and Absence of Superfluidity in the Disordered Tonks-Girardeau Gas.” New Journal of Physics, vol. 18, no. 3, 035002, IOP Publishing, 2016, doi:10.1088/1367-2630/18/3/035002.
[Published Version]
View
| Files available
| DOI
2016 | Published | Journal Article | IST-REx-ID: 1259 |
Bräunlich, Gerhard, et al. “Bogolubov–Hartree–Fock Theory for Strongly Interacting Fermions in the Low Density Limit.” Mathematical Physics, Analysis and Geometry, vol. 19, no. 2, 13, Springer, 2016, doi:10.1007/s11040-016-9209-x.
[Published Version]
View
| Files available
| DOI
2016 | Published | Journal Article | IST-REx-ID: 1291 |
Giuliani, Alessandro, and Robert Seiringer. “Periodic Striped Ground States in Ising Models with Competing Interactions.” Communications in Mathematical Physics, vol. 347, no. 3, Springer, 2016, pp. 983–1007, doi:10.1007/s00220-016-2665-0.
[Published Version]
View
| Files available
| DOI
2016 | Published | Journal Article | IST-REx-ID: 1422 |
Frank, Rupert, et al. “Incompatibility of Time-Dependent Bogoliubov–de-Gennes and Ginzburg–Landau Equations.” Letters in Mathematical Physics, vol. 106, no. 7, Springer, 2016, pp. 913–23, doi:10.1007/s11005-016-0847-5.
[Published Version]
View
| Files available
| DOI