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


2022 | Journal Article | IST-REx-ID: 12178 | OA
A. Agresti, M. Hieber, A. Hussein, and M. Saal, “The stochastic primitive equations with transport noise and turbulent pressure,” Stochastics and Partial Differential Equations: Analysis and Computations. Springer Nature, 2022.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2022 | Thesis | IST-REx-ID: 11362 | OA
M. Lechner, “Learning verifiable representations,” Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 13452 | OA
Z. Keszthelyi et al., “The effects of surface fossil magnetic fields on massive star evolution: IV. Grids of models at Solar, LMC, and SMC metallicities,” Monthly Notices of the Royal Astronomical Society, vol. 517, no. 2. Oxford University Press, pp. 2028–2055, 2022.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 14098 | OA
Z. Keszthelyi et al., “The effects of surface fossil magnetic fields on massive star evolution: IV. Grids of models at solar, LMC, and SMC metallicities,” Monthly Notices of the Royal Astronomical Society, vol. 517, no. 2. Oxford Academic, pp. 2028–2055, 2022.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 11732 | OA
S. J. Henheik and A. B. Lauritsen, “The BCS energy gap at high density,” Journal of Statistical Physics, vol. 189. Springer Nature, 2022.
[Published Version] View | Files available | DOI | WoS
 

2022 | Conference Paper | IST-REx-ID: 12167 | OA
G. Avarikioti, K. Z. Pietrzak, I. Salem, S. Schmid, S. Tiwari, and M. X. Yeo, “Hide & Seek: Privacy-preserving rebalancing on payment channel networks,” in Financial Cryptography and Data Security, Grenada, 2022, vol. 13411, pp. 358–373.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12302 | OA
K. Doveri, P. Ganty, and N. A. Mazzocchi, “FORQ-based language inclusion formal testing,” in Computer Aided Verification, Haifa, Israel, 2022, vol. 13372, pp. 109–129.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12176 | OA
C. Hoffmann, P. Hubáček, C. Kamath, K. Klein, and K. Z. Pietrzak, “Practical statistically-sound proofs of exponentiation in any group,” in Advances in Cryptology – CRYPTO 2022, Santa Barbara, CA, United States, 2022, vol. 13508, pp. 370–399.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2022 | Conference Paper | IST-REx-ID: 12298 | OA
R. Gelashvili, E. Kokoris Kogias, A. Sonnino, A. Spiegelman, and Z. Xiang, “Jolteon and ditto: Network-adaptive efficient consensus with asynchronous fallback,” in Financial Cryptography and Data Security, Radisson Grenada Beach Resort, Grenada, 2022, vol. 13411, pp. 296–315.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12168 | OA
S. Cohen et al., “Be aware of your leaders,” in International Conference on Financial Cryptography and Data Security, Grenada, 2022, vol. 13411, pp. 279–295.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12170
T. Meggendorfer, “PET – A partial exploration tool for probabilistic verification,” in 20th International Symposium on Automated Technology for Verification and Analysis, Virtual, 2022, vol. 13505, pp. 320–326.
View | DOI
 

2022 | Conference Paper | IST-REx-ID: 12175 | OA
S. Bose, T. A. Henzinger, K. Lehtinen, S. Schewe, and P. Totzke, “History-deterministic timed automata are not determinizable,” in 16th International Conference on Reachability Problems, Kaiserslautern, Germany, 2022, vol. 13608, pp. 67–76.
[Preprint] View | DOI | Download Preprint (ext.)
 

2022 | Conference Paper | IST-REx-ID: 14168 | OA
N. Rahaman et al., “Neural attentive circuits,” in 36th Conference on Neural Information Processing Systems, New Orleans, United States, 2022, vol. 35.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 11185 | OA
A. M. Arroyo Guevara and S. Felsner, “Approximating the bundled crossing number,” in WALCOM 2022: Algorithms and Computation, Jember, Indonesia, 2022, vol. 13174, pp. 383–395.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 10753 | OA
B. J. Confavreux and T. P. Vogels, “A familiar thought: Machines that replace us?,” Neuron, vol. 110, no. 3. Elsevier, pp. 361–362, 2022.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 11144
L. Su et al., “High thermoelectric performance realized through manipulating layered phonon-electron decoupling,” Science, vol. 375, no. 6587. American Association for the Advancement of Science, pp. 1385–1389, 2022.
View | DOI | WoS | PubMed | Europe PMC
 

2022 | Thesis | IST-REx-ID: 10799 | OA
N. H. Konstantinov, “Robustness and fairness in machine learning,” Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 

2022 | Preprint | IST-REx-ID: 10792 | OA
Z. Schaaf et al., “WDFY3 cell autonomously controls neuronal migration.” Research Square.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 11435 | OA
G. Ivanov and M. Naszodi, “A quantitative Helly-type theorem: Containment in a homothet,” SIAM Journal on Discrete Mathematics, vol. 36, no. 2. Society for Industrial and Applied Mathematics, pp. 951–957, 2022.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Journal Article | IST-REx-ID: 11478 | OA
K. Bartalska et al., “A systematic characterization of microglia-like cell occurrence during retinal organoid differentiation,” iScience, vol. 25, no. 7. Elsevier, 2022.
[Published Version] View | Files available | DOI | WoS
 

2022 | Thesis | IST-REx-ID: 11626 | OA
M. C. Gallei, “Auxin and strigolactone non-canonical signaling regulating development in Arabidopsis thaliana,” Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 

2022 | Conference Paper | IST-REx-ID: 12000 | OA
K. Chatterjee, A. K. Goharshady, T. Meggendorfer, and D. Zikelic, “Sound and complete certificates for auantitative termination analysis of probabilistic programs,” in Proceedings of the 34th International Conference on Computer Aided Verification, Haifa, Israel, 2022, vol. 13371, pp. 55–78.
[Published Version] View | Files available | DOI | WoS
 

2022 | Preprint | IST-REx-ID: 14600 | OA
D. Zikelic, M. Lechner, T. A. Henzinger, and K. Chatterjee, “Learning control policies for stochastic systems with reach-avoid guarantees,” arXiv. .
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Thesis | IST-REx-ID: 12358 | OA
G. Sperl, “Homogenizing yarn simulations: Large-scale mechanics, small-scale detail, and quantitative fitting,” Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 10759 | OA
W. Rzadkowski, “Analytic and machine learning approaches to composite quantum impurities,” Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 

