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.
237 Publications
2022 | Conference Paper | IST-REx-ID: 11476 | 
Alwen, J., Auerbach, B., Cueto Noval, M., Klein, K., Pascual Perez, G., Pietrzak, K. Z., & Walter, M. (2022). CoCoA: Concurrent continuous group key agreement. In Advances in Cryptology – EUROCRYPT 2022 (Vol. 13276, pp. 815–844). Cham: Springer Nature. https://doi.org/10.1007/978-3-031-07085-3_28
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2022 | Journal Article | IST-REx-ID: 11556 |
Kalinov, A., Osinskiy, A. I., Matveev, S. A., Otieno, W., & Brilliantov, N. V. (2022). Direct simulation Monte Carlo for new regimes in aggregation-fragmentation kinetics. Journal of Computational Physics. Elsevier. https://doi.org/10.1016/j.jcp.2022.111439
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Journal Article | IST-REx-ID: 11723 |
Li, L., Chen, H., Alotaibi, S. S., Pěnčík, A., Adamowski, M., Novák, O., & Friml, J. (2022). RALF1 peptide triggers biphasic root growth inhibition upstream of auxin biosynthesis. Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences. https://doi.org/10.1073/pnas.2121058119
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Thesis | IST-REx-ID: 11945 |
Schulz, R. (2022). Chimeric G protein-coupled receptors mimic distinct signaling pathways and modulate microglia function. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11945
[Published Version]
View
| Files available
| DOI
2022 | Conference Paper | IST-REx-ID: 11775 |
Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2022). Abstract monitors for quantitative specifications. In 22nd International Conference on Runtime Verification (Vol. 13498, pp. 200–220). Tbilisi, Georgia: Springer Nature. https://doi.org/10.1007/978-3-031-17196-3_11
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Thesis | IST-REx-ID: 12390 |
Brooks, M. (2022). Translation-invariant quantum systems with effectively broken symmetry. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12390
[Published Version]
View
| Files available
| DOI
2022 | Thesis | IST-REx-ID: 11362 |
Lechner, M. (2022). Learning verifiable representations. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11362
[Published Version]
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 9311 |
Chatterjee, K., Saona Urmeneta, R. J., & Ziliotto, B. (2022). Finite-memory strategies in POMDPs with long-run average objectives. Mathematics of Operations Research. Institute for Operations Research and the Management Sciences. https://doi.org/10.1287/moor.2020.1116
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Journal Article | IST-REx-ID: 11732 |
Henheik, S. J., & Lauritsen, A. B. (2022). The BCS energy gap at high density. Journal of Statistical Physics. Springer Nature. https://doi.org/10.1007/s10955-022-02965-9
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Journal Article | IST-REx-ID: 10842
Köse, S., & Özbudak, F. (2022). Factorization of some polynomials over finite local commutative rings and applications to certain self-dual and LCD codes. Cryptography and Communications. Springer Nature. https://doi.org/10.1007/s12095-022-00557-8
View
| DOI
| WoS