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.
6331 Publications
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 7460 |
Ölsböck, K. (2020). The hole system of triangulated shapes. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:7460
[Published Version]
View
| Files available
| DOI
2020 |
Published |
Conference Paper |
IST-REx-ID: 8195 |
Kragl, B., Qadeer, S., & Henzinger, T. A. (2020). Refinement for structured concurrent programs. In Computer Aided Verification (Vol. 12224, pp. 275–298). Springer Nature. https://doi.org/10.1007/978-3-030-53288-8_14
[Published Version]
View
| Files available
| DOI
| WoS
2020 |
Published |
Conference Paper |
IST-REx-ID: 8012 |
Kragl, B., Enea, C., Henzinger, T. A., Mutluergil, S. O., & Qadeer, S. (2020). Inductive sequentialization of asynchronous programs. In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (pp. 227–242). London, United Kingdom: Association for Computing Machinery. https://doi.org/10.1145/3385412.3385980
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 7896 |
Kamath Hosdurg, C. (2020). On the average-case hardness of total search problems. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:7896
[Published Version]
View
| Files available
| DOI
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 8589 |
Han, H. (2020). Novel insights into PIN polarity regulation during Arabidopsis development. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8589
[Published Version]
View
| Files available
| DOI