2022 | Preprint | IST-REx-ID: 14597 | OA
J. L. Fischer and A. Marveggio, “Quantitative convergence of the vectorial Allen-Cahn equation towards multiphase mean curvature flow,” arXiv. .
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 15203 | OA
Tsygankov SS, Doroshenko V, Poutanen J, Heyl J, Mushtukov AA, Caiazzo I, Di Marco A, Forsblom SV, González-Caniulef D, Klawin M, La Monaca F, Malacaria C, Marshall HL, Muleri F, Ng M, Suleimanov VF, Sunyaev RA, Turolla R, Agudo I, Antonelli LA, Bachetti M, Baldini L, Baumgartner WH, Bellazzini R, Bianchi S, Bongiorno SD, Bonino R, Brez A, Bucciantini N, Capitanio F, Castellano S, Cavazzuti E, Ciprini S, Costa E, Rosa AD, Del Monte E, Gesu LD, Lalla ND, Donnarumma I, Dovčiak M, Ehlert SR, Enoto T, Evangelista Y, Fabiani S, Ferrazzoli R, Garcia JA, Gunji S, Hayashida K, Iwakiri W, Jorstad SG, Karas V, Kitaguchi T, Kolodziejczak JJ, Krawczynski H, Latronico L, Liodakis I, Maldera S, Manfreda A, Marin F, Marinucci A, Marscher AP, Matt G, Mitsuishi I, Mizuno T, Ng C-Y, O’Dell SL, Omodei N, Oppedisano C, Papitto A, Pavlov GG, Peirson AL, Perri M, Pesce-Rollins M, Petrucci P-O, Pilia M, Possenti A, Puccetti S, Ramsey BD, Rankin J, Ratheesh A, Romani RW, Sgrò C, Slane P, Soffitta P, Spandre G, Tamagawa T, Tavecchio F, Taverna R, Tawara Y, Tennant AF, Thomas NE, Tombesi F, Trois A, Vink J, Weisskopf MC, Wu K, Xie F, Zane S. 2022. The x-ray polarimetry view of the accreting pulsar Cen X-3. The Astrophysical Journal Letters. 941(1), L14.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2022 | Thesis | IST-REx-ID: 12368 | OA
F. N. Arslan, “Remodeling of E-cadherin-mediated contacts via cortical  flows,” Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 11879 | OA
C. Artner, “Modulation of auxin transport via ZF proteins adjust plant response to high ambient temperature,” Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 11393 | OA
M. Jevtic, “Contextual fear learning induced changes in AMPA receptor subtypes along the proximodistal axis in dorsal hippocampus,” Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 12366 | OA
E. Redchenko, “Controllable states of superconducting Qubit ensembles,” Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 11388 | OA
S. Belohlavy, “The genetic basis of complex traits studied via analysis of evolve and resequence experiments,” Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 10703 | OA
F. Gaertner et al., “WASp triggers mechanosensitive actin patches to facilitate immune cell migration in dense tissues,” Developmental Cell, vol. 57, no. 1. Cell Press ; Elsevier, p. 47–62.e9, 2022.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2022 | Thesis | IST-REx-ID: 11193 | OA
S. Wachner, “Transcriptional regulation by Dfos and BMP-signaling support tissue invasion of Drosophila immune cells,” Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 10052 | OA
I. R. Jecker, N. Mazzocchi, and P. Wolf, “Decomposing permutation automata,” in 32nd International Conference on Concurrency Theory, Paris, France, 2021, vol. 203.
[Published Version] View | Files available | DOI | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10054 | OA
K. Chatterjee, M. H. Henzinger, S. S. Kale, and A. Svozil, “Faster algorithms for bounded liveness in graphs and game graphs,” in 48th International Colloquium on Automata, Languages, and Programming, Glasgow, Scotland, 2021, vol. 198.
[Published Version] View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 10072 | OA
D. G. Harris, F. Iliopoulos, and V. Kolmogorov, “A new notion of commutativity for the algorithmic Lovász Local Lemma,” in Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, Virtual, 2021, vol. 207.
[Published Version] View | Files available | DOI | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10075 | OA
S. Guha, I. R. Jecker, K. Lehtinen, and M. Zimmermann, “A bit of nondeterminism makes pushdown automata expressive and succinct,” in 46th International Symposium on Mathematical Foundations of Computer Science, Tallinn, Estonia, 2021, vol. 202.
[Published Version] View | Files available | DOI | arXiv
 

2021 | Preprint | IST-REx-ID: 10174 | OA
N. Clozeau and A. Gloria, “Quantitative nonlinear homogenization: control of oscillations,” arXiv. .
[Preprint] View | Download Preprint (ext.) | arXiv
 

2021 | Book | IST-REx-ID: 10415
T. D. Browning, Cubic Forms and the Circle Method, vol. 343. Cham: Springer Nature, 2021.
View | DOI
 

2021 | Journal Article | IST-REx-ID: 10608 | OA
T. Weighill, T. Yamauchi, and N. Zava, “Coarse infinite-dimensionality of hyperspaces of finite subsets,” European Journal of Mathematics. Springer Nature, 2021.
[Published Version] View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 10630 | OA
E. Arrighi et al., “On the complexity of intersection non-emptiness for star-free language classes,” in 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Virtual, 2021, vol. 213.
[Published Version] View | Files available | DOI | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10629 | OA
K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, “Quantitative verification on product graphs of small treewidth,” in 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Virtual, 2021, vol. 213.
[Published Version] View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 10688 | OA
B. Kragl and S. Qadeer, “The Civl verifier,” in Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, Virtual, 2021, vol. 2, pp. 143–152.
[Published Version] View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 10692 | OA
H. Polshyn et al., “Orbital Chern insulator states in twisted monolayer-bilayer graphene and electrical switching of topological and magnetic order,” in APS March Meeting 2021, Virtual, 2021, vol. 66, no. 1.
[Published Version] View | Download Published Version (ext.)
 

2021 | Conference Paper | IST-REx-ID: 10847 | OA
P. Tomášek, K. Horák, A. Aradhye, B. Bošanský, and K. Chatterjee, “Solving partially observable stochastic shortest-path games,” in 30th International Joint Conference on Artificial Intelligence, Virtual, Online, 2021, pp. 4182–4189.
[Published Version] View | DOI | Download Published Version (ext.)
 

2021 | Journal Article | IST-REx-ID: 11498 | OA
K. B. Schmidt et al., “Recovery and analysis of rest-frame UV emission lines in 2052 galaxies observed with MUSE at 1.5 < z < 6.4,” Astronomy & Astrophysics, vol. 654. EDP Sciences, 2021.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 11500 | OA
Bacon R, Mary D, Garel T, Blaizot J, Maseda M, Schaye J, Wisotzki L, Conseil S, Brinchmann J, Leclercq F, Abril-Melgarejo V, Boogaard L, Bouché NF, Contini T, Feltre A, Guiderdoni B, Herenz C, Kollatschny W, Kusakabe H, Matthee JJ, Michel-Dansac L, Nanayakkara T, Richard J, Roth M, Schmidt KB, Steinmetz M, Tresse L, Urrutia T, Verhamme A, Weilbacher PM, Zabl J, Zoutendijk SL. 2021. The MUSE Extremely Deep Field: The cosmic web in emission at high redshift. Astronomy & Astrophysics. 647, A107.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 11512 | OA
L. A. Boogaard et al., “Measuring the average molecular gas content of star-forming galaxies at z = 3–4,” The Astrophysical Journal, vol. 916, no. 1. IOP Publishing, 2021.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 11525 | OA
S. G. Gallego et al., “Constraining the cosmic UV background at z > 3 with MUSE Lyman-α emission observations,” Monthly Notices of the Royal Astronomical Society, vol. 504, no. 1. Oxford University Press, pp. 16–32, 2021.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 11522 | OA
M. Gronke et al., “Lyman-α transmission properties of the intergalactic medium in the CoDaII simulation,” Monthly Notices of the Royal Astronomical Society, vol. 508, no. 3. Oxford University Press, pp. 3697–3709, 2021.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 11663 | OA
A. Bernstein, S. Forster, and M. H. Henzinger, “A deamortization approach for dynamic spanner and dynamic maximal matching,” ACM Transactions on Algorithms, vol. 17, no. 4. Association for Computing Machinery, 2021.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 11756 | OA
M. H. Henzinger and P. Peng, “Constant-time dynamic weight approximation for minimum spanning forest,” Information and Computation, vol. 281, no. 12. Elsevier, 2021.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 11771 | OA
M. H. Henzinger and X. Wu, “Upper and lower bounds for fully retroactive graph problems,” in 17th International Symposium on Algorithms and Data Structures, Virtual, 2021, vol. 12808, pp. 471–484.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 11814 | OA
H. Fichtenberger, M. H. Henzinger, and W. Ost, “Differentially private algorithms for graphs under continual observation,” in 29th Annual European Symposium on Algorithms, Lisbon, Portual, 2021, vol. 204.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 11920 | OA
S. Bhattacharya, M. H. Henzinger, D. Nanongkai, and X. Wu, “Dynamic set cover: Improved amortized and worst-case update time,” in 32nd Annual ACM-SIAM Symposium on Discrete Algorithms, Alexandria, VA, United States, 2021, pp. 2537–2549.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 9282 | OA
M. Nauman et al., “Complete mapping of magnetic anisotropy for prototype Ising van der Waals FePS3,” 2D Materials, vol. 8, no. 3. IOP Publishing, 2021.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 9296 | OA
O. Aichholzer et al., “On compatible matchings,” in 15th International Conference on Algorithms and Computation, Yangon, Myanmar, 2021, vol. 12635, pp. 221–233.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 9466 | OA
M. Walter, “The convergence of slide-type reductions,” in Public-Key Cryptography – PKC 2021, Virtual, 2021, vol. 12710, pp. 45–67.
[Published Version] View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 9592 | OA
M. Dvorak and S. Nicholson, “Massively winning configurations in the convex grabbing game on the plane,” in Proceedings of the 33rd Canadian Conference on Computational Geometry, Halifax, NS, Canada.
[Submitted Version] View | Files available | arXiv
 

