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.
5368 Publications
2019 | Published | Conference Paper | IST-REx-ID: 6822 | 
Avni, G., Henzinger, T. A., Ibsen-Jensen, R., & Novotny, P. (2019). Bidding games on Markov decision processes. In Proceedings of the 13th International Conference of Reachability Problems (Vol. 11674, pp. 1–12). Brussels, Belgium: Springer. https://doi.org/10.1007/978-3-030-30806-3_1
[Submitted Version]
View
| Files available
| DOI
2019 | Published | Conference Paper | IST-REx-ID: 7231 |
Kong, H., Bartocci, E., Jiang, Y., & Henzinger, T. A. (2019). Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty. In 17th International Conference on Formal Modeling and Analysis of Timed Systems (Vol. 11750, pp. 123–141). Amsterdam, The Netherlands: Springer Nature. https://doi.org/10.1007/978-3-030-29662-9_8
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 7232
Ferrere, T., Maler, O., & Nickovic, D. (2019). Mixed-time signal temporal logic. In 17th International Conference on Formal Modeling and Analysis of Timed Systems (Vol. 11750, pp. 59–75). Amsterdam, The Netherlands: Springer Nature. https://doi.org/10.1007/978-3-030-29662-9_4
View
| DOI
| WoS
2019 | Published | Conference Paper | IST-REx-ID: 7159
Ničković, D., Qin, X., Ferrere, T., Mateis, C., & Deshmukh, J. (2019). Shape expressions for specifying and extracting signal features. In 19th International Conference on Runtime Verification (Vol. 11757, pp. 292–309). Porto, Portugal: Springer Nature. https://doi.org/10.1007/978-3-030-32079-9_17
View
| DOI
| WoS
2019 | Published | Journal Article | IST-REx-ID: 7109
Ferrere, T., Maler, O., Ničković, D., & Pnueli, A. (2019). From real-time logic to timed automata. Journal of the ACM. ACM. https://doi.org/10.1145/3286976
View
| DOI
| WoS
2019 | Published | Journal Article | IST-REx-ID: 12192 |
He, S., Vickers, M., Zhang, J., & Feng, X. (2019). Natural depletion of histone H1 in sex cells causes DNA demethylation, heterochromatin decondensation and transposon activation. ELife. eLife Sciences Publications. https://doi.org/10.7554/elife.42530
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2019 | Published | Journal Article | IST-REx-ID: 12190
Lawrence, E. J., Gao, H., Tock, A. J., Lambing, C., Blackwell, A. R., Feng, X., & Henderson, I. R. (2019). Natural variation in TBP-ASSOCIATED FACTOR 4b controls meiotic crossover and germline transcription in Arabidopsis. Current Biology. Elsevier. https://doi.org/10.1016/j.cub.2019.06.084
View
| DOI
| PubMed | Europe PMC
2019 | Published | Conference Paper | IST-REx-ID: 14193 |
Steenkiste, S. van, Locatello, F., Schmidhuber, J., & Bachem, O. (2019). Are disentangled representations helpful for abstract visual reasoning? In Advances in Neural Information Processing Systems (Vol. 32). Vancouver, Canada.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 14200 |
Locatello, F., Bauer, S., Lucic, M., Rätsch, G., Gelly, S., Schölkopf, B., & Bachem, O. (2019). Challenging common assumptions in the unsupervised learning of disentangled representations. In Proceedings of the 36th International Conference on Machine Learning (Vol. 97, pp. 4114–4124). Long Beach, CA, United States: ML Research Press.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 14197 |
Locatello, F., Abbati, G., Rainforth, T., Bauer, S., Schölkopf, B., & Bachem, O. (2019). On the fairness of disentangled representations. In Advances in Neural Information Processing Systems (Vol. 32, pp. 14611–14624). Vancouver, Canada.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 196 |
Lang, M., & Shkolnikov, M. (2019). Harmonic dynamics of the Abelian sandpile. Proceedings of the National Academy of Sciences. National Academy of Sciences. https://doi.org/10.1073/pnas.1812015116
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 27 |
Amberg, N., Laukoter, S., & Hippenmeyer, S. (2019). Epigenetic cues modulating the generation of cell type diversity in the cerebral cortex. Journal of Neurochemistry. Wiley. https://doi.org/10.1111/jnc.14601
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Published | Journal Article | IST-REx-ID: 405 |
Virosztek, D. (2019). Jointly convex quantum Jensen divergences. Linear Algebra and Its Applications. Elsevier. https://doi.org/10.1016/j.laa.2018.03.002
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 429 |
Ajanki, O. H., Erdös, L., & Krüger, T. H. (2019). Stability of the matrix Dyson equation and random matrices with correlations. Probability Theory and Related Fields. Springer. https://doi.org/10.1007/s00440-018-0835-z
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Published | Journal Article | IST-REx-ID: 439 |
Hausel, T., Mereb, M., & Wong, M. (2019). Arithmetic and representation theory of wild character varieties. Journal of the European Mathematical Society. European Mathematical Society. https://doi.org/10.4171/JEMS/896
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 441 |
Kalinin, N., & Shkolnikov, M. (2019). Tropical formulae for summation over a part of SL(2,Z). European Journal of Mathematics. Springer Nature. https://doi.org/10.1007/s40879-018-0218-0
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 5 |
Ganev, I. V. (2019). The wonderful compactification for quantum groups. Journal of the London Mathematical Society. Wiley. https://doi.org/10.1112/jlms.12193
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Published | Journal Article | IST-REx-ID: 5678 |
Edelsbrunner, H., & Nikitenko, A. (2019). Poisson–Delaunay Mosaics of Order k. Discrete and Computational Geometry. Springer. https://doi.org/10.1007/s00454-018-0049-2
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 5680
Andalo, C., Burrus, M., Paute, S., Lauzeral, C., & Field, D. (2019). Prevalence of legitimate pollinators and nectar robbers and the consequences for fruit set in an Antirrhinum majus hybrid zone. Botany Letters. Taylor and Francis. https://doi.org/10.1080/23818107.2018.1545142
View
| DOI
| WoS
2019 | Published | Journal Article | IST-REx-ID: 5789 |
Petridou, N., Grigolon, S., Salbreux, G., Hannezo, E. B., & Heisenberg, C.-P. J. (2019). Fluidization-mediated tissue spreading by mitotic cell rounding and non-canonical Wnt signalling. Nature Cell Biology. Nature Publishing Group. https://doi.org/10.1038/s41556-018-0247-4
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC