Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5982 Publications
2022 | Published | Conference Paper | IST-REx-ID: 12171 | 
M. Garcia Soto, T. A. Henzinger, and C. Schilling, “Synthesis of parametric hybrid automata from time series,” in 20th International Symposium on Automated Technology for Verification and Analysis, Virtual, 2022, vol. 13505, pp. 337–353.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 12168 |
S. Cohen et al., “Be aware of your leaders,” in International Conference on Financial Cryptography and Data Security, Grenada, 2022, vol. 13411, pp. 279–295.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 12167 |
G. Avarikioti, K. Z. Pietrzak, I. Salem, S. Schmid, S. Tiwari, and M. X. Yeo, “Hide & Seek: Privacy-preserving rebalancing on payment channel networks,” in Financial Cryptography and Data Security, Grenada, 2022, vol. 13411, pp. 358–373.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 12175 |
S. Bose, T. A. Henzinger, K. Lehtinen, S. Schewe, and P. Totzke, “History-deterministic timed automata are not determinizable,” in 16th International Conference on Reachability Problems, Kaiserslautern, Germany, 2022, vol. 13608, pp. 67–76.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2022 | Published | Journal Article | IST-REx-ID: 12538 |
M. H. Amani, S. Bombari, M. Mondelli, R. Pukdee, and S. Rini, “Sharp asymptotics on the compression of two-layer neural networks,” IEEE Information Theory Workshop. IEEE, pp. 588–593, 2022.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12179 |
G. Cipolloni, L. Erdös, and D. J. Schröder, “On the condition number of the shifted real Ginibre ensemble,” SIAM Journal on Matrix Analysis and Applications, vol. 43, no. 3. Society for Industrial and Applied Mathematics, pp. 1469–1487, 2022.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 12780 |
I. Markov, H. Ramezanikebrya, and D.-A. Alistarh, “CGX: Adaptive system support for communication-efficient deep learning,” in Proceedings of the 23rd ACM/IFIP International Middleware Conference, Quebec, QC, Canada, 2022, pp. 241–254.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 17060 |
S. Tiwari, M. X. Yeo, Z. Avarikioti, I. Salem, K. Z. Pietrzak, and S. Schmid, “Wiser: Increasing throughput in payment channel networks with transaction aggregation,” in Proceedings of the 4th ACM Conference on Advances in Financial Technologies, Cambridge, MA, United States, 2022, pp. 217–231.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 17058 |
A. L. Shute, “On the leading constant in the Manin-type conjecture for Campana points,” Acta Arithmetica, vol. 204, no. 4. Institute of Mathematics, pp. 317–346, 2022.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 14437
H. Utzat and M. Ibáñez, “Molecular engineering enables bright blue LEDs,” Nature, vol. 612, no. 7941. Springer Nature, pp. 638–639, 2022.
View
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 11938 |
O. Aichholzer et al., “On compatible matchings,” Journal of Graph Algorithms and Applications, vol. 26, no. 2. Brown University, pp. 225–240, 2022.
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Published | Thesis | IST-REx-ID: 11362 |
M. Lechner, “Learning verifiable representations,” Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
2022 | Published | Book Chapter | IST-REx-ID: 19984 |
T. Hausel, “Enhanced mirror symmetry for Langlands dual Hitchin systems,” in International Congress of Mathematicians, EMS Press, 2022, pp. 2228–2249.
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 11844 |
D.-A. Alistarh, J. Rybicki, and S. Voitovych, “Near-optimal leader election in population protocols on graphs,” in Proceedings of the Annual ACM Symposium on Principles of Distributed Computing, Salerno, Italy, 2022, pp. 246–256.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12291 |
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
2022 | Published | Journal Article | IST-REx-ID: 12237 |
C. Fiedler, T. Kleinhanns, M. Garcia, S. Lee, M. Calcabrini, and M. Ibáñez, “Solution-processed inorganic thermoelectric materials: Opportunities and challenges ∇,” Chemistry of Materials, vol. 34, no. 19. American Chemical Society, pp. 8471–8489, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Draft | Preprint | IST-REx-ID: 15090 |
R. Biswas, S. Cultrera di Montesano, O. Draganov, H. Edelsbrunner, and M. Saghafian, “On the size of chromatic Delaunay mosaics,” arXiv. .
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2022 | Published | Thesis | IST-REx-ID: 11196 |
O. Kim, “Nanoarchitecture of hippocampal mossy fiber-CA3 pyramidal neuron synapses,” Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI