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.
474 Publications
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
| WoS
| 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
| WoS
| 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
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
C.S. Paranjape, G. Yalniz, Y. Duguet, N.B. Budanur, B. Hof, Physical Review Letters 131 (2023).
2023 |
Published |
Thesis | PhD |
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
| WoS
| arXiv
T.A. Henzinger, M. Karimi, K. Kueffner, K. Mallik, in:, Computer Aided Verification, Springer Nature, 2023, pp. 358–382.
2023 |
Published |
Thesis | MS |
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 |
Draft |
Preprint |
IST-REx-ID: 20572 |
Multivariate Dirichlet moments and a polychromatic Ewens sampling formula
L. Dello Schiavo, F. Quattrocchi, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
L. Dello Schiavo, F. Quattrocchi, ArXiv (n.d.).
2023 |
Published |
Conference Abstract |
IST-REx-ID: 14863 |
Intensification mechanisms of tropical cyclones
A. Polesello, C.J. Muller, C. Pasquero, A.N. Meroni, in:, EGU General Assembly 2023, European Geosciences Union, 2023.
[Published Version]
View
| Files available
| DOI
A. Polesello, C.J. Muller, C. Pasquero, A.N. Meroni, in:, EGU General Assembly 2023, European Geosciences Union, 2023.
2023 |
Draft |
Preprint |
IST-REx-ID: 15039 |
1-Lipschitz neural networks are more expressive with N-activations
B. Prach, C. Lampert, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
B. Prach, C. Lampert, ArXiv (n.d.).
2023 |
Published |
Conference Poster |
IST-REx-ID: 15292 |
Unified treatment of contact, friction and shock-propagation in rigid body animation
Y.-L. Chen, M. Ly, C. Wojtan, Unified Treatment of Contact, Friction and Shock-Propagation in Rigid Body Animation, ACM, 2023.
View
| Files available
| DOI
Y.-L. Chen, M. Ly, C. Wojtan, Unified Treatment of Contact, Friction and Shock-Propagation in Rigid Body Animation, ACM, 2023.
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
| WoS
| 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 |
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
| WoS
| arXiv
M. Dvorak, J. Blanchette, in:, 14th International Conference on Interactive Theorem Proving, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
2023 |
Published |
Thesis | PhD |
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 |
Thesis | PhD |
IST-REx-ID: 14280 |
Spatiotemporal signaling during assembly of the bacterial divisome
P. Radler, Spatiotemporal Signaling during Assembly of the Bacterial Divisome, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
P. Radler, Spatiotemporal Signaling during Assembly of the Bacterial Divisome, Institute of Science and Technology Austria, 2023.
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 14422 |
Synapseek: Meta-learning synaptic plasticity rules
B.J. Confavreux, Synapseek: Meta-Learning Synaptic Plasticity Rules, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
B.J. Confavreux, Synapseek: Meta-Learning Synaptic Plasticity Rules, Institute of Science and Technology Austria, 2023.
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 14622 |
Improving variational quantum algorithms : Innovative initialization techniques and extensions to qudit systems
S. Sack, Improving Variational Quantum Algorithms : Innovative Initialization Techniques and Extensions to Qudit Systems, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
S. Sack, Improving Variational Quantum Algorithms : Innovative Initialization Techniques and Extensions to Qudit Systems, Institute of Science and Technology Austria, 2023.
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 14323 |
Regulation of neural progenitor survival by Shh and BMP in the developing spinal cord
K. Kuzmicz-Kowalska, Regulation of Neural Progenitor Survival by Shh and BMP in the Developing Spinal Cord, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
K. Kuzmicz-Kowalska, Regulation of Neural Progenitor Survival by Shh and BMP in the Developing Spinal Cord, Institute of Science and Technology Austria, 2023.
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 14697 |
Neutrophils on the hunt : Migratory strategies employed by neutrophils to fulfill their effector function
J.A. Stopp, Neutrophils on the Hunt : Migratory Strategies Employed by Neutrophils to Fulfill Their Effector Function, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
J.A. Stopp, Neutrophils on the Hunt : Migratory Strategies Employed by Neutrophils to Fulfill Their Effector Function, Institute of Science and Technology Austria, 2023.