Trojan-resilience without cryptography
S. Chakraborty, S. Dziembowski, M. Gazka, T. Lizurej, K.Z. Pietrzak, M.X. Yeo, in:, Springer Nature, 2021, pp. 397–428.
LibreCat: https://research-explorer.ista.ac.at/record/10407
DOI: 10.1007/978-3-030-90453-1_14
WoS: 000728364000014

Grafting key trees: Efficient key management for overlapping groups
J.F. Alwen, B. Auerbach, M.A. Baig, M. Cueto Noval, K. Klein, G. Pascual Perez, K.Z. Pietrzak, M. Walter, in:, 19th International Conference, Springer Nature, 2021, pp. 222–253.
LibreCat: https://research-explorer.ista.ac.at/record/10408
DOI: 10.1007/978-3-030-90456-2_8
WoS: 000728363700008

Histone  prevents non-CG methylation-mediated small RNA biogenesis in Arabidopsis heterochromatin
J. Choi, D.B. Lyons, D. Zilberman, ELife 10 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/10533
DOI: 10.7554/elife.72676
WoS: 000754832000001
PMID: 34850679

Optimal homogenization rates in stochastic homogenization of nonlinear uniformly elliptic equations and systems
J.L. Fischer, S. Neukamm, Archive for Rational Mechanics and Analysis 242 (2021) 343–452.
LibreCat: https://research-explorer.ista.ac.at/record/10549
DOI: 10.1007/s00205-021-01686-9
WoS: 000668431200001
arXiv: 1908.02273

On treewidth, separators and Yao’s garbling
C. Kamath Hosdurg, K. Klein, K.Z. Pietrzak, in:, 19th International Conference, Springer Nature, 2021, pp. 486–517.
LibreCat: https://research-explorer.ista.ac.at/record/10409
DOI: 10.1007/978-3-030-90453-1_17
WoS: 000728364000017

The young massive SMC cluster NGC 330 seen by MUSE. II. Multiplicity properties of the massive-star population
J. Bodensteiner, H. Sana, C. Wang, N. Langer, L. Mahy, G. Banyard, A. de Koter, S.E. de Mink, C.J. Evans, Y.L.L. Götberg, L.R. Patrick, F.R.N. Schneider, F. Tramper, Astronomy &; Astrophysics 652 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/13457
DOI: 10.1051/0004-6361/202140507
arXiv: 2104.13409

Brief announcement: Be prepared when network goes bad: An asynchronous view-change protocol
R. Gelashvili, E. Kokoris Kogias, A. Spiegelman, Z. Xiang, in:, Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2021, pp. 187–190.
LibreCat: https://research-explorer.ista.ac.at/record/10553
DOI: 10.1145/3465084.3467941
WoS: 000744439800018
arXiv: 2103.03181

Auxin-regulated reversible inhibition of TMK1 signaling by MAK modulates the dynamics of root gravitropism
M. Marquès-Bueno, L. Armengot, L. Noack, J. Bareille, L. Rodriguez Solovey, M. Platre, V. Bayle, M. Liu, D. Opdenacker, S. Vanneste, B. Möller, Z. Nimchuk, T. Beeckman, A. Caño-Delgado, J. Friml, Y. Jaillais, Current Biology 31 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/8824
DOI: 10.1016/j.cub.2020.10.011
WoS: 000614361000039
PMID: 33157019

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.
LibreCat: https://research-explorer.ista.ac.at/record/10007
DOI: 10.15479/at:ista:10007

Probabilistic inference of the genetic architecture underlying functional enrichment of complex traits
M. Patxot, D. Trejo Banos, A. Kousathanas, E.J. Orliac, S.E. Ojavee, G. Moser, J. Sidorenko, Z. Kutalik, R. Magi, P.M. Visscher, L. Ronnegard, M.R. Robinson, Nature Communications 12 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/8429
DOI: 10.1038/s41467-021-27258-9
WoS: 000724450600023

Tracing isomanifolds in Rd in time polynomial in d using Coxeter-Freudenthal-Kuhn triangulations
J.-D. Boissonnat, S. Kachanovich, M. Wintraecken, in:, 37th International Symposium on Computational Geometry (SoCG 2021), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2021, p. 17:1-17:16.
LibreCat: https://research-explorer.ista.ac.at/record/9441
DOI: 10.4230/LIPIcs.SoCG.2021.17

The cost of adaptivity in security games on graphs
C. Kamath Hosdurg, K. Klein, K.Z. Pietrzak, M. Walter, in:, 19th International Conference, Springer Nature, 2021, pp. 550–581.
LibreCat: https://research-explorer.ista.ac.at/record/10410
DOI: 10.1007/978-3-030-90453-1_19
WoS: 000728364000019

Into the unknown: active monitoring of neural networks
A. Lukina, C. Schilling, T.A. Henzinger, in:, 21st International Conference on Runtime Verification, Springer Nature, Cham, 2021, pp. 42–61.
LibreCat: https://research-explorer.ista.ac.at/record/10206
DOI: 10.1007/978-3-030-88494-9_3
WoS: 000719383800003
arXiv: 2009.06429

Local conditions for triangulating submanifolds of Euclidean space
J.-D. Boissonnat, R. Dyer, A. Ghosh, A. Lieutier, M. Wintraecken, Discrete and Computational Geometry 66 (2021) 666–686.
LibreCat: https://research-explorer.ista.ac.at/record/8248
DOI: 10.1007/s00454-020-00233-9
WoS: 000558119300001

Bounded VC-dimension implies the Schur-Erds conjecture
J. Fox, J. Pach, A. Suk, Combinatorica 41 (2021) 803–813.
LibreCat: https://research-explorer.ista.ac.at/record/15275
DOI: 10.1007/s00493-021-4530-9
arXiv: 1912.02342

On lexicographic proof rules for probabilistic termination
K. Chatterjee, E.K. Goharshady, P. Novotný, J. Zárevúcky, D. Zikelic, in:, 24th International Symposium on Formal Methods, Springer Nature, 2021, pp. 619–639.
LibreCat: https://research-explorer.ista.ac.at/record/10414
DOI: 10.1007/978-3-030-90870-6_33
WoS: 000758218600033
arXiv: 2108.02188

Age dating of an early Milky Way merger via asteroseismology of the naked-eye star ;d Indi
W.J. Chaplin, A.M. Serenelli, A. Miglio, T. Morel, J.T. Mackereth, F. Vincenzo, H. Kjeldsen, S. Basu, W.H. Ball, A. Stokholm, K. Verma, J.R. Mosumgaard, V. Silva Aguirre, A. Mazumdar, P. Ranadive, H.M. Antia, Y. Lebreton, J. Ong, T. Appourchaux, T.R. Bedding, J. Christensen-Dalsgaard, O. Creevey, R.A. García, R. Handberg, D. Huber, S.D. Kawaler, M.N. Lund, T.S. Metcalfe, K.G. Stassun, M. Bazot, P.G. Beck, K.J. Bell, M. Bergemann, D.L. Buzasi, O. Benomar, D. Bossini, L.A. Bugnet, T.L. Campante, Z.Ç. Orhan, E. Corsaro, L. González-Cuesta, G.R. Davies, M.P. Di Mauro, R. Egeland, Y.P. Elsworth, P. Gaulme, H. Ghasemi, Z. Guo, O.J. Hall, A. Hasanzadeh, S. Hekker, R. Howe, J.M. Jenkins, A. Jiménez, R. Kiefer, J.S. Kuszlewicz, T. Kallinger, D.W. Latham, M.S. Lundkvist, S. Mathur, J. Montalbán, B. Mosser, A.M. Bedón, M.B. Nielsen, S. Örtel, B.M. Rendle, G.R. Ricker, T.S. Rodrigues, I.W. Roxburgh, H. Safari, M. Schofield, S. Seager, B. Smalley, D. Stello, R. Szabó, J. Tayar, N. Themeßl, A.E.L. Thomas, R.K. Vanderspek, W.E. van Rossem, M. Vrard, A. Weiss, T.R. White, J.N. Winn, M. Yldz, Nature Astronomy 4 (2020) 382–389.
LibreCat: https://research-explorer.ista.ac.at/record/11611
DOI: 10.1038/s41550-019-0975-9
arXiv: 2001.04653

Arnold Diffusion for Smooth Systems of Two and a Half Degrees of Freedom
V. Kaloshin, K. Zhang, Arnold Diffusion for Smooth Systems of Two and a Half Degrees of Freedom, 1st ed., Princeton University Press, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/8414
DOI: 10.1515/9780691204932

Formal methods with a touch of magic
P.A. Alamdari, G. Avni, T.A. Henzinger, A. Lukina, in:, Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2020, pp. 138–147.
LibreCat: https://research-explorer.ista.ac.at/record/9040
DOI: 10.34727/2020/isbn.978-3-85448-042-6_21

The lipid code-dependent phosphoswitch PDK1–PK activates PIN-mediated auxin efflux in Arabidopsis
S. Tan, X. Zhang, W. Kong, X.-L. Yang, G. Molnar, Z. Vondráková, R. Filepová, J. Petrásek, J. Friml, H.-W. Xue, Nature Plants 6 (2020) 556–569.
LibreCat: https://research-explorer.ista.ac.at/record/7600
DOI: 10.1038/s41477-020-0648-9
WoS: 000531787500006
PMID: 32393881