ISTA Research Explorer

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

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

476 Publications

2024 | Published | Journal Article | IST-REx-ID: 15360 |

Floquet analysis of a superradiant many-qutrit refrigerator
D. Kolisnyk, F. Queißer, G. Schaller, R. Schützhold, Physical Review Applied 21 (2024).

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

2024 | Published | Journal Article | IST-REx-ID: 15407 |

Quantum-informed recursive optimization algorithms
J.R. Finžgar, A. Kerschbaumer, M.J.A. Schuetz, C.B. Mendl, H.G. Katzgraber, PRX Quantum 5 (2024).

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

2024 | Submitted | Preprint | IST-REx-ID: 17136 |

Majority dynamics and internal partitions of random regular graphs: Experimental results
P. Arkhipov, ArXiv (n.d.).

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

2024 | Published | Journal Article | IST-REx-ID: 17141 |

Slow and rapid auxin responses in Arabidopsis
Z. Zhang, H. Chen, S. Peng, H. Han, Journal of Experimental Botany 75 (2024).

2024 | Published | Conference Paper | IST-REx-ID: 17170 |

Tight bounds for the learning of homotopy à la Niyogi, Smale, and Weinberger for subsets of euclidean spaces and of Riemannian manifolds
D. Attali, H. Kourimska, C.D. Fillmore, I. Ghosh, A. Lieutier, E.R. Stephenson, M. Wintraecken, in:, 40th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, p. 11:1-11:19.

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

2024 | Published | Conference Paper | IST-REx-ID: 17214 |

Primal-dual non-smooth friction for rigid body animation
Y.-L. Chen, M. Ly, C. Wojtan, in:, Special Interest Group on Computer Graphics and Interactive Techniques Conference Conference Papers ’24, Association for Computing Machinery, 2024.

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

2024 | Published | Journal Article | IST-REx-ID: 17278 |

Integrating molecular dynamics simulations and experimental data for azeotrope predictions in binary mixtures
X. Wang, B. Cheng, Journal of Chemical Physics 161 (2024).

2024 | Published | Journal Article | IST-REx-ID: 17283 |

Equivalence and similarity refutation for probabilistic programs
K. Chatterjee, E. Goharshady, P. Novotný, D. Zikelic, Proceedings of the ACM on Programming Languages 8 (2024).

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

2024 | Research Data | IST-REx-ID: 17344 |

Mathematica notebook for 'Effect of assortative mating and sexual selection on polygenic barriers to gene flow'
P. Surendranadh, H. Sachdeva, (2024).

[Published Version] View | Files available | DOI

2024 | Research Data | IST-REx-ID: 17488 |

Bilateral interactions of optic-flow sensitive neurons coordinate course control in flies
R.K. Satapathy, M.A. Jösch, O. Symonova, V. Pokusaeva, (2024).

View | Files available | DOI

2024 | Draft | Preprint | IST-REx-ID: 20071 |

Duality theory in linear optimization and its extensions -- formally verified
M. Dvorak, V. Kolmogorov, ArXiv (n.d.).

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

2024 | Published | Conference Paper | IST-REx-ID: 17426 |

1-Lipschitz layers compared: Memory, speed, and certifiable robustness
B. Prach, F. Brau, G. Buttazzo, C. Lampert, in:, Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, Computer Vision Foundation, 2024, pp. 24574–24583.

2024 | Draft | Preprint | IST-REx-ID: 18874 |

Intriguing properties of robust classification
B. Prach, C. Lampert, ArXiv (n.d.).

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

2024 | Published | Journal Article | IST-REx-ID: 12846 |

Area formula for spherical polygons via prequantization
A. Chern, S. Ishida, SIAM Journal on Applied Algebra and Geometry 8 (2024) 782–796.

2024 | Draft | Preprint | IST-REx-ID: 17361 |

Symplectic structures on the space of space curves
M. Bauer, S. Ishida, P.W. Michor, ArXiv (n.d.).

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

2024 | Published | Conference Paper | IST-REx-ID: 17634 |

QuAK: Quantitative Automata Kit
M. Chalupa, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Springer Nature, 2024, pp. 3–20.

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

2024 | Published | Journal Article | IST-REx-ID: 14687 |

To DISP or not? The far‐reaching reaction mechanisms underpinning Lithium‐air batteries
R.B. Jethwa, S. Mondal, B. Pant, S.A. Freunberger, Angewandte Chemie International Edition 63 (2024).

2024 | Published | Journal Article | IST-REx-ID: 18266

Value-positivity for matrix games
K. Chatterjee, M. Oliu-Barton, R.J. Saona Urmeneta, Mathematics of Operations Research 50 (2024) 2433–3282.

View | Files available | DOI | WoS

2024 | Published | Thesis | MS | IST-REx-ID: 18588 |

Non equilibrium dynamics of driven individual particles and 3D printing across scales
C.N. Mweka, Non Equilibrium Dynamics of Driven Individual Particles and 3D Printing across Scales, Institute of Science and Technology Austria, 2024.

[Published Version] View | Files available | DOI

2024 | Published | Thesis | PhD | IST-REx-ID: 17225 |

Towards a quantum entanglement enhanced atom interferomter
V. Li, Towards a Quantum Entanglement Enhanced Atom Interferomter, Institute of Science and Technology Austria, 2024.

[Published Version] View | Files available | DOI

Various

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

476 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Various

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

476 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options