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 | 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: 8940 |
Triangulating submanifolds: An elementary and quantified version of Whitney’s method
J.-D. Boissonnat, S. Kachanovich, M. Wintraecken, Discrete & Computational Geometry 66 (2021) 386–434.
[Published Version]
View
| Files available
| DOI
| WoS
J.-D. Boissonnat, S. Kachanovich, M. Wintraecken, Discrete & Computational Geometry 66 (2021) 386–434.
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.
2021 | Published | Journal Article | IST-REx-ID: 11446
Vanishing of all equivariant obstructions and the mapping degree
S. Avvakumov, S. Kudrya, Discrete & Computational Geometry 66 (2021) 1202–1216.
[Preprint]
View
| Files available
| DOI
| arXiv
S. Avvakumov, S. Kudrya, Discrete & Computational Geometry 66 (2021) 1202–1216.
2021 | Published | Journal Article | IST-REx-ID: 15271
Simple, deterministic, constant-round coloring in congested clique and MPC
A. Czumaj, P. Davies, M. Parter, SIAM Journal on Computing 50 (2021) 1603–1626.
View
| DOI
A. Czumaj, P. Davies, M. Parter, SIAM Journal on Computing 50 (2021) 1603–1626.
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. Henzinger, A. Noe, C. Schulz, D. Strash, ACM Journal of Experimental Algorithmics 23 (2018) 1–22.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. 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. Henzinger, I. Weber, ACM Transactions on Economics and Computation 4 (2015).
View
| DOI
P. Dütting, M. 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.