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.
5872 Publications
2021 | Published | Journal Article | IST-REx-ID: 10404 | 
S. Sietzen, M. Lechner, J. Borowski, R. Hasani, and M. Waldner, “Interactive analysis of CNN robustness,” Computer Graphics Forum, vol. 40, no. 7. Wiley, pp. 253–264, 2021.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9647 |
T. Petrov, C. Igler, A. Sezgin, T. A. Henzinger, and C. C. Guet, “Long lived transients in gene regulation,” Theoretical Computer Science, vol. 893. Elsevier, pp. 1–16, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Conference Paper | IST-REx-ID: 10671 |
R. Hasani, M. Lechner, A. Amini, D. Rus, and R. Grosu, “Liquid time-constant networks,” in Proceedings of the AAAI Conference on Artificial Intelligence, Virtual, 2021, vol. 35, no. 9, pp. 7657–7666.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10670 |
C. J. Vorbach, R. Hasani, A. Amini, M. Lechner, and D. Rus, “Causal navigation by continuous-time neural networks,” in 35th Conference on Neural Information Processing Systems, Virtual, 2021.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10688 |
B. Kragl and S. Qadeer, “The Civl verifier,” in Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, Virtual, 2021, vol. 2, pp. 143–152.
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 8912 |
N. E. Sarac, Ö. F. Altun, K. T. Atam, S. Karahoda, K. Kaya, and H. Yenigün, “Boosting expensive synchronizing heuristics,” Expert Systems with Applications, vol. 167, no. 4. Elsevier, 2021.
[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 |
F. Mühlböck and T. A. Henzinger, “Differential monitoring,” in International Conference on Runtime Verification, Virtual, 2021, vol. 12974, pp. 231–243.
[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 |
D. Virosztek, “The metric property of the quantum Jensen-Shannon divergence,” Advances in Mathematics, vol. 380, no. 3. Elsevier, 2021.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9212 |
N. Cavallari, C. Artner, and E. Benková, “Auxin-regulated lateral root organogenesis,” Cold Spring Harbor Perspectives in Biology, vol. 13, no. 7. Cold Spring Harbor Laboratory Press, 2021.
[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 |
M. Nardin, K. Käfer, and J. L. Csicsvari, “The generalized spatial representation in the prefrontal cortex is inherited from the hippocampus,” bioRxiv. Cold Spring Harbor Laboratory.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2021 | Draft | Preprint | IST-REx-ID: 10013 |
S. Hensel and T. Laux, “Weak-strong uniqueness for the mean curvature flow of double bubbles,” arXiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9999 |
E. Pulgar et al., “Apical contacts stemming from incomplete delamination guide progenitor cell allocation through a dragging mechanism,” eLife, vol. 10. eLife Sciences Publications, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Book Chapter | IST-REx-ID: 9245
P. Xia and C.-P. J. Heisenberg, “Quantifying tissue tension in the granulosa layer after laser surgery,” in Germline Development in the Zebrafish, vol. 2218, R. Dosch, Ed. Humana, 2021, pp. 117–128.
View
| DOI
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 9350 |
F. N. Arslan, J. Eckert, T. Schmidt, and C.-P. J. Heisenberg, “Holding it together: when cadherin meets cadherin,” Biophysical Journal, vol. 120. Biophysical Society, pp. 4182–4192, 2021.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 9205 |
D. Kampjut, J. Steiner, and L. A. Sazanov, “Cryo-EM grid optimization for membrane proteins,” iScience, vol. 24, no. 3. Elsevier, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 9412 |
G. Cipolloni, L. Erdös, and D. J. Schröder, “Fluctuation around the circular law for random matrices with real entries,” Electronic Journal of Probability, vol. 26. Institute of Mathematical Statistics, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv