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.

517 Publications


2019 | Journal Article | IST-REx-ID: 11616 | OA
Huber D et al. 2019. A hot Saturn orbiting an oscillating late subgiant discovered by TESS. The Astronomical Journal. 157(6), 245.
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 11615 | OA
Hon M, Stello D, García RA, et al. A search for red giant solar-like oscillations in all Kepler data. Monthly Notices of the Royal Astronomical Society. 2019;485(4):5616-5630. doi:10.1093/mnras/stz622
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 11623 | OA
Santos ARG, García RA, Mathur S, et al. Surface rotation and photometric activity for Kepler targets. I. M and K main-sequence stars. The Astrophysical Journal Supplement Series. 2019;244(1). doi:10.3847/1538-4365/ab3b56
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 11614 | OA
Bugnet LA, García RA, Mathur S, et al. FliPerClass: In search of solar-like pulsators among TESS targets. Astronomy & Astrophysics. 2019;624. doi:10.1051/0004-6361/201834780
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Preprint | IST-REx-ID: 11627 | OA
Breton SN, Bugnet LA, Santos ARG, et al. Determining surface rotation periods of solar-like stars observed by the Kepler mission using machine learning techniques. arXiv. doi:10.48550/arXiv.1906.09609
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Preprint | IST-REx-ID: 11630 | OA
Saux AL, Bugnet LA, Mathur S, Breton SN, Garcia RA. Automatic classification of K2 pulsating stars using machine learning techniques. arXiv. doi:10.48550/arXiv.1906.09611
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6194 | OA
Boccara CN, Nardin M, Stella F, O’Neill J, Csicsvari JL. The entorhinal cognitive map is attracted to goals. Science. 2019;363(6434):1443-1447. doi:10.1126/science.aav4837
View | Files available | DOI
 

2019 | Research Data Reference | IST-REx-ID: 9726
Ucar MC, Lipowsky R. Supplementary information - Collective force generation by molecular motors is determined by strain-induced unbinding. 2019. doi:10.1021/acs.nanolett.9b04445.s001
View | Files available | DOI
 

2019 | Research Data Reference | IST-REx-ID: 9731 | OA
Sigalova O, Chaplin A, Bochkareva O, et al. Additional file 11 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction. 2019. doi:10.6084/m9.figshare.9808772.v1
View | Files available | DOI | Download Published Version (ext.)
 

2019 | Conference Paper | IST-REx-ID: 8324 | OA
Wang P, Fu H, Chatterjee K, Deng Y, Xu M. Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time. In: Proceedings of the ACM on Programming Languages. Vol 4. ACM; 2019. doi:10.1145/3371093
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6819 | OA
Antoniou MN, Nicolas A, Mesnage R, Biserni M, Rao FV, Martin CV. Glyphosate does not substitute for glycine in proteins of actively dividing mammalian cells. BMC Research Notes. 2019;12. doi:10.1186/s13104-019-4534-3
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Research Data Reference | IST-REx-ID: 9783 | OA
Sigalova OM, Chaplin AV, Bochkareva O, et al. Additional file 10 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction. 2019. doi:10.6084/m9.figshare.9808760.v1
View | Files available | DOI | Download Published Version (ext.)
 

2019 | Research Data Reference | IST-REx-ID: 9784 | OA
Antoniou MN, Nicolas A, Mesnage R, Biserni M, Rao FV, Martin CV. MOESM1 of Glyphosate does not substitute for glycine in proteins of actively dividing mammalian cells. 2019. doi:10.6084/m9.figshare.9411761.v1
View | Files available | DOI | Download Published Version (ext.)
 

