ISTA Research Explorer

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

6293 Publications

2021 | Published | Journal Article | IST-REx-ID: 9603 |

Contreras X, Amberg N, Davaatseren A, et al. A genome-wide library of MADM mice for single-cell genetic mosaic analysis. Cell Reports. 2021;35(12). doi:10.1016/j.celrep.2021.109274

2021 | Published | Conference Paper | IST-REx-ID: 9604 |

Biswas R, Cultrera di Montesano S, Edelsbrunner H, Saghafian M. Counting cells of order-k voronoi tessellations in ℝ³ with morse theory. In: Leibniz International Proceedings in Informatics. Vol 189. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2021. doi:10.4230/LIPIcs.SoCG.2021.16

[Published Version] View | Files available | DOI

2021 | Published | Conference Paper | IST-REx-ID: 9605 |

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 | Published | Journal Article | IST-REx-ID: 9606 |

Tononi A, Cappellaro A, Bighin G, Salasnich L. Propagation of first and second sound in a two-dimensional Fermi superfluid. Physical Review A. 2021;103(6). doi:10.1103/PhysRevA.103.L061303

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2021 | Published | Journal Article | IST-REx-ID: 9618 |

Bluvstein D, Omran A, Levine H, et al. Controlling quantum many-body dynamics in driven Rydberg atom arrays. Science. 2021;371(6536):1355-1359. doi:10.1126/science.abg2530

2021 | Published | Conference Paper | IST-REx-ID: 9620 |

Alistarh D-A, Davies P. Collecting coupons is faster with friends. In: Structural Information and Communication Complexity. Vol 12810. Springer Nature; 2021:3-12. doi:10.1007/978-3-030-79527-6_1

[Preprint] View | Files available | DOI | WoS

2021 | Published | Journal Article | IST-REx-ID: 9626

Su L, Hong T, Wang D, et al. Realizing high doping efficiency and thermoelectric performance in n-type SnSe polycrystals via bandgap engineering and vacancy compensation. Materials Today Physics. 2021;20. doi:10.1016/j.mtphys.2021.100452

View | DOI | WoS

2021 | Published | Journal Article | IST-REx-ID: 9627 |

Lenz D, Weinmann T, Wirth M. Self-adjoint extensions of bipartite Hamiltonians. Proceedings of the Edinburgh Mathematical Society. 2021;64(3):443-447. doi:10.1017/S0013091521000080

[Published Version] View | DOI | Download Published Version (ext.) | WoS | arXiv

2021 | Published | Journal Article | IST-REx-ID: 9629 |

Yang Q, Xue S, Chan CJ, et al. Cell fate coordinates mechano-osmotic forces in intestinal crypt formation. Nature Cell Biology. 2021;23:733–744. doi:10.1038/s41556-021-00700-2

2021 | Research Data | IST-REx-ID: 9636 |

Higginbotham AP. Data for “Breakdown of induced p ± ip pairing in a superconductor-semiconductor hybrid.” 2021.

[Submitted Version] View | Files available

2021 | Published | Journal Article | IST-REx-ID: 9640 |

Tkadlec J, Pavlogiannis A, Chatterjee K, Nowak MA. Fast and strong amplifiers of natural selection. Nature Communications. 2021;12(1). doi:10.1038/s41467-021-24271-w

2021 | Published | Journal Article | IST-REx-ID: 9641 |

Fredes F, Shigemoto R. The role of hippocampal mossy cells in novelty detection. Neurobiology of Learning and Memory. 2021;183. doi:10.1016/j.nlm.2021.107486

2021 | Published | Journal Article | IST-REx-ID: 9642 |

Venturino A, Schulz R, De Jesús-Cortés H, et al. Microglia enable mature perineuronal nets disassembly upon anesthetic ketamine exposure or 60-Hz light entrainment in the healthy brain. Cell Reports. 2021;36(1). doi:10.1016/j.celrep.2021.109313

2021 | Published | Conference Paper | IST-REx-ID: 9644 |

Chatterjee K, Goharshady EK, Novotný P, Zikelic D. Proving non-termination by program reversal. In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Association for Computing Machinery; 2021:1033-1048. doi:10.1145/3453483.3454093

2021 | Published | Conference Paper | IST-REx-ID: 9645 |

Asadi A, Chatterjee K, Fu H, Goharshady AK, Mahdavi M. Polynomial reachability witnesses via Stellensätze. In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Association for Computing Machinery; 2021:772-787. doi:10.1145/3453483.3454076

[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS

2021 | Published | Conference Paper | IST-REx-ID: 9646 |

Wang J, Sun Y, Fu H, Chatterjee K, Goharshady AK. Quantitative analysis of assertion violations in probabilistic programs. In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Association for Computing Machinery; 2021:1171-1186. doi:10.1145/3453483.3454102

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2021 | Published | Journal Article | IST-REx-ID: 9647 |

Petrov T, Igler C, Sezgin A, Henzinger TA, Guet CC. Long lived transients in gene regulation. Theoretical Computer Science. 2021;893:1-16. doi:10.1016/j.tcs.2021.05.023

[Published Version] View | Files available | DOI | WoS

2021 | Published | Journal Article | IST-REx-ID: 9656 |

Han H, Adamowski M, Qi L, Alotaibi S, Friml J. PIN-mediated polar auxin transport regulations in plant tropic responses. New Phytologist. 2021;232(2):510-522. doi:10.1111/nph.17617

2021 | Published | Journal Article | IST-REx-ID: 9657 |

Gao Z, Chen Z, Cui Y, Ke M, Xu H, Xu Q, Chen J, Li Y, Huang L, Zhao H, Huang D, Mai S, Xu T, Liu X, Li S, Guan Y, Yang W, Friml J, Petrášek J, Zhang J, Chen X. 2021. GmPIN-dependent polar auxin transport is involved in soybean nodule development. Plant Cell. 33(9), 2981–3003.

2021 | Published | Conference Paper | IST-REx-ID: 9678 |

Brandt S, Keller B, Rybicki J, Suomela J, Uitto J. Efficient load-balancing through distributed token dropping. In: Annual ACM Symposium on Parallelism in Algorithms and Architectures. ; 2021:129-139. doi:10.1145/3409964.3461785

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

Research Groups

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

6293 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Research Groups

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

6293 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options