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 |

Quantitative and approximate monitoring
T.A. Henzinger, N.E. Sarac, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
T.A. Henzinger, N.E. Sarac, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021.
2021 | Published | Journal Article | IST-REx-ID: 9408 |

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

Regimes of motion of magnetocapillary swimmers
A. Sukhov, M. Hubert, G.M. Grosjean, O. Trosman, S. Ziegler, Y. Collard, N. Vandewalle, A.S. Smith, J. Harting, European Physical Journal E 44 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
A. Sukhov, M. Hubert, G.M. Grosjean, O. Trosman, S. Ziegler, Y. Collard, N. Vandewalle, A.S. Smith, J. Harting, European Physical Journal E 44 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9465 |

A step in the Delaunay mosaic of order k
H. Edelsbrunner, A. Nikitenko, G.F. Osang, Journal of Geometry 112 (2021).
[Published Version]
View
| Files available
| DOI
H. Edelsbrunner, A. Nikitenko, G.F. Osang, Journal of Geometry 112 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9331 |

Improving cold-atom sensors with quantum entanglement: Prospects and challenges
S.S. Szigeti, O. Hosten, S.A. Haine, Applied Physics Letters 118 (2021).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
S.S. Szigeti, O. Hosten, S.A. Haine, Applied Physics Letters 118 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9294 |

Engaging the front wheels to drive through fibrous terrain
F.R. Gärtner, M.K. Sixt, Developmental Cell 56 (2021) 723–725.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
F.R. Gärtner, M.K. Sixt, Developmental Cell 56 (2021) 723–725.
2021 | Published | Journal Article | IST-REx-ID: 9467 |

Suppression of turbulence and travelling waves in a vertical heated pipe
E. Marensi, S. He, A.P. Willis, Journal of Fluid Mechanics 919 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
E. Marensi, S. He, A.P. Willis, Journal of Fluid Mechanics 919 (2021).
2021 | Published | Conference Paper | IST-REx-ID: 9543 |

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

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

Closing of the induced gap in a hybrid superconductor-semiconductor nanowire
D. Puglia, E.A. Martinez, G.C. Ménard, A. Pöschl, S. Gronin, G.C. Gardner, R. Kallaher, M.J. Manfra, C.M. Marcus, A.P. Higginbotham, L. Casparis, Physical Review B 103 (2021).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
D. Puglia, E.A. Martinez, G.C. Ménard, A. Pöschl, S. Gronin, G.C. Gardner, R. Kallaher, M.J. Manfra, C.M. Marcus, A.P. Higginbotham, L. Casparis, Physical Review B 103 (2021).
2021 | Research Data Reference | IST-REx-ID: 13080 |

Data for 'Closing of the Induced Gap in a Hybrid Superconductor-Semiconductor Nanowire
D. Puglia, E. Martinez, G. Menard, A. Pöschl, S. Gronin, G. Gardner, R. Kallaher, M. Manfra, C. Marcus, A.P. Higginbotham, L. Casparis, (2021).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
D. Puglia, E. Martinez, G. Menard, A. Pöschl, S. Gronin, G. Gardner, R. Kallaher, M. Manfra, C. Marcus, A.P. Higginbotham, L. Casparis, (2021).
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 | 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: 9822 |

Sequential and switchable patterning for studying cellular processes under spatiotemporal control
T. Zisis, J. Schwarz, M. Balles, M. Kretschmer, M. Nemethova, R.P. Chait, R. Hauschild, J. Lange, C.C. Guet, M.K. Sixt, S. Zahler, ACS Applied Materials and Interfaces 13 (2021) 35545–35560.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
T. Zisis, J. Schwarz, M. Balles, M. Kretschmer, M. Nemethova, R.P. Chait, R. Hauschild, J. Lange, C.C. Guet, M.K. Sixt, S. Zahler, ACS Applied Materials and Interfaces 13 (2021) 35545–35560.
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 | 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 | Journal Article | IST-REx-ID: 9829 |

News in Nanocrystals seminar: Self-assembly of early career researchers toward globally accessible nanoscience
D. Baranov, T. Šverko, T. Moot, H.R. Keller, M.D. Klein, E.K. Vishnu, D. Balazs, K.E. Shulenberger, ACS Nano 15 (2021) 10743–10747.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
D. Baranov, T. Šverko, T. Moot, H.R. Keller, M.D. Klein, E.K. Vishnu, D. Balazs, K.E. Shulenberger, ACS Nano 15 (2021) 10743–10747.
2021 | Published | Journal Article | IST-REx-ID: 9759 |

Ten simple rules to improve academic work- life balance
M.J. Bartlett, F.N. Arslan, A. Bankston, S. Sarabipour, PLoS Computational Biology 17 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M.J. Bartlett, F.N. Arslan, A. Bankston, S. Sarabipour, PLoS Computational Biology 17 (2021).