Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




5871 Publications

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: 9356 | OA
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 | 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 | Conference Paper | IST-REx-ID: 10666 | OA
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 | OA
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 | 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 | Published | Journal Article | IST-REx-ID: 9641 | OA
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 | 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
 
2021 | Published | Journal Article | IST-REx-ID: 9205 | OA
Kampjut, D., Steiner, J., & Sazanov, L. A. (2021). Cryo-EM grid optimization for membrane proteins. IScience. Elsevier. https://doi.org/10.1016/j.isci.2021.102139
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed