Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5872 Publications
2022 | Published | Conference Paper | IST-REx-ID: 12302 | 
Doveri K, Ganty P, Mazzocchi NA. FORQ-based language inclusion formal testing. In: Computer Aided Verification. Vol 13372. Springer Nature; 2022:109-129. doi:10.1007/978-3-031-13188-2_6
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 11775 |
Henzinger TA, Mazzocchi NA, Sarac NE. Abstract monitors for quantitative specifications. In: 22nd International Conference on Runtime Verification. Vol 13498. Springer Nature; 2022:200-220. doi:10.1007/978-3-031-17196-3_11
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Conference Paper | IST-REx-ID: 12171 |
Garcia Soto M, Henzinger TA, Schilling C. Synthesis of parametric hybrid automata from time series. In: 20th International Symposium on Automated Technology for Verification and Analysis. Vol 13505. Springer Nature; 2022:337-353. doi:10.1007/978-3-031-19992-9_22
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 12175 |
Bose S, Henzinger TA, Lehtinen K, Schewe S, Totzke P. History-deterministic timed automata are not determinizable. In: 16th International Conference on Reachability Problems. Vol 13608. Springer Nature; 2022:67-76. doi:10.1007/978-3-031-19135-0_5
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 | Published | Conference Paper | IST-REx-ID: 12508 |
Henzinger TA, Lehtinen K, Totzke P. History-deterministic timed automata. In: 33rd International Conference on Concurrency Theory. Vol 243. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2022: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, An updated survey of bidding games on graphs. 47th International Symposium on Mathematical Foundations of Computer Science 241. 2022
[Published Version]
View
| Files available
| DOI
2022 | Published | Journal Article | IST-REx-ID: 11187 |
Knyazev S, Chhugani K, Sarwal V, Ayyala R, Singh H, Karthikeyan S, Deshpande D, Baykal PI, Comarova Z, Lu A, Porozov Y, Vasylyeva TI, Wertheim JO, Tierney BT, Chiu CY, Sun R, Wu A, Abedalthagafi MS, Pak VM, Nagaraj SH, Smith AL, Skums P, Pasaniuc B, Komissarov A, Mason CE, Bortz E, Lemey P, Kondrashov F, Beerenwinkel N, Lam TTY, Wu NC, Zelikovsky A, Knight R, Crandall KA, Mangul S. 2022. Unlocking capacities of genomics for the COVID-19 response and future pandemics. Nature Methods. 19(4), 374–380.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 12431 |
Ishida S, Wojtan C, Chern A. Hidden degrees of freedom in implicit vortex filaments. ACM Transactions on Graphics. 2022;41(6). doi:10.1145/3550454.3555459
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Conference Paper | IST-REx-ID: 12182 |
Pacut M, Parham M, Rybicki J, Schmid S, Suomela J, Tereshchenko A. Brief announcement: Temporal locality in online algorithms. In: 36th International Symposium on Distributed Computing. Vol 246. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2022. doi:10.4230/LIPIcs.DISC.2022.52
[Published Version]
View
| Files available
| DOI
2022 | Published | Conference Paper | IST-REx-ID: 11707 |
Balliu A, Hirvonen J, Melnyk D, Olivetti D, Rybicki J, Suomela J. Local mending. In: Parter M, ed. International Colloquium on Structural Information and Communication Complexity. Vol 13298. LNCS. Springer Nature; 2022:1-20. doi:10.1007/978-3-031-09993-9_1
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12216 |
Carlen EA, Zhang H. Monotonicity versions of Epstein’s concavity theorem and related inequalities. Linear Algebra and its Applications. 2022;654:289-310. doi:10.1016/j.laa.2022.09.001
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 10825 |
Yanagida, Ayaka, Cell surface fluctuations regulate early embryonic lineage sorting. Cell 185 (5). 2022
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 12274 |
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 |
Stock J, Kazmar T, Schlumm F, Hannezo EB, Pauli A. A self-generated Toddler gradient guides mesodermal cell migration. Science Advances. 2022;8(37). doi:10.1126/sciadv.add2488
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 9469
Iyiola OS, Enyi CD, Shehu Y. Reflected three-operator splitting method for monotone inclusion problem. Optimization Methods and Software. 2022;37(4):1527-1565. doi:10.1080/10556788.2021.1924715
View
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 9365
Ogbuisi FU, Shehu Y, Yao JC. Convergence analysis of new inertial method for the split common null point problem. Optimization. 2022;71(13):3767-3795. doi:10.1080/02331934.2021.1914035
View
| DOI
| WoS
2022 | Published | Conference Paper | IST-REx-ID: 11183 |
Nikabadi A, Korhonen J. Beyond distributed subgraph detection: Induced subgraphs, multicolored problems and graph parameters. In: Bramas Q, Gramoli V, Milani A, eds. 25th International Conference on Principles of Distributed Systems. Vol 217. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2022. doi:10.4230/LIPIcs.OPODIS.2021.15
[Published Version]
View
| Files available
| DOI
2022 | Published | Conference Paper | IST-REx-ID: 11180 |
Postnikova A, Koval N, Nadiradze G, Alistarh D-A. 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. Association for Computing Machinery; 2022:353-367. doi:10.1145/3503221.3508432
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Research Data Reference | IST-REx-ID: 13076 |
Postnikova A, Koval N, Nadiradze G, Alistarh D-A. Multi-queues can be state-of-the-art priority schedulers. 2022. doi:10.5281/ZENODO.5733408
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2022 | Published | Conference Paper | IST-REx-ID: 11844 |
Alistarh D-A, Rybicki J, Voitovych S. Near-optimal leader election in population protocols on graphs. In: Proceedings of the Annual ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery; 2022:246-256. doi:10.1145/3519270.3538435
[Published Version]
View
| Files available
| DOI
| arXiv