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.
31 Publications
2021 | 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
2021 | Journal Article | IST-REx-ID: 10674 |
Aghajohari, Milad, et al. “Determinacy in Discrete-Bidding Infinite-Duration Games.” Logical Methods in Computer Science, vol. 17, no. 1, International Federation for Computational Logic, 2021, p. 10:1-10:23, doi:10.23638/LMCS-17(1:10)2021.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Journal Article | IST-REx-ID: 8940 |
Boissonnat, Jean-Daniel, et al. “Triangulating Submanifolds: An Elementary and Quantified Version of Whitney’s Method.” Discrete & Computational Geometry, vol. 66, no. 1, Springer Nature, 2021, pp. 386–434, doi:10.1007/s00454-020-00250-8.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | 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 | Journal Article | IST-REx-ID: 15271
Czumaj, Artur, et al. “Simple, Deterministic, Constant-Round Coloring in Congested Clique and MPC.” SIAM Journal on Computing, vol. 50, no. 5, Society for Industrial & Applied Mathematics, 2021, pp. 1603–26, doi:10.1137/20m1366502.
View
| DOI
2020 | 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 | 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 | 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 | 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 | 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 | 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