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.

9078 Publications


2018 | Journal Article | IST-REx-ID: 124
Waitukaitis SR, Schrader D, Nagashima K, Davidson J, Mccoy T, Conolly Jr H, Lauretta D. 2018. The retention of dust in protoplanetary disks: evidence from agglomeration olivine chondrules from the outer solar system. Geochimica et Cosmochimica Acta. 223, 405–421.
View | DOI
 

2018 | Journal Article | IST-REx-ID: 125
Cerda M, Waitukaitis SR, Navarro C, Silva J, Mujica N, Hitschfeld N. 2018. A high-speed tracking algorithm for dense granular media. Computer Physics Communications. 227, 8–16.
View | DOI
 

2018 | Journal Article | IST-REx-ID: 126
Waitukaitis SR, Harth K, Van Hecke M. 2018. From bouncing to floating: the Leidenfrost effect with hydrogel spheres. Physical Review Letters. 121(4), 048001.
View | DOI
 

2018 | Journal Article | IST-REx-ID: 127
Waitukaitis SR. 2018. Clicks for doughnuts. Nature Physics. 14(8), 777–778.
View | DOI
 

2018 | Conference Paper | IST-REx-ID: 174
Browning TD. 2018. How often does the Hasse principle hold? Algebraic Geometry, Proceedings of Symposia in Pure Mathematics, vol. 97, 89–102.
View | DOI
 

