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.
6092 Publications
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 | Conference Paper | IST-REx-ID: 11844 |
Near-optimal leader election in population protocols on graphs
D.-A. Alistarh, J. Rybicki, S. Voitovych, in:, Proceedings of the Annual ACM Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2022, pp. 246–256.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
D.-A. Alistarh, J. Rybicki, S. Voitovych, in:, Proceedings of the Annual ACM Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2022, pp. 246–256.
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 | 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 | Thesis | IST-REx-ID: 11196 |
Nanoarchitecture of hippocampal mossy fiber-CA3 pyramidal neuron synapses
O. Kim, Nanoarchitecture of Hippocampal Mossy Fiber-CA3 Pyramidal Neuron Synapses, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
O. Kim, Nanoarchitecture of Hippocampal Mossy Fiber-CA3 Pyramidal Neuron Synapses, Institute of Science and Technology Austria, 2022.
2022 | Published | Journal Article | IST-REx-ID: 11471 |
Avoiding barren plateaus using classical shadows
S. Sack, R.A. Medina Ramos, A. Michailidis, R. Kueng, M. Serbyn, PRX Quantum 3 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
S. Sack, R.A. Medina Ramos, A. Michailidis, R. Kueng, M. Serbyn, PRX Quantum 3 (2022).
2022 | Published | Journal Article | IST-REx-ID: 10614 |
Fos regulates macrophage infiltration against surrounding tissue resistance by a cortical actin-based mechanism in Drosophila
V. Belyaeva, S. Wachner, A. György, S. Emtenani, I. Gridchyn, M. Akhmanova, M. Linder, M. Roblek, M. Sibilia, D.E. Siekhaus, PLoS Biology 20 (2022) e3001494.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
V. Belyaeva, S. Wachner, A. György, S. Emtenani, I. Gridchyn, M. Akhmanova, M. Linder, M. Roblek, M. Sibilia, D.E. Siekhaus, PLoS Biology 20 (2022) e3001494.
2022 | Published | Thesis | IST-REx-ID: 12366 |
Controllable states of superconducting Qubit ensembles
E. Redchenko, Controllable States of Superconducting Qubit Ensembles, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
E. Redchenko, Controllable States of Superconducting Qubit Ensembles, Institute of Science and Technology Austria, 2022.
2022 | Published | Thesis | IST-REx-ID: 11932 |
On the encoding, transfer, and consolidation of spatial memories
M. Nardin, On the Encoding, Transfer, and Consolidation of Spatial Memories, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
M. Nardin, On the Encoding, Transfer, and Consolidation of Spatial Memories, Institute of Science and Technology Austria, 2022.