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.
10779 Publications
2018 | Published | Thesis | IST-REx-ID: 200 | 
Ringbauer H. 2018. Inferring recent demography from spatial genetic structure. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2018 | Published | Conference Paper | IST-REx-ID: 10883 |
Chatterjee K, Dvořák W, Henzinger M, Svozil A. 2018. Quasipolynomial set-based symbolic algorithms for parity games. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning. LPAR: Logic for Programming, Artificial Intelligence and Reasoning, EPiC Series in Computing, vol. 57, 233–253.
[Published Version]
View
| Files available
| DOI
| arXiv
2018 | Published | Journal Article | IST-REx-ID: 434
Jiang Y, Liu H, Song H, Kong H, Wang R, Guan Y, Sha L. 2018. Safety-assured model-driven design of the multifunction vehicle bus controller. IEEE Transactions on Intelligent Transportation Systems. 19(10), 3320–3333.
View
| Files available
| DOI
| WoS
2018 | Published | Conference Paper | IST-REx-ID: 156 |
Ferrere T. 2018. The compound interest in relaxing punctuality. FM: Formal Methods, LNCS, vol. 10951, 147–164.
[Submitted Version]
View
| Files available
| DOI
| WoS
2018 | Published | Book Chapter | IST-REx-ID: 153
Renkawitz J, Reversat A, Leithner AF, Merrin J, Sixt MK. 2018.Micro-engineered “pillar forests” to study cell migration in complex but controlled 3D environments. In: Methods in Cell Biology. vol. 147, 79–91.
View
| DOI
| WoS
| PubMed | Europe PMC
2018 | Published | Conference Paper | IST-REx-ID: 182 |
Bakhirkin A, Ferrere T, Maler O. 2018. Efficient parametric identification for STL. Proceedings of the 21st International Conference on Hybrid Systems. HSCC: Hybrid Systems - Computation and Control, HSCC Proceedings, , 177–186.
[Submitted Version]
View
| Files available
| DOI
| WoS
2018 | Published | Journal Article | IST-REx-ID: 19494 |
Chan S. 2018. Rational right triangles of a given area. The American Mathematical Monthly. 125(8), 689–703.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 | Published | Journal Article | IST-REx-ID: 19544 |
Bulatov E, Sayarova R, Mingaleeva R, Miftakhova R, Gomzikova M, Ignatev I, Petukhov A, Davidovich P, Rizvanov A, Barlev NA. 2018. Isatin-Schiff base-copper (II) complex induces cell death in p53-positive tumors. Cell Death Discovery. 4, 103.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2018 | Published | Journal Article | IST-REx-ID: 203 |
Abbas M, Hernández GJ, Pollmann S, Samodelov SL, Kolb M, Friml J, Hammes UZ, Zurbriggen MD, Blázquez M, Alabadí D. 2018. Auxin methylation is required for differential growth in Arabidopsis. PNAS. 115(26), 6864–6869.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2018 | Published | Journal Article | IST-REx-ID: 22 |
Botello G, Sedlmeir F, Rueda Sanchez AR, Abdalmalak K, Brown E, Leuchs G, Preu S, Segovia Vargas D, Strekalov D, Munoz L, Schwefel H. 2018. Sensitivity limits of millimeter-wave photonic radiometers based on efficient electro-optic upconverters. Optica. 5(10), 1210–1219.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2018 | Published | Journal Article | IST-REx-ID: 23 |
Vukušić L, Kukucka J, Watzinger H, Milem JM, Schäffler F, Katsaros G. 2018. Single-shot readout of hole spins in Ge. Nano Letters. 18(11), 7141–7145.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2018 | Published | Conference Paper | IST-REx-ID: 285 |
Huszár K, Spreer J, Wagner U. 2018. On the treewidth of triangulated 3-manifolds. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 99, 46.
[Submitted Version]
View
| Files available
| DOI
| arXiv
2018 | Published | Conference Paper | IST-REx-ID: 298 |
Alwen JF, Blocki J, Pietrzak KZ. 2018. Sustained space complexity. Eurocrypt: Advances in Cryptology, LNCS, vol. 10821, 99–130.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Published | Journal Article | IST-REx-ID: 29 |
Viljakainen L, Jurvansuu J, Holmberg I, Pamminger T, Erler S, Cremer S. 2018. Social environment affects the transcriptomic response to bacteria in ant queens. Ecology and Evolution. 8(22), 11031–11070.
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Published | Journal Article | IST-REx-ID: 315 |
Polechova J. 2018. Is the sky the limit? On the expansion threshold of a species’ range. PLoS Biology. 16(6), e2005372.
[Published Version]
View
| Files available
| DOI
2018 | Published | Journal Article | IST-REx-ID: 38 |
Tavares H, Whitley A, Field D, Bradley D, Couchman M, Copsey L, Elleouet J, Burrus M, Andalo C, Li M, Li Q, Xue Y, Rebocho AB, Barton NH, Coen E. 2018. Selection and gene flow shape genomic islands that control floral guides. PNAS. 115(43), 11006–11011.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2018 | Published | Conference Paper | IST-REx-ID: 35 |
Chatterjee K, Dvorák W, Henzinger M, 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.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Published | Journal Article | IST-REx-ID: 39 |
Sachdeva H, Barton NH. 2018. Replicability of introgression under linked, polygenic selection. Genetics. 210(4), 1411–1427.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2018 | Published | Journal Article | IST-REx-ID: 41 |
Luján R, Aguado C, Ciruela F, Arus X, Martín Belmonte A, Alfaro Ruiz R, Martinez Gomez J, De La Ossa L, Watanabe M, Adelman J, Shigemoto R, Fukazawa Y. 2018. Sk2 channels associate with mGlu1α receptors and CaV2.1 channels in Purkinje cells. Frontiers in Cellular Neuroscience. 12, 311.
[Published Version]
View
| Files available
| DOI
| WoS