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.

7408 Publications


2017 | Conference Paper | IST-REx-ID: 1003 | OA
Avni G, Guha S, Kupferman O. An abstraction-refinement methodology for reasoning about network games. In: AAAI Press; 2017:70-76. doi:10.24963/ijcai.2017/11
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1004 | OA
Ötvös K, Benková E. Spatiotemporal mechanisms of root branching. Current Opinion in Genetics & Development. 2017;45:82-89. doi:10.1016/j.gde.2017.03.010
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 1006 | OA
Greenwood J, Milutinovic B, Peuß R, et al. Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae. BMC Genomics. 2017;18(1):329. doi:10.1186/s12864-017-3705-7
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1007 | OA
Lang M, Sontag E. Zeros of nonlinear systems with input invariances. Automatica. 2017;81C:46-55. doi:10.1016/j.automatica.2017.03.030
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 1009 | OA
Chatterjee K, Novotný P, Pérez G, Raskin J, Zikelic D. Optimizing expectation with guarantees in POMDPs. In: Proceedings of the 31st AAAI Conference on Artificial Intelligence. Vol 5. AAAI Press; 2017:3725-3732.
View | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1010 | OA
Alt J, Erdös L, Krüger TH. Local law for random Gram matrices. Electronic Journal of Probability. 2017;22. doi:10.1214/17-EJP42
View | Files available | DOI | arXiv
 

2017 | Conference Paper | IST-REx-ID: 1011 | OA
Chatterjee K, Kragl B, Mishra S, Pavlogiannis A. Faster algorithms for weighted recursive state machines. In: Yang H, ed. Vol 10201. Springer; 2017:287-313. doi:10.1007/978-3-662-54434-1_11
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 10126 | OA
Vahid Belarghou A, Šarić A, Idema T. Curvature mediated interactions in highly curved membranes. Biophysical Journal. 2017;112(3). doi:10.1016/j.bpj.2016.11.2123
View | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1014 | OA
Fischer JL, Raithel C. Liouville principles and a large-scale regularity theory for random elliptic operators on the half-space. SIAM Journal on Mathematical Analysis. 2017;49(1):82-114. doi:10.1137/16M1070384
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1015 | OA
Bighin G, Salasnich L. Vortices and antivortices in two-dimensional ultracold Fermi gases. Scientific Reports. 2017;7. doi:10.1038/srep45702
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1016
Breuss M, Nguyen T, Srivatsan A, et al. Uner Tan syndrome caused by a homozygous TUBB2B mutation affecting microtubule stability. Human Molecular Genetics. 2017;26(2):258-269. doi:10.1093/hmg/ddw383
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1017 | OA
Breuss M, Leca I, Gstrein T, Hansen AH, Keays D. Tubulins and brain development: The origins of functional specification. Molecular and Cellular Neuroscience. 2017;84:58-67. doi:10.1016/j.mcn.2017.03.002
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 10175 | OA
Anza Hafsa O, Clozeau N, Mandallena J-P. Homogenization of nonconvex unbounded singular integrals. Annales mathématiques Blaise Pascal. 2017;24(2):135-193. doi:10.5802/ambp.367
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1018
Dobisova T, Hrdinova V, Cuesta C, et al. Light regulated expression of sensor histidine kinase CKI1 controls cytokinin related development. Plant Physiology. 2017;174(1):387-404. doi:10.1104/pp.16.01964
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1019
Argyridou E, Huylmans AK, Königer A, Parsch J. X-linkage is not a general inhibitor of tissue-specific gene expression in Drosophila melanogaster. Heredity. 2017;119(1):27-34. doi:10.1038/hdy.2017.12
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1020 | OA
Caixeiro S, Peruzzo M, Onelli O, Vignolini S, Sapienza R. Disordered cellulose based nanostructures for enhanced light scattering. ACS Applied Materials and Interfaces. 2017;9(9):7885-7890. doi:10.1021/acsami.6b15986
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1021 | OA
Lopez Alonso JM, Avila M. Boundary layer turbulence in experiments on quasi Keplerian flows. Journal of Fluid Mechanics. 2017;817:21-34. doi:10.1017/jfm.2017.109
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1022 | OA
Pranav P, Edelsbrunner H, Van De Weygaert R, et al. The topology of the cosmic web in terms of persistent Betti numbers. Monthly Notices of the Royal Astronomical Society. 2017;465(4):4281-4310. doi:10.1093/mnras/stw2862
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1023 | OA
Nemish Y. Local law for the product of independent non-Hermitian random matrices with independent entries. Electronic Journal of Probability. 2017;22. doi:10.1214/17-EJP38
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1025
Heisenberg C-PJ. Cell biology: Stretched divisions. Nature. 2017;543(7643):43-44. doi:10.1038/nature21502
View | DOI
 

