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.

238 Publications

2024 | Thesis | IST-REx-ID: 15352

Murmann JS. 2024. Investigating acute microglia response to seizure activity in vivo: Combining 2-Photon imaging and EEG recording. Institute of Science and Technology Austria.

[Published Version] View | Files available | DOI

2024 | Thesis | IST-REx-ID: 15101 |

Chen J. 2024. Developmental transformation of nanodomain coupling between Ca2+ channels and release sensors at a central GABAergic synapse. Institute of Science and Technology Austria.

[Published Version] View | Files available | DOI

2023 | Conference Paper | IST-REx-ID: 12676 |

Chatterjee K, Meggendorfer T, Saona Urmeneta RJ, Svoboda J. 2023. Faster algorithm for turn-based stochastic games with bounded treewidth. Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms, 4590–4605.

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

2023 | Conference Poster | IST-REx-ID: 12736 |

Aksenov V, Brown TA, Fedorov A, Kokorin I. 2023. Unexpected scaling in path copying trees, Association for Computing Machinery,p.

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

2023 | Thesis | IST-REx-ID: 12716 |

Burnett L. 2023. To flee, or not to flee? Using innate defensive behaviours to investigate rapid perceptual decision-making through subcortical circuits in mouse models of autism. Institute of Science and Technology Austria.

[Published Version] View | Files available | DOI

2023 | Preprint | IST-REx-ID: 12846 |

Chern A, Ishida S. Area formula for spherical polygons via prequantization. arXiv, 2303.14555.

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

2023 | Conference Paper | IST-REx-ID: 13053 |

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 | Thesis | IST-REx-ID: 12826 |

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 | Conference Paper | IST-REx-ID: 12467 |

Henzinger TA, Mazzocchi NA, Sarac NE. 2023. Quantitative safety and liveness. 26th International Conference Foundations of Software Science and Computation Structures. FOSSACS: Foundations of Software Science and Computation Structures, LNCS, vol. 13992, 349–370.

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

2023 | Conference Paper | IST-REx-ID: 13292 |

Henzinger TA, Kebis P, Mazzocchi NA, Sarac NE. 2023. Regular methods for operator precedence languages. 50th International Colloquium on Automata, Languages, and Programming. ICALP: International Colloquium on Automata, Languages, and Programming, LIPIcs, vol. 261, 129:1--129:20.

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

2023 | Journal Article | IST-REx-ID: 12545 |

Rojas Vega MN, De Castro P, Soto R. 2023. Wetting dynamics by mixtures of fast and slow self-propelled particles. Physical Review E. 107(1), 014608.

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

2023 | Journal Article | IST-REx-ID: 12723 |

Volosniev A, Shiva Kumar A, Lorenc D, Ashourishokri Y, Zhumekenov AA, Bakr OM, Lemeshko M, Alpichshev Z. 2023. Spin-electric coupling in lead halide perovskites. Physical Review Letters. 130(10), 106901.

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

2023 | Journal Article | IST-REx-ID: 12724 |

Volosniev A, Shiva Kumar A, Lorenc D, Ashourishokri Y, Zhumekenov A, Bakr OM, Lemeshko M, Alpichshev Z. 2023. Effective model for studying optical properties of lead halide perovskites. Physical Review B. 107(12), 125201.

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

2023 | Journal Article | IST-REx-ID: 13166 |

Vetrova AA, Kupaeva DM, Kizenko A, Lebedeva TS, Walentek P, Tsikolia N, Kremnyov SV. 2023. The evolutionary history of Brachyury genes in Hydrozoa involves duplications, divergence, and neofunctionalization. Scientific Reports. 13, 9382.

2023 | Journal Article | IST-REx-ID: 13138 |

Orlov P, Tiutiakina A, Sharipov R, Petrova E, Gritsev V, Kurlov DV. 2023. Adiabatic eigenstate deformations and weak integrability breaking of Heisenberg chain. Physical Review B. 107(18), 184312.

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

2023 | Thesis | IST-REx-ID: 13074 |

Peste E-A. 2023. Efficiency and generalization of sparse neural networks. Institute of Science and Technology Austria.

[Published Version] View | Files available | DOI

2023 | Journal Article | IST-REx-ID: 12521 |

Mrnjavac A, Khudiakova K, Barton NH, Vicoso B. 2023. Slower-X: Reduced efficiency of selection in the early stages of X chromosome evolution. Evolution Letters. 7(1), qrac004.

2023 | Journal Article | IST-REx-ID: 12762 |

Lombardi F, Pepic S, Shriki O, Tkačik G, De Martino D. 2023. Statistical modeling of adaptive neural networks explains co-existence of avalanches and oscillations in resting human brain. Nature Computational Science. 3, 254–263.

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

2023 | Thesis | IST-REx-ID: 13175 |

Sahu R. 2023. Cavity quantum electrooptics. Institute of Science and Technology Austria.

[Published Version] View | Files available | DOI

2023 | Thesis | IST-REx-ID: 12900

Sahu R. 2023. Cavity quantum electrooptics. Institute of Science and Technology Austria.

[Published Version] View | Files available | DOI

2023 | Conference Paper | IST-REx-ID: 13310 |

Henzinger TA, Karimi M, Kueffner K, Mallik K. 2023. Monitoring algorithmic fairness. Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 13965, 358–382.

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

2023 | Journal Article | IST-REx-ID: 14261 |

Gamper J, Kluibenschedl F, Weiss AKH, Hofer TS. 2023. Accessing position space wave functions in band structure calculations of periodic systems - a generalized, adapted numerov implementation for one-, two-, and three-dimensional quantum problems. Journal of Physical Chemistry Letters. 14(33), 7395–7403.

2023 | Thesis | IST-REx-ID: 12732 |

Brighi P. 2023. Ergodicity breaking in disordered and kinetically constrained quantum many-body systems. Institute of Science and Technology Austria.

View | Files available | DOI

2023 | Conference Paper | IST-REx-ID: 13120 |

Dvorak M, Blanchette J. 2023. Closure properties of general grammars - formally verified. 14th International Conference on Interactive Theorem Proving. ITP: International Conference on Interactive Theorem Proving, LIPIcs, vol. 268, 15.

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

2023 | Thesis | IST-REx-ID: 13081

Bocanegra L. 2023. Epithelial dynamics during mouse neural tube development. Institute of Science and Technology Austria.

[Published Version] View | Files available | DOI

2023 | Journal Article | IST-REx-ID: 12349 |

Gupta D, Mlynarski WF, Sumser AL, Symonova O, Svaton J, Jösch MA. 2023. Panoramic visual statistics shape retina-wide organization of receptive fields. Nature Neuroscience. 26, 606–614.

2023 | Research Data | IST-REx-ID: 12370 |

Gupta D, Sumser AL, Jösch MA. 2023. Research Data for: Panoramic visual statistics shape retina-wide organization of receptive fields, Institute of Science and Technology Austria, 10.15479/AT:ISTA:12370.

[Published Version] View | Files available | DOI

2023 | Thesis | IST-REx-ID: 13331 |

Köse S. 2023. Exterior algebra and combinatorics. Institute of Science and Technology Austria.

[Published Version] View | Files available | DOI

2023 | Journal Article | IST-REx-ID: 12680 |

Ivanov G, Köse S. 2023. Erdős-Ko-Rado and Hilton-Milner theorems for two-forms. Discrete Mathematics. 346(6), 113363.

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

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

Boker U, Henzinger TA, Mazzocchi NA, Sarac NE. 2023. Safety and liveness of quantitative automata. 34th International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 279, 17.

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

2023 | Journal Article | IST-REx-ID: 12406 |

Diao Y. 2023. Density of the union of positive diagonal binary quadratic forms. Acta Arithmetica. 207, 1–17.

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

2023 | Thesis | IST-REx-ID: 14422

Confavreux BJ. 2023. Synapseek: Meta-learning synaptic plasticity rules. Institute of Science and Technology Austria.

[Published Version] View | Files available | DOI

2023 | Thesis | IST-REx-ID: 14374 |

Roos B. 2023. Boundary superconductivity in BCS theory. Institute of Science and Technology Austria.

[Published Version] View | Files available | DOI

2023 | Journal Article | IST-REx-ID: 13207 |

Hainzl C, Roos B, Seiringer R. 2023. Boundary superconductivity in the BCS model. Journal of Spectral Theory. 12(4), 1507–1540.

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

2023 | Conference Paper | IST-REx-ID: 14485 |

Aksenov V, Anoprenko M, Fedorov A, Spear M. 2023. Brief announcement: BatchBoost: Universal batching for concurrent data structures. 37th International Symposium on Distributed Computing. DISC: Symposium on Distributed Computing, LIPIcs, vol. 281, 35.

[Published Version] View | Files available | DOI

2023 | Research Data | IST-REx-ID: 12869 |

Klausen FR, Lauritsen AB. 2023. Research data for: A stochastic cellular automaton model of culture formation, Institute of Science and Technology Austria, 10.15479/AT:ISTA:12869.

[Published Version] View | Files available | DOI

2023 | Journal Article | IST-REx-ID: 12890 |

Klausen FR, Lauritsen AB. 2023. Stochastic cellular automaton model of culture formation. Physical Review E. 108(5), 054307.

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

2023 | 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. 2023. Bi-allelic ACBD6 variants lead to a neurodevelopmental syndrome with progressive and complex movement disorders. Brain., awad380.

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

2023 | Journal Article | IST-REx-ID: 14542 |

Henheik SJ, Lauritsen AB, Roos B. 2023. Universality in low-dimensional BCS theory. Reviews in Mathematical Physics., 2360005.

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

2023 | Thesis | IST-REx-ID: 14506 |

Yeo MX. 2023. Advances in efficiency and privacy in payment channel network analysis. Institute of Science and Technology Austria.

[Published Version] View | Files available | DOI

2023 | Thesis | IST-REx-ID: 12726

Riedl M. 2023. Synchronization in collectively moving active matter. Institute of Science and Technology Austria.

View | Files available | DOI

2023 | Thesis | IST-REx-ID: 14530 |

Riedl M. 2023. Synchronization in collectively moving active matter. Institute of Science and Technology Austria.

[Updated Version] View | Files available | DOI

2023 | Thesis | IST-REx-ID: 14547 |

Phan DT. 2023. Resonant microwave spectroscopy of Al-InAs. Institute of Science and Technology Austria.

[Published Version] View | Files available | DOI

2023 | Journal Article | IST-REx-ID: 14628 |

Makatura L, Wang B, Chen Y-L, Deng B, Wojtan C, Bickel B, Matusik W. 2023. Procedural metamaterials: A unified procedural graph for metamaterial design. ACM Transactions on Graphics. 42(5), 168.

[Published Version] View | Files available | DOI

2023 | Journal Article | IST-REx-ID: 14653 |

Kluibenschedl F, Ploner A, Meisenbichler C, Konrat R, Müller T. 2023. Advanced motion tracking for interactive mass spectrometry imaging (IMSI). International Journal of Mass Spectrometry. 495, 117168.

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

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

Paranjape CS, Yalniz G, Duguet Y, Budanur NB, Hof B. 2023. Direct path from turbulence to time-periodic solutions. Physical Review Letters. 131(3), 034002.

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

2023 | Thesis | IST-REx-ID: 14058 |

Puixeu Sala G. 2023. The molecular basis of sexual dimorphism: Experimental and theoretical characterization of phenotypic, transcriptomic and genetic patterns of sex-specific adaptation. Institute of Science and Technology Austria.

[Published Version] View | Files available | DOI

2023 | Journal Article | IST-REx-ID: 14077 |

Puixeu Sala G, Macon A, Vicoso B. 2023. Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster. G3: Genes, Genomes, Genetics. 13(8).

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

2023 | Research Data | IST-REx-ID: 12933 |

Puixeu Sala G. 2023. Data from: Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster, Institute of Science and Technology Austria, 10.15479/AT:ISTA:12933.

[Published Version] View | Files available | DOI

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

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

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

Various

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

238 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Various

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

238 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options