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.
232 Publications
2023 | Published | Journal Article | IST-REx-ID: 13049 | 
PCBend: Light up your 3D shapes with foldable circuit boards
M. Freire, M. Bhargava, C. Schreck, P.-A. Hugron, B. Bickel, S. Lefebvre, Transactions on Graphics 42 (2023).
[Submitted Version]
View
| Files available
| DOI
| WoS
M. Freire, M. Bhargava, C. Schreck, P.-A. Hugron, B. Bickel, S. Lefebvre, Transactions on Graphics 42 (2023).
2023 | Accepted | Conference Paper | IST-REx-ID: 13053 |
CrAM: A Compression-Aware Minimizer
E.-A. Peste, A. Vladu, E. Kurtic, C. Lampert, D.-A. Alistarh, in:, 11th International Conference on Learning Representations , n.d.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
E.-A. Peste, A. Vladu, E. Kurtic, C. Lampert, D.-A. Alistarh, in:, 11th International Conference on Learning Representations , n.d.
2023 | Published | Thesis | IST-REx-ID: 13074 |
Efficiency and generalization of sparse neural networks
E.-A. Peste, Efficiency and Generalization of Sparse Neural Networks, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
E.-A. Peste, Efficiency and Generalization of Sparse Neural Networks, Institute of Science and Technology Austria, 2023.
2023 | Published | Thesis | IST-REx-ID: 13081
Epithelial dynamics during mouse neural tube development
L. Bocanegra, Epithelial Dynamics during Mouse Neural Tube Development, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
L. Bocanegra, Epithelial Dynamics during Mouse Neural Tube Development, Institute of Science and Technology Austria, 2023.
2023 | Published | Thesis | IST-REx-ID: 13107 |
The metabolism of the developing brain : How large neutral amino acids modulate perinatal neuronal excitability and survival
L. Knaus, The Metabolism of the Developing Brain : How Large Neutral Amino Acids Modulate Perinatal Neuronal Excitability and Survival, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
L. Knaus, The Metabolism of the Developing Brain : How Large Neutral Amino Acids Modulate Perinatal Neuronal Excitability and Survival, Institute of Science and Technology Austria, 2023.
2023 | Published | Conference Paper | IST-REx-ID: 13120 |
Closure properties of general grammars - formally verified
M. Dvorak, J. Blanchette, in:, 14th International Conference on Interactive Theorem Proving, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
M. Dvorak, J. Blanchette, in:, 14th International Conference on Interactive Theorem Proving, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
2023 | Published | Journal Article | IST-REx-ID: 13128 |
An energy decomposition theorem for matrices and related questions
A. Mohammadi, T. Pham, Y. Wang, Canadian Mathematical Bulletin 66 (2023) 1280–1295.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A. Mohammadi, T. Pham, Y. Wang, Canadian Mathematical Bulletin 66 (2023) 1280–1295.
2023 | Published | Journal Article | IST-REx-ID: 13138 |
Adiabatic eigenstate deformations and weak integrability breaking of Heisenberg chain
P. Orlov, A. Tiutiakina, R. Sharipov, E. Petrova, V. Gritsev, D.V. Kurlov, Physical Review B 107 (2023).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
P. Orlov, A. Tiutiakina, R. Sharipov, E. Petrova, V. Gritsev, D.V. Kurlov, Physical Review B 107 (2023).
2023 | Published | Journal Article | IST-REx-ID: 13166 |
The evolutionary history of Brachyury genes in Hydrozoa involves duplications, divergence, and neofunctionalization
A.A. Vetrova, D.M. Kupaeva, A. Kizenko, T.S. Lebedeva, P. Walentek, N. Tsikolia, S.V. Kremnyov, Scientific Reports 13 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
A.A. Vetrova, D.M. Kupaeva, A. Kizenko, T.S. Lebedeva, P. Walentek, N. Tsikolia, S.V. Kremnyov, Scientific Reports 13 (2023).
2023 | Published | Journal Article | IST-REx-ID: 13207 |
Boundary superconductivity in the BCS model
C. Hainzl, B. Roos, R. Seiringer, Journal of Spectral Theory 12 (2023) 1507–1540.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
C. Hainzl, B. Roos, R. Seiringer, Journal of Spectral Theory 12 (2023) 1507–1540.
2023 | Published | Conference Paper | IST-REx-ID: 13221 |
Safety and liveness of quantitative automata
U. Boker, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 34th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
U. Boker, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 34th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
2023 | Published | Conference Paper | IST-REx-ID: 13262 |
Provably-efficient and internally-deterministic parallel Union-Find
A. Fedorov, D. Hashemi, G. Nadiradze, D.-A. Alistarh, in:, Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, Association for Computing Machinery, 2023, pp. 261–271.
[Published Version]
View
| Files available
| DOI
| arXiv
A. Fedorov, D. Hashemi, G. Nadiradze, D.-A. Alistarh, in:, Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, Association for Computing Machinery, 2023, pp. 261–271.
2023 | Published | Journal Article | IST-REx-ID: 13274 |
Direct path from turbulence to time-periodic solutions
C.S. Paranjape, G. Yalniz, Y. Duguet, N.B. Budanur, B. Hof, Physical Review Letters 131 (2023).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
C.S. Paranjape, G. Yalniz, Y. Duguet, N.B. Budanur, B. Hof, Physical Review Letters 131 (2023).
2023 | Published | Thesis | IST-REx-ID: 13286 |
Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevices : From full-shell nanowires to two-dimensional hole gas in germanium
M. Valentini, Mesoscopic Phenomena in Hybrid Semiconductor-Superconductor Nanodevices : From Full-Shell Nanowires to Two-Dimensional Hole Gas in Germanium, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
M. Valentini, Mesoscopic Phenomena in Hybrid Semiconductor-Superconductor Nanodevices : From Full-Shell Nanowires to Two-Dimensional Hole Gas in Germanium, Institute of Science and Technology Austria, 2023.
2023 | Published | Conference Paper | IST-REx-ID: 13292 |
Regular methods for operator precedence languages
T.A. Henzinger, P. Kebis, N.A. Mazzocchi, N.E. Sarac, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, p. 129:1--129:20.
[Published Version]
View
| Files available
| DOI
| arXiv
T.A. Henzinger, P. Kebis, N.A. Mazzocchi, N.E. Sarac, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, p. 129:1--129:20.
2023 | Published | Conference Paper | IST-REx-ID: 13310 |
Monitoring algorithmic fairness
T.A. Henzinger, M. Karimi, K. Kueffner, K. Mallik, in:, Computer Aided Verification, Springer Nature, 2023, pp. 358–382.
[Published Version]
View
| Files available
| DOI
| arXiv
T.A. Henzinger, M. Karimi, K. Kueffner, K. Mallik, in:, Computer Aided Verification, Springer Nature, 2023, pp. 358–382.
2023 | Published | Journal Article | IST-REx-ID: 13314 |
Chiral and nematic phases of flexible active filaments
Z. Dunajova, B. Prats Mateu, P. Radler, K. Lim, D. Brandis, P. Velicky, J.G. Danzl, R.W. Wong, J. Elgeti, E.B. Hannezo, M. Loose, Nature Physics 19 (2023) 1916–1926.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
Z. Dunajova, B. Prats Mateu, P. Radler, K. Lim, D. Brandis, P. Velicky, J.G. Danzl, R.W. Wong, J. Elgeti, E.B. Hannezo, M. Loose, Nature Physics 19 (2023) 1916–1926.
2023 | Published | Thesis | IST-REx-ID: 13331 |
Exterior algebra and combinatorics
S. Köse, Exterior Algebra and Combinatorics, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
S. Köse, Exterior Algebra and Combinatorics, Institute of Science and Technology Austria, 2023.
2023 | Published | Thesis | IST-REx-ID: 13984
Individual and social immunity against viral infections in ants
A. Franschitz, Individual and Social Immunity against Viral Infections in Ants, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
A. Franschitz, Individual and Social Immunity against Viral Infections in Ants, Institute of Science and Technology Austria, 2023.
2023 | Published | Journal Article | IST-REx-ID: 14032 |
Superconductivity from a melted insulator in Josephson junction arrays
S. Mukhopadhyay, J.L. Senior, J. Saez Mollejo, D. Puglia, M. Zemlicka, J.M. Fink, A.P. Higginbotham, Nature Physics 19 (2023) 1630–1635.
[Published Version]
View
| Files available
| DOI
| WoS
S. Mukhopadhyay, J.L. Senior, J. Saez Mollejo, D. Puglia, M. Zemlicka, J.M. Fink, A.P. Higginbotham, Nature Physics 19 (2023) 1630–1635.