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.
2033 Publications
2024 |
Published |
Thesis | PhD |
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 |
Journal Article |
IST-REx-ID: 17142 |
Shared behavioural impairments in visual perception and place avoidance across different autism models are driven by periaqueductal grey hypoexcitability in Setd5 haploinsufficient mice
L. Burnett, P. Koppensteiner, O. Symonova, T. Masson, T.A. Vega Zuniga, X. Contreras, T. Rülicke, R. Shigemoto, G. Novarino, M.A. Jösch, PLoS Biology 22 (2024).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
L. Burnett, P. Koppensteiner, O. Symonova, T. Masson, T.A. Vega Zuniga, X. Contreras, T. Rülicke, R. Shigemoto, G. Novarino, M.A. Jösch, PLoS Biology 22 (2024).
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 17208 |
Exploring the optimization landscape of variational quantum algorithms
R.A. Medina Ramos, Exploring the Optimization Landscape of Variational Quantum Algorithms, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
R.A. Medina Ramos, Exploring the Optimization Landscape of Variational Quantum Algorithms, Institute of Science and Technology Austria, 2024.
2024 |
Published |
Journal Article |
IST-REx-ID: 17231 |
Examples of projective billiards with open sets of periodic orbits
C. Fiorebe, Discrete and Continuous Dynamical Systems- Series A 44 (2024) 3287–3301.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
C. Fiorebe, Discrete and Continuous Dynamical Systems- Series A 44 (2024) 3287–3301.
2024 |
Published |
Journal Article |
IST-REx-ID: 17283 |
Equivalence and similarity refutation for probabilistic programs
K. Chatterjee, E. Goharshady, P. Novotný, D. Zikelic, Proceedings of the ACM on Programming Languages 8 (2024).
[Published Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, E. Goharshady, P. Novotný, D. Zikelic, Proceedings of the ACM on Programming Languages 8 (2024).
2024 |
Published |
Journal Article |
IST-REx-ID: 17291 |
MAS NMR experiments of corynebacterial cell walls: Complementary 1H- and CPMAS CryoProbe-enhanced 13C-detected experiments
A. Vallet, I. Ayala, B. Perrone, A. Hassan, J.-P. Simorre, C. Bougault, P. Schanda, Journal of Magnetic Resonance 364 (2024).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
A. Vallet, I. Ayala, B. Perrone, A. Hassan, J.-P. Simorre, C. Bougault, P. Schanda, Journal of Magnetic Resonance 364 (2024).
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 17336 |
Functional inequalities and convergence of stochastic processes
F. Pedrotti, Functional Inequalities and Convergence of Stochastic Processes, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
F. Pedrotti, Functional Inequalities and Convergence of Stochastic Processes, Institute of Science and Technology Austria, 2024.
2024 |
Published |
Conference Paper |
IST-REx-ID: 17402 |
Playing games with your PET: Extending the Partial Exploration Tool to stochastic games
T. Meggendorfer, M. Weininger, in:, 36th International Conference on Computer Aided Verification, Springer Nature, 2024, pp. 359–372.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
T. Meggendorfer, M. Weininger, in:, 36th International Conference on Computer Aided Verification, Springer Nature, 2024, pp. 359–372.
2024 |
Published |
Conference Paper |
IST-REx-ID: 17411 |
PEFLL: Personalized federated learning by learning to learn
J.A. Scott, H. Zakerinia, C. Lampert, in:, 12th International Conference on Learning Representations, OpenReview, 2024.
[Published Version]
View
| Files available
| arXiv
J.A. Scott, H. Zakerinia, C. Lampert, in:, 12th International Conference on Learning Representations, OpenReview, 2024.
2024 |
Published |
Conference Paper |
IST-REx-ID: 17413 |
Certifying phase abstraction
N. Froleyks, E. Yu, A. Biere, K. Heljanko, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2024, pp. 284–303.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
N. Froleyks, E. Yu, A. Biere, K. Heljanko, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2024, pp. 284–303.
2024 |
Published |
Journal Article |
IST-REx-ID: 17476
No extraordinary χ(3) in lead-halide perovskites: Placing an upper bound on Kerr nonlinearity by means of time-resolved interferometry
D. Lorenc, A. Zhumekenov, O.M. Bakr, Z. Alpichshev, Physical Review Materials 8 (2024).
View
| DOI
| WoS
D. Lorenc, A. Zhumekenov, O.M. Bakr, Z. Alpichshev, Physical Review Materials 8 (2024).
2024 |
Published |
Journal Article |
IST-REx-ID: 17481 |
Quantitative convergence of the vectorial Allen–Cahn equation towards multiphase mean curvature flow
J.L. Fischer, A. Marveggio, Annales de l’Institut Henri Poincare C 41 (2024) 1117–1178.
[Published Version]
View
| Files available
| DOI
| WoS
J.L. Fischer, A. Marveggio, Annales de l’Institut Henri Poincare C 41 (2024) 1117–1178.
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 17485 |
Compressing large neural networks : Algorithms, systems and scaling laws
E. Frantar, Compressing Large Neural Networks : Algorithms, Systems and Scaling Laws, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
E. Frantar, Compressing Large Neural Networks : Algorithms, Systems and Scaling Laws, Institute of Science and Technology Austria, 2024.
2024 |
Published |
Journal Article |
IST-REx-ID: 17535 |
Diagnosing the massive-seed pathway to high-redshift black holes: statistics of the evolving black hole to host galaxy mass ratio
M.T. Scoggins, Z. Haiman, Monthly Notices of the Royal Astronomical Society 531 (2024) 4584–4597.
[Published Version]
View
| DOI
| Download Published Version (ext.)
M.T. Scoggins, Z. Haiman, Monthly Notices of the Royal Astronomical Society 531 (2024) 4584–4597.
2024 |
Published |
Conference Paper |
IST-REx-ID: 17634 |
QuAK: Quantitative Automata Kit
M. Chalupa, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Springer Nature, 2024, pp. 3–20.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Chalupa, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Springer Nature, 2024, pp. 3–20.
2024 |
Published |
Journal Article |
IST-REx-ID: 9651 |
Divergence of separated nets with respect to displacement equivalence
M. Dymond, V. Kaluza, Geometriae Dedicata 218 (2024).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
M. Dymond, V. Kaluza, Geometriae Dedicata 218 (2024).
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18101 |
Structural characterization of spumavirus capsid assemblies
D. Porley Esteves, Structural Characterization of Spumavirus Capsid Assemblies, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
D. Porley Esteves, Structural Characterization of Spumavirus Capsid Assemblies, Institute of Science and Technology Austria, 2024.
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18477 |
Biochemical and structural insights into ADAR1 RNA editing
B.M. Kaczmarek, Biochemical and Structural Insights into ADAR1 RNA Editing, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
B.M. Kaczmarek, Biochemical and Structural Insights into ADAR1 RNA Editing, Institute of Science and Technology Austria, 2024.
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18129 |
Strong charge-photon coupling in Germanium enabled by granular aluminium superinductors
M. Janik, Strong Charge-Photon Coupling in Germanium Enabled by Granular Aluminium Superinductors, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
M. Janik, Strong Charge-Photon Coupling in Germanium Enabled by Granular Aluminium Superinductors, Institute of Science and Technology Austria, 2024.
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 17881 |
Thermal effects in one dimensional Josephson chains
S. Mukhopadhyay, Thermal Effects in One Dimensional Josephson Chains, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
S. Mukhopadhyay, Thermal Effects in One Dimensional Josephson Chains, Institute of Science and Technology Austria, 2024.