2018 | Journal Article | IST-REx-ID: 176 | OA
Browning TD, Sofos E. 2018. Averages of arithmetic functions over principal ideals. International Journal of Nuber Theory. 15(3), 547–567.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 178 | OA
Browning TD, Heath-Brown R. 2018. Counting rational points on quadric surfaces. Discrete Analysis. 15, 1–29.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 185 | OA
Fulek R, Kynčl J. 2018. Hanani-Tutte for approximating maps of graphs. SoCG: Symposium on Computational Geometry, Leibniz International Proceedings in Information, LIPIcs, vol. 99, 39.
[Published Version] View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 188 | OA
Edelsbrunner H, Virk Z, Wagner H. 2018. Smallest enclosing spheres and Chernoff points in Bregman geometry. SoCG: Symposium on Computational Geometry, Leibniz International Proceedings in Information, LIPIcs, vol. 99, 35:1-35:13.
[Published Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 2015 | OA
Raskutti G, Uhler C. 2018. Learning directed acyclic graphs based on sparsest permutations. STAT. 7(1), e183.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 306 | OA
De Martino A, De Martino D. 2018. An introduction to the maximum entropy approach and its application to inference problems in biology. Heliyon. 4(4), e00596.
[Published Version] View | Files available | DOI
 

2018 | Book | IST-REx-ID: 3300
Clarke EM, Henzinger TA, Veith H, Bloem R. 2018. Handbook of Model Checking 1st ed., Cham: Springer Nature, XLVIII, 1212p.
View | DOI
 

2018 | Book Chapter | IST-REx-ID: 37 | OA
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 | Journal Article | IST-REx-ID: 305
Misun P, Birchler A, Lang M, Hierlemann A, Frey O. 2018. Fabrication and operation of microfluidic hanging drop networks. Methods in Molecular Biology. 1771, 183–202.
View | DOI
 

2018 | Conference Paper | IST-REx-ID: 325 | OA
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 | Journal Article | IST-REx-ID: 394 | OA
Mahmood F, Alpichshev Z, Lee Y, Kong J, Gedik N. 2018. Observation of exciton-exciton interaction mediated valley Depolarization in Monolayer MoSe2. Nano Letters. 18(1), 223–228.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 

2018 | 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 | 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 | Journal Article | IST-REx-ID: 456
Novarino G. 2018. Zika-associated microcephaly: Reduce the stress and race for the treatment. Science Translational Medicine. 10(423), eaar7514.
View | DOI
 

2018 | Journal Article | IST-REx-ID: 53 | OA
Petritsch B, Porsche J. 2018. IST PubRep and IST DataRep: the institutional repositories at IST Austria. VÖB Mitteilungen. 71(1), 199–206.
[Published Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 536 | OA
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 | Journal Article | IST-REx-ID: 554 | OA
Napiórkowski MM, Reuvers R, Solovej J. 2018. The Bogoliubov free energy functional II: The dilute Limit. Communications in Mathematical Physics. 360(1), 347–403.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 

2018 | Book Chapter | IST-REx-ID: 562 | OA
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 | Book Chapter | IST-REx-ID: 59
Bloem R, Chatterjee K, Jobstmann B. 2018.Graph games and reactive synthesis. In: Handbook of Model Checking. , 921–962.
View | DOI
 

2018 | Book Chapter | IST-REx-ID: 60
Clarke E, Henzinger TA, Veith H. 2018.Introduction to model checking. In: Handbook of Model Checking. , 1–26.
View | DOI
 

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

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

2018 | 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 | Journal Article | IST-REx-ID: 6354 | OA
Fan S, Lorenz M, Massberg S, Gärtner FR. 2018. Platelet migration and bacterial trapping assay under flow. Bio-Protocol. 8(18), e3018.
[Published Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 6368 | OA
Higginbotham AP, Burns PS, Urmey MD, Peterson RW, Kampel NS, Brubaker BM, Smith G, Lehnert KW, Regal CA. 2018. Harnessing electro-optic correlations in an efficient mechanical converter. Nature Physics. 14(10), 1038–1042.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 6369 | OA
Rosenthal EI, Ehrlich NK, Rudner MS, Higginbotham AP, Lehnert KW. 2018. Topological phase transition measured in a dissipative metamaterial. Physical Review B. 97(22), 220301.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

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

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

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

2018 | Journal Article | IST-REx-ID: 6674
Hashemi SA, Mondelli M, Hassani SH, Condo C, Urbanke RL, Gross WJ. 2018. Decoder partitioning: Towards practical list decoding of polar codes. IEEE Transactions on Communications. 66(9), 3749–3759.
View | DOI
 

2018 | Conference Paper | IST-REx-ID: 6728 | OA
Doan N, Hashemi SA, Mondelli M, Gross WJ. 2018. On the decoding of polar codes on permuted factor graphs. 2018 IEEE Global Communications Conference . GLOBECOM: Global Communications Conference.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

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

2018 | Journal Article | IST-REx-ID: 690 | OA
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 | Conference Paper | IST-REx-ID: 6675 | OA
Mondelli M, Hassani H, Urbanke R. 2018. A new coding paradigm for the primitive relay channel. 2018 IEEE International Symposium on Information Theory. ISIT: International Symposium on Information Theory , 351–355.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

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

2018 | Journal Article | IST-REx-ID: 7063 | OA
Martino E, Arakcheeva A, Autès G, Pisoni A, Bachmann MD, Modic KA, Helm T, Yazyev OV, Moll PJW, Forró L, Katrych S. 2018. Sr2Pt8−xAs: A layered incommensurately modulated metal with saturated resistivity. IUCrJ. 5(4), 470–477.
[Published Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 7062 | OA
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 | Journal Article | IST-REx-ID: 7059 | OA
Modic KA, Bachmann MD, Ramshaw BJ, Arnold F, Shirer KR, Estry A, Betts JB, Ghimire NJ, Bauer ED, Schmidt M, Baenitz M, Svanidze E, McDonald RD, Shekhter A, Moll PJW. 2018. Resonant torsion magnetometry in anisotropic quantum materials. Nature Communications. 9(1), 3975.
[Published Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 7058 | OA
Modic KA, Ramshaw BJ, Shekhter A, Varma CM. 2018. Chiral spin order in some purported Kitaev spin-liquid compounds. Physical Review B. 98(20), 205110.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 7060
Giraldo-Gallo P, Galvis JA, Stegen Z, Modic KA, Balakirev FF, Betts JB, Lian X, Moir C, Riggs SC, Wu J, Bollinger AT, He X, Božović I, Ramshaw BJ, McDonald RD, Boebinger GS, Shekhter A. 2018. Scale-invariant magnetoresistance in a cuprate superconductor. Science. 361(6401), 479–481.
View | DOI
 

2018 | Conference Paper | IST-REx-ID: 7116 | OA
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 | Journal Article | IST-REx-ID: 7126 | OA
Cubero RJ, Marsili M, Roudi Y. 2018. Minimum description length codes are critical. Entropy. 20(10), 755.
[Published Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 7277 | OA
Mahne N, Renfrew SE, McCloskey BD, Freunberger SA. 2018. Electrochemical oxidation of Lithium Carbonate generates singlet oxygen. Angewandte Chemie International Edition. 57(19), 5529–5533.
[Published Version] View | Files available | DOI
 

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

Search

Filter Publications