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.
29 Publications
2021 | Published | Journal Article | IST-REx-ID: 10855 | 
Foerster, K.-T., Korhonen, J., Paz, A., Rybicki, J., & Schmid, S. (2021). Input-dynamic distributed algorithms for communication networks. Proceedings of the ACM on Measurement and Analysis of Computing Systems. Association for Computing Machinery. https://doi.org/10.1145/3447384
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10002 |
Chatterjee, K., Dvorak, W., Henzinger, M. H., & Svozil, A. (2021). Symbolic time and space tradeoffs for probabilistic verification. In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 1–13). Rome, Italy: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/LICS52264.2021.9470739
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10004 |
Chatterjee, K., & Doyen, L. (2021). Stochastic processes with expected stopping time. In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 1–13). Rome, Italy: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/LICS52264.2021.9470595
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 14125 |
Stark SG et al. 2020. SCIM: Universal single-cell matching with unpaired feature sets. Bioinformatics. 36(Supplement_2), i919–i927.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2018 | Published | Journal Article | IST-REx-ID: 11657 |
Henzinger, M. H., Noe, A., Schulz, C., & Strash, D. (2018). Practical minimum cut algorithms. ACM Journal of Experimental Algorithmics. Association for Computing Machinery. https://doi.org/10.1145/3274662
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 | Published | Journal Article | IST-REx-ID: 11670
Dütting, P., Henzinger, M. H., & Weber, I. (2015). An expressive mechanism for auctions on the web. ACM Transactions on Economics and Computation. Association for Computing Machinery. https://doi.org/10.1145/2716312
View
| DOI
2014 | Published | Journal Article | IST-REx-ID: 8459
Morin, S., Linnet, T. E., Lescanne, M., Schanda, P., Thompson, G. S., Tollinger, M., … d’Auvergne, E. J. (2014). Relax: The analysis of biomolecular kinetics and thermodynamics using NMR relaxation dispersion data. Bioinformatics. Oxford University Press. https://doi.org/10.1093/bioinformatics/btu166
View
| Files available
| DOI
2010 | Published | Journal Article | IST-REx-ID: 9145
Canuto, V. M., Howard, A. M., Cheng, Y., Muller, C. J., Leboissetier, A., & Jayne, S. R. (2010). Ocean turbulence, III: New GISS vertical mixing scheme. Ocean Modelling. Elsevier. https://doi.org/10.1016/j.ocemod.2010.04.006
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 8509
Kaloshin, V., & Levi, M. (2008). Geometry of Arnold diffusion. SIAM Review. Society for Industrial & Applied Mathematics. https://doi.org/10.1137/070703235
View
| DOI