2021 | Conference Paper | IST-REx-ID: 9210 | OA
V. Volhejn and C. Lampert, “Does SGD implicitly optimize for smoothness?,” in 42nd German Conference on Pattern Recognition, Tübingen, Germany, 2021, vol. 12544, pp. 246–259.
[Submitted Version] View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 9604 | OA
R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, and M. Saghafian, “Counting cells of order-k voronoi tessellations in ℝ3 with morse theory,” in Leibniz International Proceedings in Informatics, Online, 2021, vol. 189.
[Published Version] View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 9620 | OA
D.-A. Alistarh and P. Davies, “Collecting coupons is faster with friends,” in Structural Information and Communication Complexity, Wrocław, Poland, 2021, vol. 12810, pp. 3–12.
[Preprint] View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 9826 | OA
B. Auerbach et al., “Inverse-Sybil attacks in automated contact tracing,” in Topics in Cryptology – CT-RSA 2021, Virtual Event, 2021, vol. 12704, pp. 399–421.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2021 | Conference Paper | IST-REx-ID: 9825 | OA
T. Laarhoven and M. Walter, “Dual lattice attacks for closest vector problems (with preprocessing),” in Topics in Cryptology – CT-RSA 2021, Virtual Event, 2021, vol. 12704, pp. 478–502.
[Preprint] View | DOI | Download Preprint (ext.)
 

2021 | Conference Paper | IST-REx-ID: 9823 | OA
D.-A. Alistarh, F. Ellen, and J. Rybicki, “Wait-free approximate agreement on graphs,” in Structural Information and Communication Complexity, Wrocław, Poland, 2021, vol. 12810, pp. 87–105.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 9824
L. Čomić, R. Zrour, G. Largeteau-Skapin, R. Biswas, and E. Andres, “Body centered cubic grid - coordinate system and discrete analytical plane definition,” in Discrete Geometry and Mathematical Morphology, Uppsala, Sweden, 2021, vol. 12708, pp. 152–163.
View | DOI
 

2021 | Preprint | IST-REx-ID: 9980 | OA
C. Prehal et al., “Mechanism of Li2S formation and dissolution in Lithium-Sulphur batteries,” Research Square. .
[Preprint] View | DOI | Download Preprint (ext.)
 

2021 | Journal Article | IST-REx-ID: 12584 | OA
Menenti M, Li X, Jia L, Yang K, Pellicciotti F, Mancini M, Shi J, Escorihuela MJ, Zheng C, Chen Q, Lu J, Zhou J, Hu G, Ren S, Zhang J, Liu Q, Qiu Y, Huang C, Zhou J, Han X, Pan X, Li H, Wu Y, Ding B, Yang W, Buri P, McCarthy MJ, Miles ES, Shaw TE, Ma C, Zhou Y, Corbari C, Li R, Zhao T, Stefan V, Gao Q, Zhang J, Xie Q, Wang N, Sun Y, Mo X, Jia J, Jouberton AP, Kneib M, Fugger S, Paciolla N, Paolini G. 2021. Multi-source hydrological data products to monitor High Asian river basins and regional water security. Remote Sensing. 13(24), 5122.
[Published Version] View | DOI | Download Published Version (ext.)
 

2021 | Journal Article | IST-REx-ID: 12591 | OA
S. Ren et al., “Anisotropy parameterization development and evaluation for glacier surface albedo retrieval from satellite observations,” Remote Sensing, vol. 13, no. 9. MDPI, 2021.
[Published Version] View | DOI | Download Published Version (ext.)
 

