Hashemi, S. A., Mondelli, M., Fazeli, A., Vardy, A., Cioffi, J., &; Goldsmith, A. (2022). Parallelism versus latency in simplified successive-cancellation decoding of polar codes. IEEE Transactions on Wireless Communications. Institute of Electrical and Electronics Engineers.https://doi.org/10.1109/TWC.2021.3125626 
LibreCat: https://research-explorer.ista.ac.at/record/10364
DOI: 10.1109/TWC.2021.3125626
WoS: 000809406400028
arXiv: 2012.13378

Casillas Perez, B. E., Pull, C., Naiser, F., Naderlinger, E., Matas, J., &; Cremer, S. (2022). Early queen infection shapes developmental dynamics and induces long-term disease protection in incipient ant colonies. Ecology Letters. Wiley.https://doi.org/10.1111/ele.13907 
LibreCat: https://research-explorer.ista.ac.at/record/10284
DOI: 10.1111/ele.13907
WoS: 000713396100001
PMID: 34725912

Fulek, R., &; Kyndl, J. (2022). The Z2-Genus of Kuratowski minors. Discrete and Computational Geometry. Springer Nature.https://doi.org/10.1007/s00454-022-00412-w 
LibreCat: https://research-explorer.ista.ac.at/record/11593
DOI: 10.1007/s00454-022-00412-w
WoS: 000825014500001
arXiv: 1803.05085

Agresti, A., Hieber, M., Hussein, A., &; Saal, M. (2022). The stochastic primitive equations with transport noise and turbulent pressure. Stochastics and Partial Differential Equations: Analysis and Computations. Springer Nature.https://doi.org/10.1007/s40072-022-00277-3 
LibreCat: https://research-explorer.ista.ac.at/record/12178
DOI: 10.1007/s40072-022-00277-3
WoS: 000874389000001

Weier, A.-K., Homrich, M., Ebbinghaus, S., Juda, P., Miková, E., Hauschild, R.,https://doi.org/10.1083/jcb.202107134__Kiermaier, E. (2022). Multiple centrosomes enhance migration and immune cell effector functions of mature dendritic cells. Journal of Cell Biology. Rockefeller University Press.https://doi.org/10.1083/jcb.202107134 
LibreCat: https://research-explorer.ista.ac.at/record/12122
DOI: 10.1083/jcb.202107134
WoS: 000932941400001
PMID: 36214847 

Lechner, M. (2022). Learning verifiable representations. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:11362 
LibreCat: https://research-explorer.ista.ac.at/record/11362
DOI: 10.15479/at:ista:11362

Palaia, I., &; Sari, A. (2022). Controlling cluster size in 2D phase-separating binary mixtures with specific interactions. The Journal of Chemical Physics. AIP Publishing.https://doi.org/10.1063/5.0087769 
LibreCat: https://research-explorer.ista.ac.at/record/11400
DOI: 10.1063/5.0087769
WoS: 000797236000004

Brighi, P., Michailidis, A., Kirova, K., Abanin, D. A., &; Serbyn, M. (2022). Localization of a mobile impurity interacting with an Anderson insulator. Physical Review B. American Physical Society.https://doi.org/10.1103/physrevb.105.224208 
LibreCat: https://research-explorer.ista.ac.at/record/11469
DOI: 10.1103/physrevb.105.224208
WoS: 000823050000001
arXiv: 2111.08603

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 
LibreCat: https://research-explorer.ista.ac.at/record/9311
DOI: 10.1287/moor.2020.1116
WoS: 000731918100001
arXiv: 1904.13360

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 
LibreCat: https://research-explorer.ista.ac.at/record/11732
DOI: 10.1007/s10955-022-02965-9
WoS: 000833007200002

Avarikioti, G., Pietrzak, K. Z., Salem, I., Schmid, S., Tiwari, S., &; Yeo, M. X. (2022). Hide &; Seek: Privacy-preserving rebalancing on payment channel networks. In Financial Cryptography and Data Security (Vol. 13411, pp. 358–373). Grenada: Springer Nature.https://doi.org/10.1007/978-3-031-18283-9_17 
LibreCat: https://research-explorer.ista.ac.at/record/12167
DOI: 10.1007/978-3-031-18283-9_17
arXiv: 2110.08848

Doveri, K., Ganty, P., &; Mazzocchi, N. A. (2022). FORQ-based language inclusion formal testing. In Computer Aided Verification (Vol. 13372, pp. 109–129). Haifa, Israel: Springer Nature.https://doi.org/10.1007/978-3-031-13188-2_6 
LibreCat: https://research-explorer.ista.ac.at/record/12302
DOI: 10.1007/978-3-031-13188-2_6
WoS: 000870310500006
arXiv: 2207.13549

Hoffmann, C., Hubádek, P., Kamath, C., Klein, K., &; Pietrzak, K. Z. (2022). Practical statistically-sound proofs of exponentiation in any group. In Advances in Cryptology – CRYPTO 2022 (Vol. 13508, pp. 370–399). Santa Barbara, CA, United States: Springer Nature.https://doi.org/10.1007/978-3-031-15979-4_13 
LibreCat: https://research-explorer.ista.ac.at/record/12176
DOI: 10.1007/978-3-031-15979-4_13
WoS: 000886792700013

Gelashvili, R., Kokoris Kogias, E., Sonnino, A., Spiegelman, A., &; Xiang, Z. (2022). Jolteon and ditto: Network-adaptive efficient consensus with asynchronous fallback. In Financial Cryptography and Data Security (Vol. 13411, pp. 296–315). Radisson Grenada Beach Resort, Grenada: Springer Nature.https://doi.org/10.1007/978-3-031-18283-9_14 
LibreCat: https://research-explorer.ista.ac.at/record/12298
DOI: 10.1007/978-3-031-18283-9_14
arXiv: 2106.10362

Cohen, S., Gelashvili, R., Kokoris Kogias, E., Li, Z., Malkhi, D., Sonnino, A., &; Spiegelman, A. (2022). Be aware of your leaders. In International Conference on Financial Cryptography and Data Security (Vol. 13411, pp. 279–295). Grenada: Springer Nature.https://doi.org/10.1007/978-3-031-18283-9_13 
LibreCat: https://research-explorer.ista.ac.at/record/12168
DOI: 10.1007/978-3-031-18283-9_13
arXiv: 2110.00960

Meggendorfer, T. (2022). PET – A partial exploration tool for probabilistic verification. In 20th International Symposium on Automated Technology for Verification and Analysis (Vol. 13505, pp. 320–326). Virtual: Springer Nature.https://doi.org/10.1007/978-3-031-19992-9_20 
LibreCat: https://research-explorer.ista.ac.at/record/12170
DOI: 10.1007/978-3-031-19992-9_20

Bose, S., Henzinger, T. A., Lehtinen, K., Schewe, S., &; Totzke, P. (2022). History-deterministic timed automata are not determinizable. In 16th International Conference on Reachability Problems (Vol. 13608, pp. 67–76). Kaiserslautern, Germany: Springer Nature.https://doi.org/10.1007/978-3-031-19135-0_5 
LibreCat: https://research-explorer.ista.ac.at/record/12175
DOI: 10.1007/978-3-031-19135-0_5

Lewin, M., Lieb, E. H., &; Seiringer, R. (2022). Improved Lieb–Oxford bound on the indirect and exchange energies. Letters in Mathematical Physics. Springer Nature.https://doi.org/10.1007/s11005-022-01584-5 
LibreCat: https://research-explorer.ista.ac.at/record/12246
DOI: 10.1007/s11005-022-01584-5
WoS: 000854762600001
arXiv: 2203.12473

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 
LibreCat: https://research-explorer.ista.ac.at/record/10842
DOI: 10.1007/s12095-022-00557-8
WoS: 000766422000002

Basilico, B., Ferrucci, L., Ratano, P., Golia, M. T., Grimaldi, A., Rosito, M.,https://doi.org/10.1002/glia.24101__Ragozzino, D. (2022). Microglia control glutamatergic synapses in the adult mouse hippocampus. Glia. Wiley.https://doi.org/10.1002/glia.24101 
LibreCat: https://research-explorer.ista.ac.at/record/10818
DOI: 10.1002/glia.24101
WoS: 000708025800001
PMID: 34661306