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.

1608 Publications


2021 | Conference Paper | IST-REx-ID: 10325 | OA
Zamyatin A, Al-Bassam M, Zindros D, et al. SoK: Communication across distributed ledgers. In: 25th International Conference on Financial Cryptography and Data Security. Vol 12675. Springer Nature; 2021:3-36. doi:10.1007/978-3-662-64331-0_1
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2021 | Conference Paper | IST-REx-ID: 10324 | OA
Avarikioti Z, Kokoris Kogias E, Wattenhofer R, Zindros D. Brick: Asynchronous incentive-compatible payment channels. In: 25th International Conference on Financial Cryptography and Data Security. Vol 12675. Springer Nature; 2021:209-230. doi:10.1007/978-3-662-64331-0_11
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10407 | OA
Chakraborty S, Dziembowski S, Gałązka M, Lizurej T, Pietrzak KZ, Yeo MX. Trojan-resilience without cryptography. In: Vol 13043. Springer Nature; 2021:397-428. doi:10.1007/978-3-030-90453-1_14
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2021 | Conference Paper | IST-REx-ID: 10408 | OA
Alwen JF, Auerbach B, Baig MA, et al. Grafting key trees: Efficient key management for overlapping groups. In: 19th International Conference. Vol 13044. Springer Nature; 2021:222-253. doi:10.1007/978-3-030-90456-2_8
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2021 | Journal Article | IST-REx-ID: 10549 | OA
Fischer JL, Neukamm S. Optimal homogenization rates in stochastic homogenization of nonlinear uniformly elliptic equations and systems. Archive for Rational Mechanics and Analysis. 2021;242(1):343-452. doi:10.1007/s00205-021-01686-9
[Published Version] View | Files available | DOI | WoS | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10409 | OA
Kamath Hosdurg C, Klein K, Pietrzak KZ. On treewidth, separators and Yao’s garbling. In: 19th International Conference. Vol 13043. Springer Nature; 2021:486-517. doi:10.1007/978-3-030-90453-1_17
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 

2021 | Journal Article | IST-REx-ID: 10545 | OA
Medina Ramos RA, Serbyn M. Duality approach to quantum annealing of the 3-variable exclusive-or satisfiability problem (3-XORSAT). Physical Review A. 2021;104(6). doi:10.1103/physreva.104.062423
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 10573 | OA
Munjal A, Hannezo EB, Tsai TYC, Mitchison TJ, Megason SG. Extracellular hyaluronate pressure shaped by cellular tethers drives tissue morphogenesis. Cell. 2021;184(26):6313-6325.e18. doi:10.1016/j.cell.2021.11.025
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2021 | Conference Paper | IST-REx-ID: 10609 | OA
Chakraborty S, Ganesh C, Pancholi M, Sarkar P. Reverse firewalls for adaptively secure MPC without setup. In: 27th International Conference on the Theory and Application of Cryptology and Information Security. Vol 13091. Springer Nature; 2021:335-364. doi:10.1007/978-3-030-92075-3_12
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2021 | Journal Article | IST-REx-ID: 10834 | OA
Stahnke S, Döring H, Kusch C, et al. Loss of Hem1 disrupts macrophage function and impacts migration, phagocytosis, and integrin-mediated adhesion. Current Biology. 2021;31(10):2051-2064.e8. doi:10.1016/j.cub.2021.02.043
[Preprint] View | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC
 

2021 | Conference Paper | IST-REx-ID: 9933 | OA
Czumaj A, Davies P, Parter M. Component stability in low-space massively parallel computation. In: Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery; 2021:481–491. doi:10.1145/3465084.3467903
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 9368 | OA
Kong W, Tan S, Zhao Q, et al. mRNA surveillance complex PELOTA-HBS1 eegulates phosphoinositide-sependent protein kinase1 and plant growth. Plant Physiology. 2021;186(4):2003-2020. doi:10.1093/plphys/kiab199
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 8824 | OA
Marquès-Bueno M, Armengot L, Noack L, et al. Auxin-regulated reversible inhibition of TMK1 signaling by MAKR2 modulates the dynamics of root gravitropism. Current Biology. 2021;31(1). doi:10.1016/j.cub.2020.10.011
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9447
Maffre M, Bouchal R, Freunberger SA, et al. Investigation of electrochemical and chemical processes occurring at positive potentials in “Water-in-Salt” electrolytes. Journal of The Electrochemical Society. 2021;168(5). doi:10.1149/1945-7111/ac0300
View | DOI | WoS
 

2021 | Conference Paper | IST-REx-ID: 9987 | OA
Agarwal P, Chatterjee K, Pathak S, Pavlogiannis A, Toman V. Stateless model checking under a reads-value-from equivalence. In: 33rd International Conference on Computer-Aided Verification . Vol 12759. Springer Nature; 2021:341-366. doi:10.1007/978-3-030-81685-8_16
[Published Version] View | Files available | DOI | WoS | arXiv
 

2021 | Thesis | IST-REx-ID: 10007 | OA
Hensel S. Curvature driven interface evolution: Uniqueness properties of weak solution concepts. 2021. doi:10.15479/at:ista:10007
[Published Version] View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 10030 | OA
Portinale L. Discrete-to-continuum limits of transport problems and gradient flows in the space of measures. 2021. doi:10.15479/at:ista:10030
[Published Version] View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 9920 | OA
Peruzzo M. Geometric superinductors and their applications in circuit quantum electrodynamics. 2021. doi:10.15479/at:ista:9920
[Published Version] View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 10041 | OA
Kamath Hosdurg C, Klein K, Pietrzak KZ, Wichs D. Limits on the Adaptive Security of Yao’s Garbling. In: 41st Annual International Cryptology Conference, Part II . Vol 12826. Cham: Springer Nature; 2021:486-515. doi:10.1007/978-3-030-84245-1_17
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2021 | Journal Article | IST-REx-ID: 9953 | OA
Picard K, Bisht K, Poggini S, et al. Microglial-glucocorticoid receptor depletion alters the response of hippocampal microglia and neurons in a chronic unpredictable mild stress paradigm in female mice. Brain, Behavior, and Immunity. 2021;97:423-439. doi:10.1016/j.bbi.2021.07.022
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2021 | Conference Paper | IST-REx-ID: 9605 | OA
Corbet R, Kerber M, Lesnick M, Osang GF. Computing the multicover bifiltration. In: Leibniz International Proceedings in Informatics. Vol 189. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2021. doi:10.4230/LIPIcs.SoCG.2021.27
[Published Version] View | Files available | DOI | arXiv
 

2021 | Conference Paper | IST-REx-ID: 9441 | OA
Boissonnat J-D, Kachanovich S, Wintraecken M. Tracing isomanifolds in Rd in time polynomial in d using Coxeter-Freudenthal-Kuhn triangulations. In: 37th International Symposium on Computational Geometry (SoCG 2021). Vol 189. Leibniz International Proceedings in Informatics (LIPIcs). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2021:17:1-17:16. doi:10.4230/LIPIcs.SoCG.2021.17
[Published Version] View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 9227
Bloch-Hansen A, Samei N, Solis-Oba R. Experimental evaluation of a local search approximation algorithm for the multiway cut problem. In: Conference on Algorithms and Discrete Applied Mathematics. Vol 12601. Springer Nature; 2021:346-358. doi:10.1007/978-3-030-67899-9_28
View | DOI
 

2021 | Conference Paper | IST-REx-ID: 10410 | OA
Kamath Hosdurg C, Klein K, Pietrzak KZ, Walter M. The cost of adaptivity in security games on graphs. In: 19th International Conference. Vol 13043. Springer Nature; 2021:550-581. doi:10.1007/978-3-030-90453-1_19
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 

2021 | Preprint | IST-REx-ID: 9978 | OA
Cao D, Shen X, Wang A, et al. Sharp kinetic acceleration potentials during mediated redox catalysis of insulators. Research Square. doi:10.21203/rs.3.rs-750965/v1
[Preprint] View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 8730 | OA
Tournier N, Goutal S, Mairinger S, et al. Complete inhibition of ABCB1 and ABCG2 at the blood-brain barrier by co-infusion of erlotinib and tariquidar to improve brain delivery of the model ABCB1/ABCG2 substrate [11C]erlotinib. Journal of Cerebral Blood Flow and Metabolism. 2021;41(7):1634-1646. doi:10.1177/0271678X20965500
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9379 | OA
Bolger-Munro M, Choi K, Cheung F, et al. The Wdr1-LIMK-Cofilin axis controls B cell antigen receptor-induced actin remodeling and signaling at the immune synapse. Frontiers in Cell and Developmental Biology. 2021;9. doi:10.3389/fcell.2021.649433
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Conference Paper | IST-REx-ID: 9969 | OA
Pietrzak KZ, Salem I, Schmid S, Yeo MX. LightPIR: Privacy-preserving route discovery for payment channel networks. In: IEEE; 2021. doi:10.23919/IFIPNetworking52078.2021.9472205
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10414 | OA
Chatterjee K, Goharshady EK, Novotný P, Zárevúcky J, Zikelic D. On lexicographic proof rules for probabilistic termination. In: 24th International Symposium on Formal Methods. Vol 13047. Springer Nature; 2021:619-639. doi:10.1007/978-3-030-90870-6_33
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10206 | OA
Lukina A, Schilling C, Henzinger TA. Into the unknown: active monitoring of neural networks. In: 21st International Conference on Runtime Verification. Vol 12974. Cham: Springer Nature; 2021:42-61. doi:10.1007/978-3-030-88494-9_3
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Book Chapter | IST-REx-ID: 14987
Lampert C. Zero-Shot Learning. In: Ikeuchi K, ed. Computer Vision. 2nd ed. Cham: Springer; 2021:1395-1397. doi:10.1007/978-3-030-63416-2_874
View | DOI
 

2021 | Journal Article | IST-REx-ID: 10559 | OA
Aggarwal K, Hofmann AC, Jirovec D, et al. Enhancement of proximity-induced superconductivity in a planar Ge hole gas. Physical Review Research. 2021;3(2). doi:10.1103/physrevresearch.3.l022005
[Published Version] View | Files available | DOI | arXiv
 

2021 | Journal Article | IST-REx-ID: 8338 | OA
Akopyan A, Bobenko AI, Schief WK, Techter J. On mutually diagonal nets on (confocal) quadrics and 3-dimensional webs. Discrete and Computational Geometry. 2021;66:938-976. doi:10.1007/s00454-020-00240-w
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 7905 | OA
Brown A, Wang B. Sheaf-theoretic stratification learning from geometric and topological perspectives. Discrete and Computational Geometry. 2021;65:1166-1198. doi:10.1007/s00454-020-00206-y
[Published Version] View | Files available | DOI | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 15264 | OA
Deretic N, Bolger-Munro M, Choi K, Abraham L, Gold MR. The actin-disassembly protein glia maturation factor γ enhances actin remodeling and B cell antigen receptor signaling at the immune synapse. Frontiers in Cell and Developmental Biology. 2021;9. doi:10.3389/fcell.2021.647063
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 15219 | OA
Richer HB, Caiazzo I, Du H, et al. Massive white dwarfs in young star clusters. The Astrophysical Journal. 2021;912(2). doi:10.3847/1538-4357/abdeb7
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 15275 | OA
Fox J, Pach J, Suk A. Bounded VC-dimension implies the Schur-Erdős conjecture. Combinatorica. 2021;41(6):803-813. doi:10.1007/s00493-021-4530-9
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 9438 | OA
Vandael DH, Okamoto Y, Borges Merjane C, Vargas Barroso VM, Suter B, Jonas PM. Subcellular patch-clamp techniques for single-bouton stimulation and simultaneous pre- and postsynaptic recording at cortical synapses. Nature Protocols. 2021;16(6):2947–2967. doi:10.1038/s41596-021-00526-0
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Thesis | IST-REx-ID: 9623 | OA
Caballero Mancebo S. Fertilization-induced deformations are controlled by the actin cortex and a mitochondria-rich subcortical layer in ascidian oocytes. 2021. doi:10.15479/at:ista:9623
[Published Version] View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 10058 | OA
Jirovec D. Singlet-Triplet qubits and spin-orbit interaction in 2-dimensional Ge hole gases. 2021. doi:10.15479/at:ista:10058
[Published Version] View | Files available | DOI
 

2021 | Preprint | IST-REx-ID: 10095 | OA
Li L, Verstraeten I, Roosjen M, et al. Cell surface and intracellular auxin signalling for H+-fluxes in root growth. Research Square. doi:10.21203/rs.3.rs-266395/v3
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2021 | Thesis | IST-REx-ID: 10135 | OA
Semerádová H. Molecular mechanisms of the cytokinin-regulated endomembrane trafficking to coordinate plant organogenesis. 2021. doi:10.15479/at:ista:10135
[Published Version] View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 10697 | OA
Zhang Y, Serlin M, Tschirhart C, et al. Intrinsic quantized anomalous Hall effect in a moiré heterostructure, part I: Device fabrication and transport. In: APS March Meeting 2020. Vol 65. American Physical Society; 2020.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 11503 | OA
Kusakabe H, Blaizot J, Garel T, Verhamme A, Bacon R, Richard J, Hashimoto T, Inami H, Conseil S, Guiderdoni B, Drake AB, Christian Herenz E, Schaye J, Oesch P, Matthee JJ, Anna Marino R, Borello Schmidt K, Pelló R, Maseda M, Leclercq F, Kerutt J, Mahler G. 2020. The MUSE Hubble Ultra Deep Field Survey: XIV. Evolution of the Lyα emitter fraction from z = 3 to z = 6. Astronomy & Astrophysics. 638, A12.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 11504 | OA
Leclercq F, Bacon R, Verhamme A, Garel T, Blaizot J, Brinchmann J, Cantalupo S, Claeyssens A, Conseil S, Contini T, Hashimoto T, Herenz EC, Kusakabe H, Marino RA, Maseda M, Matthee JJ, Mitchell P, Pezzulli G, Richard J, Schmidt KB, Wisotzki L. 2020. The MUSE Hubble Ultra Deep field survey: XIII. Spatially resolved spectral properties of Lyman α haloes around star-forming galaxies at z > 3. Astronomy & Astrophysics. 635, A82.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 11501 | OA
Feltre A, Maseda MV, Bacon R, Pradeep J, Leclercq F, Kusakabe H, Wisotzki L, Hashimoto T, Schmidt KB, Blaizot J, Brinchmann J, Boogaard L, Cantalupo S, Carton D, Inami H, Kollatschny W, Marino RA, Matthee JJ, Nanayakkara T, Richard J, Schaye J, Tresse L, Urrutia T, Verhamme A, Weilbacher PM. 2020. The MUSE Hubble Ultra Deep Field Survey: XV. The mean rest-UV spectra of Lyα emitters at z > 3. Astronomy & Astrophysics. 641, A118.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 11513 | OA
Darvish B, Scoville NZ, Martin C, et al. Spectroscopic confirmation of a coma cluster progenitor at z ∼ 2.2. The Astrophysical Journal. 2020;892(1). doi:10.3847/1538-4357/ab75c3
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 11533 | OA
Santos S, Sobral D, Matthee JJ, et al. The evolution of rest-frame UV properties, Ly α EWs, and the SFR–stellar mass relation at z ∼ 2–6 for SC4K LAEs. Monthly Notices of the Royal Astronomical Society. 2020;493(1):141-160. doi:10.1093/mnras/staa093
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 11531 | OA
Maseda MV, Bacon R, Lam D, et al. Elevated ionizing photon production efficiency in faint high-equivalent-width Lyman-α emitters. Monthly Notices of the Royal Astronomical Society. 2020;493(4):5120-5130. doi:10.1093/mnras/staa622
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 11530 | OA
den Brok JS, Cantalupo S, Mackenzie R, et al. Probing the AGN unification model at redshift z ∼ 3 with MUSE observations of giant Lyα nebulae. Monthly Notices of the Royal Astronomical Society. 2020;495(2):1874-1887. doi:10.1093/mnras/staa1269
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 11539 | OA
Calhau J, Sobral D, Santos S, et al. The X-ray and radio activity of typical and luminous Ly α emitters from z ∼ 2 to z ∼ 6: Evidence for a diverse, evolving population. Monthly Notices of the Royal Astronomical Society. 2020;493(3):3341-3362. doi:10.1093/mnras/staa476
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Book Chapter | IST-REx-ID: 11622 | OA
Bugnet LA, Prat V, Mathis S, et al. The impact of a fossil magnetic field on dipolar mixed-mode frequencies in sub- and red-giant stars. In: Monteiro M, Garcia RA, Christensen-Dalsgaard J, McIntosh SW, eds. Dynamics of the Sun and Stars. Vol 57. 1st ed. ASSSP. Cham: Springer Nature; 2020:251-257. doi:10.1007/978-3-030-55336-4_33
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 11852 | OA
Chen L, Goranci G, Henzinger MH, Peng R, Saranurak T. Fast dynamic cuts, distances and effective resistances via vertex sparsifiers. In: 61st Annual Symposium on Foundations of Computer Science. Institute of Electrical and Electronics Engineers; 2020:1135-1146. doi:10.1109/focs46700.2020.00109
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 11978 | OA
Malik JA, Madani A, Pieber B, Seeberger PH. Evidence for photocatalyst involvement in oxidative additions of nickel-catalyzed carboxylate O-arylations. Journal of the American Chemical Society. 2020;142(25):11042-11049. doi:10.1021/jacs.0c02848
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 6976
Dieleman P, Vasmel N, Waitukaitis SR, van Hecke M. Jigsaw puzzle design of pluripotent origami. Nature Physics. 2020;16(1):63–68. doi:10.1038/s41567-019-0677-3
View | DOI
 

2020 | Journal Article | IST-REx-ID: 7708 | OA
Nabais MF, Lin T, Benyamin B, Williams KL, Garton FC, Vinkhuyzen AAE, Zhang F, Vallerga CL, Restuadi R, Freydenzon A, Zwamborn RAJ, Hop PJ, Robinson MR, Gratten J, Visscher PM, Hannon E, Mill J, Brown MA, Laing NG, Mather KA, Sachdev PS, Ngo ST, Steyn FJ, Wallace L, Henders AK, Needham M, Veldink JH, Mathers S, Nicholson G, Rowe DB, Henderson RD, McCombe PA, Pamphlett R, Yang J, Blair IP, McRae AF, Wray NR. 2020. Significant out-of-sample classification from methylation profile scoring for amyotrophic lateral sclerosis. npj Genomic Medicine. 5, 10.
[Published Version] View | DOI | Download Published Version (ext.)
 

2020 | Conference Paper | IST-REx-ID: 7806 | OA
Filakovský M, Wagner U, Zhechev SY. Embeddability of simplicial complexes is undecidable. In: Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms. Vol 2020-January. SIAM; 2020:767-785. doi:10.1137/1.9781611975994.47
[Published Version] View | DOI | Download Published Version (ext.)
 

2020 | Conference Paper | IST-REx-ID: 7992 | OA
Patakova Z, Tancer M, Wagner U. Barycentric cuts through a convex body. In: 36th International Symposium on Computational Geometry. Vol 164. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.SoCG.2020.62
[Published Version] View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8135 | OA
Edelsbrunner H, Nikitenko A, Ölsböck K, Synak P. Radius functions on Poisson–Delaunay mosaics and related complexes experimentally. In: Topological Data Analysis. Vol 15. Springer Nature; 2020:181-218. doi:10.1007/978-3-030-43408-3_8
[Submitted Version] View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8322 | OA
Chakraborty S, Dziembowski S, Nielsen JB. Reverse firewalls for actively secure MPCs. In: Advances in Cryptology – CRYPTO 2020. Vol 12171. Springer Nature; 2020:732-762. doi:10.1007/978-3-030-56880-1_26
[Preprint] View | DOI | Download Preprint (ext.)
 

2020 | Conference Paper | IST-REx-ID: 8339 | OA
Genise N, Micciancio D, Peikert C, Walter M. Improved discrete Gaussian and subgaussian analysis for lattice cryptography. In: 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography. Vol 12110. Springer Nature; 2020:623-651. doi:10.1007/978-3-030-45374-9_21
[Preprint] View | DOI | Download Preprint (ext.)
 

2020 | Preprint | IST-REx-ID: 8404 | OA
Weinhäupl K, Wang Y, Hessel A, Brennich M, Lindorff-Larsen K, Schanda P. Architecture and subunit dynamics of the mitochondrial TIM9·10·12 chaperone. bioRxiv. doi:10.1101/2020.03.13.990150
[Preprint] View | DOI | Download Preprint (ext.)
 

2020 | Conference Paper | IST-REx-ID: 9040 | OA
Alamdari PA, Avni G, Henzinger TA, Lukina A. Formal methods with a touch of magic. In: Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design. TU Wien Academic Press; 2020:138-147. doi:10.34727/2020/isbn.978-3-85448-042-6_21
[Published Version] View | Files available | DOI
 

2020 | Book Chapter | IST-REx-ID: 9096
Schmid-Hempel P, Cremer S. Parasites and Pathogens. In: Starr C, ed. Encyclopedia of Social Insects. Cham: Springer Nature; 2020. doi:10.1007/978-3-319-90306-4_94-1
View | DOI
 

2020 | Journal Article | IST-REx-ID: 9249 | OA
Biswas R, Largeteau-Skapin G, Zrour R, Andres E. Digital objects in rhombic dodecahedron grid. Mathematical Morphology - Theory and Applications. 2020;4(1):143-158. doi:10.1515/mathm-2020-0106
[Published Version] View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 9299 | OA
Pach J, Tardos G, Tóth G. Crossings between non-homotopic edges. In: 28th International Symposium on Graph Drawing and Network Visualization. Vol 12590. LNCS. Springer Nature; 2020:359-371. doi:10.1007/978-3-030-68766-3_28
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 9129
Shamekh S, Muller CJ, Duvel J-P, D’Andrea F. How do ocean warm anomalies favor the aggregation of deep convective clouds? Journal of the Atmospheric Sciences. 2020;77(11):3733-3745. doi:10.1175/jas-d-18-0369.1
View | DOI
 

2020 | Journal Article | IST-REx-ID: 9583 | OA
Ferber A, Kwan MA. Almost all Steiner triple systems are almost resolvable. Forum of Mathematics. 2020;8. doi:10.1017/fms.2020.29
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 9578 | OA
Bucić M, Kwan MA, Pokrovskiy A, Sudakov B, Tran T, Wagner AZ. Nearly-linear monotone paths in edge-ordered graphs. Israel Journal of Mathematics. 2020;238(2):663-685. doi:10.1007/s11856-020-2035-7
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 9581 | OA
Kwan MA. Almost all Steiner triple systems have perfect matchings. Proceedings of the London Mathematical Society. 2020;121(6):1468-1495. doi:10.1112/plms.12373
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 12940 | OA
Meisenbichler C, Kluibenschedl F, Müller T. A 3-in-1 hand-held ambient mass spectrometry interface for identification and 2D localization of chemicals on surfaces. Analytical Chemistry. 2020;92(21):14314-14318. doi:10.1021/acs.analchem.0c02615
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Book (Editor) | IST-REx-ID: 7474 | OA
Schlögl A, Kiss J, Elefante S, eds. Austrian High-Performance-Computing Meeting (AHPC2020). Klosterneuburg, Austria: IST Austria; 2020. doi:10.15479/AT:ISTA:7474
[Published Version] View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 7808 | OA
Giacobbe M, Henzinger TA, Lechner M. How many bits does it take to quantize your neural network? In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 12079. Springer Nature; 2020:79-97. doi:10.1007/978-3-030-45237-7_5
[Published Version] View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 7952 | OA
Boissonnat J-D, Wintraecken M. The topological correctness of PL-approximations of isomanifolds. In: 36th International Symposium on Computational Geometry. Vol 164. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.SoCG.2020.20
[Published Version] View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 7990 | OA
Wagner U, Welzl E. Connectivity of triangulation flip graphs in the plane (Part II: Bistellar flips). In: 36th International Symposium on Computational Geometry. Vol 164. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.SoCG.2020.67
[Published Version] View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 7807 | OA
Wagner U, Welzl E. Connectivity of triangulation flip graphs in the plane (Part I: Edge flips). In: Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms. Vol 2020-January. SIAM; 2020:2823-2841. doi:10.1137/1.9781611975994.172
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 13466 | OA
Bodensteiner J, Sana H, Mahy L, et al. The young massive SMC cluster NGC 330 seen by MUSE. Astronomy & Astrophysics. 2020;634. doi:10.1051/0004-6361/201936743
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 13467 | OA
Götberg YLL, de Mink SE, McQuinn M, Zapartas E, Groh JH, Norman C. Contribution from stars stripped in binaries to cosmic reionization of hydrogen and helium. Astronomy & Astrophysics. 2020;634. doi:10.1051/0004-6361/201936669
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 13463 | OA
Renzo M, Farmer R, Justham S, et al. Predictions for the hydrogen-free ejecta of pulsational pair-instability supernovae. Astronomy & Astrophysics. 2020;640. doi:10.1051/0004-6361/202037710
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2020 | Book Chapter | IST-REx-ID: 74 | OA
Akopyan A, Karasev R. Gromov’s waist of non-radial Gaussian measures and radial non-Gaussian measures. In: Klartag B, Milman E, eds. Geometric Aspects of Functional Analysis. Vol 2256. LNM. Springer Nature; 2020:1-27. doi:10.1007/978-3-030-36020-7_1
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Journal Article | IST-REx-ID: 7033 | OA
Donahue R, Maes ME, Grosser J, Nickells R. BAX-depleted retinal ganglion cells survive and become quiescent following optic nerve damage. Molecular Neurobiology. 2020;57(2):1070–1084. doi:10.1007/s12035-019-01783-7
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7004 | OA
Rapcak M, Soibelman Y, Yang Y, Zhao G. Cohomological Hall algebras, vertex algebras and instantons. Communications in Mathematical Physics. 2020;376:1803-1873. doi:10.1007/s00220-019-03575-5
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Journal Article | IST-REx-ID: 7220
Dodier P, Auzinger T, Mistelbauer G, et al. Novel software-derived workflow in extracranial–intracranial bypass surgery validated by transdural indocyanine green videoangiography. World Neurosurgery. 2020;134(2):e892-e902. doi:10.1016/j.wneu.2019.11.038
View | DOI | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7234 | OA
Obeidy P, Ju LA, Oehlers SH, et al. Partial loss of actin nucleator actin-related protein 2/3 activity triggers blebbing in primary T lymphocytes. Immunology and Cell Biology. 2020;98(2):93-113. doi:10.1111/imcb.12304
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7467 | OA
Cadavid D, Ortega S, Illera S, et al. Influence of the ligand stripping on the transport properties of nanoparticle-based PbSe nanomaterials. ACS Applied Energy Materials. 2020;3(3):2120-2129. doi:10.1021/acsaem.9b02137
[Submitted Version] View | Files available | DOI | WoS
 

2020 | Journal Article | IST-REx-ID: 7497 | OA
Han L, Zhou X, Zhao Y, Zhu S, Wu L, He Y, Ping X, Lu X, Huang W, Qian J, Zhang L, Jiang X, Zhu D, Luo C, Li S, Dong Q, Fu Q, Deng K, Wang X, Wang L, Peng S, Wu J, Li W, Friml J, Zhu Y, He X, Du Y. 2020. Colonization of endophyte Acremonium sp. D212 in Panax notoginseng and rice mediated by auxin and jasmonic acid. Journal of Integrative Plant Biology. 62(9), 1433–1451.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7563 | OA
Yalniz G, Budanur NB. Inferring symbolic dynamics of chaotic flows from persistence. Chaos. 2020;30(3). doi:10.1063/1.5122969
[Published Version] View | DOI | Download Published Version (ext.) | WoS | arXiv
 

2020 | Journal Article | IST-REx-ID: 7600 | OA
Tan S, Zhang X, Kong W, et al. The lipid code-dependent phosphoswitch PDK1–D6PK activates PIN-mediated auxin efflux in Arabidopsis. Nature Plants. 2020;6:556-569. doi:10.1038/s41477-020-0648-9
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7586 | OA
Weinert S, Gimber N, Deuschel D, et al. Uncoupling endosomal CLC chloride/proton exchange causes severe neurodegeneration. EMBO Journal. 2020;39. doi:10.15252/embj.2019103358
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7909 | OA
Damiano-Guercio J, Kurzawa L, Müller J, et al. Loss of Ena/VASP interferes with lamellipodium architecture, motility and integrin-dependent adhesion. eLife. 2020;9. doi:10.7554/eLife.55351
[Published Version] View | Files available | DOI | WoS
 

2020 | Journal Article | IST-REx-ID: 8133 | OA
Hillary RF, Trejo-Banos D, Kousathanas A, et al. Multi-method genome- and epigenome-wide studies of inflammatory protein levels in healthy older adults. Genome Medicine. 2020;12(1). doi:10.1186/s13073-020-00754-1
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Conference Paper | IST-REx-ID: 8194 | OA
Baranowski M, He S, Lechner M, Nguyen TS, Rakamarić Z. An SMT theory of fixed-point arithmetic. In: Automated Reasoning. Vol 12166. Springer Nature; 2020:13-31. doi:10.1007/978-3-030-51074-9_2
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2020 | Preprint | IST-REx-ID: 14028 | OA
Baykusheva DR, Wörner HJ. Attosecond molecular spectroscopy and dynamics. doi:10.48550/arXiv.2002.02111
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8669 | OA
Sznurkowska MK, Hannezo EB, Azzarelli R, et al. Tracing the cellular basis of islet specification in mouse pancreas. Nature Communications. 2020;11. doi:10.1038/s41467-020-18837-3
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8707
Galan S, Machnik NN, Kruse K, Díaz N, Marti-Renom MA, Vaquerizas JM. CHESS enables quantitative comparison of chromatin contact data and automatic feature extraction. Nature Genetics. 2020;52:1247-1255. doi:10.1038/s41588-020-00712-y
View | DOI | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8679
Lechner M, Hasani R, Amini A, Henzinger TA, Rus D, Grosu R. Neural circuit policies enabling auditable autonomy. Nature Machine Intelligence. 2020;2:642-652. doi:10.1038/s42256-020-00237-3
View | Files available | DOI | WoS
 

2020 | Journal Article | IST-REx-ID: 8700
Sokolova EE, Vlasov P, Egorova TV, Shuvalov AV, Alkalaeva EZ. The influence of A/G composition of 3’ stop codon contexts on translation termination efficiency in eukaryotes. Molecular Biology. 2020;54(5):739-748. doi:10.1134/S0026893320050088
View | Files available | DOI | WoS
 

2020 | Journal Article | IST-REx-ID: 8701
Sokolova EE, Vlasov P, Egorova TV, Shuvalov AV, Alkalaeva EZ. The influence of A/G composition of 3’ stop codon contexts on translation termination efficiency in eukaryotes. Molekuliarnaia biologiia. 2020;54(5):837-848. doi:10.31857/S0026898420050080
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Preprint | IST-REx-ID: 14095 | OA
Gaudi BS et al. The habitable exoplanet observatory (HabEx) mission concept study final report. arXiv, 2001.06683.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8787 | OA
Nicolai L, Schiefelbein K, Lipsky S, Leunig A, Hoffknecht M, Pekayvaz K, Raude B, Marx C, Ehrlich A, Pircher J, Zhang Z, Saleh I, Marel A-K, Löf A, Petzold T, Lorenz M, Stark K, Pick R, Rosenberger G, Weckbach L, Uhl B, Xia S, Reichel CA, Walzog B, Schulz C, Zheden V, Bender M, Li R, Massberg S, Gärtner FR. 2020. Vascular surveillance by haptotactic blood platelets in inflammation and infection. Nature Communications. 11, 5778.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

Filters and Search Terms

isbn%3D978-3-95977-087-3

Search

Filter Publications