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.
230 Publications
2019 | Thesis | IST-REx-ID: 6894 |
Giacobbe M. Automatic time-unbounded reachability analysis of hybrid systems. 2019. doi:10.15479/AT:ISTA:6894
[Published Version]
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 7172 |
Vasileva MK. Molecular mechanisms of endomembrane trafficking in Arabidopsis thaliana. 2019. doi:10.15479/AT:ISTA:7172
[Published Version]
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6473 |
Cepeda Humerez SA. Estimating information flow in single cells. 2019. doi:10.15479/AT:ISTA:6473
[Published Version]
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6071 |
Prizak R. Coevolution of transcription factors and their binding sites in sequence space. 2019. doi:10.15479/at:ista:th6071
[Published Version]
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6179 |
Schröder DJ. From Dyson to Pearcey: Universal statistics in random matrix theory. 2019. doi:10.15479/AT:ISTA:th6179
[Published Version]
View
| Files available
| DOI