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.




6926 Publications

2022 | Published | Conference Paper | IST-REx-ID: 12509 | OA
Avni, Guy, and Thomas A Henzinger. “An Updated Survey of Bidding Games on Graphs.” In 47th International Symposium on Mathematical Foundations of Computer Science, 241:3:1-3:6. Leibniz International Proceedings in Informatics (LIPIcs). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. https://doi.org/10.4230/LIPIcs.MFCS.2022.3.
[Published Version] View | Files available | DOI
 
2022 | Published | Journal Article | IST-REx-ID: 12510 | OA
Gruenbacher, Sophie A., Mathias Lechner, Ramin Hasani, Daniela Rus, Thomas A Henzinger, Scott A. Smolka, and Radu Grosu. “GoTube: Scalable Statistical Verification of Continuous-Depth Models.” Proceedings of the AAAI Conference on Artificial Intelligence. Association for the Advancement of Artificial Intelligence, 2022. https://doi.org/10.1609/aaai.v36i6.20631.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 12511 | OA
Lechner, Mathias, Dorde Zikelic, Krishnendu Chatterjee, and Thomas A Henzinger. “Stability Verification in Stochastic Control Systems via Neural Network Supermartingales.” Proceedings of the AAAI Conference on Artificial Intelligence. Association for the Advancement of Artificial Intelligence, 2022. https://doi.org/10.1609/aaai.v36i7.20695.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2022 | Published | Conference Paper | IST-REx-ID: 12516 | OA
Bogdanov, Andrej, Miguel Cueto Noval, Charlotte Hoffmann, and Alon Rosen. “Public-Key Encryption from Homogeneous CLWE.” In Theory of Cryptography, 13748:565–92. Springer Nature, 2022. https://doi.org/10.1007/978-3-031-22365-5_20.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 
2022 | Research Data | IST-REx-ID: 12522 | OA
Valentini, Marco, Pablo San-Jose, Jordi Arbiol, Sara Marti-Sanchez, and Marc Botifoll. “Data for ‘Majorana-like Coulomb Spectroscopy in the Absence of Zero Bias Peaks.’” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/AT:ISTA:12102.
[Published Version] View | Files available | DOI
 
2022 | Published | Journal Article | IST-REx-ID: 12538 | OA
Amani, Mohammad Hossein, Simone Bombari, Marco Mondelli, Rattana Pukdee, and Stefano Rini. “Sharp Asymptotics on the Compression of Two-Layer Neural Networks.” IEEE Information Theory Workshop. IEEE, 2022. https://doi.org/10.1109/ITW54588.2022.9965870.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2022 | Published | Conference Paper | IST-REx-ID: 12568 | OA
Meggendorfer, Tobias. “Risk-Aware Stochastic Shortest Path.” In Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022, 36:9858–67. Association for the Advancement of Artificial Intelligence, 2022. https://doi.org/10.1609/aaai.v36i9.21222.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 12670 | OA
He, Shengbo, and Xiaoqi Feng. “DNA Methylation Dynamics during Germline Development.” Journal of Integrative Plant Biology. Wiley, 2022. https://doi.org/10.1111/jipb.13422.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2022 | Published | Journal Article | IST-REx-ID: 12671 | OA
Buttress, Toby, Shengbo He, Liang Wang, Shaoli Zhou, Gerhard Saalbach, Martin Vickers, Guohong Li, Pilong Li, and Xiaoqi Feng. “Histone H2B.8 Compacts Flowering Plant Sperm through Chromatin Phase Separation.” Nature. Springer Nature, 2022. https://doi.org/10.1038/s41586-022-05386-6.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2022 | Submitted | Preprint | IST-REx-ID: 12677 | OA
Chatterjee, Krishnendu, Mona Mohammadi, and Raimundo J Saona Urmeneta. “Repeated Prophet Inequality with Near-Optimal Bounds.” ArXiv, n.d. https://doi.org/10.48550/ARXIV.2209.14368.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
earlier version | 2022 | Draft | Preprint | IST-REx-ID: 12750 | OA
Brighi, Pietro, Marko Ljubotina, and Maksym Serbyn. “Hilbert Space Fragmentation and Slow Dynamics in Particle-Conserving Quantum East Models.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2210.15607.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 12776 | OA
Browning, Timothy D. “Revisiting the Manin–Peyre Conjecture for the Split Del Pezzo Surface of Degree 5.” New York Journal of Mathematics. State University of New York, 2022.
[Published Version] View | Files available
 
2022 | Submitted | Preprint | IST-REx-ID: 12860 | OA
Bombari, Simone, Alessandro Achille, Zijian Wang, Yu-Xiang Wang, Yusheng Xie, Kunwar Yashraj Singh, Srikar Appalaraju, Vijay Mahadevan, and Stefano Soatto. “Towards Differential Relational Privacy and Its Use in Question Answering.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2203.16701.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2022 | Research Data Reference | IST-REx-ID: 13064 | OA
Orliac, Etienne, Daniel Trejo Banos, Sven Ojavee, Kristi Läll, Reedik Mägi, Peter Visscher, and Matthew Richard Robinson. “Improving Genome-Wide Association Discovery and Genomic Prediction Accuracy in Biobank Data.” Dryad, 2022. https://doi.org/10.5061/DRYAD.GTHT76HMZ.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2022 | Research Data Reference | IST-REx-ID: 13066 | OA
Koch, Eva, Mark Ravinet, Anja M Westram, Kerstin Jonannesson, and Roger Butlin. “Data from: Genetic Architecture of Repeated Phenotypic Divergence in Littorina Saxatilis Ecotype Evolution.” Dryad, 2022. https://doi.org/10.5061/DRYAD.M905QFV4B.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2022 | Research Data Reference | IST-REx-ID: 13076 | OA
Postnikova, Anastasiia, Nikita Koval, Giorgi Nadiradze, and Dan-Adrian Alistarh. “Multi-Queues Can Be State-of-the-Art Priority Schedulers.” Zenodo, 2022. https://doi.org/10.5281/ZENODO.5733408.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2022 | Published | Conference Paper | IST-REx-ID: 13239 | OA
Van Der Plas, Thijs L., Tim P Vogels, and Sanjay G. Manohar. “Predictive Learning Enables Neural Networks to Learn Complex Working Memory Tasks.” In Proceedings of Machine Learning Research, 199:518–31. ML Research Press, 2022.
[Published Version] View | Files available
 
2022 | Published | Journal Article | IST-REx-ID: 13240 | OA
Ingole, Kishor D., Nithya Nagarajan, Simon Uhse, Caterina Giannini, and Armin Djamei. “Tetracycline-Controlled (TetON) Gene Expression System for the Smut Fungus Ustilago Maydis.” Frontiers in Fungal Biology. Frontiers Media, 2022. https://doi.org/10.3389/ffunb.2022.1029114.
[Published Version] View | Files available | DOI
 
2022 | Published | Conference Paper | IST-REx-ID: 13241 | OA
Konstantinov, Nikola H, and Christoph Lampert. “On the Impossibility of Fairness-Aware Learning from Corrupted Data.” In Proceedings of Machine Learning Research, 171:59–83. ML Research Press, 2022.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 
2022 | Published | Conference Paper | IST-REx-ID: 14093 | OA
Dresdner, Gideon, Maria-Luiza Vladarean, Gunnar Rätsch, Francesco Locatello, Volkan Cevher, and Alp Yurtsever. “ Faster One-Sample Stochastic Conditional Gradient Method for Composite Convex Minimization.” In Proceedings of the 25th International Conference on Artificial Intelligence and Statistics, 151:8439–57. ML Research Press, 2022.
[Preprint] View | Download Preprint (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed