ISTA Research Explorer

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.

540 Publications

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

Kragl, Bernhard, and Shaz Qadeer. “The Civl Verifier.” Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, edited by Piskac Ruzica and Michael W. Whalen, vol. 2, TU Wien Academic Press, 2021, pp. 143–152, doi:10.34727/2021/isbn.978-3-85448-046-4_23.

[Published Version] View | Files available | DOI

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

Chatterjee, Krishnendu, et al. “Symbolic Time and Space Tradeoffs for Probabilistic Verification.” Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13, doi:10.1109/LICS52264.2021.9470739.

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

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

Chatterjee, Krishnendu, and Laurent Doyen. “Stochastic Processes with Expected Stopping Time.” Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13, doi:10.1109/LICS52264.2021.9470595.

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

Li, Lanxin, et al. “Cell Surface and Intracellular Auxin Signalling for H⁺ Fluxes in Root Growth.” Nature, vol. 599, no. 7884, Springer Nature, 2021, pp. 273–77, doi:10.1038/s41586-021-04037-6.

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

Aubret, Antoine, et al. “Metamachines of Pluripotent Colloids.” Nature Communications, vol. 12, no. 1, 6398, Springer Nature, 2021, doi:10.1038/s41467-021-26699-6.

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

Chauve, Laetitia, et al. “Neuronal HSF-1 Coordinates the Propagation of Fat Desaturation across Tissues to Enable Adaptation to High Temperatures in C. Elegans.” PLoS Biology, vol. 19, no. 11, e3001431, Public Library of Science, 2021, doi:10.1371/journal.pbio.3001431.

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

Ilharco, Cesar, et al. “Recognizing Multimodal Entailment.” 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing, Tutorial Abstracts, Association for Computational Linguistics, 2021, pp. 29–30, doi:10.18653/v1/2021.acl-tutorials.6.

[Published Version] View | Files available | DOI | Download Published Version (ext.)

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

Xin, Chengcheng, and Zoltán Haiman. “Ultra-Short-Period Massive Black Hole Binary Candidates in LSST as LISA ‘Verification Binaries.’” Monthly Notices of the Royal Astronomical Society, vol. 506, no. 2, Oxford University Press, 2021, pp. 2408–17, doi:10.1093/mnras/stab1856.

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

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

Sanderbeck, Phoebe Upton, et al. “Nucleosynthetic Signatures of Primordial Origin around Supermassive Black Holes.” Physical Review D, vol. 104, no. 10, 103022, American Physical Society, 2021, doi:10.1103/physrevd.104.103022.

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

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

Zrake, Jonathan, et al. “Equilibrium Eccentricity of Accreting Binaries.” The Astrophysical Journal Letters, vol. 909, no. 1, L13, American Astronomical Society, 2021, doi:10.3847/2041-8213/abdd1c.

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

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

Amaro Seoane P, Arca Sedda M, Babak S, Berry CPL, Berti E, Bertone G, Blas D, Bogdanović T, Bonetti M, Breivik K, Brito R, Caldwell R, Capelo PR, Caprini C, Cardoso V, Carson Z, Chen H-Y, Chua AJK, Dvorkin I, Haiman Z, Heisenberg L, Isi M, Karnesis N, Kavanagh BJ, Littenberg TB, Mangiagli A, Marcoccia P, Maselli A, Nardini G, Pani P, Peloso M, Pieroni M, Ricciardone A, Sesana A, Tamanini N, Toubiana A, Valiante R, Vretinaris S, Weir DJ, Yagi K, Zimmerman A. 2021. The effect of mission duration on LISA science objectives. General Relativity and Gravitation. 54(1), 3.

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

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

Lupi, Alessandro, et al. “Forming Massive Seed Black Holes in High-Redshift Quasar Host Progenitors.” Monthly Notices of the Royal Astronomical Society, vol. 503, no. 4, Oxford University Press, 2021, pp. 5046–60, doi:10.1093/mnras/stab692.

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

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

Censor-Hillel, Keren, et al. “Fast Approximate Shortest Paths in the Congested Clique.” Distributed Computing, vol. 34, Springer Nature, 2021, pp. 463–87, doi:10.1007/s00446-020-00380-5.

2021 | Published | Book Chapter | IST-REx-ID: 7941

Truckenbrodt, Sven M., and Silvio O. Rizzoli. “Simple Multi-Color Super-Resolution by X10 Microscopy.” Methods in Cell Biology, vol. 161, Elsevier, 2021, pp. 33–56, doi:10.1016/bs.mcb.2020.04.016.

View | DOI | PubMed | Europe PMC

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

Bozelos, Panagiotis, and Tim P. Vogels. “Talking Science, Online.” Nature Reviews Neuroscience, vol. 22, no. 1, Springer Nature, 2021, pp. 1–2, doi:10.1038/s41583-020-00408-6.

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

Pinkard H, Stuurman N, Ivanov IE, Anthony NM, Ouyang W, Li B, Yang B, Tsuchida MA, Chhun B, Zhang G, Mei R, Anderson M, Shepherd DP, Hunt-Isaak I, Dunn RL, Jahr W, Kato S, Royer LA, Thiagarajah JR, Eliceiri KW, Lundberg E, Mehta SB, Waller L. 2021. Pycro-Manager: Open-source software for customized and reproducible microscope control. Nature Methods. 18(3), 226–228.

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

Erdös, László, et al. “Scattering in Quantum Dots via Noncommutative Rational Functions.” Annales Henri Poincaré , vol. 22, Springer Nature, 2021, pp. 4205–4269, doi:10.1007/s00023-021-01085-6.

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

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

Chatterjee, Krishnendu, et al. “On Lexicographic Proof Rules for Probabilistic Termination.” 24th International Symposium on Formal Methods, vol. 13047, Springer Nature, 2021, pp. 619–39, doi:10.1007/978-3-030-90870-6_33.

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

Pietrzak, Krzysztof Z., et al. LightPIR: Privacy-Preserving Route Discovery for Payment Channel Networks. IEEE, 2021, doi:10.23919/IFIPNetworking52078.2021.9472205.

2020 | Published | Journal Article | IST-REx-ID: 11503 |

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

ISTA Research Explorer

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

540 Publications

Filters and Search Terms

Search

Filter Publications

Display / Sort

Export / Embed

ISTA Research Explorer

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

540 Publications

Filters and Search Terms

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options