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.
1953 Publications
2019 |Submitted| Conference Paper | IST-REx-ID: 6490 | 
Chatterjee, Krishnendu, et al. “The Treewidth of Smart Contracts.” Proceedings of the 34th ACM Symposium on Applied Computing, vol. Part F147772, ACM, pp. 400–08, doi:10.1145/3297280.3297322.
[Submitted Version]
View
| Files available
| DOI
| WoS
2019 |Published| Thesis | IST-REx-ID: 6891 |
Kopf, Aglaja. The Implication of Cytoskeletal Dynamics on Leukocyte Migration. Institute of Science and Technology Austria, 2019, doi:10.15479/AT:ISTA:6891.
[Published Version]
View
| Files available
| DOI
2019 |Published| Thesis | IST-REx-ID: 6849 |
Rangel Guerrero, Dámaris K. The Role of CCK-Interneurons in Regulating Hippocampal Network Dynamics. Institute of Science and Technology Austria, 2019, doi:10.15479/AT:ISTA:6849.
[Published Version]
View
| Files available
| DOI
2018 |Published| Conference Paper | IST-REx-ID: 10883 |
Chatterjee, Krishnendu, et al. “Quasipolynomial Set-Based Symbolic Algorithms for Parity Games.” 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, vol. 57, EasyChair, 2018, pp. 233–53, doi:10.29007/5z5k.
[Published Version]
View
| Files available
| DOI
| arXiv
2018 |Published| Conference Paper | IST-REx-ID: 11 |
Leopold, Nikolai K., and Peter Pickl. Mean-Field Limits of Particles in Interaction with Quantised Radiation Fields. Vol. 270, Springer, 2018, pp. 185–214, doi:10.1007/978-3-030-01602-9_9.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 |Published| Journal Article | IST-REx-ID: 11064 |
Fleischer, Jason G., et al. “Predicting Age from the Transcriptome of Human Dermal Fibroblasts.” Genome Biology, vol. 19, 221, BioMed Central, 2018, doi:10.1186/s13059-018-1599-6.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2018 |Published| Journal Article | IST-REx-ID: 11508 |
Matthee, Jorryt J., et al. “Confirmation of Double Peaked Lyα Emission at z = 6.593: Witnessing a Galaxy Directly Contributing to the Reionisation of the Universe.” Astronomy & Astrophysics, vol. 619, A136, EDP Sciences, 2018, doi:10.1051/0004-6361/201833528.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2018 |Published| Journal Article | IST-REx-ID: 11557 |
Sobral, David, et al. “The Nature of Luminous Ly α Emitters at z ∼ 2–3: Maximal Dust-Poor Starbursts and Highly Ionizing AGN.” Monthly Notices of the Royal Astronomical Society, vol. 477, no. 2, Oxford University Press, 2018, pp. 2817–40, doi:10.1093/mnras/sty782.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 |Published| Journal Article | IST-REx-ID: 11558 |
Sobral, David, et al. “Slicing COSMOS with SC4K: The Evolution of Typical Ly α Emitters and the Ly α Escape Fraction from z ∼ 2 to 6.” Monthly Notices of the Royal Astronomical Society, vol. 476, no. 4, Oxford University Press, 2018, pp. 4725–52, doi:10.1093/mnras/sty378.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 |Published| Journal Article | IST-REx-ID: 11555 |
Carniani, S., et al. “Kiloparsec-Scale Gaseous Clumps and Star Formation at z = 5–7.” Monthly Notices of the Royal Astronomical Society, vol. 478, no. 1, Oxford University Press, 2018, pp. 1170–84, doi:10.1093/mnras/sty1088.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 |Published| Journal Article | IST-REx-ID: 11618 |
Bugnet, Lisa Annabelle, et al. “FliPer: A Global Measure of Power Density to Estimate Surface Gravities of Main-Sequence Solar-like Stars and Red Giants.” Astronomy & Astrophysics, vol. 620, A38, EDP Sciences, 2018, doi:10.1051/0004-6361/201833106.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 |Published| Conference Paper | IST-REx-ID: 11872 |
Bhattacharya, Sayan, et al. “Dynamic Algorithms for Graph Coloring.” 29th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2018, pp. 1–20, doi:10.1137/1.9781611975031.1.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 |Published| Journal Article | IST-REx-ID: 11890 |
Bhattacharya, Sayan, et al. “Deterministic Fully Dynamic Data Structures for Vertex Cover and Matching.” SIAM Journal on Computing, vol. 47, no. 3, Society for Industrial & Applied Mathematics, 2018, pp. 859–87, doi:10.1137/140998925.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2018 |Published| Journal Article | IST-REx-ID: 124
Waitukaitis, Scott R., et al. “The Retention of Dust in Protoplanetary Disks: Evidence from Agglomeration Olivine Chondrules from the Outer Solar System.” Geochimica et Cosmochimica Acta, vol. 223, Elsevier, 2018, pp. 405–21, doi:10.1016/j.gca.2017.12.014.
View
| DOI
2018 |Published| Journal Article | IST-REx-ID: 127
Waitukaitis, Scott R. “Clicks for Doughnuts.” Nature Physics, vol. 14, no. 8, Nature Publishing Group, 2018, pp. 777–78, doi:10.1038/s41567-018-0160-6.
View
| DOI
2018 |Published| Conference Paper | IST-REx-ID: 185 |
Fulek, Radoslav, and Jan Kynčl. Hanani-Tutte for Approximating Maps of Graphs. Vol. 99, 39, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, doi:10.4230/LIPIcs.SoCG.2018.39.
[Published Version]
View
| Files available
| DOI
2018 |Published| Book | IST-REx-ID: 3300
Clarke, Edmund M., et al. Handbook of Model Checking. 1st ed., Springer Nature, 2018, doi:10.1007/978-3-319-10575-8.
View
| DOI
2018 |Published| Book Chapter | IST-REx-ID: 37 |
Zagórski, Marcin P., and Anna Kicheva. “Measuring Dorsoventral Pattern and Morphogen Signaling Profiles in the Growing Neural Tube.” Morphogen Gradients , vol. 1863, Springer Nature, 2018, pp. 47–63, doi:10.1007/978-1-4939-8772-6_4.
[Submitted Version]
View
| Files available
| DOI
2018 |Published| Book Chapter | IST-REx-ID: 59
Bloem, Roderick, et al. “Graph Games and Reactive Synthesis.” Handbook of Model Checking, edited by Thomas A Henzinger et al., 1st ed., Springer, 2018, pp. 921–62, doi:10.1007/978-3-319-10575-8_27.
View
| DOI
2018 |Published| Book Chapter | IST-REx-ID: 60
Clarke, Edmund, et al. “Introduction to Model Checking.” Handbook of Model Checking, edited by Thomas A Henzinger, Springer, 2018, pp. 1–26, doi:10.1007/978-3-319-10575-8_1.
View
| DOI