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.




6487 Publications

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. 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 | 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
Enhanced thermoelectric performance by surface engineering in SnTe-PbS nanocomposites
C. Chang, M. Ibáñez, Materials 14 (2021).
[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: 10080 | OA
The generalized spatial representation in the prefrontal cortex is inherited from the hippocampus
M. Nardin, K. Käfer, J.L. Csicsvari, BioRxiv (n.d.).
[Preprint] View | DOI | Download Preprint (ext.)
 
2021 | Published | Journal Article | IST-REx-ID: 10103 | OA
A structural perspective of the role of IP6 in immature and mature retroviral assembly
M. Obr, F.K. Schur, R.A. Dick, Viruses 13 (2021).
[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 | Published | Journal Article | IST-REx-ID: 10116 | OA
Neuronal calmodulin levels are controlled by CAMTA transcription factors
T. Vuong-Brender, S. Flynn, Y. Vallis, M. de Bono, ELife 10 (2021).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2021 | Published | Journal Article | IST-REx-ID: 10117 | OA
Interactome analysis of Caenorhabditis elegans synapses by TurboID-based proximity labeling
M. Artan, S. Barratt, S.M. Flynn, F. Begum, M. Skehel, A. Nicolas, M. de Bono, Journal of Biological Chemistry 297 (2021).
[Published Version] View | Files available | DOI | WoS
 
2021 | Published | Journal Article | IST-REx-ID: 10134 | OA
Anderson localization of composite particles
F. Suzuki, M. Lemeshko, W.H. Zurek, R.V. Krems, Physical Review Letters 127 (2021).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 10146
Structure and assembly of the mammalian mitochondrial supercomplex CIII2CIV
I. Vercellino, L.A. Sazanov, Nature 598 (2021) 364–367.
View | Files available | DOI | WoS | PubMed | Europe PMC
 
2021 | Published | Conference Paper | IST-REx-ID: 10148 | OA
Capturing tactile properties of real surfaces for haptic reproduction
D. Degraen, M. Piovarci, B. Bickel, A. Kruger, in:, 34th Annual ACM Symposium, Association for Computing Machinery, 2021, pp. 954–971.
[Preprint] View | Files available | DOI
 
2021 | Published | Journal Article | IST-REx-ID: 10153 | OA
Transitioning from structural to nominal code with efficient gradual typing
F. Mühlböck, R. Tate, Proceedings of the ACM on Programming Languages 5 (2021).
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Export / Embed