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.

3 Publications


2022 | Thesis | IST-REx-ID: 11362 | OA
Lechner, Mathias. Learning Verifiable Representations. Institute of Science and Technology Austria, 2022, doi:10.15479/at:ista:11362.
[Published Version] View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 10206 | OA
Lukina, Anna, et al. “Into the Unknown: Active Monitoring of Neural Networks.” 21st International Conference on Runtime Verification, vol. 12974, Springer Nature, 2021, pp. 42–61, doi:10.1007/978-3-030-88494-9_3.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Research Data | IST-REx-ID: 5584 | OA
Deny, Stephane, et al. Nonlinear Decoding of a Complex Movie from the Mammalian Retina. Institute of Science and Technology Austria, 2018, doi:10.15479/AT:ISTA:98.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

keyword="neural networks"

Search

Filter Publications