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.
1752 Publications
2018 | Published | Technical Report | IST-REx-ID: 5457 | 
1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, 5 Anonymous, and 6 Anonymous, Cost analysis of nondeterministic probabilistic programs. IST Austria, 2018.
[Published Version]
View
| Files available
2018 | Research Data | IST-REx-ID: 5583 |
T. Ellis, “Data and Python scripts supporting Python package FAPS.” Institute of Science and Technology Austria, 2018.
[Published Version]
View
| Files available
| DOI
2018 | Published | Journal Article | IST-REx-ID: 5672 |
A. Reversat and M. K. Sixt, “IgM’s exit route,” Journal of Experimental Medicine, vol. 215, no. 12. Rockefeller University Press, pp. 2959–2961, 2018.
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Published | Journal Article | IST-REx-ID: 5673 |
M. Glanc, M. Fendrych, and J. Friml, “Mechanistic framework for cell-intrinsic re-establishment of PIN2 polarity after cell division,” Nature Plants, vol. 4, no. 12. Nature Research, pp. 1082–1088, 2018.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2018 | Conference Paper | IST-REx-ID: 5679 |
M. Huang, H. Fu, and K. Chatterjee, “New approaches for almost-sure termination of probabilistic programs,” presented at the 16th Asian Symposium on Programming Languages and Systems, APLAS, Wellington, New Zealand, 2018, vol. 11275, pp. 181–201.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Published | Conference Paper | IST-REx-ID: 5791 |
R. Fulek and C. D. Tóth, “Crossing minimization in perturbed drawings,” presented at the Graph Drawing and Network Visualization, Barcelona, Spain, 2018, vol. 11282, pp. 229–241.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Published | Journal Article | IST-REx-ID: 58 |
A. Akopyan and E. Segal Halevi, “Counting blanks in polygonal arrangements,” SIAM Journal on Discrete Mathematics, vol. 32, no. 3. Society for Industrial and Applied Mathematics , pp. 2242–2257, 2018.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Published | Journal Article | IST-REx-ID: 5992 |
S. Dolati et al., “On the relation between filament density, force generation, and protrusion rate in mesenchymal cell motility,” Molecular Biology of the Cell, vol. 29, no. 22. American Society for Cell Biology , pp. 2674–2686, 2018.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2018 | Published | Journal Article | IST-REx-ID: 17575 |
B. McKernan et al., “Constraining stellar-mass black hole mergers in AGN disks detectable with LIGO,” The Astrophysical Journal, vol. 866, no. 1. American Astronomical Society, 2018.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2018 | Published | Journal Article | IST-REx-ID: 17640 |
K. Inayoshi, K. Ichikawa, and Z. Haiman, “Gravitational waves from supermassive black hole binaries in ultraluminous infrared galaxies,” The Astrophysical Journal Letters, vol. 863, no. 2. American Astronomical Society, 2018.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 | Published | Journal Article | IST-REx-ID: 17679 |
K. Inayoshi, J. P. Ostriker, Z. Haiman, and R. Kuiper, “Low-density, radiatively inefficient rotating-accretion flow on to a black hole,” Monthly Notices of the Royal Astronomical Society, vol. 476, no. 1. Oxford University Press, pp. 1412–1426, 2018.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2018 | Published | Journal Article | IST-REx-ID: 17687 |
K. Inayoshi, M. Li, and Z. Haiman, “Massive black hole and Population III galaxy formation in overmassive dark-matter haloes with violent merger histories,” Monthly Notices of the Royal Astronomical Society, vol. 479, no. 3. Oxford University Press, pp. 4017–4027, 2018.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2018 | Research Data Reference | IST-REx-ID: 9808 |
J. Higareda Almaraz et al., “Additional file 3: Of Norepinephrine triggers an immediate-early regulatory network response in primary human white adipocytes.” Springer Nature, 2018.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2018 | Published | Journal Article | IST-REx-ID: 738 |
K. Chatterjee, A. Pavlogiannis, A. Kößler, and U. Schmid, “Automated competitive analysis of real time scheduling with graph games,” Real-Time Systems, vol. 54, no. 1. Springer, pp. 166–207, 2018.
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Published | Conference Paper | IST-REx-ID: 7407 |
K. Z. Pietrzak, “Proofs of catalytic space,” in 10th Innovations in Theoretical Computer Science Conference (ITCS 2019), San Diego, CA, United States, 2018, vol. 124, p. 59:1-59:25.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2018 | Published | Journal Article | IST-REx-ID: 76 |
C. Lenzen and J. Rybicki, “Near-optimal self-stabilising counting and firing squads,” Distributed Computing. Springer, 2018.
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Published | Conference Paper | IST-REx-ID: 79 |
S. Arming, E. Bartocci, K. Chatterjee, J. P. Katoen, and A. Sokolova, “Parameter-independent strategies for pMDPs via POMDPs,” presented at the QEST: Quantitative Evaluation of Systems, Beijing, China, 2018, vol. 11024, pp. 53–70.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv