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.




4170 Publications

2022 | Conference Paper | IST-REx-ID: 12160
De la Rocha, Alfonso, Hierarchical consensus: A horizontal scaling framework for blockchains. 42nd International Conference on Distributed Computing Systems Workshops 2022. 2022
View | DOI
 
2022 | Journal Article | IST-REx-ID: 12163 | OA
Loose, Martin, In vitro reconstitution of small GTPase regulation. FEBS Letters. 2022
View | DOI | Download Published Version (ext.)
 
2022 | Conference Paper | IST-REx-ID: 12168 | OA
Cohen, Shir, Be aware of your leaders. International Conference on Financial Cryptography and Data Security 13411. 2022
View | DOI | Download Preprint (ext.) | arXiv
 
2022 | Conference Paper | IST-REx-ID: 12167 | OA
Avarikioti, Georgia, Hide & Seek: Privacy-preserving rebalancing on payment channel networks. Financial Cryptography and Data Security 13411. 2022
View | DOI | Download Preprint (ext.) | arXiv
 
2022 | Journal Article | IST-REx-ID: 11444 | OA
Chlebak, Clara A, From the prefect’s desk: Gerard van Swieten’s library correspondence. Library and Information History 38 (1). 2022
View | DOI | Download Submitted Version (ext.)
 
2022 | Journal Article | IST-REx-ID: 12166 | OA
Westram, Anja M, Professor Kerstin Johannesson–winner of the 2022 Molecular Ecology Prize. Molecular Ecology 32 (1). 2022
View | DOI | Download Published Version (ext.)
 
2022 | Journal Article | IST-REx-ID: 12173 | OA
Baumgartner, Maximilian, Atypical enteropathogenic E. coli are associated with disease activity in ulcerative colitis. Gut Microbes 14 (1). 2022
View | Files available | DOI
 
2022 | Conference Paper | IST-REx-ID: 12171 | OA
Garcia Soto, Miriam, Synthesis of parametric hybrid automata from time series. 20th International Symposium on Automated Technology for Verification and Analysis 13505. 2022
View | DOI | Download Preprint (ext.) | arXiv
 
2022 | Journal Article | IST-REx-ID: 12159 | OA
Shipilina, Daria, On the origin and structure of haplotype blocks. Molecular Ecology. 2022
View | DOI | Download Published Version (ext.)
 
2022 | Conference Paper | IST-REx-ID: 12170
Meggendorfer, Tobias, PET – A partial exploration tool for probabilistic verification. 20th International Symposium on Automated Technology for Verification and Analysis 13505. 2022
View | DOI
 
2022 | Journal Article | IST-REx-ID: 12172
Khatoon, Bushra, Experimental analysis of Cascade CSTRs with step and pulse inputs. Materials Today: Proceedings. 2022
View | DOI
 
2022 | Journal Article | IST-REx-ID: 12174 | OA
Guerrini R, Mei D, Szigeti MK, Pepe S, Koenig MK, Von Allmen G, Cho MT, McDonald K, Baker J, Bhambhani V, Powis Z, Rodan L, Nabbout R, Barcia G, Rosenfeld JA, Bacino CA, Mignot C, Power LH, Harris CJ, Marjanovic D, Møller RS, Hammer TB, Keski Filppula R, Vieira P, Hildebrandt C, Sacharow S, Maragliano L, Benfenati F, Lachlan K, Benneche A, Petit F, de Sainte Agathe JM, Hallinan B, Si Y, Wentzensen IM, Zou F, Narayanan V, Matsumoto N, Boncristiano A, la Marca G, Kato M, Anderson K, Barba C, Sturiale L, Garozzo D, Bei R, Masuelli L, Conti V, Novarino G, Fassio A. 2022. Phenotypic and genetic spectrum of ATP6V1A encephalopathy: A disorder of lysosomal homeostasis. Brain. 145(8), 2687–2703.
View | DOI | Download Published Version (ext.)
 
2022 | Conference Paper | IST-REx-ID: 12175 | OA
Bose, Sougata, Thomas A Henzinger, Karoliina Lehtinen, Sven Schewe, and Patrick Totzke. “History-Deterministic Timed Automata Are Not Determinizable.” In 16th International Conference on Reachability Problems, 13608:67–76. Springer Nature, 2022. https://doi.org/10.1007/978-3-031-19135-0_5.
View | DOI | Download Preprint (ext.)
 
2022 | Thesis | IST-REx-ID: 12390 | OA
Brooks, Morris. “Translation-Invariant Quantum Systems with Effectively Broken Symmetry.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:12390.
View | Files available | DOI
 
2022 | Conference Paper | IST-REx-ID: 12176 | OA
Hoffmann, Charlotte, Pavel Hubáček, Chethan Kamath, Karen Klein, and Krzysztof Z Pietrzak. “Practical Statistically-Sound Proofs of Exponentiation in Any Group.” In Advances in Cryptology – CRYPTO 2022, 13508:370–99. Springer Nature, 2022. https://doi.org/10.1007/978-3-031-15979-4_13.
View | DOI | Download Preprint (ext.)
 
2022 | Journal Article | IST-REx-ID: 12177 | OA
Cremaschi, Tommaso, and Lorenzo Dello Schiavo. “Effective Contraction of Skinning Maps.” Proceedings of the American Mathematical Society, Series B. American Mathematical Society, 2022. https://doi.org/10.1090/bproc/134.
View | Files available | DOI
 
2022 | Journal Article | IST-REx-ID: 10703 | OA
Gaertner, Florian, Patricia Reis-Rodrigues, Ingrid de Vries, Miroslav Hons, Juan Aguilera, Michael Riedl, Alexander F Leithner, et al. “WASp Triggers Mechanosensitive Actin Patches to Facilitate Immune Cell Migration in Dense Tissues.” Developmental Cell. Cell Press ; Elsevier, 2022. https://doi.org/10.1016/j.devcel.2021.11.024.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2022 | Thesis | IST-REx-ID: 12401
Tasciyan, Saren. “Role of Microenvironment Heterogeneity in Cancer Cell Invasion.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:12401.
View | Files available | DOI
 
2022 | Journal Article | IST-REx-ID: 12208 | OA
Prehal, Christian, Jean-Marc von Mentlen, Sara Drvarič Talian, Alen Vizintin, Robert Dominko, Heinz Amenitsch, Lionel Porcar, Stefan Alexander Freunberger, and Vanessa Wood. “On the Nanoscale Structural Evolution of Solid Discharge Products in Lithium-Sulfur Batteries Using Operando Scattering.” Nature Communications. Springer Nature, 2022. https://doi.org/10.1038/s41467-022-33931-4.
View | Files available | DOI | PubMed | Europe PMC
 
2022 | Conference Paper | IST-REx-ID: 12182 | OA
Pacut, Maciej, Mahmoud Parham, Joel Rybicki, Stefan Schmid, Jukka Suomela, and Aleksandr Tereshchenko. “Brief Announcement: Temporal Locality in Online Algorithms.” In 36th International Symposium on Distributed Computing, Vol. 246. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. https://doi.org/10.4230/LIPIcs.DISC.2022.52.
View | Files available | DOI
 

Search

Filter Publications