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.
5563 Publications
2022 | Published | Conference Paper | IST-REx-ID: 12508 | 
Henzinger, Thomas A., et al. “History-Deterministic Timed Automata.” 33rd International Conference on Concurrency Theory, vol. 243, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, p. 14:1-14:21, doi:10.4230/LIPIcs.CONCUR.2022.14.
[Published Version]
View
| Files available
| DOI
2022 | Published | Conference Paper | IST-REx-ID: 12509 |
Avni, Guy, and Thomas A. Henzinger. “An Updated Survey of Bidding Games on Graphs.” 47th International Symposium on Mathematical Foundations of Computer Science, vol. 241, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, p. 3:1-3:6, doi:10.4230/LIPIcs.MFCS.2022.3.
[Published Version]
View
| Files available
| DOI
2022 | Published | Journal Article | IST-REx-ID: 12510 |
Gruenbacher, Sophie A., et al. “GoTube: Scalable Statistical Verification of Continuous-Depth Models.” Proceedings of the AAAI Conference on Artificial Intelligence, vol. 36, no. 6, Association for the Advancement of Artificial Intelligence, 2022, pp. 6755–64, doi:10.1609/aaai.v36i6.20631.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 12516 |
Bogdanov, Andrej, et al. “Public-Key Encryption from Homogeneous CLWE.” Theory of Cryptography, vol. 13748, Springer Nature, 2022, pp. 565–92, doi:10.1007/978-3-031-22365-5_20.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2022 | Research Data | IST-REx-ID: 12522 |
Valentini, Marco, et al. Data for “Majorana-like Coulomb Spectroscopy in the Absence of Zero Bias Peaks.” Institute of Science and Technology Austria, 2022, doi:10.15479/AT:ISTA:12102.
[Published Version]
View
| Files available
| DOI
2022 | Published | Conference Paper | IST-REx-ID: 12536 |
Barbier, Jean, et al. “The Price of Ignorance: How Much Does It Cost to Forget Noise Structure in Low-Rank Matrix Estimation?” 36th Annual Conference on Neural Information Processing Systems, vol. 35, 2022.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 12537 |
Bombari, Simone, et al. “Memorization and Optimization in Deep Neural Networks with Minimum Over-Parameterization.” 36th Conference on Neural Information Processing Systems, vol. 35, Curran Associates, 2022, pp. 7628–40.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12538 |
Amani, Mohammad Hossein, et al. “Sharp Asymptotics on the Compression of Two-Layer Neural Networks.” IEEE Information Theory Workshop, IEEE, 2022, pp. 588–93, doi:10.1109/ITW54588.2022.9965870.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 12540 |
Venkataramanan, Ramji, et al. “Estimation in Rotationally Invariant Generalized Linear Models via Approximate Message Passing.” Proceedings of the 39th International Conference on Machine Learning, vol. 162, 22, ML Research Press, 2022.
[Published Version]
View
| Files available
2022 | Published | Conference Paper | IST-REx-ID: 12568 |
Meggendorfer, Tobias. “Risk-Aware Stochastic Shortest Path.” Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022, vol. 36, no. 9, Association for the Advancement of Artificial Intelligence, 2022, pp. 9858–67, doi:10.1609/aaai.v36i9.21222.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12670 |
He, Shengbo, and Xiaoqi Feng. “DNA Methylation Dynamics during Germline Development.” Journal of Integrative Plant Biology, vol. 64, no. 12, Wiley, 2022, pp. 2240–51, doi:10.1111/jipb.13422.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 12671 |
Buttress, Toby, et al. “Histone H2B.8 Compacts Flowering Plant Sperm through Chromatin Phase Separation.” Nature, vol. 611, no. 7936, Springer Nature, 2022, pp. 614–22, doi:10.1038/s41586-022-05386-6.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2022 | Submitted | Preprint | IST-REx-ID: 12677 |
Chatterjee, Krishnendu, et al. “Repeated Prophet Inequality with Near-Optimal Bounds.” ArXiv, 2209.14368, doi:10.48550/ARXIV.2209.14368.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12684 |
Horesh, Tal, and Frédéric Paulin. “Effective Equidistribution of Lattice Points in Positive Characteristic.” Journal de Theorie Des Nombres de Bordeaux, vol. 34, no. 3, Centre Mersenne, 2022, pp. 679–703, doi:10.5802/JTNB.1222.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 12775 |
Grover, Kush, et al. “Anytime Guarantees for Reachability in Uncountable Markov Decision Processes.” 33rd International Conference on Concurrency Theory , vol. 243, 11, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, doi:10.4230/LIPIcs.CONCUR.2022.11.
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12776 |
Browning, Timothy D. “Revisiting the Manin–Peyre Conjecture for the Split Del Pezzo Surface of Degree 5.” New York Journal of Mathematics, vol. 28, State University of New York, 2022, pp. 1193–229.
[Published Version]
View
| Files available
2022 | Published | Conference Paper | IST-REx-ID: 12780 |
Markov, Ilia, et al. “CGX: Adaptive System Support for Communication-Efficient Deep Learning.” Proceedings of the 23rd ACM/IFIP International Middleware Conference, Association for Computing Machinery, 2022, pp. 241–54, doi:10.1145/3528535.3565248.
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12793 |
Yu, Hongjie. “ A Coarse Geometric Expansion of a Variant of Arthur’s Truncated Traces and Some Applications.” Pacific Journal of Mathematics, vol. 321, no. 1, Mathematical Sciences Publishers, 2022, pp. 193–237, doi:10.2140/pjm.2022.321.193.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Submitted | Preprint | IST-REx-ID: 12860 |
Bombari, Simone, et al. “Towards Differential Relational Privacy and Its Use in Question Answering.” ArXiv, 2203.16701, doi:10.48550/arXiv.2203.16701.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Research Data Reference | IST-REx-ID: 13064 |
Orliac, Etienne, et al. Improving Genome-Wide Association Discovery and Genomic Prediction Accuracy in Biobank Data. Dryad, 2022, doi:10.5061/DRYAD.GTHT76HMZ.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)