2019 | Journal Article | IST-REx-ID: 6831 | OA
Puixeu Sala G, Pickup M, Field D, Barrett SCH. Variation in sexual dimorphism in a wind-pollinated plant: The influence of geographical context and life-cycle dynamics. New Phytologist. 2019;224(3):1108-1120. doi:10.1111/nph.16050
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6713 | OA
Castro JP, Yancoskie MN, Marchini M, et al. An integrative genomic analysis of the Longshanks selection experiment for longer limbs in mice. eLife. 2019;8. doi:10.7554/eLife.42014
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6680 | OA
Sachdeva H. Effect of partial selfing and polygenic selection on establishment in a new habitat. Evolution. 2019;73(9):1729-1745. doi:10.1111/evo.13812
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6467 | OA
Fraisse C, Welch JJ. The distribution of epistasis on simple fitness landscapes. Biology Letters. 2019;15(4). doi:10.1098/rsbl.2018.0881
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2019 | Research Data Reference | IST-REx-ID: 9804 | OA
Castro JP, Yancoskie MN, Marchini M, et al. Data from: An integrative genomic analysis of the Longshanks selection experiment for longer limbs in mice. 2019. doi:10.5061/dryad.0q2h6tk
View | Files available | DOI | Download Published Version (ext.)
 

2019 | Research Data Reference | IST-REx-ID: 9803 | OA
Puixeu Sala G, Pickup M, Field D, Barrett SCH. Data from: Variation in sexual dimorphism in a wind-pollinated plant: the influence of geographical context and life-cycle dynamics. 2019. doi:10.5061/dryad.n1701c9
View | Files available | DOI | Download Published Version (ext.)
 

2019 | Research Data Reference | IST-REx-ID: 9802 | OA
Sachdeva H. Data from: Effect of partial selfing and polygenic selection on establishment in a new habitat. 2019. doi:10.5061/dryad.8tp0900
View | Files available | DOI | Download Published Version (ext.)
 

2019 | Journal Article | IST-REx-ID: 6105 | OA
Kutzer M, Kurtz J, Armitage SAO. A multi-faceted approach testing the effects of previous bacterial exposure on resistance and tolerance. Journal of Animal Ecology. 2019;88(4):566-578. doi:10.1111/1365-2656.12953
View | Files available | DOI
 

2019 | Research Data Reference | IST-REx-ID: 9806 | OA
Kutzer M, Kurtz J, Armitage SAO. Data from: A multi-faceted approach testing the effects of previous bacterial exposure on resistance and tolerance. 2019. doi:10.5061/dryad.9kj41f0
View | Files available | DOI | Download Published Version (ext.)
 

2019 | Research Data Reference | IST-REx-ID: 9805 | OA
Barton NH. Data from: The consequences of an introgression event. 2019. doi:10.5061/dryad.2kb6fh4
View | Files available | DOI | Download Published Version (ext.)
 

2019 | Journal Article | IST-REx-ID: 6095 | OA
Faria R, Chaube P, Morales HE, et al. Multiple chromosomal rearrangements in a hybrid zone between Littorina saxatilis ecotypes. Molecular Ecology. 2019;28(6):1375-1393. doi:10.1111/mec.14972
View | Files available | DOI
 

2019 | Research Data Reference | IST-REx-ID: 9839 | OA
Polechova J. Data from: Is the sky the limit? On the expansion threshold of a species’ range. 2019. doi:10.5061/dryad.5vv37
View | Files available | DOI | Download Published Version (ext.)
 

2019 | Research Data Reference | IST-REx-ID: 9890 | OA
Sigalova OM, Chaplin AV, Bochkareva O, et al. Additional file 15 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction. 2019. doi:10.6084/m9.figshare.9808802.v1
View | Files available | DOI | Download Published Version (ext.)
 

2019 | Research Data Reference | IST-REx-ID: 9892 | OA
Sigalova OM, Chaplin AV, Bochkareva O, et al. Additional file 16 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction. 2019. doi:10.6084/m9.figshare.9808814.v1
View | Files available | DOI | Download Published Version (ext.)
 

2019 | Research Data Reference | IST-REx-ID: 9898 | OA
Sigalova OM, Chaplin AV, Bochkareva O, et al. Additional file 21 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction. 2019. doi:10.6084/m9.figshare.9808859.v1
View | Files available | DOI | Download Published Version (ext.)
 

2019 | Research Data Reference | IST-REx-ID: 9897 | OA
Sigalova OM, Chaplin AV, Bochkareva O, et al. Additional file 20 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction. 2019. doi:10.6084/m9.figshare.9808850.v1
View | Files available | DOI | Download Published Version (ext.)
 

