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.
636 Publications
2023 |
Research Data Reference |
IST-REx-ID: 14995 |
Lincheck: A practical framework for testing concurrent data structures on JVM
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, (2023).
2023 |
Epub ahead of print |
Conference Paper |
IST-REx-ID: 15023 |
Compositional policy learning in stochastic control systems with formal guarantees
D. Zikelic, M. Lechner, A. Verma, K. Chatterjee, T.A. Henzinger, in:, 37th Conference on Neural Information Processing Systems, 2023.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
D. Zikelic, M. Lechner, A. Verma, K. Chatterjee, T.A. Henzinger, in:, 37th Conference on Neural Information Processing Systems, 2023.
2023 |
Research Data Reference |
IST-REx-ID: 15027 |
aggregation_data
S. Curk, (2023).
[Published Version]
View
| Files available
| Download Published Version (ext.)
S. Curk, (2023).
2023 |
Research Data Reference |
IST-REx-ID: 15035 |
Monitoring hyperproperties with prefix transducers
M. Chalupa, T.A. Henzinger, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
M. Chalupa, T.A. Henzinger, (2023).
2023 |
Submitted |
Preprint |
IST-REx-ID: 15039 |
1-Lipschitz neural networks are more expressive with N-activations
B. Prach, C. Lampert, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
B. Prach, C. Lampert, ArXiv (n.d.).
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 |
Thesis | PhD |
IST-REx-ID: 13074 |
Efficiency and generalization of sparse neural networks
E.-A. Peste, Efficiency and Generalization of Sparse Neural Networks, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
E.-A. Peste, Efficiency and Generalization of Sparse Neural Networks, Institute of Science and Technology Austria, 2023.
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 13081
Epithelial dynamics during mouse neural tube development
L. Bocanegra, Epithelial Dynamics during Mouse Neural Tube Development, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
L. Bocanegra, Epithelial Dynamics during Mouse Neural Tube Development, Institute of Science and Technology Austria, 2023.
2023 |
Published |
Journal Article |
IST-REx-ID: 13091 |
Free rational curves on low degree hypersurfaces and the circle method
T.D. Browning, W. Sawin, Algebra and Number Theory 17 (2023) 719–748.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
T.D. Browning, W. Sawin, Algebra and Number Theory 17 (2023) 719–748.
2023 |
Published |
Journal Article |
IST-REx-ID: 13092 |
Bottom-up synthesis of SnTe-based thermoelectric composites
B. Nan, X. Song, C. Chang, K. Xiao, Y. Zhang, L. Yang, S. Horta, J. Li, K.H. Lim, M. Ibáñez, A. Cabot, ACS Applied Materials and Interfaces 15 (2023) 23380–23389.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
B. Nan, X. Song, C. Chang, K. Xiao, Y. Zhang, L. Yang, S. Horta, J. Li, K.H. Lim, M. Ibáñez, A. Cabot, ACS Applied Materials and Interfaces 15 (2023) 23380–23389.
2023 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 13093 |
Engineering of thermoelectric composites based on silver selenide in aqueous solution and ambient temperature
B. Nan, M. Li, Y. Zhang, K. Xiao, K.H. Lim, C. Chang, X. Han, Y. Zuo, J. Li, J. Arbiol, J. Llorca, M. Ibáñez, A. Cabot, ACS Applied Electronic Materials (2023).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
B. Nan, M. Li, Y. Zhang, K. Xiao, K.H. Lim, C. Chang, X. Han, Y. Zuo, J. Li, J. Arbiol, J. Llorca, M. Ibáñez, A. Cabot, ACS Applied Electronic Materials (2023).
2023 |
Published |
Journal Article |
IST-REx-ID: 13094 |
Wrapping pathways of anisotropic dumbbell particles by Giant Unilamellar Vesicles
A. Azadbakht, B. Meadowcroft, T. Varkevisser, A. Šarić, D.J. Kraft, Nano Letters 23 (2023) 4267–4273.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
A. Azadbakht, B. Meadowcroft, T. Varkevisser, A. Šarić, D.J. Kraft, Nano Letters 23 (2023) 4267–4273.
2023 |
Published |
Journal Article |
IST-REx-ID: 13095 |
Disulfide-bond-induced structural frustration and dynamic disorder in a peroxiredoxin from MAS NMR
L. Troussicot, A. Vallet, M. Molin, B.M. Burmann, P. Schanda, Journal of the American Chemical Society 145 (2023) 10700–10711.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
L. Troussicot, A. Vallet, M. Molin, B.M. Burmann, P. Schanda, Journal of the American Chemical Society 145 (2023) 10700–10711.
2023 |
Published |
Journal Article |
IST-REx-ID: 13096 |
Structural basis of NINJ1-mediated plasma membrane rupture in cell death
M. Degen, J.C. Santos, K. Pluhackova, G. Cebrero, S. Ramos, G. Jankevicius, E. Hartenian, U. Guillerm, S.A. Mari, B. Kohl, D.J. Müller, P. Schanda, T. Maier, C. Perez, C. Sieben, P. Broz, S. Hiller, Nature 618 (2023) 1065–1071.
[Published Version]
View
| Files available
| DOI
| WoS
M. Degen, J.C. Santos, K. Pluhackova, G. Cebrero, S. Ramos, G. Jankevicius, E. Hartenian, U. Guillerm, S.A. Mari, B. Kohl, D.J. Müller, P. Schanda, T. Maier, C. Perez, C. Sieben, P. Broz, S. Hiller, Nature 618 (2023) 1065–1071.
2023 |
Published |
Journal Article |
IST-REx-ID: 13097 |
Spinal cords: Symphonies of interneurons across species
A.C. Wilson, L.B. Sweeney, Frontiers in Neural Circuits 17 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
A.C. Wilson, L.B. Sweeney, Frontiers in Neural Circuits 17 (2023).
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 13106 |
Entangling microwaves with light
R. Sahu, L. Qiu, W.J. Hease, G.M. Arnold, Y. Minoguchi, P. Rabl, J.M. Fink, Entangling Microwaves with Light, American Association for the Advancement of Science, 2023.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
R. Sahu, L. Qiu, W.J. Hease, G.M. Arnold, Y. Minoguchi, P. Rabl, J.M. Fink, Entangling Microwaves with Light, American Association for the Advancement of Science, 2023.
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 13107 |
The metabolism of the developing brain : How large neutral amino acids modulate perinatal neuronal excitability and survival
L. Knaus, The Metabolism of the Developing Brain : How Large Neutral Amino Acids Modulate Perinatal Neuronal Excitability and Survival, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
L. Knaus, The Metabolism of the Developing Brain : How Large Neutral Amino Acids Modulate Perinatal Neuronal Excitability and Survival, Institute of Science and Technology Austria, 2023.
2023 |
Research Data |
IST-REx-ID: 13116 |
Chiral and nematic phases of flexible active filaments
Z. Dunajova, B. Prats Mateu, P. Radler, K. Lim, D. Brandis, P. Velicky, J.G. Danzl, R.W. Wong, J. Elgeti, E.B. Hannezo, M. Loose, (2023).
[Published Version]
View
| Files available
| DOI
Z. Dunajova, B. Prats Mateu, P. Radler, K. Lim, D. Brandis, P. Velicky, J.G. Danzl, R.W. Wong, J. Elgeti, E.B. Hannezo, M. Loose, (2023).
2023 |
Published |
Journal Article |
IST-REx-ID: 13117 |
Tunable directional photon scattering from a pair of superconducting qubits
E. Redchenko, A.V. Poshakinskiy, R. Sett, M. Zemlicka, A.N. Poddubny, J.M. Fink, Nature Communications 14 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
E. Redchenko, A.V. Poshakinskiy, R. Sett, M. Zemlicka, A.N. Poddubny, J.M. Fink, Nature Communications 14 (2023).
2023 |
Published |
Journal Article |
IST-REx-ID: 13118
Melting curve of superionic ammonia at planetary interior conditions
J.-A. Hernandez, M. Bethkenhagen, S. Ninet, M. French, A. Benuzzi-Mounaix, F. Datchi, M. Guarguaglini, F. Lefevre, F. Occelli, R. Redmer, T. Vinci, A. Ravasio, Nature Physics 19 (2023) 1280–1285.
View
| Files available
| DOI
| WoS
J.-A. Hernandez, M. Bethkenhagen, S. Ninet, M. French, A. Benuzzi-Mounaix, F. Datchi, M. Guarguaglini, F. Lefevre, F. Occelli, R. Redmer, T. Vinci, A. Ravasio, Nature Physics 19 (2023) 1280–1285.