2021 | Conference Paper | IST-REx-ID: 12767 | OA
S. Bansal, K. Chatterjee, and M. Y. Vardi, “On satisficing in quantitative games,” in 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Luxembourg City, Luxembourg, 2021, vol. 12651, pp. 20–37.
[Published Version] View | Files available | DOI | arXiv
 

2021 | Preprint | IST-REx-ID: 9230 | OA
L.-P. Arguin, G. Dubach, and L. Hartung, “Maxima of a random model of the Riemann zeta function over intervals of varying length,” arXiv. .
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 9098 | OA
G. Ivanov, “On the volume of projections of the cross-polytope,” Discrete Mathematics, vol. 344, no. 5. Elsevier, 2021.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 9158 | OA
S. De Nicola, “Disentanglement approach to quantum spin ground states: Field theory and stochastic simulation,” Journal of Statistical Mechanics: Theory and Experiment, vol. 2021, no. 1. IOP Publishing, 2021.
[Published Version] View | Files available | DOI | WoS
 

2021 | Journal Article | IST-REx-ID: 9118 | OA
M. Calcabrini et al., “Exploiting the lability of metal halide perovskites for doping semiconductor nanocomposites,” ACS Energy Letters, vol. 6, no. 2. American Chemical Society, pp. 581–587, 2021.
[Published Version] View | Files available | DOI | WoS
 

2021 | Journal Article | IST-REx-ID: 9254 | OA
Y. Hu et al., “Cell kinetics of auxin transport and activity in Arabidopsis root growth and skewing,” Nature Communications, vol. 12. Springer Nature, 2021.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9330 | OA
C. L. Schöpf et al., “Presynaptic α2δ subunits are key organizers of glutamatergic synapses,” PNAS, vol. 118, no. 14. National Academy of Sciences, 2021.
[Published Version] View | Files available | DOI | WoS
 

2021 | Journal Article | IST-REx-ID: 9443 | OA
N. Ruiz-Lopez et al., “Synaptotagmins at the endoplasmic reticulum-plasma membrane contact sites maintain diacylglycerol homeostasis during abiotic stress,” Plant Cell, vol. 33, no. 7. American Society of Plant Biologists, pp. 2431–2453, 2021.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9468 | OA
A. M. Arroyo Guevara, R. B. Richter, and M. Sunohara, “Extending drawings of complete graphs into arrangements of pseudocircles,” SIAM Journal on Discrete Mathematics, vol. 35, no. 2. Society for Industrial and Applied Mathematics, pp. 1050–1076, 2021.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 9601 | OA
L. Santini et al., “Genomic imprinting in mouse blastocysts is predominantly associated with H3K27me3,” Nature Communications, vol. 12, no. 1. Springer Nature, 2021.
[Published Version] View | Files available | DOI | WoS
 

2021 | Journal Article | IST-REx-ID: 9602 | OA
J. Pach and I. Tomon, “Erdős-Hajnal-type results for monotone paths,” Journal of Combinatorial Theory. Series B, vol. 151. Elsevier, pp. 21–37, 2021.
[Published Version] View | Files available | DOI | WoS
 

2021 | Journal Article | IST-REx-ID: 9618 | OA
D. Bluvstein et al., “Controlling quantum many-body dynamics in driven Rydberg atom arrays,” Science, vol. 371, no. 6536. AAAS, pp. 1355–1359, 2021.
[Preprint] View | Files available | DOI | WoS | PubMed | Europe PMC | arXiv
 

