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.




469 Publications

2023 | Published | Conference Paper | IST-REx-ID: 13292 | OA
Henzinger TA, Kebis P, Mazzocchi NA, Sarac NE. 2023. Regular methods for operator precedence languages. 50th International Colloquium on Automata, Languages, and Programming. ICALP: Automata, Languages and Programming, LIPIcs, vol. 261, 129:1--129:20.
[Published Version] View | Files available | DOI | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 13310 | OA
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 | WoS | arXiv
 
2023 | Published | Thesis | MS | IST-REx-ID: 13331 | OA
Köse S. 2023. Exterior algebra and combinatorics. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 
2023 | Draft | Preprint | IST-REx-ID: 20572 | OA
Dello Schiavo L, Quattrocchi F. Multivariate Dirichlet moments and a polychromatic Ewens sampling formula. arXiv, 2309.11292.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2023 | Published | Conference Abstract | IST-REx-ID: 14863 | OA
Polesello A, Muller CJ, Pasquero C, Meroni AN. 2023. Intensification mechanisms of tropical cyclones. EGU General Assembly 2023. EGU General Assembly, EGU23-6157.
[Published Version] View | Files available | DOI
 
2023 | Draft | Preprint | IST-REx-ID: 15039 | OA
Prach B, Lampert C. 1-Lipschitz neural networks are more expressive with N-activations. arXiv, 2311.06103.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2023 | Published | Conference Poster | IST-REx-ID: 15292 | OA
Chen Y-L, Ly M, Wojtan C. 2023. Unified treatment of contact, friction and shock-propagation in rigid body animation, ACM,p.
View | Files available | DOI
 
2023 | Published | Journal Article | IST-REx-ID: 13314 | OA
Dunajova Z, Prats Mateu B, Radler P, Lim K, Brandis D, Velicky P, Danzl JG, Wong RW, Elgeti J, Hannezo EB, Loose M. 2023. Chiral and nematic phases of flexible active filaments. Nature Physics. 19, 1916–1926.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2023 | Published | Thesis | PhD | IST-REx-ID: 13984 | OA
Franschitz A. 2023. Individual and social immunity against viral infections in ants. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 
2023 | Published | Thesis | PhD | IST-REx-ID: 14280 | OA
Radler P. 2023. Spatiotemporal signaling during assembly of the bacterial divisome. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 
2023 | Published | Thesis | PhD | IST-REx-ID: 14422 | OA
Confavreux BJ. 2023. Synapseek: Meta-learning synaptic plasticity rules. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 
2023 | Published | Thesis | PhD | IST-REx-ID: 14622 | OA
Sack S. 2023. Improving variational quantum algorithms : Innovative initialization techniques and extensions to qudit systems. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 
2023 | Published | Thesis | PhD | IST-REx-ID: 14323 | OA
Kuzmicz-Kowalska K. 2023. Regulation of neural progenitor survival by Shh and BMP in the developing spinal cord. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 
2023 | Published | Thesis | PhD | IST-REx-ID: 14697 | OA
Stopp JA. 2023. Neutrophils on the hunt : Migratory strategies employed by neutrophils to fulfill their effector function. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 
2023 | Published | Thesis | MS | IST-REx-ID: 14226 | OA
Stephenson ER. 2023. Generalizing medial axes with homology switches. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 
2023 | Published | Journal Article | IST-REx-ID: 14032 | OA
Mukhopadhyay S, Senior JL, Saez Mollejo J, Puglia D, Zemlicka M, Fink JM, Higginbotham AP. 2023. Superconductivity from a melted insulator in Josephson junction arrays. Nature Physics. 19, 1630–1635.
[Published Version] View | Files available | DOI | WoS
 
2023 | Published | Journal Article | IST-REx-ID: 12349 | OA
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.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2023 | Published | Journal Article | IST-REx-ID: 12521 | OA
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.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2023 | Research Data | IST-REx-ID: 12370 | OA
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 | Published | Thesis | PhD | IST-REx-ID: 12491 | OA
Zens B. 2023. Ultrastructural characterization of natively preserved extracellular matrix by cryo-electron tomography. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed