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.

11624 Publications


2023 | Published | Conference Paper | IST-REx-ID: 13120 | OA
Dvorak, M., & Blanchette, J. (2023). Closure properties of general grammars - formally verified. In 14th International Conference on Interactive Theorem Proving (Vol. 268). Bialystok, Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ITP.2023.15
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 14466 | OA
Marensi, E., Yalniz, G., & Hof, B. (2023). Dynamics and proliferation of turbulent stripes in plane-Poiseuille and plane-Couette flows. Journal of Fluid Mechanics. Cambridge University Press. https://doi.org/10.1017/jfm.2023.780
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 12105 | OA
Marensi, E., Yalniz, G., Hof, B., & Budanur, N. B. (2023). Symmetry-reduced dynamic mode decomposition of near-wall turbulence. Journal of Fluid Mechanics. Cambridge University Press. https://doi.org/10.1017/jfm.2022.1001
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 13274 | OA
Paranjape, C. S., Yalniz, G., Duguet, Y., Budanur, N. B., & Hof, B. (2023). Direct path from turbulence to time-periodic solutions. Physical Review Letters. American Physical Society. https://doi.org/10.1103/physrevlett.131.034002
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 12788 | OA
Karle, V., Ghazaryan, A., & Lemeshko, M. (2023). Topological charges of periodically kicked molecules. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.130.103202
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 12787 | OA
Svoboda, J., Tkadlec, J., Kaveh, K., & Chatterjee, K. (2023). Coexistence times in the Moran process with environmental heterogeneity. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. The Royal Society. https://doi.org/10.1098/rspa.2022.0685
[Published Version] View | Files available | DOI | WoS
 

2023 | Draft | Preprint | IST-REx-ID: 15039 | OA
Prach, B., & Lampert, C. (n.d.). 1-Lipschitz neural networks are more expressive with N-activations. arXiv. https://doi.org/10.48550/ARXIV.2311.06103
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 13212 | OA
Chen, H., Li, L., Zou, M., Qi, L., & Friml, J. (2023). Distinct functions of TIR1 and AFB1 receptors in auxin signalling. Molecular Plant. Elsevier . https://doi.org/10.1016/j.molp.2023.06.007
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Published | Conference Paper | IST-REx-ID: 13221 | OA
Boker, U., Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2023). Safety and liveness of quantitative automata. In 34th International Conference on Concurrency Theory (Vol. 279). Antwerp, Belgium: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2023.17
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Published | Conference Paper | IST-REx-ID: 13143 | OA
Hoffmann, C., Hubáček, P., Kamath, C., & Pietrzak, K. Z. (2023). Certifying giant nonprimes. In Public-Key Cryptography - PKC 2023 (Vol. 13940, pp. 530–553). Atlanta, GA, United States: Springer Nature. https://doi.org/10.1007/978-3-031-31368-4_19
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS
 

2023 | Published | Journal Article | IST-REx-ID: 13097 | OA
Wilson, A. C., & Sweeney, L. B. (2023). Spinal cords: Symphonies of interneurons across species. Frontiers in Neural Circuits. Frontiers. https://doi.org/10.3389/fncir.2023.1146449
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Published | Journal Article | IST-REx-ID: 14759 | OA
Wald, S., Diorico, F. R., & Hosten, O. (2023). Analog stabilization of an electro-optic I/Q modulator with an auxiliary modulation tone. Applied Optics. Optica Publishing Group. https://doi.org/10.1364/ao.474118
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 14421 | OA
Henheik, S. J., & Tumulka, R. (2023). Creation rate of Dirac particles at a point source. Journal of Physics A: Mathematical and Theoretical. IOP Publishing. https://doi.org/10.1088/1751-8121/acfe62
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 13317 | OA
Sugimoto, S., Henheik, S. J., Riabov, V., & Erdös, L. (2023). Eigenstate thermalisation hypothesis for translation invariant spin systems. Journal of Statistical Physics. Springer Nature. https://doi.org/10.1007/s10955-023-03132-4
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 14343 | OA
Cipolloni, G., Erdös, L., Henheik, S. J., & Kolupaiev, O. (2023). Gaussian fluctuations in the equipartition principle for Wigner matrices. Forum of Mathematics, Sigma. Cambridge University Press. https://doi.org/10.1017/fms.2023.70
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Published | Conference Paper | IST-REx-ID: 17378 | OA
Frantar, E., Ashkboos, S., Hoefler, T., & Alistarh, D.-A. (2023). OPTQ: Accurate post-training quantization for generative pre-trained transformers. In 11th International Conference on Learning Representations . Kigali, Rwanda: International Conference on Learning Representations.
[Published Version] View | Files available
 

2023 | Published | Conference Paper | IST-REx-ID: 14458 | OA
Frantar, E., & Alistarh, D.-A. (2023). SparseGPT: Massive language models can be accurately pruned in one-shot. In Proceedings of the 40th International Conference on Machine Learning (Vol. 202, pp. 10323–10337). Honolulu, Hawaii, HI, United States: ML Research Press.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2023 | Draft | Preprint | IST-REx-ID: 18294 | OA
Glas, J. (n.d.). Complete intersections of cubic and quadric hypersurfaces over Fq(t). arXiv. https://doi.org/10.48550/arXiv.2306.02718
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2023 | Draft | Preprint | IST-REx-ID: 14732 | OA
Olusanya, O. O., Khudiakova, K., & Sachdeva, H. (n.d.). Genetic load, eco-evolutionary feedback and extinction in a metapopulation. bioRxiv. https://doi.org/10.1101/2023.12.02.569702
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2023 | Published | Journal Article | IST-REx-ID: 12334 | OA
Fäßler, F., Javoor, M., Datler, J., Döring, H., Hofer, F., Dimchev, G. A., … Schur, F. K. (2023). ArpC5 isoforms regulate Arp2/3 complex–dependent protrusion through differential Ena/VASP positioning. Science Advances. American Association for the Advancement of Science. https://doi.org/10.1126/sciadv.add6495
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed