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.
4950 Publications
2023 | Journal Article | IST-REx-ID: 14342 | 
D. Lorenc and Z. Alpichshev, “Mid-infrared Kerr index evaluation via cross-phase modulation with a near-infrared probe beam,” Applied Physics Letters, vol. 123, no. 9. AIP Publishing, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 14341
D. Scarselli, J. M. Lopez Alonso, A. Varshney, and B. Hof, “Turbulence suppression by cardiac-cycle-inspired driving of pipe flow,” Nature, vol. 621, no. 7977. Springer Nature, pp. 71–74, 2023.
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Conference Paper | IST-REx-ID: 13120 |
M. Dvorak and J. Blanchette, “Closure properties of general grammars - formally verified,” in 14th International Conference on Interactive Theorem Proving, Bialystok, Poland, 2023, vol. 268.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 13969 |
A. M. Arroyo Guevara and S. Felsner, “Approximating the bundled crossing number,” Journal of Graph Algorithms and Applications, vol. 27, no. 6. Brown University, pp. 433–457, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Conference Paper | IST-REx-ID: 14344 |
M. Anastos, “Fast algorithms for solving the Hamilton cycle problem with high probability,” in Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, Florence, Italy, 2023, vol. 2023, pp. 2286–2323.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv