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.
5760 Publications
2018 | Journal Article | IST-REx-ID: 6006 | 
Avni G, Guha S, Kupferman O. 2018. An abstraction-refinement methodology for reasoning about network games. Games. 9(3), 39.
[Published Version]
View
| Files available
| DOI
2018 | Conference Paper | IST-REx-ID: 35 |
Chatterjee K, Dvorák W, Henzinger MH, Svozil A. 2018. Algorithms and conditional lower bounds for planning problems. 28th International Conference on Automated Planning and Scheduling . ICAPS: International Conference on Automated Planning and Scheduling.
View
| Files available
| Download None (ext.)
| WoS
| arXiv
2018 | Journal Article | IST-REx-ID: 738 |
Chatterjee K, Pavlogiannis A, Kößler A, Schmid U. 2018. Automated competitive analysis of real time scheduling with graph games. Real-Time Systems. 54(1), 166–207.
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Thesis | IST-REx-ID: 52 |
Moser T. 2018. Point interactions in systems of fermions. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 913 |
Tejos R, Rodríguez Furlán C, Adamowski M, Sauer M, Norambuena L, Friml J. 2018. PATELLINS are regulators of auxin mediated PIN1 relocation and plant development in Arabidopsis thaliana. Journal of Cell Science. 131(2), jcs. 204198.
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Thesis | IST-REx-ID: 69 |
Vukušić L. 2018. Charge sensing and spin relaxation times of holes in Ge hut wires. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 324 |
Chen C. 2018. Synaptotagmins ensure speed and efficiency of inhibitory neurotransmitter release. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 742 |
Dotterrer D, Kaufman T, Wagner U. 2018. On expansion and topological overlap. Geometriae Dedicata. 195(1), 307–317.
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Journal Article | IST-REx-ID: 70 |
Nejjar P. 2018. Transition to shocks in TASEP and decoupling of last passage times. Latin American Journal of Probability and Mathematical Statistics. 15(2), 1311–1334.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2018 | Journal Article | IST-REx-ID: 44 |
Turner CJ, Michailidis A, Abanin DA, Serbyn M, Papić Z. 2018. Quantum scarred eigenstates in a Rydberg atom chain: Entanglement, breakdown of thermalization, and stability to perturbations. Physical Review B. 98(15), 155134.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv