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.
2025 Publications
2018 |Published| Conference Paper | IST-REx-ID: 325 | 
Agrawal S, Chatterjee K, Novotný P. 2018. Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs. POPL: Principles of Programming Languages vol. 2, 34.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 |Published| Book Chapter | IST-REx-ID: 408
Trinh H, Verstraeten I, Geelen D. 2018.In vitro assay for induction of adventitious rooting on intact arabidopsis hypocotyls. In: Root Development . MIMB, vol. 1761, 95–102.
View
| DOI
| PubMed | Europe PMC
2018 |Published| Book Chapter | IST-REx-ID: 411
Karampelias M, Tejos R, Friml J, Vanneste S. 2018.Optimized whole mount in situ immunolocalization for Arabidopsis thaliana root meristems and lateral root primordia. In: Root Development. Methods and Protocols. Methods in Molecular Biology, vol. 1761, 131–143.
View
| DOI
2018 |Published| Journal Article | IST-REx-ID: 536 |
Alistarh D-A, Aspnes J, King V, Saia J. 2018. Communication-efficient randomized consensus. Distributed Computing. 31(6), 489–501.
[Published Version]
View
| Files available
| DOI
2018 |Published| Book Chapter | IST-REx-ID: 562 |
Dimitrov D, Guillaud L, Eguchi K, Takahashi T. 2018.Culture of mouse giant central nervous system synapses and application for imaging and electrophysiological analyses. In: Neurotrophic Factors. Methods in Molecular Biology, vol. 1727, 201–215.
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2018 |Published| Journal Article | IST-REx-ID: 6111 |
McLachlan IG, Beets I, de Bono M, Heiman MG. 2018. A neuronal MAP kinase constrains growth of a Caenorhabditis elegans sensory dendrite throughout the life of the organism. PLOS Genetics. 14(6), e1007435.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2018 |Published| Conference Paper | IST-REx-ID: 6164
Koshti G, Biswas R, Largeteau-Skapin G, Zrour R, Andres E, Bhowmick P. 2018. Sphere construction on the FCC grid interpreted as layered hexagonal grids in 3D. 19th International Workshop. IWCIA: International Workshop on Combinatorial Image Analysis, LNCS, vol. 11255, 82–96.
View
| DOI
2018 |Published| Journal Article | IST-REx-ID: 690 |
Lee J, Schnelli K. 2018. Local law and Tracy–Widom limit for sparse random matrices. Probability Theory and Related Fields. 171(1–2), 543–616.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 |Published| Journal Article | IST-REx-ID: 7062 |
Ramshaw BJ, Modic KA, Shekhter A, Zhang Y, Kim E-A, Moll PJW, Bachmann MD, Chan MK, Betts JB, Balakirev F, Migliori A, Ghimire NJ, Bauer ED, Ronning F, McDonald RD. 2018. Quantum limit transport and destruction of the Weyl nodes in TaAs. Nature Communications. 9(1), 2217.
[Published Version]
View
| Files available
| DOI
2018 |Published| Conference Paper | IST-REx-ID: 7116 |
Grubic D, Tam L, Alistarh D-A, Zhang C. 2018. Synchronous multi-GPU training for deep learning with low-precision communications: An empirical study. Proceedings of the 21st International Conference on Extending Database Technology. EDBT: Conference on Extending Database Technology, 145–156.
[Published Version]
View
| Files available
| DOI
2018 |Published| Journal Article | IST-REx-ID: 7286
Schafzahl L, Ehmann H, Kriechbaum M, Sattelkow J, Ganner T, Plank H, Wilkening M, Freunberger SA. 2018. Long-chain Li and Na alkyl carbonates as solid electrolyte interphase components: Structure, ion transport, and mechanical properties. Chemistry of Materials. 30(10), 3338–3345.
View
| DOI
2018 |Published| Journal Article | IST-REx-ID: 8234 |
Balber T, Singer J, Berroterán-Infante N, Dumanic M, Fetty L, Fazekas-Singer J, Vraka C, Nics L, Bergmann M, Pallitsch K, Spreitzer H, Wadsak W, Hacker M, Jensen-Jarolim E, Viernstein H, Mitterhauser M. 2018. Preclinical in vitro and in vivo evaluation of [18F]FE@SUPPY for cancer PET imaging: Limitations of a xenograft model for colorectal cancer. Contrast Media & Molecular Imaging. 2018, 1269830.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2018 |Published| Journal Article | IST-REx-ID: 8232 |
Nagaya T, Okuyama S, Ogata F, Maruoka Y, Knapp DW, Karagiannis SN, Singer J, Choyke PL, LeBlanc AK, Jensen-Jarolim E, Kobayashi H. 2018. Near infrared photoimmunotherapy targeting bladder cancer with a canine anti-epidermal growth factor receptor (EGFR) antibody. Oncotarget. 9, 19026–19038.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2018 |Published| Journal Article | IST-REx-ID: 8262 |
Bochkareva O, Moroz EV, Davydov II, Gelfand MS. 2018. Genome rearrangements and selection in multi-chromosome bacteria Burkholderia spp. BMC Genomics. 19, 965.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2018 |Published| Journal Article | IST-REx-ID: 8420 |
Kaloshin V, Zhang K. 2018. Density of convex billiards with rational caustics. Nonlinearity. 31(11), 5214–5234.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 |Published| Journal Article | IST-REx-ID: 8437
Mas G, Guan J-Y, Crublet E, Debled EC, Moriscot C, Gans P, Schoehn G, Macek P, Schanda P, Boisbouvier J. 2018. Structural investigation of a chaperonin in action reveals how nucleotide binding regulates the functional cycle. Science Advances. 4(9), eaau4196.
View
| DOI
2018 |Published| Journal Article | IST-REx-ID: 8426 |
Buhovsky L, Kaloshin V. 2018. Nonisometric domains with the same Marvizi-Melrose invariants. Regular and Chaotic Dynamics. 23, 54–59.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv