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.
5736 Publications
2016 | Published | Conference Paper | IST-REx-ID: 1205 | 
Jiang, Yu, Safety assured formal model driven design of the multifunction vehicle bus controller. 9995. 2016
[Submitted Version]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1068 |
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 |
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 |
Chatterjee K, Fu H, Novotný P, Hasheminezhad R. Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs. In: Vol 20-22. ACM; 2016:327-342. doi:10.1145/2837614.2837639
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 1529 |
Chatterjee K, Chmelik M, Gupta R, Kanodia A. Optimal cost almost-sure reachability in POMDPs. Artificial Intelligence. 2016;234: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 P, Krcál M. On computability and triviality of well groups. Discrete & Computational Geometry. 2016;56(1):126-164. doi:10.1007/s00454-016-9794-2
[Published Version]
View
| Files available
| DOI
2016 | Published | Thesis | IST-REx-ID: 1121 |
Acar H. Selective barriers to horizontal gene transfer. 2016.
[Published Version]
View
| Files available
2016 | Published | Journal Article | IST-REx-ID: 1197 |
Prentice J, Marre O, Ioffe M, Loback A, Tkačik G, Berry M. Error-robust modes of the retinal population code. PLoS Computational Biology. 2016;12(11). doi:10.1371/journal.pcbi.1005148
[Published Version]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1097 |
Du T, Schulz A, Zhu B, Bickel B, Matusik W. Computational multicopter design. In: Vol 35. ACM; 2016. doi:10.1145/2980179.2982427
[Submitted Version]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1364 |
Miguel Villalba E, Lepoutre M, Bickel B. Computational design of stable planar-rod structures. In: Vol 35. ACM; 2016. doi:10.1145/2897824.2925978
[Preprint]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1099 |
Malomo L, Pietroni N, Bickel B, Cignoni P. FlexMolds: Automatic design of flexible shells for molding. In: Vol 35. ACM; 2016. doi:10.1145/2980179.2982397
[Submitted Version]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1349 |
Oliveto P, Paixao T, Heredia J, Sudholt D, Trubenova B. When non-elitism outperforms elitism for crossing fitness valleys. In: Proceedings of the Genetic and Evolutionary Computation Conference 2016 . ACM; 2016:1163-1170. doi:10.1145/2908812.2908909
[Published Version]
View
| Files available
| DOI
2016 | Published | Journal Article | IST-REx-ID: 1359 |
Paixao T, Barton NH. The effect of gene interactions on the long-term response to selection. PNAS. 2016;113(16):4422-4427. 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 E, Moussion C, Veldkamp C, et al. Polysialylation controls dendritic cell trafficking by regulating chemokine recognition. Science. 2016;351(6269):186-190. 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 M, Moser T, Seiringer R, Yngvason J. Superfluidity and BEC in a Model of Interacting Bosons in a Random Potential. In: Journal of Physics: Conference Series. Vol 691. 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 R, Warzel S. Decay of correlations and absence of superfluidity in the disordered Tonks-Girardeau gas. New Journal of Physics. 2016;18(3). doi:10.1088/1367-2630/18/3/035002
[Published Version]
View
| Files available
| DOI
2016 | Published | Journal Article | IST-REx-ID: 1259 |
Bräunlich G, Hainzl C, Seiringer R. Bogolubov–Hartree–Fock theory for strongly interacting fermions in the low density limit. Mathematical Physics, Analysis and Geometry. 2016;19(2). doi:10.1007/s11040-016-9209-x
[Published Version]
View
| Files available
| DOI
2016 | Published | Journal Article | IST-REx-ID: 1291 |
Giuliani A, Seiringer R. Periodic striped ground states in Ising models with competing interactions. Communications in Mathematical Physics. 2016;347(3):983-1007. doi:10.1007/s00220-016-2665-0
[Published Version]
View
| Files available
| DOI
2016 | Published | Journal Article | IST-REx-ID: 1422 |
Frank R, Hainzl C, Schlein B, Seiringer R. Incompatibility of time-dependent Bogoliubov–de-Gennes and Ginzburg–Landau equations. Letters in Mathematical Physics. 2016;106(7):913-923. doi:10.1007/s11005-016-0847-5
[Published Version]
View
| Files available
| DOI
2016 | Published | Journal Article | IST-REx-ID: 1267 |
Frank R, Killip R, Nam P. Nonexistence of large nuclei in the liquid drop model. Letters in Mathematical Physics. 2016;106(8):1033-1036. doi:10.1007/s11005-016-0860-8
[Published Version]
View
| Files available
| DOI