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.




5872 Publications

2016 | Published | Conference Paper | IST-REx-ID: 1068 | OA
Chatterjee, Krishnendu, Conditionally optimal algorithms for generalized Büchi Games. 58. 2016
[Published Version] View | Files available | DOI
 
2016 | Published | Conference Paper | IST-REx-ID: 1090 | OA
Chatterjee, Krishnendu, Nested weighted limit-average automata of bounded width. 58. 2016
[Published Version] View | Files available | DOI
 
2016 | Published | Conference Paper | IST-REx-ID: 1438 | OA
Chatterjee, K., Fu, H., Novotný, 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
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2016 | Published | 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. Elsevier. https://doi.org/10.1016/j.artint.2016.01.007
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2016 | Published | Journal Article | IST-REx-ID: 1408 | OA
Franek, P., & Krcál, M. (2016). On computability and triviality of well groups. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-016-9794-2
[Published Version] View | Files available | DOI
 
2016 | Published | Thesis | IST-REx-ID: 1121 | OA
Acar, H. (2016). Selective barriers to horizontal gene transfer. Institute of Science and Technology Austria.
[Published Version] View | Files available
 
2016 | Published | Journal Article | IST-REx-ID: 1197 | OA
Prentice, J., Marre, O., Ioffe, M., Loback, A., Tkačik, G., & Berry, M. (2016). Error-robust modes of the retinal population code. PLoS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1005148
[Published Version] View | Files available | DOI
 
2016 | Published | Conference Paper | IST-REx-ID: 1097 | OA
Du, T., Schulz, A., Zhu, B., Bickel, B., & Matusik, W. (2016). Computational multicopter design (Vol. 35). Presented at the SIGGRAPH Asia: Conference and Exhibition on Computer Graphics and Interactive Techniques in Asia, Macao, China: ACM. https://doi.org/10.1145/2980179.2982427
[Submitted Version] View | Files available | DOI
 
2016 | Published | Conference Paper | IST-REx-ID: 1364 | OA
Miguel Villalba, E., Lepoutre, M., & Bickel, B. (2016). Computational design of stable planar-rod structures (Vol. 35). Presented at the ACM SIGGRAPH, Anaheim, CA, USA: ACM. https://doi.org/10.1145/2897824.2925978
[Preprint] View | Files available | DOI
 
2016 | Published | Conference Paper | IST-REx-ID: 1099 | OA
Malomo, L., Pietroni, N., Bickel, B., & Cignoni, P. (2016). FlexMolds: Automatic design of flexible shells for molding (Vol. 35). Presented at the SIGGRAPH Asia: Conference and Exhibition on Computer Graphics and Interactive Techniques in Asia, Macao, China: ACM. https://doi.org/10.1145/2980179.2982397
[Submitted Version] View | Files available | DOI
 
2016 | Published | Conference Paper | IST-REx-ID: 1349 | OA
Oliveto, P., Paixao, T., Heredia, J., Sudholt, D., & Trubenova, B. (2016). When non-elitism outperforms elitism for crossing fitness valleys. In Proceedings of the Genetic and Evolutionary Computation Conference 2016 (pp. 1163–1170). Denver, CO, USA: ACM. https://doi.org/10.1145/2908812.2908909
[Published Version] View | Files available | DOI
 
2016 | Published | Journal Article | IST-REx-ID: 1359 | OA
Paixao, T., & Barton, N. H. (2016). The effect of gene interactions on the long-term response to selection. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1518830113
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2016 | Published | Journal Article | IST-REx-ID: 1599 | OA
Kiermaier, E., Moussion, C., Veldkamp, C., Gerardy  Schahn, R., de Vries, I., Williams, L., … Sixt, M. K. (2016). Polysialylation controls dendritic cell trafficking by regulating chemokine recognition. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.aad0512
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2016 | Published | 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. https://doi.org/10.1088/1742-6596/691/1/012016
[Published Version] View | Files available | DOI
 
2016 | Published | 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. IOP Publishing. https://doi.org/10.1088/1367-2630/18/3/035002
[Published Version] View | Files available | DOI
 
2016 | Published | Journal Article | IST-REx-ID: 1259 | OA
Bräunlich, G., Hainzl, C., & Seiringer, R. (2016). Bogolubov–Hartree–Fock theory for strongly interacting fermions in the low density limit. Mathematical Physics, Analysis and Geometry. Springer. https://doi.org/10.1007/s11040-016-9209-x
[Published Version] View | Files available | DOI
 
2016 | Published | Journal Article | IST-REx-ID: 1291 | OA
Giuliani, A., & Seiringer, R. (2016). Periodic striped ground states in Ising models with competing interactions. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-016-2665-0
[Published Version] View | Files available | DOI
 
2016 | Published | Journal Article | IST-REx-ID: 1422 | OA
Frank, R., Hainzl, C., Schlein, B., & Seiringer, R. (2016). Incompatibility of time-dependent Bogoliubov–de-Gennes and Ginzburg–Landau equations. Letters in Mathematical Physics. Springer. https://doi.org/10.1007/s11005-016-0847-5
[Published Version] View | Files available | DOI
 
2016 | Published | Journal Article | IST-REx-ID: 1267 | OA
Frank, R., Killip, R., & Nam, P. (2016). Nonexistence of large nuclei in the liquid drop model. Letters in Mathematical Physics. Springer. https://doi.org/10.1007/s11005-016-0860-8
[Published Version] View | Files available | DOI
 
2016 | Published | Conference Paper | IST-REx-ID: 1179 | OA
Pietrzak, K. Z., & Maciej, S. (2016). Pseudoentropy: Lower-bounds for chain rules and transformations (Vol. 9985, pp. 183–203). Presented at the TCC: Theory of Cryptography Conference, Beijing, China: Springer. https://doi.org/10.1007/978-3-662-53641-4_8
[Preprint] View | DOI | Download Preprint (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed