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.

8978 Publications


2023 | Journal Article | IST-REx-ID: 12919
Murakami S, Brudy C, Bachmann M, Takemoto Y, Pieber B. 2023. Photocatalytic cleavage of trityl protected thiols and alcohols. Synthesis. 55(09), 1367–1374.
View | DOI
 

2023 | Conference Paper | IST-REx-ID: 13048 | OA
Lieutier A, Wintraecken M. 2023. Hausdorff and Gromov-Hausdorff stable subsets of the medial axis. Proceedings of the 55th Annual ACM Symposium on Theory of Computing. STOC: Symposium on Theory of Computing, 1768–1776.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Conference Paper | IST-REx-ID: 13053 | OA
Peste E-A, Vladu A, Kurtic E, Lampert C, Alistarh D-A. CrAM: A Compression-Aware Minimizer. 11th International Conference on Learning Representations . ICLR: International Conference on Learning Representations.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2023 | Conference Paper | IST-REx-ID: 13143 | OA
Hoffmann C, Hubáček P, Kamath C, Pietrzak KZ. 2023. Certifying giant nonprimes. Public-Key Cryptography - PKC 2023. PKC: Public-Key Cryptography, LNCS, vol. 13940, 530–553.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2023 | Conference Paper | IST-REx-ID: 13142 | OA
Chatterjee K, Henzinger TA, Lechner M, Zikelic D. 2023. A learner-verifier framework for neural network controllers and certificates of stochastic systems. Tools and Algorithms for the Construction and Analysis of Systems . TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 13993, 3–25.
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 13141 | OA
Anand A, Mallik K, Nayak SP, Schmuck AK. 2023. Computing adequately permissive assumptions for synthesis. TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 13994, 211–228.
[Published Version] View | Files available | DOI
 

2023 | Thesis | IST-REx-ID: 12826 | OA
Pokusaeva V. 2023. Neural control of optic flow-based navigation in Drosophila melanogaster. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 12086 | OA
Edelsbrunner H, Osang GF. 2023. A simple algorithm for higher-order Delaunay mosaics and alpha shapes. Algorithmica. 85, 277–295.
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 12104 | OA
Dello Schiavo L, Wirth M. 2023. Ergodic decompositions of Dirichlet forms under order isomorphisms. Journal of Evolution Equations. 23(1), 9.
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 11434
GOSWAMI BB. 2023. Role of the eastern equatorial Indian Ocean warming in the Indian summer monsoon rainfall trend. Climate Dynamics. 60, 427–442.
View | Files available | DOI | WoS
 

Search

Filter Publications