ISTA Research Explorer

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 |

Closure properties of general grammars - formally verified
M. Dvorak, J. Blanchette, in:, 14th International Conference on Interactive Theorem Proving, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.

[Published Version] View | Files available | DOI | WoS | arXiv

2023 | Published | Journal Article | IST-REx-ID: 14466 |

Dynamics and proliferation of turbulent stripes in plane-Poiseuille and plane-Couette flows
E. Marensi, G. Yalniz, B. Hof, Journal of Fluid Mechanics 974 (2023).

[Published Version] View | Files available | DOI | WoS | arXiv

2023 | Published | Journal Article | IST-REx-ID: 12105 |

Symmetry-reduced dynamic mode decomposition of near-wall turbulence
E. Marensi, G. Yalniz, B. Hof, N.B. Budanur, Journal of Fluid Mechanics 954 (2023).

[Published Version] View | Files available | DOI | WoS | arXiv

2023 | Published | Journal Article | IST-REx-ID: 13274 |

Direct path from turbulence to time-periodic solutions
C.S. Paranjape, G. Yalniz, Y. Duguet, N.B. Budanur, B. Hof, Physical Review Letters 131 (2023).

2023 | Published | Journal Article | IST-REx-ID: 12788 |

Topological charges of periodically kicked molecules
V. Karle, A. Ghazaryan, M. Lemeshko, Physical Review Letters 130 (2023).

2023 | Published | Journal Article | IST-REx-ID: 12787 |

Coexistence times in the Moran process with environmental heterogeneity
J. Svoboda, J. Tkadlec, K. Kaveh, K. Chatterjee, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 479 (2023).

[Published Version] View | Files available | DOI | WoS

2023 | Draft | Preprint | IST-REx-ID: 15039 |

1-Lipschitz neural networks are more expressive with N-activations
B. Prach, C. Lampert, ArXiv (n.d.).

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2023 | Published | Journal Article | IST-REx-ID: 13212 |

Distinct functions of TIR1 and AFB1 receptors in auxin signalling.
H. Chen, L. Li, M. Zou, L. Qi, J. Friml, Molecular Plant 16 (2023) 1117–1119.

2023 | Published | Conference Paper | IST-REx-ID: 13221 |

Safety and liveness of quantitative automata
U. Boker, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 34th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.

[Published Version] View | Files available | DOI | WoS | arXiv

2023 | Published | Conference Paper | IST-REx-ID: 13143 |

Certifying giant nonprimes
C. Hoffmann, P. Hubáček, C. Kamath, K.Z. Pietrzak, in:, Public-Key Cryptography - PKC 2023, Springer Nature, 2023, pp. 530–553.

[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS

2023 | Published | Journal Article | IST-REx-ID: 13097 |

Spinal cords: Symphonies of interneurons across species
A.C. Wilson, L.B. Sweeney, Frontiers in Neural Circuits 17 (2023).

2023 | Published | Journal Article | IST-REx-ID: 14759 |

Analog stabilization of an electro-optic I/Q modulator with an auxiliary modulation tone
S. Wald, F.R. Diorico, O. Hosten, Applied Optics 62 (2023) 1–7.

2023 | Published | Journal Article | IST-REx-ID: 14421 |

Creation rate of Dirac particles at a point source
S.J. Henheik, R. Tumulka, Journal of Physics A: Mathematical and Theoretical 56 (2023).

[Published Version] View | Files available | DOI | WoS | arXiv

2023 | Published | Journal Article | IST-REx-ID: 13317 |

Eigenstate thermalisation hypothesis for translation invariant spin systems
S. Sugimoto, S.J. Henheik, V. Riabov, L. Erdös, Journal of Statistical Physics 190 (2023).

[Published Version] View | Files available | DOI | WoS | arXiv

2023 | Published | Journal Article | IST-REx-ID: 14343 |

Gaussian fluctuations in the equipartition principle for Wigner matrices
G. Cipolloni, L. Erdös, S.J. Henheik, O. Kolupaiev, Forum of Mathematics, Sigma 11 (2023).

[Published Version] View | Files available | DOI | WoS | arXiv

2023 | Published | Conference Paper | IST-REx-ID: 17378 |

OPTQ: Accurate post-training quantization for generative pre-trained transformers
E. Frantar, S. Ashkboos, T. Hoefler, D.-A. Alistarh, in:, 11th International Conference on Learning Representations , International Conference on Learning Representations, 2023.

[Published Version] View | Files available

2023 | Published | Conference Paper | IST-REx-ID: 14458 |

SparseGPT: Massive language models can be accurately pruned in one-shot
E. Frantar, D.-A. Alistarh, in:, Proceedings of the 40th International Conference on Machine Learning, ML Research Press, 2023, pp. 10323–10337.

[Preprint] View | Files available | Download Preprint (ext.) | arXiv

2023 | Draft | Preprint | IST-REx-ID: 18294 |

Complete intersections of cubic and quadric hypersurfaces over Fq(t)
J. Glas, ArXiv (n.d.).

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2023 | Draft | Preprint | IST-REx-ID: 14732 |

Genetic load, eco-evolutionary feedback and extinction in a metapopulation
O.O. Olusanya, K. Khudiakova, H. Sachdeva, BioRxiv (n.d.).

[Preprint] View | Files available | DOI | Download Preprint (ext.)

2023 | Published | Journal Article | IST-REx-ID: 12334 |

ArpC5 isoforms regulate Arp2/3 complex–dependent protrusion through differential Ena/VASP positioning
F. Fäßler, M. Javoor, J. Datler, H. Döring, F. Hofer, G.A. Dimchev, V.-V. Hodirnau, J. Faix, K. Rottner, F.K. Schur, Science Advances 9 (2023).

ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

11624 Publications

Search

Filter Publications

Display / Sort

Export / Embed

ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

11624 Publications

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options