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 | Journal Article | IST-REx-ID: 12309 | 
Verzobio, M. (2021). Primitive divisors of elliptic divisibility sequences for elliptic curves with j=1728. Acta Arithmetica. Institute of Mathematics, Polish Academy of Sciences. https://doi.org/10.4064/aa191016-30-7
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Journal Article | IST-REx-ID: 12308 |
Verzobio, M. (2021). Primitive divisors of sequences associated to elliptic curves with complex multiplication. Research in Number Theory. Springer Nature. https://doi.org/10.1007/s40993-021-00267-9
[Published Version]
View
| DOI
| Download Published Version (ext.)
2021 | Journal Article | IST-REx-ID: 8689 |
Chierchia, L., & Koudjinan, E. (2021). V.I. Arnold’s “‘Global’” KAM theorem and geometric measure estimates. Regular and Chaotic Dynamics. Springer Nature. https://doi.org/10.1134/S1560354721010044
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Conference Paper | IST-REx-ID: 10002 |
Chatterjee, K., Dvorak, W., Henzinger, M. H., & Svozil, A. (2021). Symbolic time and space tradeoffs for probabilistic verification. In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 1–13). Rome, Italy: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/LICS52264.2021.9470739
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Conference Paper | IST-REx-ID: 10004 |
Chatterjee, K., & Doyen, L. (2021). Stochastic processes with expected stopping time. In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 1–13). Rome, Italy: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/LICS52264.2021.9470595
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Journal Article | IST-REx-ID: 10674 |
Aghajohari, M., Avni, G., & Henzinger, T. A. (2021). Determinacy in discrete-bidding infinite-duration games. Logical Methods in Computer Science. International Federation for Computational Logic. https://doi.org/10.23638/LMCS-17(1:10)2021
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Journal Article | IST-REx-ID: 10711 |
Autissier, P., Bonolis, D., & Lamzouri, Y. (2021). The distribution of the maximum of partial sums of Kloosterman sums and other trace functions. Compositio Mathematica. Cambridge University Press. https://doi.org/10.1112/s0010437x21007351
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Journal Article | IST-REx-ID: 10005 |
Bulíček, M., Maringová, E., & Málek, J. (2021). On nonlinear problems of parabolic type with implicit constitutive equations involving flux. Mathematical Models and Methods in Applied Sciences. World Scientific. https://doi.org/10.1142/S0218202521500457
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Journal Article | IST-REx-ID: 8940 |
Boissonnat, J.-D., Kachanovich, S., & Wintraecken, M. (2021). Triangulating submanifolds: An elementary and quantified version of Whitney’s method. Discrete & Computational Geometry. Springer Nature. https://doi.org/10.1007/s00454-020-00250-8
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Preprint | IST-REx-ID: 9978 |
Cao, D., Shen, X., Wang, A., Yu, F., Wu, Y., Shi, S., … Chen, Y. (n.d.). Sharp kinetic acceleration potentials during mediated redox catalysis of insulators. Research Square. Research Square. https://doi.org/10.21203/rs.3.rs-750965/v1
[Preprint]
View
| Files available
| DOI
2021 | Journal Article | IST-REx-ID: 15279 |
Bilu, M., & Howe, S. (2021). Motivic Euler products in motivic statistics. Algebra & Number Theory. Mathematical Sciences Publishers. https://doi.org/10.2140/ant.2021.15.2195
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Journal Article | IST-REx-ID: 9817 |
Hafner, C., & Bickel, B. (2021). The design space of plane elastic curves. ACM Transactions on Graphics. Virtual: Association for Computing Machinery. https://doi.org/10.1145/3450626.3459800
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Journal Article | IST-REx-ID: 12310 |
Verzobio, M. (2020). Primitive divisors of sequences associated to elliptic curves. Journal of Number Theory. Elsevier. https://doi.org/10.1016/j.jnt.2019.09.003
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 7369 |
Cubero, R. J., Marsili, M., & Roudi, Y. (2020). Multiscale relevance and informative encoding in neuronal spike trains. Journal of Computational Neuroscience. Springer Nature. https://doi.org/10.1007/s10827-020-00740-x
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Journal Article | IST-REx-ID: 8767 |
Kaveh, K., McAvoy, A., Chatterjee, K., & Nowak, M. A. (2020). The Moran process on 2-chromatic graphs. PLOS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1008402
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Journal Article | IST-REx-ID: 14125 |
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
2019 | Journal Article | IST-REx-ID: 11540 |
Matthee, J. J., & Schaye, J. (2019). The origin of scatter in the star formation rate–stellar mass relation. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/stz030
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 10874 |
Ionica, S., Kılıçer, P., Lauter, K., Lorenzo García, E., Manzateanu, M.-A., Massierer, M., & Vincent, C. (2019). Modular invariants for genus 3 hyperelliptic curves. Research in Number Theory. Springer Nature. https://doi.org/10.1007/s40993-018-0146-6
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Conference Paper | IST-REx-ID: 6556 |
Huszár, K., & Spreer, J. (2019). 3-manifold triangulations with small treewidth. In 35th International Symposium on Computational Geometry (Vol. 129, p. 44:1-44:20). Portland, Oregon, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2019.44
[Published Version]
View
| Files available
| DOI
| arXiv
2018 | Journal Article | IST-REx-ID: 11667 |
Dütting, P., Henzinger, M. H., & Starnberger, M. (2018). Valuation compressions in VCG-based combinatorial auctions. ACM Transactions on Economics and Computation. Association for Computing Machinery. https://doi.org/10.1145/3232860
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv