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.




6568 Publications

2023 | Published | Journal Article | IST-REx-ID: 13988 | OA
Practical limitations of Ethereum’s layer-2
R. Neiheiser, G. Inacio, L. Rech, C. Montez, M. Matos, L. Rodrigues, IEEE Access 11 (2023) 8651–8662.
[Published Version] View | Files available | DOI | WoS
 
2023 | Published | Thesis | PhD | IST-REx-ID: 13074 | OA
Efficiency and generalization of sparse neural networks
A. Krumes, Efficiency and Generalization of Sparse Neural Networks, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 
2023 | Published | Conference Paper | IST-REx-ID: 12548 | OA
Visual analytics of mobility network changes observed using mobile phone data during COVID-19 pandemic
M. Forghani, C. Claramunt, F. Karimipour, G. Heiler, in:, 2022 IEEE International Conference on Data Mining Workshops, IEEE, 2023.
[Submitted Version] View | Files available | DOI | WoS
 
2023 | Published | Conference Paper | IST-REx-ID: 13321 | OA
Approximate message passing for multi-layer estimation in rotationally invariant models
Y. Xu, T.Q. Hou, S.S. Liang, M. Mondelli, in:, 2023 IEEE Information Theory Workshop, IEEE, 2023, pp. 294–298.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 12704 | OA
Revisiting the adversarial robustness-accuracy tradeoff in robot learning
M. Lechner, A. Amini, D. Rus, T.A. Henzinger, IEEE Robotics and Automation Letters 8 (2023) 1595–1602.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 13967 | OA
Stopping criteria for value iteration on stochastic games with quantitative objectives
J. Kretinsky, T. Meggendorfer, M. Weininger, in:, 38th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2023.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 14751 | OA
Zero-error communication over adversarial MACs
Y. Zhang, IEEE Transactions on Information Theory 69 (2023) 4093–4127.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 13269 | OA
Codes for the Z-channel
N. Polyanskii, Y. Zhang, IEEE Transactions on Information Theory 69 (2023) 6340–6357.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
earlier version | 2023 | Published | Conference Paper | IST-REx-ID: 13221 | OA
Safety and liveness of quantitative automata
U. Boker, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 34th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2023 | Journal Article | IST-REx-ID: 13965 | OA
Concepts, mechanisms and implications of long-term epigenetic inheritance
E. Hollwey, A. Briffa, M. Howard, D. Zilberman, Current Opinion in Genetics & Development 81 (2023).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2023 | Published | Journal Article | IST-REx-ID: 14774 | OA
Real-time monitoring of an endogenous Fgf8a gradient attests to its role as a morphogen during zebrafish gastrulation
R.K. Harish, M. Gupta, D. Zöller, H. Hartmann, A. Gheisari, A. Machate, S. Hans, M. Brand, Development 150 (2023).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2023 | Published | Journal Article | IST-REx-ID: 14657 | OA
Evolutionary dynamics of mutants that modify population structure
J. Tkadlec, K. Kaveh, K. Chatterjee, M.A. Nowak, Journal of the Royal Society Interface 20 (2023).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2023 | Published | Conference Paper | IST-REx-ID: 14953 | OA
Sample complexity bounds for score-matching: Causal discovery and generative modeling
Z. Zhu, F. Locatello, V. Cevher, in:, 37th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2023, pp. 3325–3337.
[Published Version] View | Files available | DOI | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 14954 | OA
Assumption violations in causal discovery and the robustness of score matching
F. Montagna, A.A. Mastakouri, E. Eulig, N. Noceti, L. Rosasco, D. Janzing, B. Aragam, F. Locatello, in:, 37th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2023.
[Published Version] View | Files available | DOI | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 14036 | OA
Protein dynamics detected by magic-angle spinning relaxation dispersion NMR
F. Napoli, L.M. Becker, P. Schanda, Current Opinion in Structural Biology 82 (2023).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2023 | Published | Conference Paper | IST-REx-ID: 14691 | OA
On the cost of post-compromise security in concurrent Continuous Group-Key Agreement
B. Auerbach, M. Cueto Noval, G. Pascual Perez, K.Z. Pietrzak, in:, 21st International Conference on Theory of Cryptography, Springer Nature, 2023, pp. 271–300.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 
2023 | Published | Thesis | PhD | IST-REx-ID: 12491 | OA
Ultrastructural characterization of natively preserved extracellular matrix by cryo-electron tomography
B. Zens, Ultrastructural Characterization of Natively Preserved Extracellular Matrix by Cryo-Electron Tomography, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 
2023 | Published | Thesis | PhD | IST-REx-ID: 13984 | OA
Individual and social immunity against viral infections in ants
A. Franschitz, Individual and Social Immunity against Viral Infections in Ants, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 
2023 | Published | Thesis | PhD | IST-REx-ID: 12964 | OA
Mechanochemical pattern formation across biological scales
D.R. Boocock, Mechanochemical Pattern Formation across Biological Scales, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 
2023 | Published | Thesis | PhD | IST-REx-ID: 12897 | OA
Inverse shape design with parametric representations: Kirchhoff Rods and parametric surface models
C. Hafner, Inverse Shape Design with Parametric Representations: Kirchhoff Rods and Parametric Surface Models, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed