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.
238 Publications
2023 | Journal Article | IST-REx-ID: 12680 |
Ivanov G, Köse S. Erdős-Ko-Rado and Hilton-Milner theorems for two-forms. Discrete Mathematics. 2023;346(6). doi:10.1016/j.disc.2023.113363
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 13221 |
Boker U, Henzinger TA, Mazzocchi NA, Sarac NE. Safety and liveness of quantitative automata. In: 34th International Conference on Concurrency Theory. Vol 279. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:10.4230/LIPIcs.CONCUR.2023.17
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 12406 |
Diao Y. Density of the union of positive diagonal binary quadratic forms. Acta Arithmetica. 2023;207:1-17. doi:10.4064/aa210830-24-11
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Thesis | IST-REx-ID: 14422
Confavreux BJ. Synapseek: Meta-learning synaptic plasticity rules. 2023. doi:10.15479/at:ista:14422
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 14374 |
Roos B. Boundary superconductivity in BCS theory. 2023. doi:10.15479/at:ista:14374
[Published Version]
View
| Files available
| DOI