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.

5779 Publications


2021 | Published | Conference Paper | IST-REx-ID: 9356 | OA
Henzinger, T. A., & Sarac, N. E. (2021). Quantitative and approximate monitoring. In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. Online: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/LICS52264.2021.9470547
[Published Version] View | Files available | DOI | WoS | arXiv
 

2021 | Published | Journal Article | IST-REx-ID: 9408 | OA
Feng, X., Liu, J., Wang, H., Yang, Y., Bao, H., Bickel, B., & Xu, W. (2021). Computational design of skinned Quad-Robots. IEEE Transactions on Visualization and Computer Graphics. IEEE. https://doi.org/10.1109/TVCG.2019.2957218
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Published | Journal Article | IST-REx-ID: 9411 | OA
Sukhov, A., Hubert, M., Grosjean, G. M., Trosman, O., Ziegler, S., Collard, Y., … Harting, J. (2021). Regimes of motion of magnetocapillary swimmers. European Physical Journal E. Springer. https://doi.org/10.1140/epje/s10189-021-00065-2
[Published Version] View | Files available | DOI | WoS
 

2021 | Published | Journal Article | IST-REx-ID: 9465 | OA
Edelsbrunner, H., Nikitenko, A., & Osang, G. F. (2021). A step in the Delaunay mosaic of order k. Journal of Geometry. Springer Nature. https://doi.org/10.1007/s00022-021-00577-4
[Published Version] View | Files available | DOI
 

2021 | Published | Journal Article | IST-REx-ID: 9331 | OA
Szigeti, S. S., Hosten, O., & Haine, S. A. (2021). Improving cold-atom sensors with quantum entanglement: Prospects and challenges. Applied Physics Letters. AIP Publishing. https://doi.org/10.1063/5.0050235
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Published | Journal Article | IST-REx-ID: 9294 | OA
Gärtner, F. R., & Sixt, M. K. (2021). Engaging the front wheels to drive through fibrous terrain. Developmental Cell. Elsevier. https://doi.org/10.1016/j.devcel.2021.03.002
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2021 | Published | Journal Article | IST-REx-ID: 9467 | OA
Marensi, E., He, S., & Willis, A. P. (2021). Suppression of turbulence and travelling waves in a vertical heated pipe. Journal of Fluid Mechanics. Cambridge University Press. https://doi.org/10.1017/jfm.2021.371
[Published Version] View | Files available | DOI | WoS | arXiv
 

2021 | Published | Conference Paper | IST-REx-ID: 9543 | OA
Davies, P., Gurunanthan, V., Moshrefi, N., Ashkboos, S., & Alistarh, D.-A. (2021). New bounds for distributed mean estimation and variance reduction. In 9th International Conference on Learning Representations. Virtual.
[Published Version] View | Download Published Version (ext.) | arXiv
 

2021 | Published | Journal Article | IST-REx-ID: 9571 | OA
Ramezani-Kebrya, A., Faghri, F., Markov, I., Aksenov, V., Alistarh, D.-A., & Roy, D. M. (2021). NUQSGD: Provably communication-efficient data-parallel SGD via nonuniform quantization. Journal of Machine Learning Research. Journal of Machine Learning Research.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Published | Journal Article | IST-REx-ID: 9570 | OA
Puglia, D., Martinez, E. A., Ménard, G. C., Pöschl, A., Gronin, S., Gardner, G. C., … Casparis, L. (2021). Closing of the induced gap in a hybrid superconductor-semiconductor nanowire. Physical Review B. American Physical Society. https://doi.org/10.1103/PhysRevB.103.235201
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Research Data Reference | IST-REx-ID: 13080 | OA
Puglia, D., Martinez, E., Menard, G., Pöschl, A., Gronin, S., Gardner, G., … Casparis, L. (2021). Data for ’Closing of the Induced Gap in a Hybrid Superconductor-Semiconductor Nanowire. Zenodo. https://doi.org/10.5281/ZENODO.4592435
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2021 | Published | Conference Paper | IST-REx-ID: 9620 | OA
Alistarh, D.-A., & Davies, P. (2021). Collecting coupons is faster with friends. In Structural Information and Communication Complexity (Vol. 12810, pp. 3–12). Wrocław, Poland: Springer Nature. https://doi.org/10.1007/978-3-030-79527-6_1
[Preprint] View | Files available | DOI
 

2021 | Published | Conference Paper | IST-REx-ID: 9604 | OA
Biswas, R., Cultrera di Montesano, S., Edelsbrunner, H., & Saghafian, M. (2021). Counting cells of order-k voronoi tessellations in ℝ3 with morse theory. In Leibniz International Proceedings in Informatics (Vol. 189). Online: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2021.16
[Published Version] View | Files available | DOI
 

2021 | Published | Conference Paper | IST-REx-ID: 9605 | OA
Corbet, R., Kerber, M., Lesnick, M., & Osang, G. F. (2021). Computing the multicover bifiltration. In Leibniz International Proceedings in Informatics (Vol. 189). Online: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2021.27
[Published Version] View | Files available | DOI | arXiv
 

2021 | Published | Journal Article | IST-REx-ID: 9606 | OA
Tononi, A., Cappellaro, A., Bighin, G., & Salasnich, L. (2021). Propagation of first and second sound in a two-dimensional Fermi superfluid. Physical Review A. American Physical Society. https://doi.org/10.1103/PhysRevA.103.L061303
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Published | Journal Article | IST-REx-ID: 9822 | OA
Zisis, T., Schwarz, J., Balles, M., Kretschmer, M., Nemethova, M., Chait, R. P., … Zahler, S. (2021). Sequential and switchable patterning for studying cellular processes under spatiotemporal control. ACS Applied Materials and Interfaces. American Chemical Society. https://doi.org/10.1021/acsami.1c09850
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Published | Journal Article | IST-REx-ID: 9641 | OA
Fredes, F., & Shigemoto, R. (2021). The role of hippocampal mossy cells in novelty detection. Neurobiology of Learning and Memory. Elsevier. https://doi.org/10.1016/j.nlm.2021.107486
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Published | Conference Paper | IST-REx-ID: 9645 | OA
Asadi, A., Chatterjee, K., Fu, H., Goharshady, A. K., & Mahdavi, M. (2021). Polynomial reachability witnesses via Stellensätze. In Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (pp. 772–787). Online: Association for Computing Machinery. https://doi.org/10.1145/3453483.3454076
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2021 | Published | Journal Article | IST-REx-ID: 9829 | OA
Baranov, D., Šverko, T., Moot, T., Keller, H. R., Klein, M. D., Vishnu, E. K., … Shulenberger, K. E. (2021). News in Nanocrystals seminar: Self-assembly of early career researchers toward globally accessible nanoscience. ACS Nano. American Chemical Society. https://doi.org/10.1021/acsnano.1c03276
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2021 | Published | Journal Article | IST-REx-ID: 9759 | OA
Bartlett, M. J., Arslan, F. N., Bankston, A., & Sarabipour, S. (2021). Ten simple rules to improve academic work- life balance. PLoS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1009124
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

Filters and Search Terms

department=ResearchGroups

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed