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.
5025 Publications
2022 |Published| Journal Article | IST-REx-ID: 10945 | 
pH-dependent coloring of combination effect pigments with anthocyanins from Brassica oleracea var. capitata F. rubra
M.O. Çoruh, G. Gündüz, Ü. Çolak, B. Maviş, Colorants 1 (2022) 149–164.
[Published Version]
View
| Files available
| DOI
M.O. Çoruh, G. Gündüz, Ü. Çolak, B. Maviş, Colorants 1 (2022) 149–164.
2022 |Published| Journal Article | IST-REx-ID: 9955
Change in the neurochemical signature and morphological development of the parvocellular isthmic projection to the avian tectum
R. Reyes‐Pinto, J.L. Ferrán, T.A. Vega Zuniga, C. González‐Cabrera, H. Luksch, J. Mpodozis, L. Puelles, G.J. Marín, Journal of Comparative Neurology 530 (2022) 553–573.
View
| DOI
| WoS
| PubMed | Europe PMC
R. Reyes‐Pinto, J.L. Ferrán, T.A. Vega Zuniga, C. González‐Cabrera, H. Luksch, J. Mpodozis, L. Puelles, G.J. Marín, Journal of Comparative Neurology 530 (2022) 553–573.
2022 |Published| Journal Article | IST-REx-ID: 10364 |
Parallelism versus latency in simplified successive-cancellation decoding of polar codes
S.A. Hashemi, M. Mondelli, A. Fazeli, A. Vardy, J. Cioffi, A. Goldsmith, IEEE Transactions on Wireless Communications 21 (2022) 3909–3920.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
S.A. Hashemi, M. Mondelli, A. Fazeli, A. Vardy, J. Cioffi, A. Goldsmith, IEEE Transactions on Wireless Communications 21 (2022) 3909–3920.
2022 |Published| Journal Article | IST-REx-ID: 10284 |
Early queen infection shapes developmental dynamics and induces long-term disease protection in incipient ant colonies
B.E. Casillas Perez, C. Pull, F. Naiser, E. Naderlinger, J. Matas, S. Cremer, Ecology Letters 25 (2022) 89–100.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
B.E. Casillas Perez, C. Pull, F. Naiser, E. Naderlinger, J. Matas, S. Cremer, Ecology Letters 25 (2022) 89–100.
2022 |Published| Journal Article | IST-REx-ID: 11593 |
The Z2-Genus of Kuratowski minors
R. Fulek, J. Kynčl, Discrete and Computational Geometry 68 (2022) 425–447.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
R. Fulek, J. Kynčl, Discrete and Computational Geometry 68 (2022) 425–447.
2022 |Epub ahead of print| Journal Article | IST-REx-ID: 12178 |
The stochastic primitive equations with transport noise and turbulent pressure
A. Agresti, M. Hieber, A. Hussein, M. Saal, Stochastics and Partial Differential Equations: Analysis and Computations (2022).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
A. Agresti, M. Hieber, A. Hussein, M. Saal, Stochastics and Partial Differential Equations: Analysis and Computations (2022).
2022 |Published| Thesis | IST-REx-ID: 11362 |
Learning verifiable representations
M. Lechner, Learning Verifiable Representations, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
M. Lechner, Learning Verifiable Representations, Institute of Science and Technology Austria, 2022.
2022 |Published| Journal Article | IST-REx-ID: 11400 |
Controlling cluster size in 2D phase-separating binary mixtures with specific interactions
I. Palaia, A. Šarić, The Journal of Chemical Physics 156 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
I. Palaia, A. Šarić, The Journal of Chemical Physics 156 (2022).
2022 |Published| Journal Article | IST-REx-ID: 11469 |
Localization of a mobile impurity interacting with an Anderson insulator
P. Brighi, A. Michailidis, K. Kirova, D.A. Abanin, M. Serbyn, Physical Review B 105 (2022).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
P. Brighi, A. Michailidis, K. Kirova, D.A. Abanin, M. Serbyn, Physical Review B 105 (2022).
2022 |Published| Journal Article | IST-REx-ID: 9311 |
Finite-memory strategies in POMDPs with long-run average objectives
K. Chatterjee, R.J. Saona Urmeneta, B. Ziliotto, Mathematics of Operations Research 47 (2022) 100–119.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, R.J. Saona Urmeneta, B. Ziliotto, Mathematics of Operations Research 47 (2022) 100–119.
2022 |Published| Journal Article | IST-REx-ID: 11732 |
The BCS energy gap at high density
S.J. Henheik, A.B. Lauritsen, Journal of Statistical Physics 189 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
S.J. Henheik, A.B. Lauritsen, Journal of Statistical Physics 189 (2022).
2022 |Published| Conference Paper | IST-REx-ID: 12167 |
Hide & Seek: Privacy-preserving rebalancing on payment channel networks
G. Avarikioti, K.Z. Pietrzak, I. Salem, S. Schmid, S. Tiwari, M.X. Yeo, in:, Financial Cryptography and Data Security, Springer Nature, 2022, pp. 358–373.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Avarikioti, K.Z. Pietrzak, I. Salem, S. Schmid, S. Tiwari, M.X. Yeo, in:, Financial Cryptography and Data Security, Springer Nature, 2022, pp. 358–373.
2022 |Published| Conference Paper | IST-REx-ID: 12302 |
FORQ-based language inclusion formal testing
K. Doveri, P. Ganty, N.A. Mazzocchi, in:, Computer Aided Verification, Springer Nature, 2022, pp. 109–129.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
K. Doveri, P. Ganty, N.A. Mazzocchi, in:, Computer Aided Verification, Springer Nature, 2022, pp. 109–129.
2022 |Published| Conference Paper | IST-REx-ID: 12176 |
Practical statistically-sound proofs of exponentiation in any group
C. Hoffmann, P. Hubáček, C. Kamath, K. Klein, K.Z. Pietrzak, in:, Advances in Cryptology – CRYPTO 2022, Springer Nature, 2022, pp. 370–399.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
C. Hoffmann, P. Hubáček, C. Kamath, K. Klein, K.Z. Pietrzak, in:, Advances in Cryptology – CRYPTO 2022, Springer Nature, 2022, pp. 370–399.
2022 |Published| Conference Paper | IST-REx-ID: 12298 |
Jolteon and ditto: Network-adaptive efficient consensus with asynchronous fallback
R. Gelashvili, E. Kokoris Kogias, A. Sonnino, A. Spiegelman, Z. Xiang, in:, Financial Cryptography and Data Security, Springer Nature, 2022, pp. 296–315.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
R. Gelashvili, E. Kokoris Kogias, A. Sonnino, A. Spiegelman, Z. Xiang, in:, Financial Cryptography and Data Security, Springer Nature, 2022, pp. 296–315.
2022 |Published| Conference Paper | IST-REx-ID: 12168 |
Be aware of your leaders
S. Cohen, R. Gelashvili, E. Kokoris Kogias, Z. Li, D. Malkhi, A. Sonnino, A. Spiegelman, in:, International Conference on Financial Cryptography and Data Security, Springer Nature, 2022, pp. 279–295.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Cohen, R. Gelashvili, E. Kokoris Kogias, Z. Li, D. Malkhi, A. Sonnino, A. Spiegelman, in:, International Conference on Financial Cryptography and Data Security, Springer Nature, 2022, pp. 279–295.
2022 |Published| Conference Paper | IST-REx-ID: 12170
PET – A partial exploration tool for probabilistic verification
T. Meggendorfer, in:, 20th International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2022, pp. 320–326.
View
| DOI
T. Meggendorfer, in:, 20th International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2022, pp. 320–326.
2022 |Published| Conference Paper | IST-REx-ID: 12175 |
History-deterministic timed automata are not determinizable
S. Bose, T.A. Henzinger, K. Lehtinen, S. Schewe, P. Totzke, in:, 16th International Conference on Reachability Problems, Springer Nature, 2022, pp. 67–76.
[Preprint]
View
| DOI
| Download Preprint (ext.)
S. Bose, T.A. Henzinger, K. Lehtinen, S. Schewe, P. Totzke, in:, 16th International Conference on Reachability Problems, Springer Nature, 2022, pp. 67–76.
2022 |Published| Journal Article | IST-REx-ID: 12246 |
Improved Lieb–Oxford bound on the indirect and exchange energies
M. Lewin, E.H. Lieb, R. Seiringer, Letters in Mathematical Physics 112 (2022).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
M. Lewin, E.H. Lieb, R. Seiringer, Letters in Mathematical Physics 112 (2022).
2022 |Published| Journal Article | IST-REx-ID: 10818 |
Microglia control glutamatergic synapses in the adult mouse hippocampus
Basilico B, Ferrucci L, Ratano P, Golia MT, Grimaldi A, Rosito M, Ferretti V, Reverte I, Sanchini C, Marrone MC, Giubettini M, De Turris V, Salerno D, Garofalo S, St‐Pierre M, Carrier M, Renzi M, Pagani F, Modi B, Raspa M, Scavizzi F, Gross CT, Marinelli S, Tremblay M, Caprioli D, Maggi L, Limatola C, Di Angelantonio S, Ragozzino D. 2022. Microglia control glutamatergic synapses in the adult mouse hippocampus. Glia. 70(1), 173–195.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Basilico B, Ferrucci L, Ratano P, Golia MT, Grimaldi A, Rosito M, Ferretti V, Reverte I, Sanchini C, Marrone MC, Giubettini M, De Turris V, Salerno D, Garofalo S, St‐Pierre M, Carrier M, Renzi M, Pagani F, Modi B, Raspa M, Scavizzi F, Gross CT, Marinelli S, Tremblay M, Caprioli D, Maggi L, Limatola C, Di Angelantonio S, Ragozzino D. 2022. Microglia control glutamatergic synapses in the adult mouse hippocampus. Glia. 70(1), 173–195.