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.
252 Publications
2024 | Journal Article | IST-REx-ID: 14828
G. K. Kiran et al., “Interface engineering modulation combined with electronic structure modification of Zn-doped NiO heterostructure for efficient water-splitting activity,” ACS Applied Energy Materials, vol. 7, no. 1. American Chemical Society, pp. 214–229, 2024.
View
| DOI
| WoS
2024 | Journal Article | IST-REx-ID: 15163 | 
R. Campbell, F. Hörsch, and B. Moore, “Decompositions into two linear forests of bounded lengths,” Discrete Mathematics, vol. 347, no. 6. Elsevier, 2024.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 12329 |
A. Gómez and G. Oliveira, “New approaches to epidemic modeling on networks,” Scientific Reports, vol. 13. Springer Nature, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 12791 |
P. Clark Di Leoni, L. N. Agasthya, M. Buzzicotti, and L. Biferale, “Reconstructing Rayleigh–Bénard flows out of temperature-only measurements using Physics-Informed Neural Networks,” The European Physical Journal E, vol. 46, no. 3. Springer Nature, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Thesis | IST-REx-ID: 12964
D. R. Boocock, “Mechanochemical pattern formation across biological scales,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 11999 |
A. M. Arroyo Guevara, F. Klute, I. Parada, B. Vogtenhuber, R. Seidel, and T. Wiedera, “Inserting one edge into a simple drawing is hard,” Discrete and Computational Geometry, vol. 69. Springer Nature, pp. 745–770, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 12762 |
F. Lombardi, S. Pepic, O. Shriki, G. Tkačik, and D. De Martino, “Statistical modeling of adaptive neural networks explains co-existence of avalanches and oscillations in resting human brain,” Nature Computational Science, vol. 3. Springer Nature, pp. 254–263, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 13969 |
A. M. Arroyo Guevara and S. Felsner, “Approximating the bundled crossing number,” Journal of Graph Algorithms and Applications, vol. 27, no. 6. Brown University, pp. 433–457, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 12761 |
G. Cipolloni, L. Erdös, and D. J. Schröder, “Functional central limit theorems for Wigner matrices,” Annals of Applied Probability, vol. 33, no. 1. Institute of Mathematical Statistics, pp. 447–489, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14444 |
M. A. Kwan, A. Sah, M. Sawhney, and M. Simkin, “Substructures in Latin squares,” Israel Journal of Mathematics, vol. 256, no. 2. Springer Nature, pp. 363–416, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 13258 |
M. Kleshnina, C. Hilbe, S. Simsa, K. Chatterjee, and M. A. Nowak, “The effect of environmental information on evolution of cooperation in stochastic games,” Nature Communications, vol. 14. Springer Nature, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14445 |
U. Wagner and P. Wild, “Coboundary expansion, equivariant overlap, and crossing numbers of simplicial complexes,” Israel Journal of Mathematics, vol. 256, no. 2. Springer Nature, pp. 675–717, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Conference Paper | IST-REx-ID: 14718 |
S. Pastva and T. A. Henzinger, “Binary decision diagrams on modern hardware,” in Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, Ames, IA, United States, 2023, pp. 122–131.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14726 |
L.-Z. Zhou et al., “The RALF signaling pathway regulates cell wall integrity during pollen tube growth in maize,” The Plant Cell. Oxford University Press, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 14751 |
Y. Zhang, “Zero-error communication over adversarial MACs,” IEEE Transactions on Information Theory, vol. 69, no. 7. Institute of Electrical and Electronics Engineers, pp. 4093–4127, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 14775 |
K. Schnelli and Y. Xu, “Convergence rate to the Tracy–Widom laws for the largest eigenvalue of sample covariance matrices,” The Annals of Applied Probability, vol. 33, no. 1. Institute of Mathematical Statistics, pp. 677–725, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 13182 |
R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, and M. Saghafian, “Geometric characterization of the persistence of 1D maps,” Journal of Applied and Computational Topology. Springer Nature, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 15195 |
Caiazzo I, Burdge KB, Tremblay P-E, Fuller J, Ferrario L, Gänsicke BT, Hermes JJ, Heyl J, Kawka A, Kulkarni SR, Marsh TR, Mróz P, Prince TA, Richer HB, Rodriguez AC, van Roestel J, Vanderbosch ZP, Vennes S, Wickramasinghe D, Dhillon VS, Littlefair SP, Munday J, Pelisoli I, Perley D, Bellm EC, Breedt E, Brown AJ, Dekany R, Drake A, Dyer MJ, Graham MJ, Green MJ, Laher RR, Kerry P, Parsons SG, Riddle RL, Rusholme B, Sahman DI. 2023. A rotating white dwarf shows different compositions on its opposite faces. Nature. 620(7972), 61–66.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Thesis | IST-REx-ID: 12781 |
V. Kravchuk, “Structural and mechanistic study of bacterial complex I and its cyanobacterial ortholog,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 11521 |
J. J. Matthee et al., “(Re)Solving reionization with Lyα: How bright Lyα emitters account for the z ≈ 2 − 8 cosmic ionizing background,” Monthly Notices of the Royal Astronomical Society, vol. 512, no. 4. Oxford University Press, pp. 5960–5977, 2022.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Journal Article | IST-REx-ID: 11713 |
N. Nikolic, M. Sauert, T. G. Albanese, and I. Moll, “Quantifying heterologous gene expression during ectopic MazF production in Escherichia coli,” BMC Research Notes, vol. 15. Springer Nature, 2022.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2022 | Thesis | IST-REx-ID: 11128 |
L. Matejovicova, “Genetic basis of flower colour as a model for adaptive evolution,” Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 10889 |
R. Shigemoto, “Electron microscopic visualization of single molecules by tag-mediated metal particle labeling,” Microscopy, vol. 71, no. Supplement_1. Oxford Academic, pp. i72–i80, 2022.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 11332 |
K. Schnelli and Y. Xu, “Convergence rate to the Tracy–Widom laws for the largest Eigenvalue of Wigner matrices,” Communications in Mathematical Physics, vol. 393. Springer Nature, pp. 839–907, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Journal Article | IST-REx-ID: 11330 |
M. Wirth, “A dual formula for the noncommutative transport distance,” Journal of Statistical Physics, vol. 187, no. 2. Springer Nature, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Journal Article | IST-REx-ID: 12054 |
Z. Yang et al., “Structural insights into auxin recognition and efflux by Arabidopsis PIN1,” Nature, vol. 609, no. 7927. Springer Nature, pp. 611–615, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 12131 |
M. G. Byazrova et al., “Anti-Ad26 humoral immunity does not compromise SARS-COV-2 neutralizing antibody responses following Gam-COVID-Vac booster vaccination,” npj Vaccines, vol. 7. Springer Nature, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 12245 |
X. Soto et al., “Sequential and additive expression of miR-9 precursors control timing of neurogenesis,” Development, vol. 149, no. 19. The Company of Biologists, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 13355 |
R. H. Huang et al., “Self‐complementary zwitterionic peptides direct nanoparticle assembly and enable enzymatic selection of endocytic pathways,” Advanced Materials, vol. 34, no. 1. Wiley, 2022.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 11732 |
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: 12175 |
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.)
2021 | Conference Paper | IST-REx-ID: 10218 |
D.-A. Alistarh, R. Gelashvili, and J. Rybicki, “Brief announcement: Fast graphical population protocols,” in 35th International Symposium on Distributed Computing, Freiburg, Germany, 2021, vol. 209.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 | Conference Paper | IST-REx-ID: 10217 |
D.-A. Alistarh, R. Gelashvili, and G. Nadiradze, “Lower bounds for shared-memory leader election under bounded write contention,” in 35th International Symposium on Distributed Computing, Freiburg, Germany, 2021, vol. 209.
[Published Version]
View
| Files available
| DOI
2021 | Conference Paper | IST-REx-ID: 10216 |
B. Chatterjee, S. Peri, and M. Sa, “Brief announcement: Non-blocking dynamic unbounded graphs with worst-case amortized bounds,” in 35th International Symposium on Distributed Computing, Freiburg, Germany, 2021, vol. 209.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 | Conference Paper | IST-REx-ID: 10219 |
J. Korhonen, A. Paz, J. Rybicki, S. Schmid, and J. Suomela, “Brief announcement: Sinkless orientation is hard also in the supported LOCAL model,” in 35th International Symposium on Distributed Computing, Freiburg, Germany, 2021, vol. 209.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 | Conference Paper | IST-REx-ID: 10367 |
C. Ilharco et al., “Recognizing multimodal entailment,” in 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing, Tutorial Abstracts, Bangkok, Thailand, 2021, pp. 29–30.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2021 | Conference Paper | IST-REx-ID: 10688 |
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: 11463 |
E. Frantar, E. Kurtic, and D.-A. Alistarh, “M-FAC: Efficient matrix-free approximations of second-order information,” in 35th Conference on Neural Information Processing Systems, Virtual, Online, 2021, vol. 34, pp. 14873–14886.
[Published Version]
View
| Download Published Version (ext.)
| arXiv
2021 | Journal Article | IST-REx-ID: 11512 |
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: 11663 |
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 | Book Chapter | IST-REx-ID: 9245
P. Xia and C.-P. J. Heisenberg, “Quantifying tissue tension in the granulosa layer after laser surgery,” in Germline Development in the Zebrafish, vol. 2218, R. Dosch, Ed. Humana, 2021, pp. 117–128.
View
| DOI
| PubMed | Europe PMC
2021 | Book Chapter | IST-REx-ID: 9403 |
L. Schmid and C. Hilbe, “The evolution of strategic ignorance in strategic interaction,” in Deliberate Ignorance: Choosing Not To Know, vol. 29, R. Hertwig and C. Engel, Eds. MIT Press, 2021, pp. 139–152.
[Published Version]
View
| Download Published Version (ext.)
2021 | Journal Article | IST-REx-ID: 9572 |
J. Fox, M. A. Kwan, and B. Sudakov, “Acyclic subgraphs of tournaments with high chromatic number,” Bulletin of the London Mathematical Society, vol. 53, no. 2. Wiley, pp. 619–630, 2021.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Journal Article | IST-REx-ID: 12308 |
M. Verzobio, “Primitive divisors of sequences associated to elliptic curves with complex multiplication,” Research in Number Theory, vol. 7, no. 2. Springer Nature, 2021.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2021 | Journal Article | IST-REx-ID: 13357 |
T. Bian et al., “Electrostatic co-assembly of nanoparticles with oppositely charged small molecules into static and dynamic superstructures,” Nature Chemistry, vol. 13, no. 10. Springer Nature, pp. 940–949, 2021.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2021 | Journal Article | IST-REx-ID: 9246 |
N. K. Leopold, D. J. Mitrouskas, and R. Seiringer, “Derivation of the Landau–Pekar equations in a many-body mean-field limit,” Archive for Rational Mechanics and Analysis, vol. 240. Springer Nature, pp. 383–417, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Journal Article | IST-REx-ID: 9307 |
S. Hensel, “Finite time extinction for the 1D stochastic porous medium equation with transport noise,” Stochastics and Partial Differential Equations: Analysis and Computations, vol. 9. Springer Nature, pp. 892–939, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Journal Article | IST-REx-ID: 9317 |
H. Edelsbrunner and G. F. Osang, “The multi-cover persistence of Euclidean balls,” Discrete and Computational Geometry, vol. 65. Springer Nature, pp. 1296–1313, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Journal Article | IST-REx-ID: 9407 |
D. Scarselli, N. B. Budanur, M. Timme, and B. Hof, “Discontinuous epidemic transition due to limited testing,” Nature Communications, vol. 12, no. 1. Springer Nature, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Journal Article | IST-REx-ID: 9877 |
J. A. Rodrigues et al., “Divergence among rice cultivars reveals roles for transposition and epimutation in ongoing evolution of genomic imprinting,” Proceedings of the National Academy of Sciences, vol. 118, no. 29. National Academy of Sciences, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Conference Paper | IST-REx-ID: 10108 |
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: 10146
I. Vercellino and L. A. Sazanov, “Structure and assembly of the mammalian mitochondrial supercomplex CIII2CIV,” Nature, vol. 598, no. 7880. Springer Nature, pp. 364–367, 2021.
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Journal Article | IST-REx-ID: 10310 |
M. O. Çoruh et al., “Cryo-EM structure of a functional monomeric Photosystem I from Thermosynechococcus elongatus reveals red chlorophyll cluster,” Communications Biology, vol. 4, no. 1. Springer , 2021.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Conference Paper | IST-REx-ID: 10325 |
A. Zamyatin et al., “SoK: Communication across distributed ledgers,” in 25th International Conference on Financial Cryptography and Data Security, Virtual, 2021, vol. 12675, pp. 3–36.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2021 | Conference Paper | IST-REx-ID: 10324 |
Z. Avarikioti, E. Kokoris Kogias, R. Wattenhofer, and D. Zindros, “Brick: Asynchronous incentive-compatible payment channels,” in 25th International Conference on Financial Cryptography and Data Security, Virtual, 2021, vol. 12675, pp. 209–230.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Conference Paper | IST-REx-ID: 10407 |
S. Chakraborty, S. Dziembowski, M. Gałązka, T. Lizurej, K. Z. Pietrzak, and M. X. Yeo, “Trojan-resilience without cryptography,” presented at the TCC: Theory of Cryptography Conference, Raleigh, NC, United States, 2021, vol. 13043, pp. 397–428.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2021 | Conference Paper | IST-REx-ID: 10408 |
J. F. Alwen et al., “Grafting key trees: Efficient key management for overlapping groups,” in 19th International Conference, Raleigh, NC, United States, 2021, vol. 13044, pp. 222–253.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2021 | Journal Article | IST-REx-ID: 10533 |
J. Choi, D. B. Lyons, and D. Zilberman, “Histone H1 prevents non-CG methylation-mediated small RNA biogenesis in Arabidopsis heterochromatin,” eLife, vol. 10. eLife Sciences Publications, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Journal Article | IST-REx-ID: 10549 |
J. L. Fischer and S. Neukamm, “Optimal homogenization rates in stochastic homogenization of nonlinear uniformly elliptic equations and systems,” Archive for Rational Mechanics and Analysis, vol. 242, no. 1. Springer Nature, pp. 343–452, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Conference Paper | IST-REx-ID: 10409 |
C. Kamath Hosdurg, K. Klein, and K. Z. Pietrzak, “On treewidth, separators and Yao’s garbling,” in 19th International Conference, Raleigh, NC, United States, 2021, vol. 13043, pp. 486–517.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
2021 | Journal Article | IST-REx-ID: 13457 |
J. Bodensteiner et al., “The young massive SMC cluster NGC 330 seen by MUSE. II. Multiplicity properties of the massive-star population,” Astronomy & Astrophysics, vol. 652. EDP Sciences, 2021.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2021 | Conference Paper | IST-REx-ID: 10553 |
R. Gelashvili, E. Kokoris Kogias, A. Spiegelman, and Z. Xiang, “Brief announcement: Be prepared when network goes bad: An asynchronous view-change protocol,” in Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing, Virtual, Italy, 2021, pp. 187–190.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Journal Article | IST-REx-ID: 8824 |
M. Marquès-Bueno et al., “Auxin-regulated reversible inhibition of TMK1 signaling by MAKR2 modulates the dynamics of root gravitropism,” Current Biology, vol. 31, no. 1. Elsevier, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Thesis | IST-REx-ID: 10007 |
S. Hensel, “Curvature driven interface evolution: Uniqueness properties of weak solution concepts,” Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
2021 | Journal Article | IST-REx-ID: 8429 |
M. Patxot et al., “Probabilistic inference of the genetic architecture underlying functional enrichment of complex traits,” Nature Communications, vol. 12, no. 1. Springer Nature, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Conference Paper | IST-REx-ID: 9441 |
J.-D. Boissonnat, S. Kachanovich, and M. Wintraecken, “Tracing isomanifolds in Rd in time polynomial in d using Coxeter-Freudenthal-Kuhn triangulations,” in 37th International Symposium on Computational Geometry (SoCG 2021), Virtual, 2021, vol. 189, p. 17:1-17:16.
[Published Version]
View
| Files available
| DOI
2021 | Conference Paper | IST-REx-ID: 10410 |
C. Kamath Hosdurg, K. Klein, K. Z. Pietrzak, and M. Walter, “The cost of adaptivity in security games on graphs,” in 19th International Conference, Raleigh, NC, United States, 2021, vol. 13043, pp. 550–581.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
2021 | Conference Paper | IST-REx-ID: 10414 |
K. Chatterjee, E. K. Goharshady, P. Novotný, J. Zárevúcky, and D. Zikelic, “On lexicographic proof rules for probabilistic termination,” in 24th International Symposium on Formal Methods, Virtual, 2021, vol. 13047, pp. 619–639.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Conference Paper | IST-REx-ID: 10206 |
A. Lukina, C. Schilling, and T. A. Henzinger, “Into the unknown: active monitoring of neural networks,” in 21st International Conference on Runtime Verification, Virtual, 2021, vol. 12974, pp. 42–61.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Journal Article | IST-REx-ID: 8286 |
D.-A. Alistarh, G. Nadiradze, and A. Sabour, “Dynamic averaging load balancing on cycles,” Algorithmica. Springer Nature, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Journal Article | IST-REx-ID: 8248 |
J.-D. Boissonnat, R. Dyer, A. Ghosh, A. Lieutier, and M. Wintraecken, “Local conditions for triangulating submanifolds of Euclidean space,” Discrete and Computational Geometry, vol. 66. Springer Nature, pp. 666–686, 2021.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2021 | Journal Article | IST-REx-ID: 15275 |
J. Fox, J. Pach, and A. Suk, “Bounded VC-dimension implies the Schur-Erdős conjecture,” Combinatorica, vol. 41, no. 6. Springer Nature, pp. 803–813, 2021.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 11611 |
Chaplin WJ, Serenelli AM, Miglio A, Morel T, Mackereth JT, Vincenzo F, Kjeldsen H, Basu S, Ball WH, Stokholm A, Verma K, Mosumgaard JR, Silva Aguirre V, Mazumdar A, Ranadive P, Antia HM, Lebreton Y, Ong J, Appourchaux T, Bedding TR, Christensen-Dalsgaard J, Creevey O, García RA, Handberg R, Huber D, Kawaler SD, Lund MN, Metcalfe TS, Stassun KG, Bazot M, Beck PG, Bell KJ, Bergemann M, Buzasi DL, Benomar O, Bossini D, Bugnet LA, Campante TL, Orhan ZÇ, Corsaro E, González-Cuesta L, Davies GR, Di Mauro MP, Egeland R, Elsworth YP, Gaulme P, Ghasemi H, Guo Z, Hall OJ, Hasanzadeh A, Hekker S, Howe R, Jenkins JM, Jiménez A, Kiefer R, Kuszlewicz JS, Kallinger T, Latham DW, Lundkvist MS, Mathur S, Montalbán J, Mosser B, Bedón AM, Nielsen MB, Örtel S, Rendle BM, Ricker GR, Rodrigues TS, Roxburgh IW, Safari H, Schofield M, Seager S, Smalley B, Stello D, Szabó R, Tayar J, Themeßl N, Thomas AEL, Vanderspek RK, van Rossem WE, Vrard M, Weiss A, White TR, Winn JN, Yıldız M. 2020. Age dating of an early Milky Way merger via asteroseismology of the naked-eye star ν Indi. Nature Astronomy. 4(4), 382–389.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Conference Paper | IST-REx-ID: 9040 |
P. A. Alamdari, G. Avni, T. A. Henzinger, and A. Lukina, “Formal methods with a touch of magic,” in Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, Online Conference, 2020, pp. 138–147.
[Published Version]
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8538 |
A. Akopyan, R. Schwartz, and S. Tabachnikov, “Billiards in ellipses revisited,” European Journal of Mathematics. Springer Nature, 2020.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 7600 |
S. Tan et al., “The lipid code-dependent phosphoswitch PDK1–D6PK activates PIN-mediated auxin efflux in Arabidopsis,” Nature Plants, vol. 6. Springer Nature, pp. 556–569, 2020.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 8038 |
J. M. Fink, M. Kalaee, R. Norte, A. Pitanti, and O. Painter, “Efficient microwave frequency conversion mediated by a photonics compatible silicon nitride nanobeam oscillator,” Quantum Science and Technology, vol. 5, no. 3. IOP Publishing, 2020.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Journal Article | IST-REx-ID: 8036 |
Y. Collard, G. M. Grosjean, and N. Vandewalle, “Magnetically powered metachronal waves induce locomotion in self-assemblies,” Communications Physics, vol. 3. Springer Nature, 2020.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Journal Article | IST-REx-ID: 8337 |
I. Antoniadi et al., “Cell-surface receptors enable perception of extracellular cytokinins,” Nature Communications, vol. 11. Springer Nature, 2020.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Journal Article | IST-REx-ID: 8588 |
C. Hubert, K. Cohen, A. Ghazaryan, M. Lemeshko, R. Rapaport, and P. V. Santos, “Attractive interactions, molecular complexes, and polarons in coupled dipolar exciton fluids,” Physical Review B, vol. 102, no. 4. American Physical Society, 2020.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Journal Article | IST-REx-ID: 7489 |
J. L. Fischer and S. Hensel, “Weak–strong uniqueness for the Navier–Stokes equation for two fluids with surface tension,” Archive for Rational Mechanics and Analysis, vol. 236. Springer Nature, pp. 967–1087, 2020.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Conference Paper | IST-REx-ID: 10556 |
E. Kokoris Kogias, D. Malkhi, and A. Spiegelman, “Asynchronous distributed key generation for computationally-secure randomness, consensus, and threshold signatures,” in Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security, Virtual, United States, 2020, pp. 1751–1767.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2020 | Journal Article | IST-REx-ID: 6906 |
C. Boccato, C. Brennecke, S. Cenatiempo, and B. Schlein, “Optimal rate for Bose-Einstein condensation in the Gross-Pitaevskii regime,” Communications in Mathematical Physics, vol. 376. Springer, pp. 1311–1395, 2020.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Journal Article | IST-REx-ID: 7889 |
Mitiouchkina T, Mishin AS, Gonzalez Somermeyer L, Markina NM, Chepurnyh TV, Guglya EB, Karataeva TA, Palkina KA, Shakhova ES, Fakhranurova LI, Chekova SV, Tsarkova AS, Golubev YV, Negrebetsky VV, Dolgushin SA, Shalaev PV, Shlykov D, Melnik OA, Shipunova VO, Deyev SM, Bubyrev AI, Pushin AS, Choob VV, Dolgov SV, Kondrashov F, Yampolsky IV, Sarkisyan KS. 2020. Plants with genetically encoded autoluminescence. Nature Biotechnology. 38, 944–946.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Conference Paper | IST-REx-ID: 11865 |
M. Daga, M. H. Henzinger, D. Nanongkai, and T. Saranurak, “Distributed edge connectivity in sublinear time,” in Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing, Phoenix, AZ, United States, 2019, pp. 343–354.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Conference Paper | IST-REx-ID: 11871 |
A. Bernstein, S. Forster, and M. H. Henzinger, “A deamortization approach for dynamic spanner and dynamic maximal matching,” in 30th Annual ACM-SIAM Symposium on Discrete Algorithms, San Diego, CA, United States, 2019, pp. 1899–1918.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Conference Paper | IST-REx-ID: 6628 |
G. Vegter and M. Wintraecken, “The extrinsic nature of the Hausdorff distance of optimal triangulations of manifolds,” in The 31st Canadian Conference in Computational Geometry, Edmonton, Canada, 2019, pp. 275–279.
[Submitted Version]
View
| Files available
2019 | Conference Paper | IST-REx-ID: 6931 |
T. Nowak and J. Rybicki, “Byzantine approximate agreement on graphs,” in 33rd International Symposium on Distributed Computing, Budapest, Hungary, 2019, vol. 146, p. 29:1--29:17.
[Published Version]
View
| Files available
| DOI
| arXiv
2019 | Book (Editor) | IST-REx-ID: 7171
K. Kersting, C. Lampert, and C. Rothkopf, Eds., Wie Maschinen Lernen: Künstliche Intelligenz Verständlich Erklärt, 1st ed. Wiesbaden: Springer Nature, 2019.
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 8405 |
D. F. Gauto et al., “Integrated NMR and cryo-EM atomic-resolution structure determination of a half-megadalton enzyme complex,” Nature Communications, vol. 10. Springer Nature, 2019.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 9580 |
D. Conlon, J. Fox, M. A. Kwan, and B. Sudakov, “Hypergraph cuts above the average,” Israel Journal of Mathematics, vol. 233, no. 1. Springer, pp. 67–111, 2019.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 12602 |
R. R. Wijngaard et al., “Modeling the response of the Langtang Glacier and the Hintereisferner to a changing climate since the Little Ice Age,” Frontiers in Earth Science, vol. 7. Frontiers Media, 2019.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2019 | Journal Article | IST-REx-ID: 13471 |
M. Renzo et al., “Massive runaway and walkaway stars,” Astronomy & Astrophysics, vol. 624. EDP Sciences, 2019.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 105 |
A. Marsh, G. Novarino, P. Lockhart, and R. Leventer, “CUGC for pontocerebellar hypoplasia type 9 and spastic paraplegia-63,” European Journal of Human Genetics, vol. 27. Springer Nature, pp. 161–166, 2019.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 6564 |
A.-M. Tichy, E. J. Gerrard, J. M. D. Legrand, R. M. Hobbs, and H. L. Janovjak, “Engineering strategy and vector library for the rapid generation of modular light-controlled protein–protein interactions,” Journal of Molecular Biology, vol. 431, no. 17. Elsevier, pp. 3046–3055, 2019.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2019 | Research Data Reference | IST-REx-ID: 9901 |
O. M. Sigalova et al., “Additional file 9 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction.” Springer Nature, 2019.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)