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.
497 Publications
2021 | Published | Journal Article | IST-REx-ID: 9952 | 
Chaigne, A., Smith, M. B., Cavestany, R. L., Hannezo, E. B., Chalut, K. J., & Paluch, E. K. (2021). Three-dimensional geometry controls division symmetry in stem cell colonies. Journal of Cell Science. The Company of Biologists. https://doi.org/10.1242/jcs.255018
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Conference Paper | IST-REx-ID: 10206 |
Lukina, A., Schilling, C., & Henzinger, T. A. (2021). Into the unknown: active monitoring of neural networks. In 21st International Conference on Runtime Verification (Vol. 12974, pp. 42–61). Cham: Springer Nature. https://doi.org/10.1007/978-3-030-88494-9_3
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 10404 |
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 | Conference Paper | IST-REx-ID: 10671 |
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 |
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: 9200 |
Garcia Soto, M., Henzinger, T. A., & Schilling, C. (2021). Synthesis of hybrid automata with affine dynamics from time-series data. In HSCC ’21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control (p. 2102.12734). Nashville, TN, United States: Association for Computing Machinery. https://doi.org/10.1145/3447928.3456704
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10667 |
Lechner, M., Žikelić, Ð., Chatterjee, K., & Henzinger, T. A. (2021). Infinite time horizon safety of Bayesian neural networks. In 35th Conference on Neural Information Processing Systems. Virtual. https://doi.org/10.48550/arXiv.2111.03165
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9602 |
Pach, J., & Tomon, I. (2021). Erdős-Hajnal-type results for monotone paths. Journal of Combinatorial Theory. Series B. Elsevier. https://doi.org/10.1016/j.jctb.2021.05.004
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Conference Paper | IST-REx-ID: 10688 |
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: 9376 |
Zhang, R., Auzinger, T., & Bickel, B. (2021). Computational design of planar multistable compliant structures. ACM Transactions on Graphics. Association for Computing Machinery. https://doi.org/10.1145/3453477
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Journal Article | IST-REx-ID: 9569 |
Dar, M. S., Akram, K. B., Sohail, A., Arif, F., Zabihi, F., Yang, S., … Nauman, M. (2021). Heat induction in two-dimensional graphene–Fe3O4 nanohybrids for magnetic hyperthermia applications with artificial neural network modeling. RSC Advances. Royal Society of Chemistry. https://doi.org/10.1039/d1ra03428f
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Thesis | IST-REx-ID: 10035 |
Klein, K. (2021). On the adaptive security of graph-based games. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10035
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 17384
Ren, Y., Panetta, J., Chen, T., Isvoranu, F., Poincloux, S., Brandt, C., … Pauly, M. (2021). 3D weaving with curved ribbons. ACM Transactions on Graphics. Association for Computing Machinery. https://doi.org/10.1145/3450626.3459788
View
| DOI
2021 | Published | Journal Article | IST-REx-ID: 17583 |
Tagawa, H., Kocsis, B., Haiman, Z., Bartos, I., Omukai, K., & Samsing, J. (2021). Eccentric black hole mergers in active galactic nuclei. The Astrophysical Journal Letters. American Astronomical Society. https://doi.org/10.3847/2041-8213/abd4d3
[Published Version]
View
| DOI
| Download Published Version (ext.)
2021 | Published | Journal Article | IST-REx-ID: 9241 |
Elek, O., Zhang, R., Sumin, D., Myszkowski, K., Bickel, B., Wilkie, A., … Weyrich, T. (2021). Robust and practical measurement of volume transport parameters in solid photo-polymer materials for 3D printing. Optics Express. The Optical Society. https://doi.org/10.1364/OE.406095
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Journal Article | IST-REx-ID: 9244 |
Hankeova, S., Salplachta, J., Zikmund, T., Kavkova, M., Van Hul, N., Brinek, A., … Andersson, E. R. (2021). DUCT reveals architectural mechanisms contributing to bile duct recovery in a mouse model for alagille syndrome. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.60916
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 9294 |
Gärtner, F. R., & Sixt, M. K. (2021). Engaging the front wheels to drive through fibrous terrain. Developmental Cell. Elsevier. https://doi.org/10.1016/j.devcel.2021.03.002
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 9295 |
Arroyo Guevara, A. M., Mcquillan, D., Richter, R. B., Salazar, G., & Sullivan, M. (2021). Drawings of complete graphs in the projective plane. Journal of Graph Theory. Wiley. https://doi.org/10.1002/jgt.22665
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9412 |
Cipolloni, G., Erdös, L., & Schröder, D. J. (2021). Fluctuation around the circular law for random matrices with real entries. Electronic Journal of Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/21-EJP591
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9547 |
Rittig, T., Sumin, D., Babaei, V., Didyk, P., Voloboy, A., Wilkie, A., … Křivánek, J. (2021). Neural acceleration of scattering-aware color 3D printing. Computer Graphics Forum. Wiley. https://doi.org/10.1111/cgf.142626
[Submitted Version]
View
| Files available
| DOI
| WoS