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.
5402 Publications
2021 | Published | Conference Paper | IST-REx-ID: 9592 |
Massively winning configurations in the convex grabbing game on the plane
M. Dvorak, S. Nicholson, in:, Proceedings of the 33rd Canadian Conference on Computational Geometry, CCCG, 2021.
[Published Version]
View
| Files available
| arXiv
M. Dvorak, S. Nicholson, in:, Proceedings of the 33rd Canadian Conference on Computational Geometry, CCCG, 2021.
2021 | Published | Journal Article | IST-REx-ID: 9601 |
Genomic imprinting in mouse blastocysts is predominantly associated with H3K27me3
L. Santini, F. Halbritter, F. Titz-Teixeira, T. Suzuki, M. Asami, X. Ma, J. Ramesmayer, A. Lackner, N. Warr, F. Pauler, S. Hippenmeyer, E. Laue, M. Farlik, C. Bock, A. Beyer, A.C.F. Perry, M. Leeb, Nature Communications 12 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
L. Santini, F. Halbritter, F. Titz-Teixeira, T. Suzuki, M. Asami, X. Ma, J. Ramesmayer, A. Lackner, N. Warr, F. Pauler, S. Hippenmeyer, E. Laue, M. Farlik, C. Bock, A. Beyer, A.C.F. Perry, M. Leeb, Nature Communications 12 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9602 |
Erdős-Hajnal-type results for monotone paths
J. Pach, I. Tomon, Journal of Combinatorial Theory. Series B 151 (2021) 21–37.
[Published Version]
View
| Files available
| DOI
| WoS
J. Pach, I. Tomon, Journal of Combinatorial Theory. Series B 151 (2021) 21–37.
2021 | Published | Journal Article | IST-REx-ID: 9603 |
A genome-wide library of MADM mice for single-cell genetic mosaic analysis
X. Contreras, N. Amberg, A. Davaatseren, A.H. Hansen, J. Sonntag, L. Andersen, T. Bernthaler, C. Streicher, A.-M. Heger, R.L. Johnson, L.A. Schwarz, L. Luo, T. Rülicke, S. Hippenmeyer, Cell Reports 35 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
X. Contreras, N. Amberg, A. Davaatseren, A.H. Hansen, J. Sonntag, L. Andersen, T. Bernthaler, C. Streicher, A.-M. Heger, R.L. Johnson, L.A. Schwarz, L. Luo, T. Rülicke, S. Hippenmeyer, Cell Reports 35 (2021).
2021 | Published | Conference Paper | IST-REx-ID: 9604 |
Counting cells of order-k voronoi tessellations in ℝ3 with morse theory
R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, M. Saghafian, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
[Published Version]
View
| Files available
| DOI
R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, M. Saghafian, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
2021 | Published | Conference Paper | IST-REx-ID: 9605 |
Computing the multicover bifiltration
R. Corbet, M. Kerber, M. Lesnick, G.F. Osang, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
[Published Version]
View
| Files available
| DOI
| arXiv
R. Corbet, M. Kerber, M. Lesnick, G.F. Osang, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
2021 | Published | Journal Article | IST-REx-ID: 9606 |
Propagation of first and second sound in a two-dimensional Fermi superfluid
A. Tononi, A. Cappellaro, G. Bighin, L. Salasnich, Physical Review A 103 (2021).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A. Tononi, A. Cappellaro, G. Bighin, L. Salasnich, Physical Review A 103 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9607 |
Introduction to the EQIPD quality system
Bespalov A, Bernard R, Gilis A, Gerlach B, Guillén J, Castagné V, Lefevre IA, Ducrey F, Monk L, Bongiovanni S, Altevogt B, Arroyo-Araujo M, Bikovski L, De Bruin N, Castaños-Vélez E, Dityatev A, Emmerich CH, Fares R, Ferland-Beckham C, Froger-Colléaux C, Gailus-Durner V, Hölter SM, Hofmann MC, Kabitzke P, Kas MJ, Kurreck C, Moser P, Pietraszek M, Popik P, Potschka H, Prado Montes De Oca E, Restivo L, Riedel G, Ritskes-Hoitinga M, Samardzic J, Schunn M, Stöger C, Voikar V, Vollert J, Wever KE, Wuyts K, Macleod MR, Dirnagl U, Steckler T. 2021. Introduction to the EQIPD quality system. eLife. 10.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Bespalov A, Bernard R, Gilis A, Gerlach B, Guillén J, Castagné V, Lefevre IA, Ducrey F, Monk L, Bongiovanni S, Altevogt B, Arroyo-Araujo M, Bikovski L, De Bruin N, Castaños-Vélez E, Dityatev A, Emmerich CH, Fares R, Ferland-Beckham C, Froger-Colléaux C, Gailus-Durner V, Hölter SM, Hofmann MC, Kabitzke P, Kas MJ, Kurreck C, Moser P, Pietraszek M, Popik P, Potschka H, Prado Montes De Oca E, Restivo L, Riedel G, Ritskes-Hoitinga M, Samardzic J, Schunn M, Stöger C, Voikar V, Vollert J, Wever KE, Wuyts K, Macleod MR, Dirnagl U, Steckler T. 2021. Introduction to the EQIPD quality system. eLife. 10.
2021 | Published | Journal Article | IST-REx-ID: 9618 |
Controlling quantum many-body dynamics in driven Rydberg atom arrays
D. Bluvstein, A. Omran, H. Levine, A. Keesling, G. Semeghini, S. Ebadi, T.T. Wang, A. Michailidis, N. Maskara, W.W. Ho, S. Choi, M. Serbyn, M. Greiner, V. Vuletić, M.D. Lukin, Science 371 (2021) 1355–1359.
[Preprint]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
D. Bluvstein, A. Omran, H. Levine, A. Keesling, G. Semeghini, S. Ebadi, T.T. Wang, A. Michailidis, N. Maskara, W.W. Ho, S. Choi, M. Serbyn, M. Greiner, V. Vuletić, M.D. Lukin, Science 371 (2021) 1355–1359.
2021 | Published | Conference Paper | IST-REx-ID: 9620 |
Collecting coupons is faster with friends
D.-A. Alistarh, P. Davies, in:, Structural Information and Communication Complexity, Springer Nature, 2021, pp. 3–12.
[Preprint]
View
| Files available
| DOI
D.-A. Alistarh, P. Davies, in:, Structural Information and Communication Complexity, Springer Nature, 2021, pp. 3–12.
2021 | Published | Journal Article | IST-REx-ID: 9626
Realizing high doping efficiency and thermoelectric performance in n-type SnSe polycrystals via bandgap engineering and vacancy compensation
L. Su, T. Hong, D. Wang, S. Wang, B. Qin, M. Zhang, X. Gao, C. Chang, L.D. Zhao, Materials Today Physics 20 (2021).
View
| DOI
| WoS
L. Su, T. Hong, D. Wang, S. Wang, B. Qin, M. Zhang, X. Gao, C. Chang, L.D. Zhao, Materials Today Physics 20 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9627 |
Self-adjoint extensions of bipartite Hamiltonians
D. Lenz, T. Weinmann, M. Wirth, Proceedings of the Edinburgh Mathematical Society 64 (2021) 443–447.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
D. Lenz, T. Weinmann, M. Wirth, Proceedings of the Edinburgh Mathematical Society 64 (2021) 443–447.
2021 | Published | Journal Article | IST-REx-ID: 9629 |
Cell fate coordinates mechano-osmotic forces in intestinal crypt formation
Q. Yang, S. Xue, C.J. Chan, M. Rempfler, D. Vischi, F. Maurer-Gutierrez, T. Hiiragi, E.B. Hannezo, P. Liberali, Nature Cell Biology 23 (2021) 733–744.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
Q. Yang, S. Xue, C.J. Chan, M. Rempfler, D. Vischi, F. Maurer-Gutierrez, T. Hiiragi, E.B. Hannezo, P. Liberali, Nature Cell Biology 23 (2021) 733–744.
2021 | Research Data | IST-REx-ID: 9636 |
Data for "Breakdown of induced p ± ip pairing in a superconductor-semiconductor hybrid"
A.P. Higginbotham, (2021).
[Submitted Version]
View
| Files available
A.P. Higginbotham, (2021).
2021 | Published | Journal Article | IST-REx-ID: 9640 |
Fast and strong amplifiers of natural selection
J. Tkadlec, A. Pavlogiannis, K. Chatterjee, M.A. Nowak, Nature Communications 12 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
J. Tkadlec, A. Pavlogiannis, K. Chatterjee, M.A. Nowak, Nature Communications 12 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9641 |
The role of hippocampal mossy cells in novelty detection
F. Fredes, R. Shigemoto, Neurobiology of Learning and Memory 183 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
F. Fredes, R. Shigemoto, Neurobiology of Learning and Memory 183 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9642 |
Microglia enable mature perineuronal nets disassembly upon anesthetic ketamine exposure or 60-Hz light entrainment in the healthy brain
A. Venturino, R. Schulz, H. De Jesús-Cortés, M.E. Maes, B. Nagy, F. Reilly-Andújar, G. Colombo, R.J. Cubero, F.E. Schoot Uiterkamp, M.F. Bear, S. Siegert, Cell Reports 36 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
A. Venturino, R. Schulz, H. De Jesús-Cortés, M.E. Maes, B. Nagy, F. Reilly-Andújar, G. Colombo, R.J. Cubero, F.E. Schoot Uiterkamp, M.F. Bear, S. Siegert, Cell Reports 36 (2021).
2021 | Published | Conference Paper | IST-REx-ID: 9644 |
Proving non-termination by program reversal
K. Chatterjee, E.K. Goharshady, P. Novotný, D. Zikelic, in:, Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 1033–1048.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, E.K. Goharshady, P. Novotný, D. Zikelic, in:, Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 1033–1048.
2021 | Published | Conference Paper | IST-REx-ID: 9645 |
Polynomial reachability witnesses via Stellensätze
A. Asadi, K. Chatterjee, H. Fu, A.K. Goharshady, M. Mahdavi, in:, Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 772–787.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
A. Asadi, K. Chatterjee, H. Fu, A.K. Goharshady, M. Mahdavi, in:, Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 772–787.
2021 | Published | Conference Paper | IST-REx-ID: 9646 |
Quantitative analysis of assertion violations in probabilistic programs
J. Wang, Y. Sun, H. Fu, K. Chatterjee, A.K. Goharshady, in:, Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 1171–1186.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
J. Wang, Y. Sun, H. Fu, K. Chatterjee, A.K. Goharshady, in:, Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 1171–1186.