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.




325 Publications

2024 | Published | Conference Paper | IST-REx-ID: 18521 | OA
Approximate distributed monitoring under partial synchrony: Balancing speed & accuracy
B. Bonakdarpour, A. Momtaz, D. Nickovic, N.E. Sarac, in:, 24th International Conference on Runtime Verification, Springer Nature, 2024, pp. 282–301.
[Published Version] View | Files available | DOI | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 18068 | OA
Strategic dominance: A new preorder for nondeterministic processes
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 35th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version] View | Files available | DOI | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 18847 | OA
Smoke and mirrors in causal downstream tasks
R. Cadei, L. Lindorfer, S. Cremer, C. Schmid, F. Locatello, in:, ICML 2024 Workshop AI4Science, Curran Associates, 2024.
[Published Version] View | Files available | arXiv
 
2024 | Research Data Reference | IST-REx-ID: 18895 | OA
ISTAnt
R. Cadei, F. Locatello, S. Cremer, L. Lindorfer, C. Schmid, (2024).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2024 | Published | Conference Paper | IST-REx-ID: 18917 | OA
Eight-partitioning points in 3D, and efficiently too
B. Aronov, A. Basit, I. Ramesh, G. Tasinato, U. Wagner, in:, 40th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, p. 8:1-8:15.
[Published Version] View | Files available | DOI | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 17634 | OA
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 | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 17202 | OA
A gate tunable transmon qubit in planar Ge
O. Sagi, A. Crippa, M. Valentini, M. Janik, L. Baghumyan, G. Fabris, L. Kapoor, F. Hassani, J.M. Fink, S. Calcaterra, D. Chrastina, G. Isella, G. Katsaros, Nature Communications 15 (2024).
[Published Version] View | Files available | DOI | arXiv
 
2024 | Research Data | IST-REx-ID: 17196 | OA [Published Version] View | Files available | DOI
 
2024 | Published | Thesis | 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
 
2024 | Published | Journal Article | IST-REx-ID: 18961 | OA
Deniability in automated contact tracing: Impossibilities and possibilities
C.U. Günther, K.Z. Pietrzak, Proceedings on Privacy Enhancing Technologies 2024 (2024) 636–648.
[Published Version] View | Files available | DOI
 
2024 | Draft | Preprint | IST-REx-ID: 18144 | OA
Strong charge-photon coupling in planar germanium enabled by granular aluminium superinductors
M. Janik, K.E.R. Roux, C.N. Borja Espinosa, O. Sagi, A. Baghdadi, T. Adletzberger, S. Calcaterra, M. Botifoll, A.G. Manjón, J. Arbiol, D. Chrastina, G. Isella, I.M. Pop, G. Katsaros, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 17426 | OA
1-Lipschitz layers compared: Memory, speed, and certifiable robustness
B. Prach, F. Brau, G. Buttazzo, C. Lampert, in:, Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, Computer Vision Foundation, 2024, pp. 24574–24583.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 18891 | OA
Neural collapse vs. low-rank bias: Is deep neural collapse really optimal?
P. Súkeník, C. Lampert, M. Mondelli, in:, 38th Annual Conference on Neural Information Processing Systems, Curran Associates, 2024.
[Published Version] View | Files available
 
2024 | Published | Conference Paper | IST-REx-ID: 18890 | OA
Average gradient outer product as a mechanism for deep neural collapse
D. Beaglehole, P. Súkeník, M. Mondelli, M. Belkin, in:, 38th Annual Conference on Neural Information Processing Systems, Curran Associates, 2024.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2024 | Published | Thesis | IST-REx-ID: 15094 | OA
Persistence and Morse theory for discrete geometric structures
S. Cultrera di Montesano, Persistence and Morse Theory for Discrete Geometric Structures, Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 
2024 | Published | Journal Article | IST-REx-ID: 17141 | OA
Slow and rapid auxin responses in Arabidopsis
Z. Zhang, H. Chen, S. Peng, H. Han, Journal of Experimental Botany 75 (2024).
[Published Version] View | Files available | DOI
 
2024 | Published | Thesis | IST-REx-ID: 17346 | OA
Stability and change in the memory system during rest
L. Bollmann, Stability and Change in the Memory System during Rest, Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 
2024 | Published | Thesis | IST-REx-ID: 15101 | OA
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
 
2024 | Published | Thesis | IST-REx-ID: 17206 | OA
Novel approaches to studying alternative splicing in Drosophila Melanogaster: Insights into sex-specific gene expression and the evolution of sex determination
J. Raices, Novel Approaches to Studying Alternative Splicing in Drosophila Melanogaster: Insights into Sex-Specific Gene Expression and the Evolution of Sex Determination, Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 
2024 | Published | Thesis | IST-REx-ID: 17119 | OA
Characterizing the sequence and expression evolution of the t-haplotype, a model meiotic driver
R.K. Kelemen, Characterizing the Sequence and Expression Evolution of the T-Haplotype, a Model Meiotic Driver, Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Export / Embed