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.
4941 Publications
2018 | Journal Article | IST-REx-ID: 6006 | 
Avni, Guy, et al. “An Abstraction-Refinement Methodology for Reasoning about Network Games.” Games, vol. 9, no. 3, 39, MDPI AG, 2018, doi:10.3390/g9030039.
[Published Version]
View
| Files available
| DOI
2018 | Conference Paper | IST-REx-ID: 35 |
Chatterjee, Krishnendu, et al. “Algorithms and Conditional Lower Bounds for Planning Problems.” 28th International Conference on Automated Planning and Scheduling , AAAI Press, 2018.
View
| Files available
| Download None (ext.)
| WoS
| arXiv
2018 | Journal Article | IST-REx-ID: 738 |
Chatterjee, Krishnendu, et al. “Automated Competitive Analysis of Real Time Scheduling with Graph Games.” Real-Time Systems, vol. 54, no. 1, Springer, 2018, pp. 166–207, doi:10.1007/s11241-017-9293-4.
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Thesis | IST-REx-ID: 52 |
Moser, Thomas. Point Interactions in Systems of Fermions. Institute of Science and Technology Austria, 2018, doi:10.15479/AT:ISTA:th_1043.
[Published Version]
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 913 |
Tejos, Ricardo, et al. “PATELLINS Are Regulators of Auxin Mediated PIN1 Relocation and Plant Development in Arabidopsis Thaliana.” Journal of Cell Science, vol. 131, no. 2, jcs. 204198, Company of Biologists, 2018, doi:10.1242/jcs.204198.
[Published Version]
View
| Files available
| DOI
| WoS