2017 | Journal Article | IST-REx-ID: 103 | OA
Albrecht SM, Hansen E, Higginbotham AP, et al. Transport signatures of quasiparticle poisoning in a majorana island. APS Physics, Physical Review Letters. 2017;118(13). doi:10.1103/PhysRevLett.118.137701
View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 1030 | OA
Villányi M. Ein freies Bibliothekssystem für wissenschaftliche Bibliotheken – Werkstattbericht der IST Austria Library. Informationspraxis. 2017;3(1). doi:10.11588/ip.2017.1.35227
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 10369 | OA
Simunovic M, Šarić A, Henderson JM, Lee KYC, Voth GA. Long-range organization of membrane-curving proteins. ACS Central Science. 2017;3(12):1246-1253. doi:10.1021/acscentsci.7b00392
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 10370 | OA
Helle SCJ, Feng Q, Aebersold MJ, et al. Mechanical force induces mitochondrial fission. eLife. 2017;6. doi:10.7554/elife.30292
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 10373 | OA
Wirnsberger P, Fijan D, Lightwood RA, Šarić A, Dellago C, Frenkel D. Numerical evidence for thermally induced monopoles. Proceedings of the National Academy of Sciences. 2017;114(19):4911-4914. doi:10.1073/pnas.1621494114
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC | arXiv
 

2017 | Journal Article | IST-REx-ID: 10374 | OA
Meisl G, Rajah L, Cohen SAI, et al. Scaling behaviour and rate-determining steps in filamentous self-assembly. Chemical Science. 2017;8(10):7087-7097. doi:10.1039/c7sc01965c
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 10375 | OA
Vahid A, Šarić A, Idema T. Curvature variation controls particle aggregation on fluid vesicles. Soft Matter. 2017;13(28):4924-4930. doi:10.1039/c7sm00433h
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC | arXiv
 

2017 | Journal Article | IST-REx-ID: 10416 | OA
Chatterjee K, Choudhary B, Pavlogiannis A. Optimal Dyck reachability for data-dependence and Alias analysis. Proceedings of the ACM on Programming Languages. 2017;2(POPL). doi:10.1145/3158118
View | Files available | DOI | arXiv
 

2017 | Journal Article | IST-REx-ID: 10417 | OA
Chalupa M, Chatterjee K, Pavlogiannis A, Sinha N, Vaidya K. Data-centric dynamic partial order reduction. Proceedings of the ACM on Programming Languages. 2017;2(POPL). doi:10.1145/3158119
View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 10418 | OA
Mciver A, Morgan C, Kaminski BL, Katoen JP. A new proof rule for almost-sure termination. Proceedings of the ACM on Programming Languages. 2017;2(POPL). doi:10.1145/3158121
View | DOI | Download Published Version (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 2016 | OA
Martin Del Campo Sanchez A, Cepeda Humerez SA, Uhler C. Exact goodness-of-fit testing for the Ising model. Scandinavian Journal of Statistics. 2017;44(2):285-306. doi:10.1111/sjos.12251
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 265
Browning TD, Vishe P. Rational curves on smooth hypersurfaces of low degree. Geometric Methods in Algebra and Number Theory. 2017;11(7):1657-1675. doi:10.2140/ant.2017.11.1657
View | DOI
 

2017 | Journal Article | IST-REx-ID: 266 | OA
Browning TD, Heath Brown R. Forms in many variables and differing degrees. Journal of the European Mathematical Society. 2017;19(2):357-394. doi:10.4171/JEMS/668
View | DOI | Download (ext.)
 

2017 | Journal Article | IST-REx-ID: 267
Browning TD. Many cubic surfaces contain rational points. Mathematika. 2017;63(3):818-839. doi:10.1112/S0025579317000195
View | DOI
 

2017 | Journal Article | IST-REx-ID: 268 | OA
Browning TD, Prendiville S. A transference approach to a Roth-type theorem in the squares. International Mathematics Research Notices. 2017;2017(7):2219-2248. doi:10.1093/imrn/rnw096
View | DOI | Download (ext.)
 

2017 | Journal Article | IST-REx-ID: 269 | OA
Browning TD, Loughran D. Varieties with too many rational points. Mathematische Zeitschrift. 2017;285(3-4):1249-1267. doi:10.1007/s00209-016-1746-2
View | DOI | Download None (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 270 | OA
Browning TD, Gorodnik A. Power-free values of polynomials on symmetric varieties. Proceedings of the London Mathematical Society. 2017;114(6):1044-1080. doi:10.1112/plms.12030
View | DOI | Download (ext.)
 

2017 | Journal Article | IST-REx-ID: 271 | OA
Browning TD, Prendiville S. Improvements in Birch’s theorem on forms in many variables. Journal fur die Reine und Angewandte Mathematik. 2017;2017(731):203-234. doi:doi.org/10.1515/crelle-2014-0122
View | DOI | Download (ext.)
 

2017 | Journal Article | IST-REx-ID: 272 | OA
Browning TD, Matthiesen L. Norm forms for arbitrary number fields as products of linear polynomials. Annales Scientifiques de l’Ecole Normale Superieure. 2017;50(6):1383-1446. doi:10.24033/asens.2348
View | DOI | Download (ext.)
 

2017 | Conference Paper | IST-REx-ID: 274 | OA
Kolmogorov V. A faster approximation algorithm for the Gibbs partition function. In: Proceedings of the 31st Conference On Learning Theory. Vol 75. PMLR; 2017:228-249.
View | Files available | arXiv
 

2017 | Journal Article | IST-REx-ID: 93 | OA
Menke T, Burns P, Higginbotham AP, et al. Reconfigurable re-entrant cavity for wireless coupling to an electro-optomechanical device. Review of Scientific Instruments. 2017;88(9). doi:10.1063/1.5000973
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2017 | Journal Article | IST-REx-ID: 934
Scheele C, Hannezo EB, Muraro M, et al. Identity and dynamics of mammary stem cells during branching morphogenesis. Nature. 2017;542(7641):313-317. doi:10.1038/nature21046
View | DOI
 

2017 | Journal Article | IST-REx-ID: 936
Sedzinski J, Hannezo EB, Tu F, Biro M, Wallingford J. RhoA regulates actin network dynamics during apical surface emergence in multiciliated epithelial cells . Journal of Cell Science. 2017;130(5). doi:10.1242/jcs.202234
View | DOI
 

2017 | Journal Article | IST-REx-ID: 937
Pinheiro D, Hannezo EB, Herszterg S, et al. Transmission of cytokinesis forces via E cadherin dilution and actomyosin flows. Nature. 2017;545(7652):103-107. doi:10.1038/nature22041
View | DOI
 

2017 | Thesis | IST-REx-ID: 938 | OA
Adamowski M. Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana . 2017. doi:10.15479/AT:ISTA:th_842
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 939 | OA
Midya B, Konotop V. Waveguides with absorbing boundaries: Nonlinearity controlled by an exceptional point and solitons. Physical Review Letters. 2017;119(3). doi:10.1103/PhysRevLett.119.033905
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 94 | OA
Rosenthal E, Chapman B, Higginbotham AP, Kerckhoff J, Lehnert K. Breaking Lorentz reciprocity with frequency conversion and delay. APS Physics, Physical Review Letters. 2017;119(14). doi:10.1103/PhysRevLett.119.147703
View | DOI | Download Submitted Version (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 941
Le X, Chu DH, Lo D, Le Goues C, Visser W. JFIX: Semantics-based repair of Java programs via symbolic  PathFinder. In: Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. ACM; 2017:376-379. doi:10.1145/3092703.3098225
View | DOI
 

2017 | Conference Paper | IST-REx-ID: 942
Le X, Chu DH, Lo D, Le Goues C, Visser W. S3: Syntax- and semantic-guided repair synthesis via programming by examples. In: Vol F130154. ACM; 2017:593-604. doi:10.1145/3106237.3106309
View | DOI
 

2017 | Journal Article | IST-REx-ID: 943 | OA
Zagórski MP, Tabata Y, Brandenberg N, et al. Decoding of position in the developing neural tube from antiparallel morphogen gradients. Science. 2017;356(6345):1379-1383. doi:10.1126/science.aam5887
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

Search

Filter Publications