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.
6978 Publications
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17094 | 
Information-flow interfaces
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, Formal Methods in System Design (2024).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, Formal Methods in System Design (2024).
2024 |Published| Thesis | IST-REx-ID: 17133 |
Superconducting qubits capable of dynamic switching between protected and high-speed control regimes
F. Hassani, Superconducting Qubits Capable of Dynamic Switching between Protected and High-Speed Control Regimes, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
F. Hassani, Superconducting Qubits Capable of Dynamic Switching between Protected and High-Speed Control Regimes, Institute of Science and Technology Austria, 2024.
2024 |Published| Thesis | IST-REx-ID: 15020 |
Genetic information and biological optimization
M. Hledik, Genetic Information and Biological Optimization, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
M. Hledik, Genetic Information and Biological Optimization, Institute of Science and Technology Austria, 2024.
2024 |Published| Conference Paper | IST-REx-ID: 17170 |
Tight bounds for the learning of homotopy à la Niyogi, Smale, and Weinberger for subsets of euclidean spaces and of Riemannian manifolds
D. Attali, H. Kourimska, C.D. Fillmore, I. Ghosh, A. Lieutier, E.R. Stephenson, M. Wintraecken, in:, 40th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, p. 11:1-11:19.
[Published Version]
View
| Files available
| DOI
| arXiv
D. Attali, H. Kourimska, C.D. Fillmore, I. Ghosh, A. Lieutier, E.R. Stephenson, M. Wintraecken, in:, 40th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, p. 11:1-11:19.
2024 |Published| Journal Article | IST-REx-ID: 17162 |
Quantitative bounds on resource usage of probabilistic programs
K. Chatterjee, A.K. Goharshady, T. Meggendorfer, D. Zikelic, Proceedings of the ACM on Programming Languages 8 (2024).
[Published Version]
View
| Files available
| DOI
K. Chatterjee, A.K. Goharshady, T. Meggendorfer, D. Zikelic, Proceedings of the ACM on Programming Languages 8 (2024).
2024 |Published| Journal Article | IST-REx-ID: 17183 |
Emergent macroscopic bistability induced by a single superconducting qubit
R. Sett, F. Hassani, D.T. Phan, S. Barzanjeh, A. Vukics, J.M. Fink, PRX Quantum 5 (2024).
[Published Version]
View
| Files available
| DOI
| arXiv
R. Sett, F. Hassani, D.T. Phan, S. Barzanjeh, A. Vukics, J.M. Fink, PRX Quantum 5 (2024).
2024 |Published| Journal Article | IST-REx-ID: 14843
Developmental transformation of Ca2+ channel-vesicle nanotopography at a central GABAergic synapse
J. Chen, W. Kaufmann, C. Chen, itaru Arai, O. Kim, R. Shigemoto, P.M. Jonas, Neuron 112 (2024) 755–771.e9.
View
| Files available
| DOI
| PubMed | Europe PMC
J. Chen, W. Kaufmann, C. Chen, itaru Arai, O. Kim, R. Shigemoto, P.M. Jonas, Neuron 112 (2024) 755–771.e9.
2024 |Published| Thesis | IST-REx-ID: 15101 |
Developmental transformation of nanodomain coupling between Ca2+ channels and release sensors at a central GABAergic synapse
J. Chen, Developmental Transformation of Nanodomain Coupling between Ca2+ Channels and Release Sensors at a Central GABAergic Synapse, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
J. Chen, Developmental Transformation of Nanodomain Coupling between Ca2+ Channels and Release Sensors at a Central GABAergic Synapse, Institute of Science and Technology Austria, 2024.
2023 |Published| Book Chapter | IST-REx-ID: 12428 |
A Guide Toward Multi-scale and Quantitative Branching Analysis in the Mammary Gland
E.B. Hannezo, C.L.G.J. Scheele, in:, C. Margadant (Ed.), Cell Migration in Three Dimensions, Springer Nature, 2023, pp. 183–205.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
E.B. Hannezo, C.L.G.J. Scheele, in:, C. Margadant (Ed.), Cell Migration in Three Dimensions, Springer Nature, 2023, pp. 183–205.
2023 |Published| Journal Article | IST-REx-ID: 12534 |
Dissipative dynamics of an impurity with spin-orbit coupling
A. Ghazaryan, A. Cappellaro, M. Lemeshko, A. Volosniev, Physical Review Research 5 (2023).
[Published Version]
View
| Files available
| DOI
A. Ghazaryan, A. Cappellaro, M. Lemeshko, A. Volosniev, Physical Review Research 5 (2023).
2023 |Published| Conference Paper | IST-REx-ID: 12676 |
Faster algorithm for turn-based stochastic games with bounded treewidth
K. Chatterjee, T. Meggendorfer, R.J. Saona Urmeneta, J. Svoboda, in:, Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2023, pp. 4590–4605.
[Published Version]
View
| DOI
| Download Published Version (ext.)
K. Chatterjee, T. Meggendorfer, R.J. Saona Urmeneta, J. Svoboda, in:, Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2023, pp. 4590–4605.
2023 |Published| Conference Paper | IST-REx-ID: 12735 |
Fast and scalable channels in Kotlin Coroutines
N. Koval, D.-A. Alistarh, R. Elizarov, in:, Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, 2023, pp. 107–118.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
N. Koval, D.-A. Alistarh, R. Elizarov, in:, Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, 2023, pp. 107–118.
2023 |Published| Conference Poster | IST-REx-ID: 12736 |
Unexpected scaling in path copying trees
V. Aksenov, T.A. Brown, A. Fedorov, I. Kokorin, Unexpected Scaling in Path Copying Trees, Association for Computing Machinery, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
V. Aksenov, T.A. Brown, A. Fedorov, I. Kokorin, Unexpected Scaling in Path Copying Trees, Association for Computing Machinery, 2023.
2023 |Published| Thesis | IST-REx-ID: 12716 |
To flee, or not to flee? Using innate defensive behaviours to investigate rapid perceptual decision-making through subcortical circuits in mouse models of autism
L. Burnett, To Flee, or Not to Flee? Using Innate Defensive Behaviours to Investigate Rapid Perceptual Decision-Making through Subcortical Circuits in Mouse Models of Autism, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
L. Burnett, To Flee, or Not to Flee? Using Innate Defensive Behaviours to Investigate Rapid Perceptual Decision-Making through Subcortical Circuits in Mouse Models of Autism, Institute of Science and Technology Austria, 2023.
2023 |Published| Conference Paper | IST-REx-ID: 12854 |
Bubaak: Runtime monitoring of program verifiers
M. Chalupa, T.A. Henzinger, in:, Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 535–540.
[Published Version]
View
| Files available
| DOI
M. Chalupa, T.A. Henzinger, in:, Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 535–540.
2023 |Published| Conference Paper | IST-REx-ID: 12856 |
Vamos: Middleware for best-effort third-party monitoring
M. Chalupa, F. Mühlböck, S. Muroya Lei, T.A. Henzinger, in:, Fundamental Approaches to Software Engineering, Springer Nature, 2023, pp. 260–281.
[Published Version]
View
| Files available
| DOI
M. Chalupa, F. Mühlböck, S. Muroya Lei, T.A. Henzinger, in:, Fundamental Approaches to Software Engineering, Springer Nature, 2023, pp. 260–281.
2023 |Published| Technical Report | IST-REx-ID: 12407 |
VAMOS: Middleware for Best-Effort Third-Party Monitoring
M. Chalupa, F. Mühlböck, S. Muroya Lei, T.A. Henzinger, VAMOS: Middleware for Best-Effort Third-Party Monitoring, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
M. Chalupa, F. Mühlböck, S. Muroya Lei, T.A. Henzinger, VAMOS: Middleware for Best-Effort Third-Party Monitoring, Institute of Science and Technology Austria, 2023.
2023 |Published| Conference Paper | IST-REx-ID: 13048 |
Hausdorff and Gromov-Hausdorff stable subsets of the medial axis
A. Lieutier, M. Wintraecken, in:, Proceedings of the 55th Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, 2023, pp. 1768–1776.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Lieutier, M. Wintraecken, in:, Proceedings of the 55th Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, 2023, pp. 1768–1776.
2023 |Accepted| Conference Paper | IST-REx-ID: 13053 |
CrAM: A Compression-Aware Minimizer
E.-A. Peste, A. Vladu, E. Kurtic, C. Lampert, D.-A. Alistarh, in:, 11th International Conference on Learning Representations , n.d.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
E.-A. Peste, A. Vladu, E. Kurtic, C. Lampert, D.-A. Alistarh, in:, 11th International Conference on Learning Representations , n.d.
2023 |Published| Conference Paper | IST-REx-ID: 13143 |
Certifying giant nonprimes
C. Hoffmann, P. Hubáček, C. Kamath, K.Z. Pietrzak, in:, Public-Key Cryptography - PKC 2023, Springer Nature, 2023, pp. 530–553.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
C. Hoffmann, P. Hubáček, C. Kamath, K.Z. Pietrzak, in:, Public-Key Cryptography - PKC 2023, Springer Nature, 2023, pp. 530–553.