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
2021 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |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: 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 |Published| 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 |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 |Submitted| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |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.
2019 |Published| 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 |Published| 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 |Published| 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 |Published| 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).