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 | OA
Kragl B, Qadeer S. The Civl verifier. In: Ruzica P, Whalen MW, eds. Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design. Vol 2. TU Wien Academic Press; 2021: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 | OA
Chatterjee K, Dvorak W, Henzinger M, Svozil A. Symbolic time and space tradeoffs for probabilistic verification. In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. Institute of Electrical and Electronics Engineers; 2021:1-13. doi:10.1109/LICS52264.2021.9470739
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Published | Conference Paper | IST-REx-ID: 10004 | OA
Chatterjee K, Doyen L. Stochastic processes with expected stopping time. In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. Institute of Electrical and Electronics Engineers; 2021:1-13. doi:10.1109/LICS52264.2021.9470595
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Published | Journal Article | IST-REx-ID: 10223 | OA
Li L, Verstraeten I, Roosjen M, et al. Cell surface and intracellular auxin signalling for H+ fluxes in root growth. Nature. 2021;599(7884):273-277. doi:10.1038/s41586-021-04037-6
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC
 

2021 | Published | Journal Article | IST-REx-ID: 10280 | OA
Aubret A, Martinet Q, Palacci JA. Metamachines of pluripotent colloids. Nature Communications. 2021;12(1). doi:10.1038/s41467-021-26699-6
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Published | Journal Article | IST-REx-ID: 10322 | OA
Chauve L, Hodge F, Murdoch S, et al. Neuronal HSF-1 coordinates the propagation of fat desaturation across tissues to enable adaptation to high temperatures in C. elegans. PLoS Biology. 2021;19(11). doi:10.1371/journal.pbio.3001431
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Published | Conference Paper | IST-REx-ID: 10367 | OA
Ilharco C, Shirazi A, Gopalan A, 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. Association for Computational Linguistics; 2021: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 | OA
Xin C, Haiman Z. Ultra-short-period massive black hole binary candidates in LSST as LISA ‘verification binaries.’ Monthly Notices of the Royal Astronomical Society. 2021;506(2):2408-2417. doi:10.1093/mnras/stab1856
[Published Version] View | DOI | Download Published Version (ext.)
 

2021 | Published | Journal Article | IST-REx-ID: 17578 | OA
Sanderbeck PU, Bird S, Haiman Z. Nucleosynthetic signatures of primordial origin around supermassive black holes. Physical Review D. 2021;104(10). doi:10.1103/physrevd.104.103022
[Published Version] View | DOI | Download Published Version (ext.)
 

2021 | Published | Journal Article | IST-REx-ID: 17592 | OA
Zrake J, Tiede C, MacFadyen A, Haiman Z. Equilibrium eccentricity of accreting binaries. The Astrophysical Journal Letters. 2021;909(1). doi:10.3847/2041-8213/abdd1c
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Published | Journal Article | IST-REx-ID: 17593 | OA
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 | OA
Lupi A, Haiman Z, Volonteri M. Forming massive seed black holes in high-redshift quasar host progenitors. Monthly Notices of the Royal Astronomical Society. 2021;503(4):5046-5060. doi:10.1093/mnras/stab692
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Published | Journal Article | IST-REx-ID: 7939 | OA
Censor-Hillel K, Dory M, Korhonen J, Leitersdorf D. Fast approximate shortest paths in the congested clique. Distributed Computing. 2021;34:463-487. doi:10.1007/s00446-020-00380-5
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | arXiv
 

2021 | Published | Book Chapter | IST-REx-ID: 7941
Truckenbrodt SM, Rizzoli SO. Simple multi-color super-resolution by X10 microscopy. In: Methods in Cell Biology. Vol 161. Elsevier; 2021:33-56. doi:10.1016/bs.mcb.2020.04.016
View | DOI | PubMed | Europe PMC
 

2021 | Published | Journal Article | IST-REx-ID: 8757 | OA
Bozelos P, Vogels TP. Talking science, online. Nature Reviews Neuroscience. 2021;22(1):1-2. doi:10.1038/s41583-020-00408-6
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Published | Journal Article | IST-REx-ID: 9258 | OA
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.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2021 | Published | Journal Article | IST-REx-ID: 9912 | OA
Erdös L, Krüger TH, Nemish Y. Scattering in quantum dots via noncommutative rational functions. Annales Henri Poincaré . 2021;22: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 | OA
Chatterjee K, Goharshady E, Novotný P, Zárevúcky J, Zikelic D. On lexicographic proof rules for probabilistic termination. In: 24th International Symposium on Formal Methods. Vol 13047. Springer Nature; 2021:619-639. doi:10.1007/978-3-030-90870-6_33
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Published | Conference Paper | IST-REx-ID: 9969 | OA
Pietrzak KZ, Salem I, Schmid S, Yeo MX. LightPIR: Privacy-preserving route discovery for payment channel networks. In: IEEE; 2021. doi:10.23919/IFIPNetworking52078.2021.9472205
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 11503 | OA
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
 

Filters and Search Terms

isbn%3D3-853-20311-6

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed