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.
10763 Publications
2021 | Published | Conference Paper | IST-REx-ID: 9200 | 
Synthesis of hybrid automata with affine dynamics from time-series data
M. Garcia Soto, T.A. Henzinger, C. Schilling, in:, HSCC ’21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control, Association for Computing Machinery, 2021, p. 2102.12734.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Garcia Soto, T.A. Henzinger, C. Schilling, in:, HSCC ’21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control, Association for Computing Machinery, 2021, p. 2102.12734.
2021 | Published | Journal Article | IST-REx-ID: 9100 |
Speciation in marine environments: Diving under the surface
R. Faria, K. Johannesson, S. Stankowski, Journal of Evolutionary Biology 34 (2021) 4–15.
[Published Version]
View
| Files available
| DOI
| WoS
R. Faria, K. Johannesson, S. Stankowski, Journal of Evolutionary Biology 34 (2021) 4–15.
2021 | Published | Journal Article | IST-REx-ID: 9224 |
Distinguishing localization from chaos: Challenges in finite-size systems
D.A. Abanin, J.H. Bardarson, G. De Tomasi, S. Gopalakrishnan, V. Khemani, S.A. Parameswaran, F. Pollmann, A.C. Potter, M. Serbyn, R. Vasseur, Annals of Physics 427 (2021).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
D.A. Abanin, J.H. Bardarson, G. De Tomasi, S. Gopalakrishnan, V. Khemani, S.A. Parameswaran, F. Pollmann, A.C. Potter, M. Serbyn, R. Vasseur, Annals of Physics 427 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9099 |
Lifting automorphisms on Abelian varieties as derived autoequivalences
T.K. Srivastava, Archiv Der Mathematik 116 (2021) 515–527.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
T.K. Srivastava, Archiv Der Mathematik 116 (2021) 515–527.
2021 | Published | Journal Article | IST-REx-ID: 9316 |
Rigidity percolation uncovers a structural basis for embryonic tissue phase transitions
N. Petridou, B. Corominas-Murtra, C.-P.J. Heisenberg, E.B. Hannezo, Cell 184 (2021) 1914–1928.e19.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
N. Petridou, B. Corominas-Murtra, C.-P.J. Heisenberg, E.B. Hannezo, Cell 184 (2021) 1914–1928.e19.
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).