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.
6216 Publications
2022 | Published | Conference Paper | IST-REx-ID: 12171 | 
Synthesis of parametric hybrid automata from time series
M. Garcia Soto, T.A. Henzinger, C. Schilling, in:, 20th International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2022, pp. 337–353.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
M. Garcia Soto, T.A. Henzinger, C. Schilling, in:, 20th International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2022, pp. 337–353.
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.)
| WoS
| 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: 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.)
| WoS
| 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: 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
| WoS
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.)
| WoS
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: 12538 |
Sharp asymptotics on the compression of two-layer neural networks
M.H. Amani, S. Bombari, M. Mondelli, R. Pukdee, S. Rini, IEEE Information Theory Workshop (2022) 588–593.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
M.H. Amani, S. Bombari, M. Mondelli, R. Pukdee, S. Rini, IEEE Information Theory Workshop (2022) 588–593.
2022 | Published | Journal Article | IST-REx-ID: 12179 |
On the condition number of the shifted real Ginibre ensemble
G. Cipolloni, L. Erdös, D.J. Schröder, SIAM Journal on Matrix Analysis and Applications 43 (2022) 1469–1487.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
G. Cipolloni, L. Erdös, D.J. Schröder, SIAM Journal on Matrix Analysis and Applications 43 (2022) 1469–1487.
2022 | Published | Conference Paper | IST-REx-ID: 12780 |
CGX: Adaptive system support for communication-efficient deep learning
I. Markov, H. Ramezanikebrya, D.-A. Alistarh, in:, Proceedings of the 23rd ACM/IFIP International Middleware Conference, Association for Computing Machinery, 2022, pp. 241–254.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
I. Markov, H. Ramezanikebrya, D.-A. Alistarh, in:, Proceedings of the 23rd ACM/IFIP International Middleware Conference, Association for Computing Machinery, 2022, pp. 241–254.
2022 | Published | Conference Paper | IST-REx-ID: 17060 |
Wiser: Increasing throughput in payment channel networks with transaction aggregation
S. Tiwari, M.X. Yeo, Z. Avarikioti, I. Salem, K.Z. Pietrzak, S. Schmid, in:, Proceedings of the 4th ACM Conference on Advances in Financial Technologies, Association for Computing Machinery, 2022, pp. 217–231.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
S. Tiwari, M.X. Yeo, Z. Avarikioti, I. Salem, K.Z. Pietrzak, S. Schmid, in:, Proceedings of the 4th ACM Conference on Advances in Financial Technologies, Association for Computing Machinery, 2022, pp. 217–231.
2022 | Published | Journal Article | IST-REx-ID: 14381
High-dimensional expanders (after Gromov, Kaufman, Kazhdan, Lubotzky, and others)
U. Wagner, Bulletin de La Societe Mathematique de France 438 (2022) 281–294.
View
| DOI
| WoS
U. Wagner, Bulletin de La Societe Mathematique de France 438 (2022) 281–294.
2022 | Published | Journal Article | IST-REx-ID: 17058 |
On the leading constant in the Manin-type conjecture for Campana points
A.L. Shute, Acta Arithmetica 204 (2022) 317–346.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A.L. Shute, Acta Arithmetica 204 (2022) 317–346.
2022 | Published | Journal Article | IST-REx-ID: 14437
Molecular engineering enables bright blue LEDs
H. Utzat, M. Ibáñez, Nature 612 (2022) 638–639.
View
| DOI
| WoS
| PubMed | Europe PMC
H. Utzat, M. Ibáñez, Nature 612 (2022) 638–639.
2022 | Published | Journal Article | IST-REx-ID: 11938 |
On compatible matchings
O. Aichholzer, A.M. Arroyo Guevara, Z. Masárová, I. Parada, D. Perz, A. Pilz, J. Tkadlec, B. Vogtenhuber, Journal of Graph Algorithms and Applications 26 (2022) 225–240.
[Published Version]
View
| Files available
| DOI
| arXiv
O. Aichholzer, A.M. Arroyo Guevara, Z. Masárová, I. Parada, D. Perz, A. Pilz, J. Tkadlec, B. Vogtenhuber, Journal of Graph Algorithms and Applications 26 (2022) 225–240.
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 | Book Chapter | IST-REx-ID: 19984 |
Enhanced mirror symmetry for Langlands dual Hitchin systems
T. Hausel, in:, International Congress of Mathematicians, EMS Press, 2022, pp. 2228–2249.
[Published Version]
View
| Files available
| DOI
| arXiv
T. Hausel, in:, International Congress of Mathematicians, EMS Press, 2022, pp. 2228–2249.
2022 | Published | Journal Article | IST-REx-ID: 12291 |
ABP1–TMK auxin perception for global phosphorylation and auxin canalization
Friml J, Gallei MC, Gelová Z, Johnson AJ, Mazur E, Monzer A, Rodriguez Solovey L, Roosjen M, Verstraeten I, Živanović BD, Zou M, Fiedler L, Giannini C, Grones P, Hrtyan M, Kaufmann W, Kuhn A, Narasimhan M, Randuch M, Rýdza N, Takahashi K, Tan S, Teplova A, Kinoshita T, Weijers D, Rakusová H. 2022. ABP1–TMK auxin perception for global phosphorylation and auxin canalization. Nature. 609(7927), 575–581.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Friml J, Gallei MC, Gelová Z, Johnson AJ, Mazur E, Monzer A, Rodriguez Solovey L, Roosjen M, Verstraeten I, Živanović BD, Zou M, Fiedler L, Giannini C, Grones P, Hrtyan M, Kaufmann W, Kuhn A, Narasimhan M, Randuch M, Rýdza N, Takahashi K, Tan S, Teplova A, Kinoshita T, Weijers D, Rakusová H. 2022. ABP1–TMK auxin perception for global phosphorylation and auxin canalization. Nature. 609(7927), 575–581.
2022 | Published | Journal Article | IST-REx-ID: 12237 |
Solution-processed inorganic thermoelectric materials: Opportunities and challenges ∇
C. Fiedler, T. Kleinhanns, M. Garcia, S. Lee, M. Calcabrini, M. Ibáñez, Chemistry of Materials 34 (2022) 8471–8489.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
C. Fiedler, T. Kleinhanns, M. Garcia, S. Lee, M. Calcabrini, M. Ibáñez, Chemistry of Materials 34 (2022) 8471–8489.
2022 | Published | Journal Article | IST-REx-ID: 12431 |
Hidden degrees of freedom in implicit vortex filaments
S. Ishida, C. Wojtan, A. Chern, ACM Transactions on Graphics 41 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
S. Ishida, C. Wojtan, A. Chern, ACM Transactions on Graphics 41 (2022).
2022 | Draft | Preprint | IST-REx-ID: 15090 |
On the size of chromatic Delaunay mosaics
R. Biswas, S. Cultrera di Montesano, O. Draganov, H. Edelsbrunner, M. Saghafian, ArXiv (n.d.).
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
R. Biswas, S. Cultrera di Montesano, O. Draganov, H. Edelsbrunner, M. Saghafian, ArXiv (n.d.).
2022 | Published | Journal Article | IST-REx-ID: 12065 |
Exclusive solution discharge in Li-O₂ batteries?
C. Prehal, S. Mondal, L. Lovicar, S.A. Freunberger, ACS Energy Letters 7 (2022) 3112–3119.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
C. Prehal, S. Mondal, L. Lovicar, S.A. Freunberger, ACS Energy Letters 7 (2022) 3112–3119.