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.

9087 Publications


2018 | Book | IST-REx-ID: 3300
E. M. Clarke, T. A. Henzinger, H. Veith, and R. Bloem, Handbook of Model Checking, 1st ed. Cham: Springer Nature, 2018.
View | DOI
 

2018 | Book Chapter | IST-REx-ID: 37 | OA
M. P. Zagórski and A. Kicheva, “Measuring dorsoventral pattern and morphogen signaling profiles in the growing neural tube,” in Morphogen Gradients , vol. 1863, Springer Nature, 2018, pp. 47–63.
[Submitted Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 305
P. Misun, A. Birchler, M. Lang, A. Hierlemann, and O. Frey, “Fabrication and operation of microfluidic hanging drop networks,” Methods in Molecular Biology, vol. 1771. Springer, pp. 183–202, 2018.
View | DOI
 

2018 | Conference Paper | IST-REx-ID: 325 | OA
S. Agrawal, K. Chatterjee, and P. Novotný, “Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs,” presented at the POPL: Principles of Programming Languages, Los Angeles, CA, USA, 2018, vol. 2, no. POPL.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 394 | OA
F. Mahmood, Z. Alpichshev, Y. Lee, J. Kong, and N. Gedik, “Observation of exciton-exciton interaction mediated valley Depolarization in Monolayer MoSe2,” Nano Letters, vol. 18, no. 1. American Chemical Society, pp. 223–228, 2018.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 

2018 | Book Chapter | IST-REx-ID: 408
H. Trinh, I. Verstraeten, and D. Geelen, “In vitro assay for induction of adventitious rooting on intact arabidopsis hypocotyls,” in Root Development , vol. 1761, Springer Nature, 2018, pp. 95–102.
View | DOI | PubMed | Europe PMC
 

2018 | Book Chapter | IST-REx-ID: 411
M. Karampelias, R. Tejos, J. Friml, and S. Vanneste, “Optimized whole mount in situ immunolocalization for Arabidopsis thaliana  root meristems and lateral root primordia,” in Root Development. Methods and Protocols, vol. 1761, D. Ristova and E. Barbez, Eds. Springer, 2018, pp. 131–143.
View | DOI
 

2018 | Journal Article | IST-REx-ID: 456
G. Novarino, “Zika-associated microcephaly: Reduce the stress and race for the treatment,” Science Translational Medicine, vol. 10, no. 423. American Association for the Advancement of Science, 2018.
View | DOI
 

2018 | Journal Article | IST-REx-ID: 53 | OA
B. Petritsch and J. Porsche, “IST PubRep and IST DataRep: the institutional repositories at IST Austria,” VÖB Mitteilungen, vol. 71, no. 1. Vereinigung Österreichischer Bibliothekarinnen und Bibliothekare, pp. 199–206, 2018.
[Published Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 536 | OA
D.-A. Alistarh, J. Aspnes, V. King, and J. Saia, “Communication-efficient randomized consensus,” Distributed Computing, vol. 31, no. 6. Springer, pp. 489–501, 2018.
[Published Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 554 | OA
M. M. Napiórkowski, R. Reuvers, and J. Solovej, “The Bogoliubov free energy functional II: The dilute Limit,” Communications in Mathematical Physics, vol. 360, no. 1. Springer, pp. 347–403, 2018.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 

2018 | Book Chapter | IST-REx-ID: 562 | OA
D. Dimitrov, L. Guillaud, K. Eguchi, and T. Takahashi, “Culture of mouse giant central nervous system synapses and application for imaging and electrophysiological analyses,” in Neurotrophic Factors, vol. 1727, S. D. Skaper, Ed. Springer, 2018, pp. 201–215.
[Submitted Version] View | Files available | DOI | PubMed | Europe PMC
 

2018 | Book Chapter | IST-REx-ID: 59
R. Bloem, K. Chatterjee, and B. Jobstmann, “Graph games and reactive synthesis,” in Handbook of Model Checking, 1st ed., T. A. Henzinger, E. M. Clarke, H. Veith, and R. Bloem, Eds. Springer, 2018, pp. 921–962.
View | DOI
 

2018 | Book Chapter | IST-REx-ID: 60
E. Clarke, T. A. Henzinger, and H. Veith, “Introduction to model checking,” in Handbook of Model Checking, T. A. Henzinger, Ed. Springer, 2018, pp. 1–26.
View | DOI
 

2018 | Book Chapter | IST-REx-ID: 61 | OA
A. Bondarenko, A. Mellit, A. Prymak, D. Radchenko, and M. Viazovska, “There is no strongly regular graph with parameters (460; 153; 32; 60),” in Contemporary Computational Mathematics, Springer, 2018, pp. 131–134.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 6111 | OA
I. G. McLachlan, I. Beets, M. de Bono, and M. G. Heiman, “A neuronal MAP kinase constrains growth of a Caenorhabditis elegans sensory dendrite throughout the life of the organism,” PLOS Genetics, vol. 14, no. 6. Public Library of Science, 2018.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 6109 | OA
P. Laurent, Q. Ch’ng, M. Jospin, C. Chen, R. Lorenzo, and M. de Bono, “Genetic dissection of neuropeptide cell biology at high and low activity in a defined sensory neuron,” Proceedings of the National Academy of Sciences, vol. 115, no. 29. National Academy of Sciences, pp. E6890–E6899, 2018.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2018 | Conference Paper | IST-REx-ID: 6164
G. Koshti, R. Biswas, G. Largeteau-Skapin, R. Zrour, E. Andres, and P. Bhowmick, “Sphere construction on the FCC grid interpreted as layered hexagonal grids in 3D,” in 19th International Workshop, Porto, Portugal, 2018, vol. 11255, pp. 82–96.
View | DOI
 

2018 | Journal Article | IST-REx-ID: 6354 | OA
S. Fan, M. Lorenz, S. Massberg, and F. R. Gärtner, “Platelet migration and bacterial trapping assay under flow,” Bio-Protocol, vol. 8, no. 18. Bio-Protocol, 2018.
[Published Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 6368 | OA
A. P. Higginbotham et al., “Harnessing electro-optic correlations in an efficient mechanical converter,” Nature Physics, vol. 14, no. 10. Springer Nature, pp. 1038–1042, 2018.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 6369 | OA
E. I. Rosenthal, N. K. Ehrlich, M. S. Rudner, A. P. Higginbotham, and K. W. Lehnert, “Topological phase transition measured in a dissipative metamaterial,” Physical Review B, vol. 97, no. 22. American Physical Society (APS), 2018.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Conference Poster | IST-REx-ID: 6459 | OA
B. Petritsch, Open Access at IST Austria 2009-2017. IST Austria, 2018.
[Published Version] View | Files available | DOI
 

2018 | Book Chapter | IST-REx-ID: 6525
T. Hausel, A. Mellit, and D. Pei, “Mirror symmetry with branes by equivariant verlinde formulas,” in Geometry and Physics: Volume I, Oxford University Press, 2018, pp. 189–218.
View | DOI
 

2018 | Conference Paper | IST-REx-ID: 6664 | OA
S. A. Hashemi, N. Doan, M. Mondelli, and W. Gross, “Decoding Reed-Muller and polar codes by successive factor graph permutations,” in 2018 IEEE 10th International Symposium on Turbo Codes & Iterative Information Processing, Hong Kong, China, 2018, pp. 1–5.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 6674
S. A. Hashemi, M. Mondelli, S. H. Hassani, C. Condo, R. L. Urbanke, and W. J. Gross, “Decoder partitioning: Towards practical list decoding of polar codes,” IEEE Transactions on Communications, vol. 66, no. 9. IEEE, pp. 3749–3759, 2018.
View | DOI
 

2018 | Conference Paper | IST-REx-ID: 6728 | OA
N. Doan, S. A. Hashemi, M. Mondelli, and W. J. Gross, “On the decoding of polar codes on permuted factor graphs,” in 2018 IEEE Global Communications Conference , Abu Dhabi, United Arab Emirates, 2018.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 6678 | OA
M. Mondelli, H. Hassani, and R. Urbanke, “How to achieve the capacity of asymmetric channels,” IEEE Transactions on Information Theory, vol. 64, no. 5. IEEE, pp. 3371–3393, 2018.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 690 | OA
J. Lee and K. Schnelli, “Local law and Tracy–Widom limit for sparse random matrices,” Probability Theory and Related Fields, vol. 171, no. 1–2. Springer, 2018.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 6675 | OA
M. Mondelli, H. Hassani, and R. Urbanke, “A new coding paradigm for the primitive relay channel,” in 2018 IEEE International Symposium on Information Theory, Vail, CO, United States, 2018, pp. 351–355.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 703 | OA
A. Shekhovtsov, P. Swoboda, and B. Savchynskyy, “Maximum persistency via iterative relaxed inference with graphical models,” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 40, no. 7. IEEE, pp. 1668–1682, 2018.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 7063 | OA
E. Martino et al., “Sr2Pt8−xAs: A layered incommensurately modulated metal with saturated resistivity,” IUCrJ, vol. 5, no. 4. International Union of Crystallography (IUCr), pp. 470–477, 2018.
[Published Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 7062 | OA
B. J. Ramshaw et al., “Quantum limit transport and destruction of the Weyl nodes in TaAs,” Nature Communications, vol. 9, no. 1. Springer Nature, 2018.
[Published Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 7059 | OA
K. A. Modic et al., “Resonant torsion magnetometry in anisotropic quantum materials,” Nature Communications, vol. 9, no. 1. Springer Nature, p. 3975, 2018.
[Published Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 7058 | OA
K. A. Modic, B. J. Ramshaw, A. Shekhter, and C. M. Varma, “Chiral spin order in some purported Kitaev spin-liquid compounds,” Physical Review B, vol. 98, no. 20. APS, 2018.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 7060
P. Giraldo-Gallo et al., “Scale-invariant magnetoresistance in a cuprate superconductor,” Science, vol. 361, no. 6401. AAAS, pp. 479–481, 2018.
View | DOI
 

2018 | Conference Paper | IST-REx-ID: 7116 | OA
D. Grubic, L. Tam, D.-A. Alistarh, and C. Zhang, “Synchronous multi-GPU training for deep learning with low-precision communications: An empirical study,” in Proceedings of the 21st International Conference on Extending Database Technology, Vienna, Austria, 2018, pp. 145–156.
[Published Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 7126 | OA
R. J. Cubero, M. Marsili, and Y. Roudi, “Minimum description length codes are critical,” Entropy, vol. 20, no. 10. MDPI, 2018.
[Published Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 7277 | OA
N. Mahne, S. E. Renfrew, B. D. McCloskey, and S. A. Freunberger, “Electrochemical oxidation of Lithium Carbonate generates singlet oxygen,” Angewandte Chemie International Edition, vol. 57, no. 19. Wiley, pp. 5529–5533, 2018.
[Published Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 7271
T. Costanzo, J. McCracken, A. Rotaru, and G. Caruntu, “Quasi-monodisperse transition-metal-doped BaTiO3 (M = Cr, Mn, Fe, Co) colloidal nanocrystals with multiferroic properties,” ACS Applied Nano Materials, vol. 1, no. 9. ACS, pp. 4863–4874, 2018.
View | DOI
 

2018 | Journal Article | IST-REx-ID: 7287 | OA
B. Schafzahl et al., “Quantifying total superoxide, peroxide, and carbonaceous compounds in metal–O2 batteries and the solid electrolyte interphase,” ACS Energy Letters, vol. 3, no. 1. ACS, pp. 170–176, 2018.
[Submitted Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 7285 | OA
M. Burian et al., “Inter-backbone charge transfer as prerequisite for long-range conductivity in perylene bisimide hydrogels,” ACS Nano, vol. 12, no. 6. ACS, pp. 5800–5806, 2018.
[Submitted Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 7286
L. Schafzahl et al., “Long-chain Li and Na alkyl carbonates as solid electrolyte interphase components: Structure, ion transport, and mechanical properties,” Chemistry of Materials, vol. 30, no. 10. ACS, pp. 3338–3345, 2018.
View | DOI
 

2018 | Conference Paper | IST-REx-ID: 7407 | OA
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 | Journal Article | IST-REx-ID: 7458
D. Viehland et al., “Tutorial: Product properties in multiferroic nanocomposites,” Journal of Applied Physics, vol. 124, no. 6. AIP, 2018.
View | DOI
 

2018 | Journal Article | IST-REx-ID: 7717 | OA
Q. Zhang et al., “Genotype effects contribute to variation in longitudinal methylome patterns in older people,” Genome Medicine, vol. 10, no. 1. Springer Nature, 2018.
[Published Version] View | DOI | Download Published Version (ext.)
 

2018 | Journal Article | IST-REx-ID: 7718
S. Tucci et al., “Evolutionary history and adaptation of a human pygmy population of Flores Island, Indonesia,” Science, vol. 361, no. 6401. American Association for the Advancement of Science, pp. 511–516, 2018.
View | DOI | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 7712 | OA
C. X. Yap et al., “Dissection of genetic variation and evidence for pleiotropy in male pattern baldness,” Nature Communications, vol. 9. Springer Nature, 2018.
[Published Version] View | DOI | Download Published Version (ext.)
 

2018 | Journal Article | IST-REx-ID: 7716 | OA
R. M. Maier et al., “Improving genetic prediction by leveraging genetic correlations among human diseases and traits,” Nature Communications, vol. 9. Springer Nature, 2018.
[Published Version] View | DOI | Download Published Version (ext.)
 

2018 | Journal Article | IST-REx-ID: 7715
L. Yengo et al., “Imprint of assortative mating on the human genome,” Nature Human Behaviour, vol. 2, no. 12. Springer Nature, pp. 948–954, 2018.
View | DOI
 

2018 | Journal Article | IST-REx-ID: 7714 | OA
Z. Zhu et al., “Causal associations between risk factors and common diseases inferred from GWAS summary data,” Nature Communications, vol. 9. Springer Nature, 2018.
[Published Version] View | DOI | Download Published Version (ext.)
 

Search

Filter Publications