2021 | Journal Article | IST-REx-ID: 9911 | OA
Nelson G et al. 2021. QUAREP-LiMi: A community-driven initiative to establish guidelines for quality assessment and reproducibility for instruments and images in light microscopy. Journal of Microscopy. 284(1), 56–73.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2021 | Journal Article | IST-REx-ID: 9912 | OA
L. Erdös, T. H. Krüger, and Y. Nemish, “Scattering in quantum dots via noncommutative rational functions,” Annales Henri Poincaré , vol. 22. Springer Nature, pp. 4205–4269, 2021.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 9891 | OA
A. B. Lauritsen, “Floating Wigner crystal and periodic jellium configurations,” Journal of Mathematical Physics, vol. 62, no. 8. AIP Publishing, 2021.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 9905 | OA
S. Rella, Y. A. Kulikova, E. T. Dermitzakis, and F. Kondrashov, “Rates of SARS-CoV-2 transmission and vaccination impact the fate of vaccine-resistant strains,” Scientific Reports, vol. 11, no. 1. Springer Nature, 2021.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9908 | OA
M. A. L. Picard, B. Vicoso, S. Bertrand, and H. Escriva, “Diversity of modes of reproduction and sex determination systems in invertebrates, and the putative contribution of genetic conflict,” Genes, vol. 12, no. 8. MDPI, 2021.
[Published Version] View | Files available | DOI | WoS
 

2021 | Journal Article | IST-REx-ID: 10000 | OA
H. M. Schmitt et al., “Increased susceptibility and intrinsic apoptotic signaling in neurons by induced HDAC3 expression,” Investigative Ophthalmology and Visual Science, vol. 62, no. 10. Association for Research in Vision and Ophthalmology, 2021.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9998 | OA
P. Koroteev, P. Pushkar, A. V. Smirnov, and A. M. Zeitlin, “Quantum K-theory of quiver varieties and many-body systems,” Selecta Mathematica, vol. 27, no. 5. Springer Nature, 2021.
[Published Version] View | Files available | DOI | WoS
 

2021 | Conference Paper | IST-REx-ID: 10002 | OA
K. Chatterjee, W. Dvorak, M. H. Henzinger, and A. Svozil, “Symbolic time and space tradeoffs for probabilistic verification,” in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Rome, Italy, 2021, pp. 1–13.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10004 | OA
K. Chatterjee and L. Doyen, “Stochastic processes with expected stopping time,” in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Rome, Italy, 2021, pp. 1–13.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 10033 | OA
Q. P. Ho, “The Atiyah-Bott formula and connectivity in chiral Koszul duality,” Advances in Mathematics, vol. 392. Elsevier, 2021.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10055 | OA
I. R. Jecker, “A Ramsey theorem for finite monoids,” in 38th International Symposium on Theoretical Aspects of Computer Science, Saarbrücken, Germany, 2021, vol. 187.
[Published Version] View | Files available | DOI | WoS
 

2021 | Journal Article | IST-REx-ID: 10069 | OA
M. R. Robinson, M. Patxot, M. Stojanov, S. Blum, and D. Baud, “Postpartum hemorrhage risk is driven by changes in blood composition through pregnancy,” Scientific Reports, vol. 11. Springer Nature, 2021.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Conference Paper | IST-REx-ID: 10076 | OA
S. Blackshear et al., “Reactive key-loss protection in blockchains,” in FC 2021 Workshops, Virtual, 2021, vol. 12676, pp. 431–450.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2021 | Conference Paper | IST-REx-ID: 10108 | OA
F. Mühlböck and T. A. Henzinger, “Differential monitoring,” in International Conference on Runtime Verification, Virtual, 2021, vol. 12974, pp. 231–243.
[Preprint] View | Files available | DOI | WoS
 

2021 | Journal Article | IST-REx-ID: 10163 | OA
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 | Journal Article | IST-REx-ID: 10203 | OA
L. Sortino et al., “Bright single photon emitters with enhanced quantum efficiency in a two-dimensional semiconductor coupled with dielectric nano-antennas,” Nature Communications, vol. 12. Springer Nature, 2021.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 10220 | OA
S. Avvakumov, I. Mabillard, A. B. Skopenkov, and U. Wagner, “Eliminating higher-multiplicity intersections. III. Codimension 2,” Israel Journal of Mathematics, vol. 245. Springer Nature, pp. 501–534, 2021.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 10222 | OA
A. Akopyan, H. Edelsbrunner, and A. Nikitenko, “The beauty of random polytopes inscribed in the 2-sphere,” Experimental Mathematics. Taylor and Francis, pp. 1–15, 2021.
[Published Version] View | Files available | DOI | WoS | arXiv
 

Filters and Search Terms

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

Search

Filter Publications