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.

619 Publications

2026 | Published | Journal Article | IST-REx-ID: 22607 |

Dvorak, M., & Kolmogorov, V. (2026). Duality theory in linear optimization and its extensions -- formally verified. Annals of Formalized Mathematics. EPI Sciences. https://doi.org/10.46298/afm.14253

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

2026 | Published | Thesis | PhD | IST-REx-ID: 21393 |

Dvorak, M. (2026). Pursuit of truth and beauty in Lean 4: Formally verified theory of grammars, optimization, matroids. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-21393

[Published Version] View | Files available | DOI

Kebis, P., LUCA, F., OUAKNINE, J., SCOONES, A., & WORRELL, J. (2026). Transcendence for Pisot morphic words over an algebraic base. Ergodic Theory and Dynamical Systems. Cambridge University Press. https://doi.org/10.1017/etds.2026.10324

[Published Version] View | DOI | Download Published Version (ext.) | arXiv

2026 | Published | Journal Article | IST-REx-ID: 22619 |

Borovkov, M., Schell, Y. A., Sokolova, D., Roux, K. E. R., Falthansl-Scheinecker, P., Fabris, G., … Katsaros, G. (2026). Low-noise quantum dots in ultra-shallow Ge/SiGe heterostructures for prototyping hybrid semiconducting–superconducting devices. Applied Physics Letters. AIP Publishing. https://doi.org/10.1063/5.0333142

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

Browning, T. D., Glas, J., & Wang, V. (2026). Sums of three cubes over a function field. Forum of Mathematics Sigma. Cambridge University Press. https://doi.org/10.1017/fms.2026.10259

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

2026 | Research Data | IST-REx-ID: 22242 |

Borovkov, M. (2026). Low-Noise Quantum Dots in Ultra-Shallow Ge/SiGe Heterostructures for Prototyping Hybrid Semiconducting-Superconducting Devices. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-22242

[Published Version] View | Files available | DOI

Lee, S., Balazs, D., Rayaroth Puthiyaveettil, A., Horta, S., Goodrich, C. P., Engel, M., … Ibáñez, M. (2026). Reaction medium asan architect of nanocrystal superlattices. Journal of the AmericanChemical Society. American Chemical Society. https://doi.org/10.1021/jacs.6c07859

[Published Version] View | Files available | DOI | PubMed | Europe PMC

Gheorghita, E.-F., Wald, S., Pupić, A., & Hosten, O. (2026). Continuous accumulation of cold atoms in an optical cavity. Physical Review A. American Physical Society. https://doi.org/10.1103/71f2-sq4p

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

2026 | Epub ahead of print | Journal Article | IST-REx-ID: 22647 |

Adamowski, M., Gackowski, A., Matijevic, I., Alotaibi, S. S., & Friml, J. (2026). The role of clathrin in post‐Golgi secretion in plant cells. New Phytologist. Wiley. https://doi.org/10.1111/nph.71454

[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC

Desio, D., & Seiringer, R. (2026). Dyson expansion for form-bounded perturbations and applications to the polaron problem. Letters in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s11005-026-02107-2

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

Diao, Y. (2026). Liouville function, von Mangoldt function, and norm forms at random binary forms. Glasgow Mathematical Journal. Cambridge University Press. https://doi.org/10.1017/s0017089526101074

[Published Version] View | DOI | Download Published Version (ext.) | arXiv

2026 | Published | Journal Article | IST-REx-ID: 21923 |

Kalinov, A., Ly, M., Hafner, C., & Wojtan, C. (2026). Physics-inspired procedural texturing of extremely deformable surfaces. ACM Transactions on Graphics. Los Angeles, CA, United States: Association for Computing Machinery. https://doi.org/10.1145/3811353

[Published Version] View | Files available | DOI

Schwarz LA, Dotter C, Isaev S, Lisi M, Malzl D, Büschl C, Ladstätter S, Oliveira B, Barel M, Basilico B, Chintaluri C, Gorkiewicz S, Goudarzi M, Belinova T, Reichl S, Sendžikaitė G, Arcot Jayaram S, Koppensteiner P, Sommer CM, Vogels TP, Menche J, Adameyko I, Kharchenko PV, Bock C, Novarino G. 2026. Cortical development dynamics across autism spectrum disorder mouse models. Nature.

Maddipatla, S. A., Sellam, N. E., Bojan, M. I., Masalitin, V., Vedula, S., Schanda, P., … Bronstein, A. M. (2026). Experiment-guided AlphaFold3 resolves measurement-consistent protein ensembles. Nature Biotechnology. Springer Nature. https://doi.org/10.1038/s41587-026-03166-5

2026 | Published | Thesis | PhD | IST-REx-ID: 22334 |

Becker, L. M. (2026). Exploring protein dynamics using specific labeling approaches for solid-state MAS NMR. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-22334

[Published Version] View | Files available | DOI

2026 | Research Data | IST-REx-ID: 21145 |

Becker, L. M., Schanda, P., & Chipot, C. (2026). Additional Data for “Aromatic Ring Flips Reveal Reshaping of Protein Dynamics in Crystals and Complexes.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-21145

[Published Version] View | Files available | DOI

Einramhof, L., Bugnet, L. A., Calcaferro, L. M., Barrault, L., & Das, S. B. (2026). Magneto-archeology of white dwarfs. Astronomy & Astrophysics. EDP Sciences. https://doi.org/10.1051/0004-6361/202659069

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

2026 | Published | Thesis | PhD | IST-REx-ID: 22626

Fiedler, C. (2026). Mechanistic insight into solution-processed p-type tin chalcogenides as a basis for designing their n-type analogs. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-22626

[Published Version] View | Files available | DOI

2026 | Published | Conference Paper | IST-REx-ID: 22299 |

Edelsbrunner, H., Lipiński, M., Mrozek, M., Soriano Trigueros, M., & Zimin, F. (2026). The depth poset under transpositions in the filter. In 42nd International Symposium on Computational Geometry (Vol. 367). New Brunswick, NJ, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.SOCG.2026.41

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

2026 | Published | Conference Paper | IST-REx-ID: 22717 |

Brice, L. J., Henzinger, T. A., Montaseri, A., Shafiee, A., & Thejaswini, K. S. (2026). Randomise alone, reach as a team. In 38th International Conference on Computer Aided Verification (Vol. 16682, pp. 215–236). Lisbon, Portugal: Springer Nature. https://doi.org/10.1007/978-3-032-32519-8_12

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

Various

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

619 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Various

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

619 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options