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, Klaus-Tycho, et al. “Input-Dynamic Distributed Algorithms for Communication Networks.” Proceedings of the ACM on Measurement and Analysis of Computing Systems, vol. 5, no. 1, Association for Computing Machinery, 2021, pp. 1–33, doi:10.1145/3447384.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10002 |
Chatterjee, Krishnendu, et al. “Symbolic Time and Space Tradeoffs for Probabilistic Verification.” Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13, doi:10.1109/LICS52264.2021.9470739.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10004 |
Chatterjee, Krishnendu, and Laurent Doyen. “Stochastic Processes with Expected Stopping Time.” Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13, doi: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, Monika H., et al. “Practical Minimum Cut Algorithms.” ACM Journal of Experimental Algorithmics, vol. 23, Association for Computing Machinery, 2018, pp. 1–22, doi:10.1145/3274662.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 | Published | Journal Article | IST-REx-ID: 11670
Dütting, Paul, et al. “An Expressive Mechanism for Auctions on the Web.” ACM Transactions on Economics and Computation, vol. 4, no. 1, 1, Association for Computing Machinery, 2015, doi:10.1145/2716312.
View
| DOI
2014 | Published | Journal Article | IST-REx-ID: 8459
Morin, Sébastien, et al. “Relax: The Analysis of Biomolecular Kinetics and Thermodynamics Using NMR Relaxation Dispersion Data.” Bioinformatics, vol. 30, no. 15, Oxford University Press, 2014, pp. 2219–20, doi:10.1093/bioinformatics/btu166.
View
| Files available
| DOI
2010 | Published | Journal Article | IST-REx-ID: 9145
Canuto, V. M., et al. “Ocean Turbulence, III: New GISS Vertical Mixing Scheme.” Ocean Modelling, vol. 34, no. 3–4, Elsevier, 2010, pp. 70–91, doi:10.1016/j.ocemod.2010.04.006.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 8509
Kaloshin, Vadim, and Mark Levi. “Geometry of Arnold Diffusion.” SIAM Review, vol. 50, no. 4, Society for Industrial & Applied Mathematics, 2008, pp. 702–20, doi:10.1137/070703235.
View
| DOI