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.




4957 Publications

2021 | Published | Journal Article | IST-REx-ID: 10051 | OA
RIM-binding protein 2 organizes Ca21 channel topography and regulates release probability and vesicle replenishment at a fast central synapse
T. Butola, T. Alvanos, A. Hintze, P. Koppensteiner, D. Kleindienst, R. Shigemoto, C. Wichmann, T. Moser, Journal of Neuroscience 41 (2021) 7742–7767.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2021 | Published | Conference Paper | IST-REx-ID: 10052 | OA
Decomposing permutation automata
I.R. Jecker, N. Mazzocchi, P. Wolf, in:, 32nd International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
[Published Version] View | Files available | DOI | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 10053 | OA
Parallelism versus latency in simplified successive-cancellation decoding of polar codes
S.A. Hashemi, M. Mondelli, A. Fazeli, A. Vardy, J. Cioffi, A. Goldsmith, in:, 2021 IEEE International Symposium on Information Theory, Institute of Electrical and Electronics Engineers, 2021, pp. 2369–2374.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 10054 | OA
Faster algorithms for bounded liveness in graphs and game graphs
K. Chatterjee, M.H. Henzinger, S.S. Kale, A. Svozil, in:, 48th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
[Published Version] View | Files available | DOI
 
2021 | Published | Conference Paper | IST-REx-ID: 10055 | OA
A Ramsey theorem for finite monoids
I.R. Jecker, in:, 38th International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
[Published Version] View | Files available | DOI | WoS
 
2021 | Published | Thesis | IST-REx-ID: 10058 | OA
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
 
2021 | Submitted | Preprint | IST-REx-ID: 10066 | OA
Cross-architecture tuning of silicon and SiGe-based quantum devices using machine learning
Severin B, Lennon DT, Camenzind LC, Vigneau F, Fedele F, Jirovec D, Ballabio A, Chrastina D, Isella G, Kruijf M de, Carballido MJ, Svab S, Kuhlmann AV, Braakman FR, Geyer S, Froning FNM, Moon H, Osborne MA, Sejdinovic D, Katsaros G, Zumbühl DM, Briggs GAD, Ares N. Cross-architecture tuning of silicon and SiGe-based quantum devices using machine learning. arXiv, 2107.12975.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 10067 | OA
Entanglement transitions from restricted Boltzmann machines
R.A. Medina Ramos, R. Vasseur, M. Serbyn, Physical Review B 104 (2021).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 10069 | OA
Postpartum hemorrhage risk is driven by changes in blood composition through pregnancy
M.R. Robinson, M. Patxot, M. Stojanov, S. Blum, D. Baud, Scientific Reports 11 (2021).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2021 | Published | Journal Article | IST-REx-ID: 10070 | OA
Rademacher-type theorems and Sobolev-to-Lipschitz properties for strongly local Dirichlet spaces
L. Dello Schiavo, K. Suzuki, Journal of Functional Analysis 281 (2021).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 10071 | OA
How to tutorial-a-thon
H. Adams, H. Kourimska, T. Heiss, S. Percival, L. Ziegelmeier, Notices of the American Mathematical Society 68 (2021) 1511–1514.
[Published Version] View | DOI | Download Published Version (ext.)
 
2021 | Published | Conference Paper | IST-REx-ID: 10072 | OA
A new notion of commutativity for the algorithmic Lovász Local Lemma
D.G. Harris, F. Iliopoulos, V. Kolmogorov, in:, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
[Published Version] View | Files available | DOI | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 10073 | OA [Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2021 | Published | Conference Paper | IST-REx-ID: 10075 | OA
A bit of nondeterminism makes pushdown automata expressive and succinct
S. Guha, I.R. Jecker, K. Lehtinen, M. Zimmermann, in:, 46th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
[Published Version] View | Files available | DOI | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 10076 | OA
Reactive key-loss protection in blockchains
S. Blackshear, K. Chalkias, P. Chatzigiannis, R. Faizullabhoy, I. Khaburzaniya, E. Kokoris Kogias, J. Lind, D. Wong, T. Zakian, in:, FC 2021 Workshops, Springer Nature, 2021, pp. 431–450.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 
2021 | Submitted | Preprint | IST-REx-ID: 10077 | OA
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.)
 
2021 | Submitted | Preprint | IST-REx-ID: 10080 | OA [Preprint] View | DOI | Download Preprint (ext.)
 
2021 | Published | Journal Article | IST-REx-ID: 10103 | OA [Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2021 | Published | Conference Paper | IST-REx-ID: 10108 | OA
Differential monitoring
F. Mühlböck, T.A. Henzinger, in:, International Conference on Runtime Verification, Springer Nature, Cham, 2021, pp. 231–243.
[Preprint] View | Files available | DOI | WoS
 
2021 | Scientific Software | IST-REx-ID: 10110 | OA View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Export / Embed