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 | OA
Foerster, K.-T., Korhonen, J., Paz, A., Rybicki, J., & Schmid, S. (2021). Input-dynamic distributed algorithms for communication networks. In Abstract Proceedings of the 2021 ACM SIGMETRICS / International Conference on Measurement and Modeling of Computer Systems (pp. 71–72). Virtual, Online: Association for Computing Machinery. https://doi.org/10.1145/3410220.3453923
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2021 | Published | Journal Article | IST-REx-ID: 10855 | OA
Foerster, K.-T., Korhonen, J., Paz, A., Rybicki, J., & Schmid, S. (2021). Input-dynamic distributed algorithms for communication networks. Proceedings of the ACM on Measurement and Analysis of Computing Systems. Association for Computing Machinery. https://doi.org/10.1145/3447384
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2021 | Research Data Reference | IST-REx-ID: 13061 | OA
Casillas Perez, B. E., Pull, C., Naiser, F., Naderlinger, E., Matas, J., & Cremer, S. (2021). Early queen infection shapes developmental dynamics and induces long-term disease protection in incipient ant colonies. Dryad. https://doi.org/10.5061/DRYAD.7PVMCVDTJ
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2021 | Research Data Reference | IST-REx-ID: 15284 | OA
Chatterjee, K., Goharshady, E. K., Novotný, P., & Zikelic, D. (2021). RevTerm. Association for Computing Machinery. https://doi.org/10.1145/3410304
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2021 | Published | Conference Paper | IST-REx-ID: 10669 | OA
Grunbacher, S., Hasani, R., Lechner, M., Cyranka, J., Smolka, S. A., & Grosu, R. (2021). On the verification of neural ODEs with stochastic guarantees. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 35, pp. 11525–11535). Virtual: AAAI Press.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Published | Journal Article | IST-REx-ID: 10153 | OA
Mühlböck, F., & Tate, R. (2021). Transitioning from structural to nominal code with efficient gradual typing. Proceedings of the ACM on Programming Languages. Chicago, IL, United States: Association for Computing Machinery. https://doi.org/10.1145/3485504
[Published Version] View | Files available | DOI
 

2021 | Published | Journal Article | IST-REx-ID: 10404 | OA
Sietzen, S., Lechner, M., Borowski, J., Hasani, R., & Waldner, M. (2021). Interactive analysis of CNN robustness. Computer Graphics Forum. Wiley. https://doi.org/10.1111/cgf.14418
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Published | Journal Article | IST-REx-ID: 9647 | OA
Petrov, T., Igler, C., Sezgin, A., Henzinger, T. A., & Guet, C. C. (2021). Long lived transients in gene regulation. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2021.05.023
[Published Version] View | Files available | DOI | WoS
 

2021 | Published | Conference Paper | IST-REx-ID: 10671 | OA
Hasani, R., Lechner, M., Amini, A., Rus, D., & Grosu, R. (2021). Liquid time-constant networks. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 35, pp. 7657–7666). Virtual: AAAI Press.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Published | Conference Paper | IST-REx-ID: 10670 | OA
Vorbach, C. J., Hasani, R., Amini, A., Lechner, M., & Rus, D. (2021). Causal navigation by continuous-time neural networks. In 35th Conference on Neural Information Processing Systems. Virtual.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Published | Conference Paper | IST-REx-ID: 10688 | OA
Kragl, B., & Qadeer, S. (2021). The Civl verifier. In P. Ruzica & M. W. Whalen (Eds.), Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design (Vol. 2, pp. 143–152). Virtual: TU Wien Academic Press. https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_23
[Published Version] View | Files available | DOI
 

2021 | Published | Journal Article | IST-REx-ID: 8912 | OA
Sarac, N. E., Altun, Ö. F., Atam, K. T., Karahoda, S., Kaya, K., & Yenigün, H. (2021). Boosting expensive synchronizing heuristics. Expert Systems with Applications. Elsevier. https://doi.org/10.1016/j.eswa.2020.114203
[Submitted Version] View | Files available | DOI | WoS
 

2021 | Published | Conference Paper | IST-REx-ID: 10108 | OA
Mühlböck, F., & Henzinger, T. A. (2021). Differential monitoring. In International Conference on Runtime Verification (Vol. 12974, pp. 231–243). Cham: Springer Nature. https://doi.org/10.1007/978-3-030-88494-9_12
[Preprint] View | Files available | DOI | WoS
 

2021 | Published | Journal Article | IST-REx-ID: 9036 | OA
Virosztek, D. (2021). The metric property of the quantum Jensen-Shannon divergence. Advances in Mathematics. Elsevier. https://doi.org/10.1016/j.aim.2021.107595
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Published | Journal Article | IST-REx-ID: 9212 | OA
Cavallari, N., Artner, C., & Benková, E. (2021). Auxin-regulated lateral root organogenesis. Cold Spring Harbor Perspectives in Biology. Cold Spring Harbor Laboratory Press. https://doi.org/10.1101/cshperspect.a039941
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2021 | Submitted | Preprint | IST-REx-ID: 10080 | OA
Nardin, M., Käfer, K., & Csicsvari, J. L. (n.d.). The generalized spatial representation in the prefrontal cortex is inherited from the hippocampus. bioRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/2021.09.30.462269
[Preprint] View | DOI | Download Preprint (ext.)
 

2021 | Draft | Preprint | IST-REx-ID: 10013 | OA
Hensel, S., & Laux, T. (n.d.). Weak-strong uniqueness for the mean curvature flow of double bubbles. arXiv. https://doi.org/10.48550/arXiv.2108.01733
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2021 | Published | Journal Article | IST-REx-ID: 9999 | OA
Pulgar, E., Schwayer, C., Guerrero, N., López, L., Márquez, S., Härtel, S., … Concha, M. L. (2021). Apical contacts stemming from incomplete delamination guide progenitor cell allocation through a dragging mechanism. ELife. eLife Sciences Publications. https://doi.org/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.-P. J. (2021). Quantifying tissue tension in the granulosa layer after laser surgery. In R. Dosch (Ed.), Germline Development in the Zebrafish (Vol. 2218, pp. 117–128). Humana. https://doi.org/10.1007/978-1-0716-0970-5_10
View | DOI | PubMed | Europe PMC
 

2021 | Published | Journal Article | IST-REx-ID: 9350 | OA
Arslan, F. N., Eckert, J., Schmidt, T., & Heisenberg, C.-P. J. (2021). Holding it together: when cadherin meets cadherin. Biophysical Journal. Biophysical Society. https://doi.org/10.1016/j.bpj.2021.03.025
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

Filters and Search Terms

department=ResearchGroups

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed