Agrawal S, Chatterjee K, Novotný P. Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs. In: Vol 2. ACM; 2018. doi:10.1145/3158122
LibreCat: https://research-explorer.ista.ac.at/record/325
DOI: 10.1145/3158122
arXiv: 1709.04037

Mahmood F, Alpichshev Z, Lee Y, Kong J, Gedik N. Observation of exciton-exciton interaction mediated valley Depolarization in Monolayer MoSe2. Nano Letters. 2018;18(1):223-228. doi:10.1021/acs.nanolett.7b03953
LibreCat: https://research-explorer.ista.ac.at/record/394
DOI: 10.1021/acs.nanolett.7b03953
arXiv: 1712.07925

Trinh H, Verstraeten I, Geelen D. In vitro assay for induction of adventitious rooting on intact arabidopsis hypocotyls. In: Root Development . Vol 1761. Springer Nature; 2018:95-102. doi:10.1007/978-1-4939-7747-5_7
LibreCat: https://research-explorer.ista.ac.at/record/408
DOI: 10.1007/978-1-4939-7747-5_7
PMID: 29525951

Karampelias M, Tejos R, Friml J, Vanneste S. Optimized whole mount in situ immunolocalization for Arabidopsis thaliana  root meristems and lateral root primordia. In: Ristova D, Barbez E, eds. Root Development. Methods and Protocols. Vol 1761. MIMB. Springer; 2018:131-143. doi:10.1007/978-1-4939-7747-5_10
LibreCat: https://research-explorer.ista.ac.at/record/411
DOI: 10.1007/978-1-4939-7747-5_10

Novarino G. Zika-associated microcephaly: Reduce the stress and race for the treatment. Science Translational Medicine. 2018;10(423). doi:10.1126/scitranslmed.aar7514
LibreCat: https://research-explorer.ista.ac.at/record/456
DOI: 10.1126/scitranslmed.aar7514

Petritsch B, Porsche J. IST PubRep and IST DataRep: the institutional repositories at IST Austria. VÖB Mitteilungen. 2018;71(1):199-206. doi:10.31263/voebm.v71i1.1993
LibreCat: https://research-explorer.ista.ac.at/record/53
DOI: 10.31263/voebm.v71i1.1993

Alistarh D-A, Aspnes J, King V, Saia J. Communication-efficient randomized consensus. Distributed Computing. 2018;31(6):489-501. doi:10.1007/s00446-017-0315-1
LibreCat: https://research-explorer.ista.ac.at/record/536
DOI: 10.1007/s00446-017-0315-1

Napiórkowski MM, Reuvers R, Solovej J. The Bogoliubov free energy functional II: The dilute Limit. Communications in Mathematical Physics. 2018;360(1):347-403. doi:10.1007/s00220-017-3064-x
LibreCat: https://research-explorer.ista.ac.at/record/554
DOI: 10.1007/s00220-017-3064-x
arXiv: 1511.05953

Dimitrov D, Guillaud L, Eguchi K, Takahashi T. Culture of mouse giant central nervous system synapses and application for imaging and electrophysiological analyses. In: Skaper SD, ed. Neurotrophic Factors. Vol 1727. Springer; 2018:201-215. doi:10.1007/978-1-4939-7571-6_15
LibreCat: https://research-explorer.ista.ac.at/record/562
DOI: 10.1007/978-1-4939-7571-6_15
PMID: 29222783

Bloem R, Chatterjee K, Jobstmann B. Graph games and reactive synthesis. In: Henzinger TA, Clarke EM, Veith H, Bloem R, eds. Handbook of Model Checking. 1st ed. Springer; 2018:921-962. doi:10.1007/978-3-319-10575-8_27
LibreCat: https://research-explorer.ista.ac.at/record/59
DOI: 10.1007/978-3-319-10575-8_27

Clarke E, Henzinger TA, Veith H. Introduction to model checking. In: Henzinger TA, ed. Handbook of Model Checking. Handbook of Model Checking. Springer; 2018:1-26. doi:10.1007/978-3-319-10575-8_1
LibreCat: https://research-explorer.ista.ac.at/record/60
DOI: 10.1007/978-3-319-10575-8_1

Bondarenko A, Mellit A, Prymak A, Radchenko D, Viazovska M. There is no strongly regular graph with parameters (460; 153; 32; 60). In: Contemporary Computational Mathematics. Springer; 2018:131-134. doi:10.1007/978-3-319-72456-0_7
LibreCat: https://research-explorer.ista.ac.at/record/61
DOI: 10.1007/978-3-319-72456-0_7
arXiv: 1509.06286

McLachlan IG, Beets I, de Bono M, Heiman MG. A neuronal MAP kinase constrains growth of a Caenorhabditis elegans sensory dendrite throughout the life of the organism. PLOS Genetics. 2018;14(6). doi:10.1371/journal.pgen.1007435
LibreCat: https://research-explorer.ista.ac.at/record/6111
DOI: 10.1371/journal.pgen.1007435
PMID: 29879119

Laurent P, Ch’ng Q, Jospin M, Chen C, Lorenzo R, de Bono M. Genetic dissection of neuropeptide cell biology at high and low activity in a defined sensory neuron. Proceedings of the National Academy of Sciences. 2018;115(29):90-99. doi:10.1073/pnas.1714610115
LibreCat: https://research-explorer.ista.ac.at/record/6109
DOI: 10.1073/pnas.1714610115
PMID: 29959203

Koshti G, Biswas R, Largeteau-Skapin G, Zrour R, Andres E, Bhowmick P. Sphere construction on the FCC grid interpreted as layered hexagonal grids in 3D. In: 19th International Workshop. Vol 11255. Cham: Springer; 2018:82-96. doi:10.1007/978-3-030-05288-1_7
LibreCat: https://research-explorer.ista.ac.at/record/6164
DOI: 10.1007/978-3-030-05288-1_7

Fan S, Lorenz M, Massberg S, Gärtner FR. Platelet migration and bacterial trapping assay under flow. Bio-Protocol. 2018;8(18). doi:10.21769/bioprotoc.3018
LibreCat: https://research-explorer.ista.ac.at/record/6354
DOI: 10.21769/bioprotoc.3018

Higginbotham AP, Burns PS, Urmey MD, et al. Harnessing electro-optic correlations in an efficient mechanical converter. Nature Physics. 2018;14(10):1038-1042. doi:10.1038/s41567-018-0210-0
LibreCat: https://research-explorer.ista.ac.at/record/6368
DOI: 10.1038/s41567-018-0210-0
arXiv: 1712.06535

Rosenthal EI, Ehrlich NK, Rudner MS, Higginbotham AP, Lehnert KW. Topological phase transition measured in a dissipative metamaterial. Physical Review B. 2018;97(22). doi:10.1103/physrevb.97.220301
LibreCat: https://research-explorer.ista.ac.at/record/6369
DOI: 10.1103/physrevb.97.220301
arXiv: 1802.02243

Petritsch B. Open Access at IST Austria 2009-2017. IST Austria; 2018. doi:10.5281/zenodo.1410279
LibreCat: https://research-explorer.ista.ac.at/record/6459
DOI: 10.5281/zenodo.1410279

Hausel T, Mellit A, Pei D. Mirror symmetry with branes by equivariant verlinde formulas. In: Geometry and Physics: Volume I. Oxford University Press; 2018:189-218. doi:10.1093/oso/9780198802013.003.0009
LibreCat: https://research-explorer.ista.ac.at/record/6525
DOI: 10.1093/oso/9780198802013.003.0009