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.
292 Publications
2024 | Published | Thesis | IST-REx-ID: 15352
Murmann JS. Investigating acute microglia response to seizure activity in vivo: Combining 2-Photon imaging and EEG recording. 2024. doi:10.15479/at:ista:15352
[Published Version]
View
| Files available
| DOI
2024 | Published | Journal Article | IST-REx-ID: 15360 | 
Kolisnyk D, Queißer F, Schaller G, Schützhold R. Floquet analysis of a superradiant many-qutrit refrigerator. Physical Review Applied. 2024;21(4). doi:10.1103/PhysRevApplied.21.044050
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 15407 |
Finžgar JR, Kerschbaumer A, Schuetz MJA, Mendl CB, Katzgraber HG. Quantum-informed recursive optimization algorithms. PRX Quantum. 2024;5(2). doi:10.1103/PRXQuantum.5.020327
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 14543 |
Kaiyrzhanov R, Rad A, Lin S-J, Bertoli-Avella A, Kallemeijn WW, Godwin A, Zaki MS, Huang K, Lau T, Petree C, Efthymiou S, Ghayoor Karimiani E, Hempel M, Normand EA, Rudnik-Schöneborn S, Schatz UA, Baggelaar MP, Ilyas M, Sultan T, Alvi JR, Ganieva M, Fowler B, Aanicai R, Akay Tayfun G, Al Saman A, Alswaid A, Amiri N, Asilova N, Shotelersuk V, Yeetong P, Azam M, Babaei M, Bahrami Monajemi G, Mohammadi P, Samie S, Banu SH, Basto JP, Kortüm F, Bauer M, Bauer P, Beetz C, Garshasbi M, Hameed Issa A, Eyaid W, Ahmed H, Hashemi N, Hassanpour K, Herman I, Ibrohimov S, Abdul-Majeed BA, Imdad M, Isrofilov M, Kaiyal Q, Khan S, Kirmse B, Koster J, Lourenço CM, Mitani T, Moldovan O, Murphy D, Najafi M, Pehlivan D, Rocha ME, Salpietro V, Schmidts M, Shalata A, Mahroum M, Talbeya JK, Taylor RW, Vazquez D, Vetro A, Waterham HR, Zaman M, Schrader TA, Chung WK, Guerrini R, Lupski JR, Gleeson J, Suri M, Jamshidi Y, Bhatia KP, Vona B, Schrader M, Severino M, Guille M, Tate EW, Varshney GK, Houlden H, Maroofian R. 2024. Bi-allelic ACBD6 variants lead to a neurodevelopmental syndrome with progressive and complex movement disorders. Brain. 147(4), 1436–1456.
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Published | Conference Paper | IST-REx-ID: 18450
Quintero S, Relvas M, Aranda M, Nodal F, Dieguez L, Abalde-Cela S. Portable Raman platform for SERS droplets microfludics. In: 2024 International Conference on Optical MEMS and Nanophotonics. Institute of Electrical and Electronics Engineers; 2024. doi:10.1109/OMN61224.2024.10685279
View
| DOI
2024 | Research Data | IST-REx-ID: 17488 |
Satapathy RK, Jösch MA, Symonova O, Pokusaeva V. Bilateral interactions of optic-flow sensitive neurons coordinate course control in flies. 2024. doi:10.15479/AT:ISTA:17488
View
| Files available
| DOI
2024 | Published | Thesis | IST-REx-ID: 15094 |
Cultrera di Montesano S. Persistence and Morse theory for discrete geometric structures. 2024. doi:10.15479/at:ista:15094
[Published Version]
View
| Files available
| DOI
2024 | Published | Thesis | IST-REx-ID: 18443 |
Sisak MA. T-dual branes on hyperkähler manifolds. 2024. doi:10.15479/at:ista:18443
[Published Version]
View
| Files available
| DOI
2024 | Published | Journal Article | IST-REx-ID: 17219 |
Synak P, Kalinov A, Strugaru I-M, Etemadihaghighi A, Yang H, Wojtan C. Multi-material mesh-based surface tracking with implicit topology changes. ACM Transactions on Graphics. 2024;43(4). doi:10.1145/3658223
[Published Version]
View
| Files available
| DOI
2024 | Published | Journal Article | IST-REx-ID: 12846 |
Chern A, Ishida S. Area formula for spherical polygons via prequantization. SIAM Journal on Applied Algebra and Geometry. 2024;8(3):782-796. doi:10.1137/23M1565255
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 18482
Arkhipov P. An algorithm for finding the generalized Chebyshev center of sets defined via their support functions. Automation and Remote Control. 2024;85(6):522-532. doi:10.1134/S0005117924060031
View
| DOI
2024 | Published | Thesis | IST-REx-ID: 17465 |
Shevchenko A. High-dimensional limits in artificial neural networks. 2024. doi:10.15479/at:ista:17465
[Published Version]
View
| Files available
| DOI
2024 | Published | Thesis | IST-REx-ID: 15101 |
Chen J. Developmental transformation of nanodomain coupling between Ca2+ channels and release sensors at a central GABAergic synapse. 2024. doi:10.15479/at:ista:15101
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 14323
Kuzmicz-Kowalska K. Regulation of neural progenitor survival by Shh and BMP in the developing spinal cord. 2023. doi:10.15479/at:ista:14323
[Published Version]
View
| Files available
| DOI
2023 | Published | Conference Poster | IST-REx-ID: 12736 |
Aksenov V, Brown TA, Fedorov A, Kokorin I. Unexpected Scaling in Path Copying Trees. Association for Computing Machinery; 2023:438-440. doi:10.1145/3572848.3577512
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Published | Conference Paper | IST-REx-ID: 13292 |
Henzinger TA, Kebis P, Mazzocchi NA, Sarac NE. Regular methods for operator precedence languages. In: 50th International Colloquium on Automata, Languages, and Programming. Vol 261. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023:129:1--129:20. doi:10.4230/LIPIcs.ICALP.2023.129
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 13310 |
Henzinger TA, Karimi M, Kueffner K, Mallik K. Monitoring algorithmic fairness. In: Computer Aided Verification. Vol 13965. Springer Nature; 2023:358–382. doi:10.1007/978-3-031-37703-7_17
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 13221 |
Boker U, Henzinger TA, Mazzocchi NA, Sarac NE. Safety and liveness of quantitative automata. In: 34th International Conference on Concurrency Theory. Vol 279. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:10.4230/LIPIcs.CONCUR.2023.17
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 12406 |
Diao Y. Density of the union of positive diagonal binary quadratic forms. Acta Arithmetica. 2023;207:1-17. doi:10.4064/aa210830-24-11
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14628 |
Makatura L, Wang B, Chen Y-L, et al. Procedural metamaterials: A unified procedural graph for metamaterial design. ACM Transactions on Graphics. 2023;42(5). doi:10.1145/3605389
[Published Version]
View
| Files available
| DOI