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.
448 Publications
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 10199 |
Improved verification techniques for concurrent systems
V. Toman, Improved Verification Techniques for Concurrent Systems, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
V. Toman, Improved Verification Techniques for Concurrent Systems, Institute of Science and Technology Austria, 2021.
2021 |
Published |
Journal Article |
IST-REx-ID: 10191 |
The reads-from equivalence for the TSO and PSO memory models
T.L. Bui, K. Chatterjee, T. Gautam, A. Pavlogiannis, V. Toman, Proceedings of the ACM on Programming Languages 5 (2021).
[Published Version]
View
| Files available
| DOI
| arXiv
T.L. Bui, K. Chatterjee, T. Gautam, A. Pavlogiannis, V. Toman, Proceedings of the ACM on Programming Languages 5 (2021).
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 10007 |
Curvature driven interface evolution: Uniqueness properties of weak solution concepts
S. Hensel, Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
S. Hensel, Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts, Institute of Science and Technology Austria, 2021.
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 10429 |
On achieving scalability through relaxation
G. Nadiradze, On Achieving Scalability through Relaxation, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
G. Nadiradze, On Achieving Scalability through Relaxation, Institute of Science and Technology Austria, 2021.
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 9418 |
Underspecification in deep learning
M. Phuong, Underspecification in Deep Learning, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
M. Phuong, Underspecification in Deep Learning, Institute of Science and Technology Austria, 2021.
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 9056 |
Multi-cover persistence and Delaunay mosaics
G.F. Osang, Multi-Cover Persistence and Delaunay Mosaics, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
G.F. Osang, Multi-Cover Persistence and Delaunay Mosaics, Institute of Science and Technology Austria, 2021.
2021 |
Published |
Conference Paper |
IST-REx-ID: 9416 |
The inductive bias of ReLU networks on orthogonally separable data
M. Phuong, C. Lampert, in:, 9th International Conference on Learning Representations, 2021.
[Published Version]
View
| Files available
| Download Published Version (ext.)
M. Phuong, C. Lampert, in:, 9th International Conference on Learning Representations, 2021.
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 9920 |
Geometric superinductors and their applications in circuit quantum electrodynamics
M. Peruzzo, Geometric Superinductors and Their Applications in Circuit Quantum Electrodynamics, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
M. Peruzzo, Geometric Superinductors and Their Applications in Circuit Quantum Electrodynamics, Institute of Science and Technology Austria, 2021.
2021 |
Published |
Journal Article |
IST-REx-ID: 9760 |
Quantum annealing initialization of the quantum approximate optimization algorithm
S. Sack, M. Serbyn, Quantum 5 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
S. Sack, M. Serbyn, Quantum 5 (2021).
2021 |
Draft |
Preprint |
IST-REx-ID: 10077 |
The structure of hippocampal CA1 interactions optimizes spatial coding across experience
M. Nardin, J.L. Csicsvari, G. Tkačik, C. Savin, BioRxiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
M. Nardin, J.L. Csicsvari, G. Tkačik, C. Savin, BioRxiv (n.d.).
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 10293 |
Evolution of cooperation via (in)direct reciprocity under imperfect information
L. Schmid, Evolution of Cooperation via (in)Direct Reciprocity under Imperfect Information, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
L. Schmid, Evolution of Cooperation via (in)Direct Reciprocity under Imperfect Information, Institute of Science and Technology Austria, 2021.
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 9992 |
Wound healing in the Arabidopsis root meristem
L. Hörmayer, Wound Healing in the Arabidopsis Root Meristem, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
L. Hörmayer, Wound Healing in the Arabidopsis Root Meristem, Institute of Science and Technology Austria, 2021.
2021 |
Published |
Journal Article |
IST-REx-ID: 9997 |
The evolution of indirect reciprocity under action and assessment generosity
L. Schmid, P. Shati, C. Hilbe, K. Chatterjee, Scientific Reports 11 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
L. Schmid, P. Shati, C. Hilbe, K. Chatterjee, Scientific Reports 11 (2021).
2021 |
Published |
Journal Article |
IST-REx-ID: 9402 |
A unified framework of direct and indirect reciprocity
L. Schmid, K. Chatterjee, C. Hilbe, M.A. Nowak, Nature Human Behaviour 5 (2021) 1292–1302.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
L. Schmid, K. Chatterjee, C. Hilbe, M.A. Nowak, Nature Human Behaviour 5 (2021) 1292–1302.
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 10135 |
Molecular mechanisms of the cytokinin-regulated endomembrane trafficking to coordinate plant organogenesis
H. Semerádová, Molecular Mechanisms of the Cytokinin-Regulated Endomembrane Trafficking to Coordinate Plant Organogenesis, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
H. Semerádová, Molecular Mechanisms of the Cytokinin-Regulated Endomembrane Trafficking to Coordinate Plant Organogenesis, Institute of Science and Technology Austria, 2021.
2021 |
Published |
Journal Article |
IST-REx-ID: 8909 |
A singlet triplet hole spin qubit in planar Ge
D. Jirovec, A.C. Hofmann, A. Ballabio, P.M. Mutter, G. Tavani, M. Botifoll, A. Crippa, J. Kukucka, O. Sagi, F. Martins, J. Saez Mollejo, I. Prieto Gonzalez, M. Borovkov, J. Arbiol, D. Chrastina, G. Isella, G. Katsaros, Nature Materials 20 (2021) 1106–1112.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
D. Jirovec, A.C. Hofmann, A. Ballabio, P.M. Mutter, G. Tavani, M. Botifoll, A. Crippa, J. Kukucka, O. Sagi, F. Martins, J. Saez Mollejo, I. Prieto Gonzalez, M. Borovkov, J. Arbiol, D. Chrastina, G. Isella, G. Katsaros, Nature Materials 20 (2021) 1106–1112.
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 10058 |
Singlet-Triplet qubits and spin-orbit interaction in 2-dimensional Ge hole gases
D. Jirovec, Singlet-Triplet Qubits and Spin-Orbit Interaction in 2-Dimensional Ge Hole Gases, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
D. Jirovec, Singlet-Triplet Qubits and Spin-Orbit Interaction in 2-Dimensional Ge Hole Gases, Institute of Science and Technology Austria, 2021.
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 9562 |
2B or not 2B: Hippocampal asymmetries mediated by NMDA receptor subunit GluN2B C-terminus and high-throughput image analysis by Deep-Learning
D. Kleindienst, 2B or Not 2B: Hippocampal Asymmetries Mediated by NMDA Receptor Subunit GluN2B C-Terminus and High-Throughput Image Analysis by Deep-Learning, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
D. Kleindienst, 2B or Not 2B: Hippocampal Asymmetries Mediated by NMDA Receptor Subunit GluN2B C-Terminus and High-Throughput Image Analysis by Deep-Learning, Institute of Science and Technology Austria, 2021.
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 9397 |
Coordinated spatiotemporal reorganization of interstitial fluid is required for axial mesendoderm migration in zebrafish gastrulation
K. Huljev, Coordinated Spatiotemporal Reorganization of Interstitial Fluid Is Required for Axial Mesendoderm Migration in Zebrafish Gastrulation, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
K. Huljev, Coordinated Spatiotemporal Reorganization of Interstitial Fluid Is Required for Axial Mesendoderm Migration in Zebrafish Gastrulation, Institute of Science and Technology Austria, 2021.
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 10307 |
Pathogenic Escherichia coli hijack the host immune response
K. Tomasek, Pathogenic Escherichia Coli Hijack the Host Immune Response, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
K. Tomasek, Pathogenic Escherichia Coli Hijack the Host Immune Response, Institute of Science and Technology Austria, 2021.