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
2026 |
Published |
Conference Paper |
IST-REx-ID: 22006 |
Chalupa M, Henzinger TA, Sarac NE, Yu E. Quantitative monitoring of Signal First-Order logic. In: 27th International Symposium on Formal Methods. Vol 16557. Springer Nature; 2026:214-233. doi:10.1007/978-3-032-26220-2_11
[Published Version]
View
| Files available
| DOI
| arXiv
2022 |
Published |
Thesis | PhD |
IST-REx-ID: 10799 |
Konstantinov NH. Robustness and fairness in machine learning. 2022. doi:10.15479/at:ista:10799
[Published Version]
View
| Files available
| DOI
2022 |
Published |
Journal Article |
IST-REx-ID: 10802 |
Konstantinov NH, Lampert C. Fairness-aware PAC learning from corrupted data. Journal of Machine Learning Research. 2022;23:1-60.
[Published Version]
View
| Files available
| arXiv