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.
10717 Publications
2021 | Published | Journal Article | IST-REx-ID: 9005 | 
Brooks M, Lemeshko M, Lundholm D, Yakaboylu E. Molecular impurities as a realization of anyons on the two-sphere. Physical Review Letters. 2021;126(1). doi:10.1103/PhysRevLett.126.015301
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9359 |
Ho QP. Homological stability and densities of generalized configuration spaces. Geometry & Topology. 2021;25(2):813-912. doi:10.2140/gt.2021.25.813
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9260 |
Browning TD, Yamagishi S. Arithmetic of higher-dimensional orbifolds and a mixed Waring problem. Mathematische Zeitschrift. 2021;299:1071–1101. doi:10.1007/s00209-021-02695-w
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Scientific Software | IST-REx-ID: 9327 |
Sperl G, Narain R, Wojtan C. Mechanics-Aware Deformation of Yarn Pattern Geometry (Additional Animation/Model Data). 2021. doi:10.15479/AT:ISTA:9327
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 9818 |
Sperl G, Narain R, Wojtan C. Mechanics-aware deformation of yarn pattern geometry. ACM Transactions on Graphics. 2021;40(4). doi:10.1145/3450626.3459816
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2021 | Published | Journal Article | IST-REx-ID: 9226 |
Tkačik G, Gregor T. The many bits of positional information. Development. 2021;148(2). doi:10.1242/dev.176065
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 10073 |
Chang C, Ibáñez M. Enhanced thermoelectric performance by surface engineering in SnTe-PbS nanocomposites. Materials. 2021;14(18). doi:10.3390/ma14185416
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Conference Paper | IST-REx-ID: 11453 |
Braun L, Vogels TP. Online learning of neural computations from sparse temporal feedback. In: Advances in Neural Information Processing Systems - 35th Conference on Neural Information Processing Systems. Vol 20. Neural Information Processing Systems Foundation; 2021:16437-16450.
[Published Version]
View
| Download Published Version (ext.)
2021 | Published | Journal Article | IST-REx-ID: 9822 |
Zisis, Themistoklis, Sequential and switchable patterning for studying cellular processes under spatiotemporal control. ACS Applied Materials and Interfaces 13 (30). 2021
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 9905 |
Rella S, Kulikova YA, Dermitzakis ET, Kondrashov F. Rates of SARS-CoV-2 transmission and vaccination impact the fate of vaccine-resistant strains. Scientific Reports. 2021;11(1). doi:10.1038/s41598-021-95025-3
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 9910 |
Slavskii, Sergei A., The limits of normal approximation for adult height. European Journal of Human Genetics 29 (7). 2021
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 10606 |
Godard BG, Dumollard R, Heisenberg C-PJ, Mcdougall A. Combined effect of cell geometry and polarity domains determines the orientation of unequal division. eLife. 2021;10. doi:10.7554/eLife.75639
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Conference Paper | IST-REx-ID: 10218 |
Alistarh D-A, Gelashvili R, Rybicki J. Brief announcement: Fast graphical population protocols. In: 35th International Symposium on Distributed Computing. Vol 209. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2021. doi:10.4230/LIPIcs.DISC.2021.43
[Published Version]
View
| Files available
| DOI
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 9678 |
Brandt S, Keller B, Rybicki J, Suomela J, Uitto J. Efficient load-balancing through distributed token dropping. In: Annual ACM Symposium on Parallelism in Algorithms and Architectures. ; 2021:129-139. doi:10.1145/3409964.3461785
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9259 |
Vaahtomeri K, Moussion C, Hauschild R, Sixt MK. Shape and function of interstitial chemokine CCL21 gradients are independent of heparan sulfates produced by lymphatic endothelium. Frontiers in Immunology. 2021;12. doi:10.3389/fimmu.2021.630002
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 10365 |
Luciano M, Xue S, De Vos WH, et al. Cell monolayers sense curvature by exploiting active mechanics and nuclear mechanoadaptation. Nature Physics. 2021;17(12):1382–1390. doi:10.1038/s41567-021-01374-1
[Submitted Version]
View
| Files available
| DOI
| WoS
2021 | Published | Journal Article | IST-REx-ID: 9629 |
Yang Q, Xue S, Chan CJ, et al. Cell fate coordinates mechano-osmotic forces in intestinal crypt formation. Nature Cell Biology. 2021;23:733–744. doi:10.1038/s41556-021-00700-2
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 9244 |
Hankeova S, Salplachta J, Zikmund T, et al. DUCT reveals architectural mechanisms contributing to bile duct recovery in a mouse model for alagille syndrome. eLife. 2021;10. doi:10.7554/eLife.60916
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 8817
Shehu Y, Iyiola OS, Thong DV, Van NTC. An inertial subgradient extragradient algorithm extended to pseudomonotone equilibrium problems. Mathematical Methods of Operations Research. 2021;93(2):213-242. doi:10.1007/s00186-020-00730-w
View
| DOI
| WoS
2021 | Published | Conference Paper | IST-REx-ID: 10148 |
Degraen D, Piovarci M, Bickel B, Kruger A. Capturing tactile properties of real surfaces for haptic reproduction. In: 34th Annual ACM Symposium. Association for Computing Machinery; 2021:954-971. doi:10.1145/3472749.3474798
[Preprint]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 8723 |
Li, Shigang, Breaking (global) barriers in parallel stochastic optimization with wait-avoiding group averaging. IEEE Transactions on Parallel and Distributed Systems 32 (7). 2021
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10854 |
Foerster K-T, Korhonen J, Paz A, Rybicki J, Schmid S. Input-dynamic distributed algorithms for communication networks. In: Abstract Proceedings of the 2021 ACM SIGMETRICS / International Conference on Measurement and Modeling of Computer Systems. Association for Computing Machinery; 2021:71-72. doi:10.1145/3410220.3453923
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 10855 |
Foerster K-T, Korhonen J, Paz A, Rybicki J, Schmid S. Input-dynamic distributed algorithms for communication networks. Proceedings of the ACM on Measurement and Analysis of Computing Systems. 2021;5(1):1-33. doi:10.1145/3447384
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Research Data Reference | IST-REx-ID: 13061 |
Casillas Perez BE, Pull C, Naiser F, Naderlinger E, Matas J, Cremer S. Early queen infection shapes developmental dynamics and induces long-term disease protection in incipient ant colonies. 2021. doi:10.5061/DRYAD.7PVMCVDTJ
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2021 | Published | Conference Paper | IST-REx-ID: 12767 |
Bansal S, Chatterjee K, Vardi MY. On satisficing in quantitative games. In: 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 12651. Springer Nature; 2021:20-37. doi:10.1007/978-3-030-72016-2
[Published Version]
View
| Files available
| DOI
| arXiv
2021 | Research Data Reference | IST-REx-ID: 15284 |
Chatterjee K, Goharshady EK, Novotný P, Zikelic D. RevTerm. 2021. doi:10.1145/3410304
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2021 | Published | Conference Paper | IST-REx-ID: 10004 |
Chatterjee, Krishnendu, Stochastic processes with expected stopping time. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. 2021
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10847 |
Tomášek, Petr, Solving partially observable stochastic shortest-path games. 30th International Joint Conference on Artificial Intelligence. 2021
[Published Version]
View
| DOI
| Download Published Version (ext.)
2021 | Published | Conference Paper | IST-REx-ID: 10669 |
Grunbacher S, Hasani R, Lechner M, Cyranka J, Smolka SA, Grosu R. On the verification of neural ODEs with stochastic guarantees. In: Proceedings of the AAAI Conference on Artificial Intelligence. Vol 35. AAAI Press; 2021:11525-11535.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 10153 |
Mühlböck F, Tate R. Transitioning from structural to nominal code with efficient gradual typing. Proceedings of the ACM on Programming Languages. 2021;5. doi:10.1145/3485504
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 10404 |
Sietzen S, Lechner M, Borowski J, Hasani R, Waldner M. Interactive analysis of CNN robustness. Computer Graphics Forum. 2021;40(7):253-264. doi:10.1111/cgf.14418
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9647 |
Petrov T, Igler C, Sezgin A, Henzinger TA, Guet CC. Long lived transients in gene regulation. Theoretical Computer Science. 2021;893:1-16. doi:10.1016/j.tcs.2021.05.023
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Conference Paper | IST-REx-ID: 10671 |
Hasani R, Lechner M, Amini A, Rus D, Grosu R. Liquid time-constant networks. In: Proceedings of the AAAI Conference on Artificial Intelligence. Vol 35. AAAI Press; 2021:7657-7666.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10670 |
Vorbach CJ, Hasani R, Amini A, Lechner M, Rus D. Causal navigation by continuous-time neural networks. In: 35th Conference on Neural Information Processing Systems. ; 2021.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10688 |
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 | Journal Article | IST-REx-ID: 8912 |
Sarac NE, Altun ÖF, Atam KT, Karahoda S, Kaya K, Yenigün H. Boosting expensive synchronizing heuristics. Expert Systems with Applications. 2021;167(4). doi:10.1016/j.eswa.2020.114203
[Submitted Version]
View
| Files available
| DOI
| WoS
2021 | Published | Conference Paper | IST-REx-ID: 9356 |
Henzinger, Thomas A, Quantitative and approximate monitoring. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. 2021
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10108 |
Mühlböck F, Henzinger TA. Differential monitoring. In: International Conference on Runtime Verification. Vol 12974. Cham: Springer Nature; 2021:231-243. doi:10.1007/978-3-030-88494-9_12
[Preprint]
View
| Files available
| DOI
| WoS
2021 | Published | Conference Paper | IST-REx-ID: 10666 |
Lechner, Mathias, Adversarial training is not ready for robot learning. 2021 IEEE International Conference on Robotics and Automation. 2021
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10002 |
Chatterjee, Krishnendu, Symbolic time and space tradeoffs for probabilistic verification. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. 2021
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9036 |
Virosztek D. The metric property of the quantum Jensen-Shannon divergence. Advances in Mathematics. 2021;380(3). doi:10.1016/j.aim.2021.107595
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9212 |
Cavallari N, Artner C, Benková E. Auxin-regulated lateral root organogenesis. Cold Spring Harbor Perspectives in Biology. 2021;13(7). doi:10.1101/cshperspect.a039941
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 9641 |
Fredes, Felipe, The role of hippocampal mossy cells in novelty detection. Neurobiology of Learning and Memory 183. 2021
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Submitted | Preprint | IST-REx-ID: 10080 |
Nardin M, Käfer K, Csicsvari JL. The generalized spatial representation in the prefrontal cortex is inherited from the hippocampus. bioRxiv. doi:10.1101/2021.09.30.462269
[Preprint]
View
| DOI
| Download Preprint (ext.)
2021 | Draft | Preprint | IST-REx-ID: 10013 |
Hensel S, Laux T. Weak-strong uniqueness for the mean curvature flow of double bubbles. arXiv. doi:10.48550/arXiv.2108.01733
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9999 |
Pulgar E, Schwayer C, Guerrero N, et al. Apical contacts stemming from incomplete delamination guide progenitor cell allocation through a dragging mechanism. eLife. 2021;10. doi:10.7554/eLife.66483
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Book Chapter | IST-REx-ID: 9245
Xia P, Heisenberg C-PJ. Quantifying tissue tension in the granulosa layer after laser surgery. In: Dosch R, ed. Germline Development in the Zebrafish. Vol 2218. Humana; 2021:117-128. doi:10.1007/978-1-0716-0970-5_10
View
| DOI
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 9350 |
Arslan FN, Eckert J, Schmidt T, Heisenberg C-PJ. Holding it together: when cadherin meets cadherin. Biophysical Journal. 2021;120:4182-4192. doi:10.1016/j.bpj.2021.03.025
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 9205 |
Kampjut D, Steiner J, Sazanov LA. Cryo-EM grid optimization for membrane proteins. iScience. 2021;24(3). doi:10.1016/j.isci.2021.102139
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 9412 |
Cipolloni G, Erdös L, Schröder DJ. Fluctuation around the circular law for random matrices with real entries. Electronic Journal of Probability. 2021;26. doi:10.1214/21-EJP591
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv