Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

11357 Publications


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.)
 

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
 

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. 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: 10067 | OA
Entanglement transitions from restricted Boltzmann machines
R.A. Medina Ramos, R. Vasseur, M. Serbyn, Physical Review B 104 (2021).
[Preprint] View | Files available | 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
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
 

Search

Filter Publications

Display / Sort

Export / Embed