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 | Conference Paper | IST-REx-ID: 10004 | 
Stochastic processes with expected stopping time
K. Chatterjee, L. Doyen, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, L. Doyen, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13.
2021 | Published | Journal Article | IST-REx-ID: 10674 |
Determinacy in discrete-bidding infinite-duration games
M. Aghajohari, G. Avni, T.A. Henzinger, Logical Methods in Computer Science 17 (2021) 10:1-10:23.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Aghajohari, G. Avni, T.A. Henzinger, Logical Methods in Computer Science 17 (2021) 10:1-10:23.
2021 | Published | Journal Article | IST-REx-ID: 10855 |
Input-dynamic distributed algorithms for communication networks
K.-T. Foerster, J. Korhonen, A. Paz, J. Rybicki, S. Schmid, Proceedings of the ACM on Measurement and Analysis of Computing Systems 5 (2021) 1–33.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K.-T. Foerster, J. Korhonen, A. Paz, J. Rybicki, S. Schmid, Proceedings of the ACM on Measurement and Analysis of Computing Systems 5 (2021) 1–33.
2020 | Published | Journal Article | IST-REx-ID: 14125 |
SCIM: Universal single-cell matching with unpaired feature sets
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
Stark SG et al. 2020. SCIM: Universal single-cell matching with unpaired feature sets. Bioinformatics. 36(Supplement_2), i919–i927.
2018 | Published | Journal Article | IST-REx-ID: 11657 |
Practical minimum cut algorithms
M.H. Henzinger, A. Noe, C. Schulz, D. Strash, ACM Journal of Experimental Algorithmics 23 (2018) 1–22.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M.H. Henzinger, A. Noe, C. Schulz, D. Strash, ACM Journal of Experimental Algorithmics 23 (2018) 1–22.
2015 | Published | Journal Article | IST-REx-ID: 11670
An expressive mechanism for auctions on the web
P. Dütting, M.H. Henzinger, I. Weber, ACM Transactions on Economics and Computation 4 (2015).
View
| DOI
P. Dütting, M.H. Henzinger, I. Weber, ACM Transactions on Economics and Computation 4 (2015).
2014 | Published | Journal Article | IST-REx-ID: 8459
Relax: The analysis of biomolecular kinetics and thermodynamics using NMR relaxation dispersion data
S. Morin, T.E. Linnet, M. Lescanne, P. Schanda, G.S. Thompson, M. Tollinger, K. Teilum, S. Gagné, D. Marion, C. Griesinger, M. Blackledge, E.J. d’Auvergne, Bioinformatics 30 (2014) 2219–2220.
View
| Files available
| DOI
S. Morin, T.E. Linnet, M. Lescanne, P. Schanda, G.S. Thompson, M. Tollinger, K. Teilum, S. Gagné, D. Marion, C. Griesinger, M. Blackledge, E.J. d’Auvergne, Bioinformatics 30 (2014) 2219–2220.
2010 | Published | Journal Article | IST-REx-ID: 9145
Ocean turbulence, III: New GISS vertical mixing scheme
V.M. Canuto, A.M. Howard, Y. Cheng, C.J. Muller, A. Leboissetier, S.R. Jayne, Ocean Modelling 34 (2010) 70–91.
View
| DOI
V.M. Canuto, A.M. Howard, Y. Cheng, C.J. Muller, A. Leboissetier, S.R. Jayne, Ocean Modelling 34 (2010) 70–91.
2008 | Published | Journal Article | IST-REx-ID: 8509
Geometry of Arnold diffusion
V. Kaloshin, M. Levi, SIAM Review 50 (2008) 702–720.
View
| DOI
V. Kaloshin, M. Levi, SIAM Review 50 (2008) 702–720.