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.
46 Publications
2023 | Journal Article | IST-REx-ID: 12287 | 
Local criteria for triangulating general manifolds
J.-D. Boissonnat, R. Dyer, A. Ghosh, M. Wintraecken, Discrete & Computational Geometry 69 (2023) 156–191.
[Published Version]
View
| Files available
| DOI
| WoS
J.-D. Boissonnat, R. Dyer, A. Ghosh, M. Wintraecken, Discrete & Computational Geometry 69 (2023) 156–191.
2023 | Journal Article | IST-REx-ID: 12164 |
Long-lived counters with polylogarithmic amortized step complexity
M.A. Baig, D. Hendler, A. Milani, C. Travers, Distributed Computing 36 (2023) 29–43.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
M.A. Baig, D. Hendler, A. Milani, C. Travers, Distributed Computing 36 (2023) 29–43.
2023 | Journal Article | IST-REx-ID: 12406 |
Density of the union of positive diagonal binary quadratic forms
Y. Diao, Acta Arithmetica 207 (2023) 1–17.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
Y. Diao, Acta Arithmetica 207 (2023) 1–17.
2023 | Journal Article | IST-REx-ID: 14499 |
Anticoncentration in Ramsey graphs and a proof of the Erdős–McKay conjecture
M.A. Kwan, A. Sah, L. Sauermann, M. Sawhney, Forum of Mathematics, Pi 11 (2023).
[Published Version]
View
| Files available
| DOI
| arXiv
M.A. Kwan, A. Sah, L. Sauermann, M. Sawhney, Forum of Mathematics, Pi 11 (2023).
2023 | Journal Article | IST-REx-ID: 14739 |
A survey of vectorization methods in topological data analysis
D. Ali, A. Asaad, M.-J. Jimenez, V. Nanda, E. Paluzo-Hidalgo, M. Soriano Trigueros, IEEE Transactions on Pattern Analysis and Machine Intelligence 45 (2023) 14069–14080.
[Published Version]
View
| Files available
| DOI
D. Ali, A. Asaad, M.-J. Jimenez, V. Nanda, E. Paluzo-Hidalgo, M. Soriano Trigueros, IEEE Transactions on Pattern Analysis and Machine Intelligence 45 (2023) 14069–14080.
2022 | Journal Article | IST-REx-ID: 11916 |
Kac regularity and domination of quadratic forms
M. Wirth, Advances in Operator Theory 7 (2022).
[Published Version]
View
| Files available
| DOI
M. Wirth, Advances in Operator Theory 7 (2022).
2022 | Journal Article | IST-REx-ID: 10643 |
Adiabatic theorem in the thermodynamic limit: Systems with a gap in the bulk
S.J. Henheik, S. Teufel, Forum of Mathematics, Sigma 10 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
S.J. Henheik, S. Teufel, Forum of Mathematics, Sigma 10 (2022).
2022 | Journal Article | IST-REx-ID: 11135 |
On the operator norm of a Hermitian random matrix with correlated entries
J. Reker, Random Matrices: Theory and Applications 11 (2022).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
J. Reker, Random Matrices: Theory and Applications 11 (2022).
2022 | Journal Article | IST-REx-ID: 11447 |
Relation between the number of peaks and the number of reciprocal sign epistatic interactions
R.J. Saona Urmeneta, F. Kondrashov, K. Khudiakova, Bulletin of Mathematical Biology 84 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
R.J. Saona Urmeneta, F. Kondrashov, K. Khudiakova, Bulletin of Mathematical Biology 84 (2022).
2022 | Journal Article | IST-REx-ID: 11545 |
Contravariant pairings between standard Whittaker modules and Verma modules
A. Brown, A. Romanov, Journal of Algebra 609 (2022) 145–179.
[Published Version]
View
| Files available
| DOI
| WoS
A. Brown, A. Romanov, Journal of Algebra 609 (2022) 145–179.
2022 | Journal Article | IST-REx-ID: 12129 |
Connectivity of triangulation flip graphs in the plane
U. Wagner, E. Welzl, Discrete & Computational Geometry 68 (2022) 1227–1284.
[Published Version]
View
| Files available
| DOI
| WoS
U. Wagner, E. Welzl, Discrete & Computational Geometry 68 (2022) 1227–1284.
2022 | Journal Article | IST-REx-ID: 12152 |
Modelling membrane reshaping by staged polymerization of ESCRT-III filaments
X. Jiang, L. Harker-Kirschneck, C.E. Vanhille-Campos, A.-K. Pfitzner, E. Lominadze, A. Roux, B. Baum, A. Šarić, PLOS Computational Biology 18 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
X. Jiang, L. Harker-Kirschneck, C.E. Vanhille-Campos, A.-K. Pfitzner, E. Lominadze, A. Roux, B. Baum, A. Šarić, PLOS Computational Biology 18 (2022).
2022 | Journal Article | IST-REx-ID: 12148 |
Rank-uniform local law for Wigner matrices
G. Cipolloni, L. Erdös, D.J. Schröder, Forum of Mathematics, Sigma 10 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
G. Cipolloni, L. Erdös, D.J. Schröder, Forum of Mathematics, Sigma 10 (2022).
2022 | Journal Article | IST-REx-ID: 12216 |
Monotonicity versions of Epstein's concavity theorem and related inequalities
E.A. Carlen, H. Zhang, Linear Algebra and Its Applications 654 (2022) 289–310.
[Published Version]
View
| Files available
| DOI
| WoS
E.A. Carlen, H. Zhang, Linear Algebra and Its Applications 654 (2022) 289–310.
2022 | Journal Article | IST-REx-ID: 12261 |
Growth‐mediated negative feedback shapes quantitative antibiotic response
A. Angermayr, T.Y. Pang, G. Chevereau, K. Mitosch, M.J. Lercher, M.T. Bollenbach, Molecular Systems Biology 18 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
A. Angermayr, T.Y. Pang, G. Chevereau, K. Mitosch, M.J. Lercher, M.T. Bollenbach, Molecular Systems Biology 18 (2022).
2022 | Journal Article | IST-REx-ID: 12280 |
Direct reciprocity between individuals that use different strategy spaces
L. Schmid, C. Hilbe, K. Chatterjee, M. Nowak, PLOS Computational Biology 18 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
L. Schmid, C. Hilbe, K. Chatterjee, M. Nowak, PLOS Computational Biology 18 (2022).
2022 | Journal Article | IST-REx-ID: 12286 |
Loose cores and cycles in random hypergraphs
O. Cooley, M. Kang, J. Zalla, The Electronic Journal of Combinatorics 29 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
O. Cooley, M. Kang, J. Zalla, The Electronic Journal of Combinatorics 29 (2022).
2022 | Journal Article | IST-REx-ID: 10842
Factorization of some polynomials over finite local commutative rings and applications to certain self-dual and LCD codes
S. Köse, F. Özbudak, Cryptography and Communications 14 (2022) 933–948.
View
| DOI
| WoS
S. Köse, F. Özbudak, Cryptography and Communications 14 (2022) 933–948.
2021 | 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 | Journal Article | IST-REx-ID: 12309 |
Primitive divisors of elliptic divisibility sequences for elliptic curves with j=1728
M. Verzobio, Acta Arithmetica 198 (2021) 129–168.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Verzobio, Acta Arithmetica 198 (2021) 129–168.
2021 | Journal Article | IST-REx-ID: 12308 |
Primitive divisors of sequences associated to elliptic curves with complex multiplication
M. Verzobio, Research in Number Theory 7 (2021).
[Published Version]
View
| DOI
| Download Published Version (ext.)
M. Verzobio, Research in Number Theory 7 (2021).
2021 | Journal Article | IST-REx-ID: 8689 |
V.I. Arnold's ''Global'' KAM theorem and geometric measure estimates
L. Chierchia, E. Koudjinan, Regular and Chaotic Dynamics 26 (2021) 61–88.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
L. Chierchia, E. Koudjinan, Regular and Chaotic Dynamics 26 (2021) 61–88.
2021 | Conference Paper | IST-REx-ID: 10002 |
Symbolic time and space tradeoffs for probabilistic verification
K. Chatterjee, W. Dvorak, M.H. Henzinger, A. Svozil, 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, W. Dvorak, M.H. Henzinger, A. Svozil, 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 | 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 | 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 | Journal Article | IST-REx-ID: 10711 |
The distribution of the maximum of partial sums of Kloosterman sums and other trace functions
P. Autissier, D. Bonolis, Y. Lamzouri, Compositio Mathematica 157 (2021) 1610–1651.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
P. Autissier, D. Bonolis, Y. Lamzouri, Compositio Mathematica 157 (2021) 1610–1651.
2021 | Journal Article | IST-REx-ID: 10005 |
On nonlinear problems of parabolic type with implicit constitutive equations involving flux
M. Bulíček, E. Maringová, J. Málek, Mathematical Models and Methods in Applied Sciences 31 (2021).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
M. Bulíček, E. Maringová, J. Málek, Mathematical Models and Methods in Applied Sciences 31 (2021).
2021 | Journal Article | IST-REx-ID: 10211 |
Optimal combination of linear and spectral estimators for generalized linear models
M. Mondelli, C. Thrampoulidis, R. Venkataramanan, Foundations of Computational Mathematics (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Mondelli, C. Thrampoulidis, R. Venkataramanan, Foundations of Computational Mathematics (2021).
2021 | 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 | Preprint | IST-REx-ID: 9978 |
Sharp kinetic acceleration potentials during mediated redox catalysis of insulators
D. Cao, X. Shen, A. Wang, F. Yu, Y. Wu, S. Shi, S.A. Freunberger, Y. Chen, Research Square (n.d.).
[Preprint]
View
| Files available
| DOI
D. Cao, X. Shen, A. Wang, F. Yu, Y. Wu, S. Shi, S.A. Freunberger, Y. Chen, Research Square (n.d.).
2021 | Journal Article | IST-REx-ID: 15279 |
Motivic Euler products in motivic statistics
M. Bilu, S. Howe, Algebra & Number Theory 15 (2021) 2195–2259.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Bilu, S. Howe, Algebra & Number Theory 15 (2021) 2195–2259.
2021 | Journal Article | IST-REx-ID: 9817 |
The design space of plane elastic curves
C. Hafner, B. Bickel, ACM Transactions on Graphics 40 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
C. Hafner, B. Bickel, ACM Transactions on Graphics 40 (2021).
2020 | Journal Article | IST-REx-ID: 12310 |
Primitive divisors of sequences associated to elliptic curves
M. Verzobio, Journal of Number Theory 209 (2020) 378–390.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Verzobio, Journal of Number Theory 209 (2020) 378–390.
2020 | Journal Article | IST-REx-ID: 7369 |
Multiscale relevance and informative encoding in neuronal spike trains
R.J. Cubero, M. Marsili, Y. Roudi, Journal of Computational Neuroscience 48 (2020) 85–102.
[Published Version]
View
| Files available
| DOI
| WoS
R.J. Cubero, M. Marsili, Y. Roudi, Journal of Computational Neuroscience 48 (2020) 85–102.
2020 | Journal Article | IST-REx-ID: 8767 |
The Moran process on 2-chromatic graphs
K. Kaveh, A. McAvoy, K. Chatterjee, M.A. Nowak, PLOS Computational Biology 16 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
K. Kaveh, A. McAvoy, K. Chatterjee, M.A. Nowak, PLOS Computational Biology 16 (2020).
2020 | 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.
2019 | Journal Article | IST-REx-ID: 11540 |
The origin of scatter in the star formation rate–stellar mass relation
J.J. Matthee, J. Schaye, Monthly Notices of the Royal Astronomical Society 484 (2019) 915–932.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J.J. Matthee, J. Schaye, Monthly Notices of the Royal Astronomical Society 484 (2019) 915–932.
2019 | Journal Article | IST-REx-ID: 10874 |
Modular invariants for genus 3 hyperelliptic curves
S. Ionica, P. Kılıçer, K. Lauter, E. Lorenzo García, M.-A. Manzateanu, M. Massierer, C. Vincent, Research in Number Theory 5 (2019).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Ionica, P. Kılıçer, K. Lauter, E. Lorenzo García, M.-A. Manzateanu, M. Massierer, C. Vincent, Research in Number Theory 5 (2019).
2019 | Conference Paper | IST-REx-ID: 6556 |
3-manifold triangulations with small treewidth
K. Huszár, J. Spreer, in:, 35th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 44:1-44:20.
[Published Version]
View
| Files available
| DOI
| arXiv
K. Huszár, J. Spreer, in:, 35th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 44:1-44:20.
2018 | Journal Article | IST-REx-ID: 11667 |
Valuation compressions in VCG-based combinatorial auctions
P. Dütting, M.H. Henzinger, M. Starnberger, ACM Transactions on Economics and Computation 6 (2018).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
P. Dütting, M.H. Henzinger, M. Starnberger, ACM Transactions on Economics and Computation 6 (2018).
2017 | Journal Article | IST-REx-ID: 11565 |
The origin of scatter in the stellar mass–halo mass relation of central galaxies in the EAGLE simulation
J.J. Matthee, J. Schaye, R.A. Crain, M. Schaller, R. Bower, T. Theuns, Monthly Notices of the Royal Astronomical Society 465 (2017) 2381–2396.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J.J. Matthee, J. Schaye, R.A. Crain, M. Schaller, R. Bower, T. Theuns, Monthly Notices of the Royal Astronomical Society 465 (2017) 2381–2396.
2015 | Journal Article | IST-REx-ID: 11669 |
Auctions for heterogeneous items and budget limits
P. Dütting, M.H. Henzinger, M. Starnberger, ACM Transactions on Economics and Computation 4 (2015).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
P. Dütting, M.H. Henzinger, M. Starnberger, ACM Transactions on Economics and Computation 4 (2015).
2014 | 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.
2013 | Book Chapter | IST-REx-ID: 10899
Differentiation
N.H. Barton, in:, Encyclopedia of Biodiversity, 2nd ed., Elsevier, 2013, pp. 508–515.
View
| DOI
N.H. Barton, in:, Encyclopedia of Biodiversity, 2nd ed., Elsevier, 2013, pp. 508–515.
2000 | Journal Article | IST-REx-ID: 11683
Computing vertex connectivity: New bounds from old techniques
M.H. Henzinger, S. Rao, H.N. Gabow, Journal of Algorithms 34 (2000) 222–250.
View
| DOI
M.H. Henzinger, S. Rao, H.N. Gabow, Journal of Algorithms 34 (2000) 222–250.
1999 | Journal Article | IST-REx-ID: 11679
Constructing a tree from homeomorphic subtrees, with applications to computational evolutionary biology
M.H. Henzinger, V. King, T. Warnow, Algorithmica 24 (1999) 1–13.
View
| Files available
| DOI
M.H. Henzinger, V. King, T. Warnow, Algorithmica 24 (1999) 1–13.