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.
5256 Publications
2022 | Published | Conference Paper | IST-REx-ID: 12508 | 
History-deterministic timed automata
T.A. Henzinger, K. Lehtinen, P. Totzke, in:, 33rd International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, p. 14:1-14:21.
[Published Version]
View
| Files available
| DOI
T.A. Henzinger, K. Lehtinen, P. Totzke, in:, 33rd International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, p. 14:1-14:21.
2022 | Published | Conference Paper | IST-REx-ID: 12509 |
An updated survey of bidding games on graphs
G. Avni, T.A. Henzinger, in:, 47th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2022, p. 3:1-3:6.
[Published Version]
View
| Files available
| DOI
G. Avni, T.A. Henzinger, in:, 47th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2022, p. 3:1-3:6.
2022 | Published | Journal Article | IST-REx-ID: 12510 |
GoTube: Scalable statistical verification of continuous-depth models
S.A. Gruenbacher, M. Lechner, R. Hasani, D. Rus, T.A. Henzinger, S.A. Smolka, R. Grosu, Proceedings of the AAAI Conference on Artificial Intelligence 36 (2022) 6755–6764.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S.A. Gruenbacher, M. Lechner, R. Hasani, D. Rus, T.A. Henzinger, S.A. Smolka, R. Grosu, Proceedings of the AAAI Conference on Artificial Intelligence 36 (2022) 6755–6764.
2022 | Published | Journal Article | IST-REx-ID: 12511 |
Stability verification in stochastic control systems via neural network supermartingales
M. Lechner, D. Zikelic, K. Chatterjee, T.A. Henzinger, Proceedings of the AAAI Conference on Artificial Intelligence 36 (2022) 7326–7336.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
M. Lechner, D. Zikelic, K. Chatterjee, T.A. Henzinger, Proceedings of the AAAI Conference on Artificial Intelligence 36 (2022) 7326–7336.
2022 | Published | Conference Paper | IST-REx-ID: 12516 |
Public-Key Encryption from Homogeneous CLWE
A. Bogdanov, M. Cueto Noval, C. Hoffmann, A. Rosen, in:, Theory of Cryptography, Springer Nature, 2022, pp. 565–592.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
A. Bogdanov, M. Cueto Noval, C. Hoffmann, A. Rosen, in:, Theory of Cryptography, Springer Nature, 2022, pp. 565–592.
2022 | Published | Conference Paper | IST-REx-ID: 12536 |
The price of ignorance: How much does it cost to forget noise structure in low-rank matrix estimation?
J. Barbier, T. Hou, M. Mondelli, M. Saenz, in:, 36th Annual Conference on Neural Information Processing Systems, 2022.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
J. Barbier, T. Hou, M. Mondelli, M. Saenz, in:, 36th Annual Conference on Neural Information Processing Systems, 2022.
2022 | Published | Conference Paper | IST-REx-ID: 12537 |
Memorization and optimization in deep neural networks with minimum over-parameterization
S. Bombari, M.H. Amani, M. Mondelli, in:, 36th Conference on Neural Information Processing Systems, Curran Associates, 2022, pp. 7628–7640.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
S. Bombari, M.H. Amani, M. Mondelli, in:, 36th Conference on Neural Information Processing Systems, Curran Associates, 2022, pp. 7628–7640.
2022 | Published | Journal Article | IST-REx-ID: 12538 |
Sharp asymptotics on the compression of two-layer neural networks
M.H. Amani, S. Bombari, M. Mondelli, R. Pukdee, S. Rini, IEEE Information Theory Workshop (2022) 588–593.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M.H. Amani, S. Bombari, M. Mondelli, R. Pukdee, S. Rini, IEEE Information Theory Workshop (2022) 588–593.
2022 | Published | Conference Paper | IST-REx-ID: 12540 |
Estimation in rotationally invariant generalized linear models via approximate message passing
R. Venkataramanan, K. Kögler, M. Mondelli, in:, Proceedings of the 39th International Conference on Machine Learning, ML Research Press, 2022.
[Published Version]
View
| Files available
R. Venkataramanan, K. Kögler, M. Mondelli, in:, Proceedings of the 39th International Conference on Machine Learning, ML Research Press, 2022.
2022 | Published | Conference Paper | IST-REx-ID: 12568 |
Risk-aware stochastic shortest path
T. Meggendorfer, in:, Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022, Association for the Advancement of Artificial Intelligence, 2022, pp. 9858–9867.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T. Meggendorfer, in:, Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022, Association for the Advancement of Artificial Intelligence, 2022, pp. 9858–9867.
2022 | Submitted | Preprint | IST-REx-ID: 12660 |
Cross-client Label Propagation for transductive federated learning
J.A. Scott, M.X. Yeo, C. Lampert, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| arXiv
J.A. Scott, M.X. Yeo, C. Lampert, ArXiv (n.d.).
2022 | Submitted | Preprint | IST-REx-ID: 12662 |
Generalization in Multi-objective machine learning
P. Súkeník, C. Lampert, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
P. Súkeník, C. Lampert, ArXiv (n.d.).
2022 | Published | Journal Article | IST-REx-ID: 12670 |
DNA methylation dynamics during germline development
S. He, X. Feng, Journal of Integrative Plant Biology 64 (2022) 2240–2251.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
S. He, X. Feng, Journal of Integrative Plant Biology 64 (2022) 2240–2251.
2022 | Published | Journal Article | IST-REx-ID: 12671 |
Histone H2B.8 compacts flowering plant sperm through chromatin phase separation
T. Buttress, S. He, L. Wang, S. Zhou, G. Saalbach, M. Vickers, G. Li, P. Li, X. Feng, Nature 611 (2022) 614–622.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
T. Buttress, S. He, L. Wang, S. Zhou, G. Saalbach, M. Vickers, G. Li, P. Li, X. Feng, Nature 611 (2022) 614–622.
2022 | Submitted | Preprint | IST-REx-ID: 12677 |
Repeated prophet inequality with near-optimal bounds
K. Chatterjee, M. Mohammadi, R.J. Saona Urmeneta, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, M. Mohammadi, R.J. Saona Urmeneta, ArXiv (n.d.).
2022 | Published | Journal Article | IST-REx-ID: 12684 |
Effective equidistribution of lattice points in positive characteristic
T. Horesh, F. Paulin, Journal de Theorie Des Nombres de Bordeaux 34 (2022) 679–703.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
T. Horesh, F. Paulin, Journal de Theorie Des Nombres de Bordeaux 34 (2022) 679–703.
2022 | Submitted | Preprint | IST-REx-ID: 12750 |
Hilbert space fragmentation and slow dynamics in particle-conserving quantum East models
P. Brighi, M. Ljubotina, M. Serbyn, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
P. Brighi, M. Ljubotina, M. Serbyn, ArXiv (n.d.).
2022 | Published | Conference Paper | IST-REx-ID: 12775 |
Anytime guarantees for reachability in uncountable Markov decision processes
K. Grover, J. Kretinsky, T. Meggendorfer, M. Weininger, in:, 33rd International Conference on Concurrency Theory , Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
[Published Version]
View
| Files available
| DOI
| arXiv
K. Grover, J. Kretinsky, T. Meggendorfer, M. Weininger, in:, 33rd International Conference on Concurrency Theory , Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
2022 | Published | Journal Article | IST-REx-ID: 12776 |
Revisiting the Manin–Peyre conjecture for the split del Pezzo surface of degree 5
T.D. Browning, New York Journal of Mathematics 28 (2022) 1193–1229.
[Published Version]
View
| Files available
T.D. Browning, New York Journal of Mathematics 28 (2022) 1193–1229.
2022 | Published | Conference Paper | IST-REx-ID: 12780 |
CGX: Adaptive system support for communication-efficient deep learning
I. Markov, H. Ramezanikebrya, D.-A. Alistarh, in:, Proceedings of the 23rd ACM/IFIP International Middleware Conference, Association for Computing Machinery, 2022, pp. 241–254.
[Published Version]
View
| Files available
| DOI
| arXiv
I. Markov, H. Ramezanikebrya, D.-A. Alistarh, in:, Proceedings of the 23rd ACM/IFIP International Middleware Conference, Association for Computing Machinery, 2022, pp. 241–254.