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.
2030 Publications
2018 |
Published |
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 |
Published |
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 |
Published |
Conference Paper |
IST-REx-ID: 7407 |
Pietrzak KZ. 2018. Proofs of catalytic space. 10th Innovations in Theoretical Computer Science Conference. ITCS: Innovations in Theoretical Computer Science, LIPIcs, vol. 124, 59:1-59:25.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2018 |
Published |
Journal Article |
IST-REx-ID: 76 |
Lenzen C, Rybicki J. 2018. Near-optimal self-stabilising counting and firing squads. Distributed Computing.
[Published Version]
View
| Files available
| DOI
| WoS
2018 |
Published |
Book Chapter |
IST-REx-ID: 37 |
Zagórski MP, Kicheva A. 2018.Measuring dorsoventral pattern and morphogen signaling profiles in the growing neural tube. In: Morphogen Gradients . Methods in Molecular Biology, vol. 1863, 47–63.
[Submitted Version]
View
| Files available
| DOI
2018 |
Published |
Journal Article |
IST-REx-ID: 398
Dodier P, Frischer J, Wang W, Auzinger T, Mallouhi A, Serles W, Gruber A, Knosp E, Bavinzski G. 2018. Immediate flow disruption as a prognostic factor after flow diverter treatment long term experience with the pipeline embolization device. World Neurosurgery. 13, e568–e578.
View
| DOI
| WoS
2018 |
Published |
Journal Article |
IST-REx-ID: 407
Kubiasová K, Mik V, Nisler J, Hönig M, Husičková A, Spíchal L, Pěkná Z, Šamajová O, Doležal K, Plíhal O, Benková E, Strnad M, Plíhalová L. 2018. Design, synthesis and perception of fluorescently labeled isoprenoid cytokinins. Phytochemistry. 150, 1–11.
View
| DOI
| WoS
2018 |
Published |
Journal Article |
IST-REx-ID: 425 |
Matoušek J, Sedgwick E, Tancer M, Wagner U. 2018. Embeddability in the 3-Sphere is decidable. Journal of the ACM. 65(1), 5.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 |
Published |
Conference Paper |
IST-REx-ID: 433 |
Fulek R, Pach J. 2018. Thrackles: An improved upper bound. GD: Graph Drawing and Network Visualization, LNCS, vol. 10692, 160–166.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
2018 |
Published |
Thesis | PhD |
IST-REx-ID: 323 |
Leithner AF. 2018. Branched actin networks in dendritic cell biology. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2018 |
Published |
Journal Article |
IST-REx-ID: 5816 |
Hollmann A, Jirovec D, Kucharski M, Kissinger D, Fischer G, Schreiber LR. 2018. 30 GHz-voltage controlled oscillator operating at 4 K. Review of Scientific Instruments. 89(11), 114701.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 |
Published |
Conference Paper |
IST-REx-ID: 66 |
Chatterjee K, Goharshady AK, Ibsen-Jensen R, Velner Y. 2018. Ergodic mean-payoff games for the analysis of attacks in crypto-currencies. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 118, 11.
[Published Version]
View
| Files available
| DOI
| arXiv
2018 |
Published |
Conference Paper |
IST-REx-ID: 311 |
Chatterjee K, Goharshady AK, Velner Y. 2018. Quantitative analysis of smart contracts. ESOP: European Symposium on Programming, LNCS, vol. 10801, 739–767.
[Published Version]
View
| Files available
| DOI
2018 |
Published |
Conference Paper |
IST-REx-ID: 6340 |
Goharshady AK, Behrouz A, Chatterjee K. 2018. Secure Credit Reporting on the Blockchain. Proceedings of the IEEE International Conference on Blockchain. IEEE International Conference on Blockchain, 1343–1348.
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
2018 |
Published |
Journal Article |
IST-REx-ID: 21 |
Espinoza Martinez C, Guzmán J, Zhang X, Jonas PM. 2018. Parvalbumin+ interneurons obey unique connectivity rules and establish a powerful lateral-inhibition microcircuit in dentate gyrus. Nature Communications. 9(1), 4605.
[Published Version]
View
| Files available
| DOI
| WoS
2018 |
Published |
Journal Article |
IST-REx-ID: 461 |
Kühnen J, Song B, Scarselli D, Budanur NB, Riedl M, Willis A, Avila M, Hof B. 2018. Destabilizing turbulence in pipe flow. Nature Physics. 14, 386–390.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2017 |
Published |
Journal Article |
IST-REx-ID: 11561 |
Matthee JJ, Sobral D, Best P, Smail I, Bian F, Darvish B, Röttgering H, Fan X. 2017. Boötes-HiZELS: An optical to near-infrared survey of emission-line galaxies at z = 0.4–4.7. Monthly Notices of the Royal Astronomical Society. 471(1), 629–649.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 |
Published |
Journal Article |
IST-REx-ID: 11562 |
Sobral D, Matthee JJ, Best P, Stroe A, Röttgering H, Oteo I, Smail I, Morabito L, Paulino-Afonso A. 2017. The CALYMHA survey: Lyα luminosity function and global escape fraction of Lyα photons at z = 2.23. Monthly Notices of the Royal Astronomical Society. 466(1), 1242–1258.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 |
Published |
Journal Article |
IST-REx-ID: 11564 |
Matthee JJ, Sobral D, Best P, Khostovan AA, Oteo I, Bouwens R, Röttgering H. 2017. The production and escape of Lyman-Continuum radiation from star-forming galaxies at z ∼ 2 and their redshift evolution. Monthly Notices of the Royal Astronomical Society. 465(3), 3637–3655.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv