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: 8940 | OA
J.-D. Boissonnat, S. Kachanovich, and M. Wintraecken, “Triangulating submanifolds: An elementary and quantified version of Whitney’s method,” Discrete & Computational Geometry, vol. 66, no. 1. Springer Nature, pp. 386–434, 2021.
[Published Version] View | Files available | DOI | WoS
 

2021 | Published | Journal Article | IST-REx-ID: 10674 | OA
M. Aghajohari, G. Avni, and T. A. Henzinger, “Determinacy in discrete-bidding infinite-duration games,” Logical Methods in Computer Science, vol. 17, no. 1. International Federation for Computational Logic, p. 10:1-10:23, 2021.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2021 | Published | Journal Article | IST-REx-ID: 15271
A. Czumaj, P. Davies, and M. Parter, “Simple, deterministic, constant-round coloring in congested clique and MPC,” SIAM Journal on Computing, vol. 50, no. 5. Society for Industrial and Applied Mathematics, pp. 1603–1626, 2021.
View | DOI
 

2021 | Published | Conference Paper | IST-REx-ID: 10002 | OA
K. Chatterjee, W. Dvorak, M. Henzinger, and A. Svozil, “Symbolic time and space tradeoffs for probabilistic verification,” in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Rome, Italy, 2021, pp. 1–13.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Published | Conference Paper | IST-REx-ID: 10004 | OA
K. Chatterjee and L. Doyen, “Stochastic processes with expected stopping time,” in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Rome, Italy, 2021, pp. 1–13.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 14125 | OA
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 | OA
M. Henzinger, A. Noe, C. Schulz, and D. Strash, “Practical minimum cut algorithms,” ACM Journal of Experimental Algorithmics, vol. 23. Association for Computing Machinery, pp. 1–22, 2018.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Published | Journal Article | IST-REx-ID: 11670
P. Dütting, M. Henzinger, and I. Weber, “An expressive mechanism for auctions on the web,” ACM Transactions on Economics and Computation, vol. 4, no. 1. Association for Computing Machinery, 2015.
View | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 8459
S. Morin et al., “Relax: The analysis of biomolecular kinetics and thermodynamics using NMR relaxation dispersion data,” Bioinformatics, vol. 30, no. 15. Oxford University Press, pp. 2219–2220, 2014.
View | Files available | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 9145
V. M. Canuto, A. M. Howard, Y. Cheng, C. J. Muller, A. Leboissetier, and S. R. Jayne, “Ocean turbulence, III: New GISS vertical mixing scheme,” Ocean Modelling, vol. 34, no. 3–4. Elsevier, pp. 70–91, 2010.
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 8509
V. Kaloshin and M. Levi, “Geometry of Arnold diffusion,” SIAM Review, vol. 50, no. 4. Society for Industrial & Applied Mathematics, pp. 702–720, 2008.
View | DOI
 

Filters and Search Terms

keyword="Computer science"

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed