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: 10854 | 
Foerster, Klaus-Tycho, et al. “Input-Dynamic Distributed Algorithms for Communication Networks.” Abstract Proceedings of the 2021 ACM SIGMETRICS / International Conference on Measurement and Modeling of Computer Systems, Association for Computing Machinery, 2021, pp. 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, Klaus-Tycho, et al. “Input-Dynamic Distributed Algorithms for Communication Networks.” Proceedings of the ACM on Measurement and Analysis of Computing Systems, vol. 5, no. 1, Association for Computing Machinery, 2021, pp. 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, Barbara E., et al. Early Queen Infection Shapes Developmental Dynamics and Induces Long-Term Disease Protection in Incipient Ant Colonies. Dryad, 2021, doi:10.5061/DRYAD.7PVMCVDTJ.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2021 | Research Data Reference | IST-REx-ID: 15284 |
Chatterjee, Krishnendu, et al. RevTerm. Association for Computing Machinery, 2021, doi:10.1145/3410304.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2021 | Published | Conference Paper | IST-REx-ID: 10669 |
Grunbacher, Sophie, et al. “On the Verification of Neural ODEs with Stochastic Guarantees.” Proceedings of the AAAI Conference on Artificial Intelligence, vol. 35, no. 13, AAAI Press, 2021, pp. 11525–35.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 10153 |
Mühlböck, Fabian, and Ross Tate. “Transitioning from Structural to Nominal Code with Efficient Gradual Typing.” Proceedings of the ACM on Programming Languages, vol. 5, 127, Association for Computing Machinery, 2021, doi:10.1145/3485504.
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 10404 |
Sietzen, Stefan, et al. “Interactive Analysis of CNN Robustness.” Computer Graphics Forum, vol. 40, no. 7, Wiley, 2021, pp. 253–64, doi:10.1111/cgf.14418.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9647 |
Petrov, Tatjana, et al. “Long Lived Transients in Gene Regulation.” Theoretical Computer Science, vol. 893, Elsevier, 2021, pp. 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, Ramin, et al. “Liquid Time-Constant Networks.” Proceedings of the AAAI Conference on Artificial Intelligence, vol. 35, no. 9, AAAI Press, 2021, pp. 7657–66.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10670 |
Vorbach, Charles J., et al. “Causal Navigation by Continuous-Time Neural Networks.” 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, Bernhard, and Shaz Qadeer. “The Civl Verifier.” Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, edited by Piskac Ruzica and Michael W. Whalen, vol. 2, TU Wien Academic Press, 2021, pp. 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, Naci E., et al. “Boosting Expensive Synchronizing Heuristics.” Expert Systems with Applications, vol. 167, no. 4, 114203, Elsevier, 2021, doi:10.1016/j.eswa.2020.114203.
[Submitted Version]
View
| Files available
| DOI
| WoS
2021 | Published | Conference Paper | IST-REx-ID: 10108 |
Mühlböck, Fabian, and Thomas A. Henzinger. “Differential Monitoring.” International Conference on Runtime Verification, vol. 12974, Springer Nature, 2021, pp. 231–43, doi:10.1007/978-3-030-88494-9_12.
[Preprint]
View
| Files available
| DOI
| WoS
2021 | Published | Journal Article | IST-REx-ID: 9036 |
Virosztek, Daniel. “The Metric Property of the Quantum Jensen-Shannon Divergence.” Advances in Mathematics, vol. 380, no. 3, 107595, Elsevier, 2021, doi:10.1016/j.aim.2021.107595.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9212 |
Cavallari, Nicola, et al. “Auxin-Regulated Lateral Root Organogenesis.” Cold Spring Harbor Perspectives in Biology, vol. 13, no. 7, a039941, Cold Spring Harbor Laboratory Press, 2021, doi:10.1101/cshperspect.a039941.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2021 | Submitted | Preprint | IST-REx-ID: 10080 |
Nardin, Michele, et al. “The Generalized Spatial Representation in the Prefrontal Cortex Is Inherited from the Hippocampus.” BioRxiv, Cold Spring Harbor Laboratory, doi:10.1101/2021.09.30.462269.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2021 | Draft | Preprint | IST-REx-ID: 10013 |
Hensel, Sebastian, and Tim Laux. “Weak-Strong Uniqueness for the Mean Curvature Flow of Double Bubbles.” ArXiv, 2108.01733, doi:10.48550/arXiv.2108.01733.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9999 |
Pulgar, Eduardo, et al. “Apical Contacts Stemming from Incomplete Delamination Guide Progenitor Cell Allocation through a Dragging Mechanism.” ELife, vol. 10, e66483, eLife Sciences Publications, 2021, doi:10.7554/eLife.66483.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Book Chapter | IST-REx-ID: 9245
Xia, Peng, and Carl-Philipp J. Heisenberg. “Quantifying Tissue Tension in the Granulosa Layer after Laser Surgery.” Germline Development in the Zebrafish, edited by Roland Dosch, vol. 2218, Humana, 2021, pp. 117–28, doi:10.1007/978-1-0716-0970-5_10.
View
| DOI
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 9350 |
Arslan, Feyza N., et al. “Holding It Together: When Cadherin Meets Cadherin.” Biophysical Journal, vol. 120, Biophysical Society, 2021, pp. 4182–92, doi:10.1016/j.bpj.2021.03.025.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC