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.




6591 Publications

2021 | Published | Conference Paper | IST-REx-ID: 9987 | OA
Stateless model checking under a reads-value-from equivalence
P. Agarwal, K. Chatterjee, S. Pathak, A. Pavlogiannis, V. Toman, in:, 33rd International Conference on Computer-Aided Verification , Springer Nature, 2021, pp. 341–366.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2021 | Published | Thesis | PhD | IST-REx-ID: 10199 | OA
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
 
2021 | Published | Journal Article | IST-REx-ID: 10191 | OA
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
 
2021 | Published | Thesis | PhD | IST-REx-ID: 10007 | OA
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
 
earlier version | 2021 | Draft | Preprint | IST-REx-ID: 10013 | OA
Weak-strong uniqueness for the mean curvature flow of double bubbles
S. Hensel, T. Laux, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2021 | Published | Thesis | PhD | IST-REx-ID: 9418 | OA
Underspecification in deep learning
M. Phuong, Underspecification in Deep Learning, Institute of Science and Technology Austria, 2021.
[Published Version] View | Files available | DOI
 
2021 | Published | Thesis | PhD | IST-REx-ID: 9056 | OA
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
 
2021 | Published | Conference Paper | IST-REx-ID: 9416 | OA
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.)
 
2021 | Published | Conference Paper | IST-REx-ID: 10041 | OA
Limits on the Adaptive Security of Yao’s Garbling
C. Kamath Hosdurg, K. Klein, K.Z. Pietrzak, D. Wichs, in:, 41st Annual International Cryptology Conference, Part II , Springer Nature, Cham, 2021, pp. 486–515.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 
2021 | Published | Conference Paper | IST-REx-ID: 10049 | OA
Keep the dirt: tainted TreeKEM, adaptively and actively secure continuous group key agreement
K. Klein, G. Pascual Perez, M. Walter, C. Kamath Hosdurg, M. Capretto, M. Cueto Noval, I. Markov, M.X. Yeo, J.F. Alwen, K.Z. Pietrzak, in:, 2021 IEEE Symposium on Security and Privacy , IEEE, 2021, pp. 268–284.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 
earlier version | 2021 | Published | Conference Paper | IST-REx-ID: 10048 | OA
The cost of adaptivity in security games on graphs
C. Kamath Hosdurg, K. Klein, K.Z. Pietrzak, M. Walter, in:, 19th Theory of Cryptography Conference 2021, International Association for Cryptologic Research, 2021.
[Preprint] View | Files available | Download Preprint (ext.)
 
earlier version | 2021 | Published | Conference Paper | IST-REx-ID: 10044 | OA
On treewidth, separators and Yao's garbling
C. Kamath Hosdurg, K. Klein, K.Z. Pietrzak, in:, 19th Theory of Cryptography Conference 2021, International Association for Cryptologic Research, 2021.
[Preprint] View | Files available | Download Preprint (ext.)
 
2021 | Published | Journal Article | IST-REx-ID: 10321 | OA
Genetic mosaic dissection of candidate genes in mice using mosaic analysis with double markers
N. Amberg, S. Hippenmeyer, STAR Protocols 2 (2021).
[Published Version] View | Files available | DOI
 
2021 | Published | Journal Article | IST-REx-ID: 9073 | OA
The logic of developing neocortical circuits in health and disease
I.L. Hanganu-Opatz, S.J.B. Butt, S. Hippenmeyer, N.V. De Marco García, J.A. Cardin, B. Voytek, A.R. Muotri, The Journal of Neuroscience 41 (2021) 813–822.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2021 | Published | Journal Article | IST-REx-ID: 10281 | OA
Translating the role of mtor-and ras-associated signalopathies in autism spectrum disorder: Models, mechanisms and treatment
V. Vasic, M.S.O. Jones, D. Haslinger, L. Knaus, M.J. Schmeisser, G. Novarino, A.G. Chiocchetti, Genes 12 (2021).
[Published Version] View | Files available | DOI | WoS
 
2021 | Published | Journal Article | IST-REx-ID: 9928 | OA
Geometric superinductance qubits: Controlling phase delocalization across a single Josephson junction
M. Peruzzo, F. Hassani, G. Szep, A. Trioni, E. Redchenko, M. Zemlicka, J.M. Fink, PRX Quantum 2 (2021) 040341.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2021 | Research Data Reference | IST-REx-ID: 13057 | OA
Geometric superinductance qubits: Controlling phase delocalization across a single Josephson junction
M. Peruzzo, F. Hassani, G. Szep, A. Trioni, E. Redchenko, M. Zemlicka, J.M. Fink, (2021).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2021 | Published | Thesis | PhD | IST-REx-ID: 9920 | OA
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
 
2021 | Published | Journal Article | IST-REx-ID: 9819 | OA
PhotoApp: Photorealistic appearance editing of head portraits
B.R. Mallikarjun, A. Tewari, A. Dib, T. Weyrich, B. Bickel, H.P. Seidel, H. Pfister, W. Matusik, L. Chevallier, M.A. Elgharib, C. Theobalt, ACM Transactions on Graphics 40 (2021).
[Published Version] View | Files available | DOI | WoS | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 9005 | OA
Molecular impurities as a realization of anyons on the two-sphere
M. Brooks, M. Lemeshko, D. Lundholm, E. Yakaboylu, Physical Review Letters 126 (2021).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed