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.
5046 Publications
2018 | Conference Paper | IST-REx-ID: 79 | 
Arming S, Bartocci E, Chatterjee K, Katoen JP, Sokolova A. 2018. Parameter-independent strategies for pMDPs via POMDPs. QEST: Quantitative Evaluation of Systems, LNCS, vol. 11024, 53–70.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Preprint | IST-REx-ID: 14327 |
Locatello F, Vincent D, Tolstikhin I, Rätsch G, Gelly S, Schölkopf B. Competitive training of mixtures of independent deep generative models. arXiv, 1804.11130.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 | Journal Article | IST-REx-ID: 400 |
Deuchert A, Geisinge A, Hainzl C, Loss M. 2018. Persistence of translational symmetry in the BCS model with radial pair interaction. Annales Henri Poincare. 19(5), 1507–1527.
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Journal Article | IST-REx-ID: 406 |
Bod’Ová K, Mitchell G, Harpaz R, Schneidman E, Tkačik G. 2018. Probabilistic models of individual and collective animal behavior. PLoS One. 13(3).
[Submitted Version]
View
| Files available
| DOI
| WoS
2018 | Journal Article | IST-REx-ID: 457
Pleska M, Lang M, Refardt D, Levin B, Guet CC. 2018. Phage-host population dynamics promotes prophage acquisition in bacteria with innate immunity. Nature Ecology and Evolution. 2(2), 359–366.
View
| Files available
| DOI
| WoS
2018 | Journal Article | IST-REx-ID: 55 |
Pull C, Metzler S, Naderlinger E, Cremer S. 2018. Protection against the lethal side effects of social immunity in ants. Current Biology. 28(19), R1139–R1140.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2018 | Journal Article | IST-REx-ID: 181 |
Erdös L, Krüger TH, Renfrew DT. 2018. Power law decay for systems of randomly coupled differential equations. SIAM Journal on Mathematical Analysis. 50(3), 3271–3290.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
2018 | Journal Article | IST-REx-ID: 322 |
Ganev IV. 2018. Quantizations of multiplicative hypertoric varieties at a root of unity. Journal of Algebra. 506, 92–128.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Research Data Reference | IST-REx-ID: 9831
Bod’Ová K, Mitchell G, Harpaz R, Schneidman E, Tkačik G. 2018. Implementation of the inference method in Matlab, Public Library of Science, 10.1371/journal.pone.0193049.s001.
[Published Version]
View
| Files available
| DOI
2018 | Conference Paper | IST-REx-ID: 142 |
Kong H, Bartocci E, Henzinger TA. 2018. Reachable set over-approximation for nonlinear systems using piecewise barrier tubes. CAV: Computer Aided Verification, LNCS, vol. 10981, 449–467.
[Published Version]
View
| Files available
| DOI
| WoS