2019 | Research Data Reference | IST-REx-ID: 9899 | OA
Sigalova OM, Chaplin AV, Bochkareva O, et al. Additional file 2 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction. 2019. doi:10.6084/m9.figshare.9808865.v1
View | Files available | DOI | Download Published Version (ext.)
 

2019 | Research Data Reference | IST-REx-ID: 9894 | OA
Sigalova OM, Chaplin AV, Bochkareva O, et al. Additional file 18 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction. 2019. doi:10.6084/m9.figshare.9808826.v1
View | Files available | DOI | Download Published Version (ext.)
 

2019 | Research Data Reference | IST-REx-ID: 9893 | OA
Sigalova OM, Chaplin AV, Bochkareva O, et al. Additional file 17 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction. 2019. doi:10.6084/m9.figshare.9808820.v1
View | Files available | DOI | Download Published Version (ext.)
 

2019 | Research Data Reference | IST-REx-ID: 9895 | OA
Sigalova OM, Chaplin AV, Bochkareva O, et al. Additional file 19 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction. 2019. doi:10.6084/m9.figshare.9808835.v1
View | Files available | DOI | Download Published Version (ext.)
 

2019 | Research Data Reference | IST-REx-ID: 9896 | OA
Sigalova OM, Chaplin AV, Bochkareva O, et al. Additional file 1 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction. 2019. doi:10.6084/m9.figshare.9808841.v1
View | Files available | DOI | Download Published Version (ext.)
 

2019 | Research Data Reference | IST-REx-ID: 9900 | OA
Sigalova OM, Chaplin AV, Bochkareva O, et al. Additional file 5 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction. 2019. doi:10.6084/m9.figshare.9808886.v1
View | Files available | DOI | Download Published Version (ext.)
 

2019 | Journal Article | IST-REx-ID: 6898 | OA
Sigalova OM, Chaplin AV, Bochkareva O, et al. Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction. BMC Genomics. 2019;20(1). doi:10.1186/s12864-019-6059-5
View | Files available | DOI
 

2019 | Research Data Reference | IST-REx-ID: 9901 | OA
Sigalova OM, Chaplin AV, Bochkareva O, et al. Additional file 9 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction. 2019. doi:10.6084/m9.figshare.9808907.v1
View | Files available | DOI | Download Published Version (ext.)
 

2019 | Journal Article | IST-REx-ID: 11957
Pieber B, Malik JA, Cavedon C, et al. Semi‐heterogeneous dual nickel/photocatalysis using carbon nitrides: Esterification of carboxylic acids with aryl halides. Angewandte Chemie International Edition. 2019;58(28):9575-9580. doi:10.1002/anie.201902785
View | DOI | PubMed | Europe PMC
 

2019 | Book Chapter | IST-REx-ID: 7453 | OA
Alur R, Giacobbe M, Henzinger TA, Larsen KG, Mikučionis M. Continuous-time models for system design and analysis. In: Steffen B, Woeginger G, eds. Computing and Software Science. Vol 10000. LNCS. Springer Nature; 2019:452-477. doi:10.1007/978-3-319-91908-9_22
View | DOI | Download Published Version (ext.)
 

2019 | Journal Article | IST-REx-ID: 11982 | OA
Cavedon C, Madani A, Seeberger PH, Pieber B. Semiheterogeneous dual nickel/photocatalytic (thio)etherification using carbon nitrides. Organic Letters. 2019;21(13):5331-5334. doi:10.1021/acs.orglett.9b01957
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 11984 | OA
Guberman M, Pieber B, Seeberger PH. Safe and scalable continuous flow azidophenylselenylation of galactal to prepare galactosamine building blocks. Organic Process Research and Development. 2019;23(12):2764-2770. doi:10.1021/acs.oprd.9b00456
View | DOI | Download Published Version (ext.)
 

2019 | Journal Article | IST-REx-ID: 11898 | OA
Bhattacharya S, Henzinger MH, Neumann S. New amortized cell-probe lower bounds for dynamic problems. Theoretical Computer Science. 2019;779:72-87. doi:10.1016/j.tcs.2019.01.043
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Thesis | IST-REx-ID: 6392 | OA
Lukacisin M. Quantitative investigation of gene expression principles through combinatorial drug perturbation and theory. 2019. doi:10.15479/AT:ISTA:6392
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6435 | OA
Casillas Perez BE. Collective defenses of garden ants against a fungal pathogen. 2019. doi:10.15479/AT:ISTA:6435
View | Files available | DOI
 

2019 | Preprint | IST-REx-ID: 10065 | OA
Hofmann AC, Jirovec D, Borovkov M, et al. Assessing the potential of Ge/SiGe quantum dots as hosts for singlet-triplet qubits. arXiv.
View | Files available | Download Preprint (ext.) | arXiv
 

2019 | Thesis | IST-REx-ID: 6891 | OA
Kopf A. The implication of cytoskeletal dynamics on leukocyte migration. 2019. doi:10.15479/AT:ISTA:6891
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6328 | OA
Renkawitz J, Kopf A, Stopp JA, et al. Nuclear positioning facilitates amoeboid migration along the path of least resistance. Nature. 2019;568:546-550. doi:10.1038/s41586-019-1087-5
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6877
Kopf A, Sixt MK. The neural crest pitches in to remove apoptotic debris. Cell. 2019;179(1):51-53. doi:10.1016/j.cell.2019.08.047
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Thesis | IST-REx-ID: 6269 | OA
Narasimhan M. Clathrin-Mediated endocytosis, post-endocytic trafficking and their regulatory controls in plants . 2019. doi:10.15479/at:ista:th1075
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6947 | OA
Assen FP. Lymph node mechanics: Deciphering the interplay between stroma contractility, morphology and lymphocyte trafficking. 2019. doi:10.15479/AT:ISTA:6947
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6849 | OA
Rangel Guerrero DK. The role of CCK-interneurons in regulating hippocampal network dynamics. 2019. doi:10.15479/AT:ISTA:6849
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6189 | OA
Agrawal N, Choueiri GH, Hof B. Transition to turbulence in particle laden flows. Physical Review Letters. 2019;122(11). doi:10.1103/PhysRevLett.122.114502
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6508 | OA
Shamipour S, Kardos R, Xue S, Hof B, Hannezo EB, Heisenberg C-PJ. Bulk actin dynamics drive phase segregation in zebrafish oocytes. Cell. 2019;177(6):1463-1479.e18. doi:10.1016/j.cell.2019.04.030
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7001 | OA
Schwayer C, Shamipour S, Pranjic-Ferscha K, et al. Mechanosensation of tight junctions depends on ZO-1 phase separation and flow. Cell. 2019;179(4):937-952.e18. doi:10.1016/j.cell.2019.10.006
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6848 | OA
Kampjut D, Sazanov LA. Structure and mechanism of mitochondrial proton-translocating transhydrogenase. Nature. 2019;573(7773):291–295. doi:10.1038/s41586-019-1519-2
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6830 | OA
Contreras X, Hippenmeyer S. Memo1 tiles the radial glial cell grid. Neuron. 2019;103(5):750-752. doi:10.1016/j.neuron.2019.08.021
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6351 | OA
Marhavá P, Hörmayer L, Yoshida S, Marhavý P, Benková E, Friml J. Re-activation of stem cell pathways for pattern restoration in plant wound healing. Cell. 2019;177(4):957-969.e13. doi:10.1016/j.cell.2019.04.015
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Thesis | IST-REx-ID: 6546 | OA
Valosková K. The role of a highly conserved major facilitator superfamily member in Drosophila embryonic macrophage migration. 2019. doi:10.15479/AT:ISTA:6546
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6943 | OA
Hörmayer L, Friml J. Targeted cell ablation-based insights into wound healing and restorative patterning. Current Opinion in Plant Biology. 2019;52:124-130. doi:10.1016/j.pbi.2019.08.006
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Thesis | IST-REx-ID: 6371 | OA
Igler C. On the nature of gene regulatory design - The biophysics of transcription factor binding shapes gene regulation. 2019. doi:10.15479/AT:ISTA:6371
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6363 | OA
Espinoza Martinez C. Parvalbumin+ interneurons enable efficient pattern separation in hippocampal microcircuits. 2019. doi:10.15479/AT:ISTA:6363
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5949 | OA
Käfer K, Malagon-Vina H, Dickerson D, et al. Disrupted-in-schizophrenia 1 overexpression disrupts hippocampal coding and oscillatory synchronization. Hippocampus. 2019;29(9):802-816. doi:10.1002/hipo.23076
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6825 | OA
Käfer K. The hippocampus and medial prefrontal cortex during flexible behavior. 2019. doi:10.15479/AT:ISTA:6825
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 7132 | OA
Mckenzie C. Design and characterization of methods and biological components to realize synthetic neurotransmission. 2019. doi:10.15479/at:ista:7132
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6486 | OA
Kühnen J, Scarselli D, Hof B. Relaminarization of pipe flow by means of 3D-printed shaped honeycombs. Journal of Fluids Engineering. 2019;141(11). doi:10.1115/1.4043494
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6228 | OA
Scarselli D, Kühnen J, Hof B. Relaminarising pipe flow by wall movement. Journal of Fluid Mechanics. 2019;867:934-948. doi:10.1017/jfm.2019.191
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6187 | OA
Valosková K, Biebl J, Roblek M, et al. A conserved major facilitator superfamily member orchestrates a subset of O-glycosylation to aid macrophage tissue invasion. eLife. 2019;8. doi:10.7554/elife.41801
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6260 | OA
Oochi A, Hajny J, Fukui K, et al. Pinstatic acid promotes auxin transport by inhibiting PIN internalization. Plant Physiology. 2019;180(2):1152-1165. doi:10.1104/pp.19.00201
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7158 | OA
Chatterjee K, Goharshady AK, Goyal P, Ibsen-Jensen R, Pavlogiannis A. Faster algorithms for dynamic algebraic queries in basic RSMs with constant treewidth. ACM Transactions on Programming Languages and Systems. 2019;41(4). doi:10.1145/3363525
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6378 | OA
Chatterjee K, Goharshady AK, Pourdamghani A. Hybrid Mining: Exploiting blockchain’s computational power for distributed problem solving. In: Proceedings of the 34th ACM Symposium on Applied Computing. Vol Part F147772. ACM; 2019:374-381. doi:10.1145/3297280.3297319
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6175 | OA
Wang P, Fu H, Goharshady AK, Chatterjee K, Qin X, Shi W. Cost analysis of nondeterministic probabilistic programs. In: PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery; 2019:204-220. doi:10.1145/3314221.3314581
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6380 | OA
Chatterjee K, Goharshady AK, Okati N, Pavlogiannis A. Efficient parameterized algorithms for data packing. Proceedings of the ACM on Programming Languages. 2019;3(POPL). doi:10.1145/3290366
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6490 | OA
Chatterjee K, Goharshady AK, Goharshady EK. The treewidth of smart contracts. In: Proceedings of the 34th ACM Symposium on Applied Computing. Vol Part F147772. ACM; :400-408. doi:10.1145/3297280.3297322
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6056 | OA
Chatterjee K, Goharshady AK, Pourdamghani A. Probabilistic smart contracts: Secure randomness on the blockchain. In: IEEE International Conference on Blockchain and Cryptocurrency. IEEE; 2019. doi:10.1109/BLOC.2019.8751326
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7014 | OA
Chatterjee K, Fu H, Goharshady AK. Non-polynomial worst-case analysis of recursive programs. ACM Transactions on Programming Languages and Systems. 2019;41(4). doi:10.1145/3339984
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6780 | OA
Huang M, Fu H, Chatterjee K, Goharshady AK. Modular verification for almost-sure termination of probabilistic programs. In: Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications . Vol 3. ACM; 2019. doi:10.1145/3360555
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6627 | OA
Adamowski M, Li L, Friml J. Reorientation of cortical microtubule arrays in the hypocotyl of arabidopsis thaliana is induced by the cell growth process and independent of auxin signaling. International Journal of Molecular Sciences. 2019;20(13). doi:10.3390/ijms20133337
View | Files available | DOI | PubMed | Europe PMC
 

Filters and Search Terms

year=2019

Search

Filter Publications