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.




5256 Publications

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: 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 | 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: 10123 | OA
The importance of surface adsorbates in solution‐processed thermoelectric materials: The case of SnSe
Y. Liu, M. Calcabrini, Y. Yu, A. Genç, C. Chang, T. Costanzo, T. Kleinhanns, S. Lee, J. Llorca, O. Cojocaru‐Mirédin, M. Ibáñez, Advanced Materials 33 (2021).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
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
 
2021 | Published | Journal Article | IST-REx-ID: 10163 | OA
PHF3 regulates neuronal gene expression through the Pol II CTD reader domain SPOC
Appel L-M, Franke V, Bruno M, Grishkovskaya I, Kasiliauskaite A, Kaufmann T, Schoeberl UE, Puchinger MG, Kostrhon S, Ebenwaldner C, Sebesta M, Beltzung E, Mechtler K, Lin G, Vlasova A, Leeb M, Pavri R, Stark A, Akalin A, Stefl R, Bernecky C, Djinovic-Carugo K, Slade D. 2021. PHF3 regulates neuronal gene expression through the Pol II CTD reader domain SPOC. Nature Communications. 12(1), 6078.
[Published Version] View | Files available | DOI | WoS
 
2021 | Published | Journal Article | IST-REx-ID: 10166 | OA
Transitions to asexuality and evolution of gene expression in Artemia brine shrimp
A.K. Huylmans, A. Macon, F. Hontoria, B. Vicoso, Proceedings of the Royal Society B: Biological Sciences 288 (2021).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2021 | Published | Journal Article | IST-REx-ID: 10167 | OA
Schistosome W-Linked genes inform temporal dynamics of sex chromosome evolution and suggest candidate for sex determination
M.N. Elkrewi, M.A. Moldovan, M.A.L. Picard, B. Vicoso, Molecular Biology and Evolution (2021).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2021 | Submitted | Preprint | IST-REx-ID: 10174 | OA [Preprint] View | Download Preprint (ext.) | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 10176 | OA
Topological field theory on r-spin surfaces and the Arf-invariant
I. Runkel, L. Szegedy, Journal of Mathematical Physics 62 (2021).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

Filters and Search Terms

type<>research_data

Search

Filter Publications

Display / Sort

Export / Embed