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.




5735 Publications

2022 | Published | Journal Article | IST-REx-ID: 12274 | OA
Azkanaz M, Corominas-Murtra B, Ellenbroek SIJ, Bruens L, Webb AT, Laskaris D, Oost KC, Lafirenze SJA, Annusver K, Messal HA, Iqbal S, Flanagan DJ, Huels DJ, Rojas-Rodríguez F, Vizoso M, Kasper M, Sansom OJ, Snippert HJ, Liberali P, Simons BD, Katajisto P, Hannezo EB, van Rheenen J. 2022. Retrograde movements determine effective stem cell numbers in the intestine. Nature. 607(7919), 548–554.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 
2022 | Published | Journal Article | IST-REx-ID: 12253 | OA
J. Stock, T. Kazmar, F. Schlumm, E. B. Hannezo, and A. Pauli, “A self-generated Toddler gradient guides mesodermal cell migration,” Science Advances, vol. 8, no. 37. American Association for the Advancement of Science, 2022.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2022 | Published | Journal Article | IST-REx-ID: 9469
O. S. Iyiola, C. D. Enyi, and Y. Shehu, “Reflected three-operator splitting method for monotone inclusion problem,” Optimization Methods and Software, vol. 37, no. 4. Taylor and Francis, pp. 1527–1565, 2022.
View | DOI | WoS
 
2022 | Published | Journal Article | IST-REx-ID: 9365
F. U. Ogbuisi, Y. Shehu, and J. C. Yao, “Convergence analysis of new inertial method for the split common null point problem,” Optimization, vol. 71, no. 13. Taylor and Francis, pp. 3767–3795, 2022.
View | DOI | WoS
 
2022 | Published | Conference Paper | IST-REx-ID: 11183 | OA
A. Nikabadi and J. Korhonen, “Beyond distributed subgraph detection: Induced subgraphs, multicolored problems and graph parameters,” in 25th International Conference on Principles of Distributed Systems, Strasbourg, France, 2022, vol. 217.
[Published Version] View | Files available | DOI
 
2022 | Published | Conference Paper | IST-REx-ID: 11180 | OA
A. Postnikova, N. Koval, G. Nadiradze, and D.-A. Alistarh, “Multi-queues can be state-of-the-art priority schedulers,” in Proceedings of the 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Seoul, Republic of Korea, 2022, pp. 353–367.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2022 | Research Data Reference | IST-REx-ID: 13076 | OA
A. Postnikova, N. Koval, G. Nadiradze, and D.-A. Alistarh, “Multi-queues can be state-of-the-art priority schedulers.” Zenodo, 2022.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2022 | Published | Conference Paper | IST-REx-ID: 11844 | OA
D.-A. Alistarh, J. Rybicki, and S. Voitovych, “Near-optimal leader election in population protocols on graphs,” in Proceedings of the Annual ACM Symposium on Principles of Distributed Computing, Salerno, Italy, 2022, pp. 246–256.
[Published Version] View | Files available | DOI | arXiv
 
2022 | Published | Conference Paper | IST-REx-ID: 17087 | OA
E. Frantar, S. P. Singh, and D.-A. Alistarh, “Optimal brain compression: A framework for accurate post-training quantization and pruning,” in 36th Conference on Neural Information Processing Systems, New Orleans, LA, United States, 2022, vol. 35.
[Submitted Version] View | Files available | arXiv
 
2022 | Published | Conference Paper | IST-REx-ID: 17059 | OA
E. Frantar and D.-A. Alistarh, “SPDY: Accurate pruning with speedup guarantees,” in 39th International Conference on Machine Learning, Baltimore, MD, United States, 2022, vol. 162, pp. 6726–6743.
[Published Version] View | Files available | WoS
 
2022 | Published | Conference Paper | IST-REx-ID: 11184 | OA
D.-A. Alistarh, R. Gelashvili, and J. Rybicki, “Fast graphical population protocols,” in 25th International Conference on Principles of Distributed Systems, Strasbourg, France, 2022, vol. 217.
[Published Version] View | Files available | DOI | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 11593 | OA
R. Fulek and J. Kynčl, “The Z2-Genus of Kuratowski minors,” Discrete and Computational Geometry, vol. 68. Springer Nature, pp. 425–447, 2022.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 10284 | OA
B. E. Casillas Perez, C. Pull, F. Naiser, E. Naderlinger, J. Matas, and S. Cremer, “Early queen infection shapes developmental dynamics and induces long-term disease protection in incipient ant colonies,” Ecology Letters, vol. 25, no. 1. Wiley, pp. 89–100, 2022.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2022 | Published | Journal Article | IST-REx-ID: 10731 | OA
J. Svoboda, J. Tkadlec, A. Pavlogiannis, K. Chatterjee, and M. A. Nowak, “Infection dynamics of COVID-19 virus under lockdown and reopening,” Scientific Reports, vol. 12, no. 1. Springer Nature, 2022.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2022 | Published | Conference Paper | IST-REx-ID: 11459 | OA
D. Zikelic, B.-Y. E. Chang, P. Bolignano, and F. Raimondi, “Differential cost analysis with simultaneous potentials and anti-potentials,” in Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, United States, 2022, pp. 442–457.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 12280 | OA
L. Schmid, C. Hilbe, K. Chatterjee, and M. Nowak, “Direct reciprocity between individuals that use different strategy spaces,” PLOS Computational Biology, vol. 18, no. 6. Public Library of Science, 2022.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2022 | Submitted | Preprint | IST-REx-ID: 12677 | OA
K. Chatterjee, M. Mohammadi, and R. J. Saona Urmeneta, “Repeated prophet inequality with near-optimal bounds,” arXiv. .
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2022 | Published | Conference Paper | IST-REx-ID: 12101 | OA
Chatterjee, Krishnendu, Complexity of spatial games. 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science 250. 2022
[Published Version] View | Files available | DOI
 
2022 | Published | Conference Paper | IST-REx-ID: 10774 | OA
E. Bartocci, T. Ferrere, T. A. Henzinger, D. Nickovic, and A. O. Da Costa, “Flavors of sequential information flow,” in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Philadelphia, PA, United States, 2022, vol. 13182, pp. 1–19.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2022 | Published | Conference Paper | IST-REx-ID: 10891
T. A. Henzinger, “Quantitative monitoring of software,” in Software Verification, New Haven, CT, United States, 2022, vol. 13124, pp. 3–6.
View | DOI | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed