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.

7738 Publications


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

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

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

2017 | Journal Article | IST-REx-ID: 10418 | OA
A new proof rule for almost-sure termination
A. Mciver, C. Morgan, B.L. Kaminski, J.P. Katoen, Proceedings of the ACM on Programming Languages 2 (2017).
View | DOI | Download Published Version (ext.) | arXiv
 

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

2017 | Journal Article | IST-REx-ID: 265
Rational curves on smooth hypersurfaces of low degree
T.D. Browning, P. Vishe, Geometric Methods in Algebra and Number Theory 11 (2017) 1657–1675.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 266 | OA
Forms in many variables and differing degrees
T.D. Browning, R. Heath Brown, Journal of the European Mathematical Society 19 (2017) 357–394.
View | DOI | Download (ext.)
 

2017 | Journal Article | IST-REx-ID: 267
Many cubic surfaces contain rational points
T.D. Browning, Mathematika 63 (2017) 818–839.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 268 | OA
A transference approach to a Roth-type theorem in the squares
T.D. Browning, S. Prendiville, International Mathematics Research Notices 2017 (2017) 2219–2248.
View | DOI | Download (ext.)
 

2017 | Journal Article | IST-REx-ID: 269 | OA
Varieties with too many rational points
T.D. Browning, D. Loughran, Mathematische Zeitschrift 285 (2017) 1249–1267.
View | DOI | Download None (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 270 | OA
Power-free values of polynomials on symmetric varieties
T.D. Browning, A. Gorodnik, Proceedings of the London Mathematical Society 114 (2017) 1044–1080.
View | DOI | Download (ext.)
 

2017 | Journal Article | IST-REx-ID: 271 | OA
Improvements in Birch's theorem on forms in many variables
T.D. Browning, S. Prendiville, Journal Fur Die Reine Und Angewandte Mathematik 2017 (2017) 203–234.
View | DOI | Download (ext.)
 

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

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

2017 | Journal Article | IST-REx-ID: 93 | OA
Reconfigurable re-entrant cavity for wireless coupling to an electro-optomechanical device
T. Menke, P. Burns, A.P. Higginbotham, N.S. Kampel, R. Peterson, K. Cicak, R. Simmonds, C. Regal, K. Lehnert, Review of Scientific Instruments 88 (2017).
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2017 | Journal Article | IST-REx-ID: 934
Identity and dynamics of mammary stem cells during branching morphogenesis
C. Scheele, E.B. Hannezo, M. Muraro, A. Zomer, N. Langedijk, A. Van Oudenaarden, B. Simons, J. Van Rheenen, Nature 542 (2017) 313–317.
View | DOI
 

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

2017 | Journal Article | IST-REx-ID: 937
Transmission of cytokinesis forces via E cadherin dilution and actomyosin flows
D. Pinheiro, E.B. Hannezo, S. Herszterg, F. Bosveld, I. Gaugué, M. Balakireva, Z. Wang, I. Cristo, S. Rigaud, O. Markova, Y. Bellaïche, Nature 545 (2017) 103–107.
View | DOI
 

2017 | Thesis | IST-REx-ID: 938 | OA
Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana
M. Adamowski, Investigations into Cell Polarity and Trafficking in the Plant Model Arabidopsis Thaliana , IST Austria, 2017.
View | Files available | DOI
 

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

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

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

2017 | Conference Paper | IST-REx-ID: 942
S3: Syntax- and semantic-guided repair synthesis via programming by examples
X. Le, D.H. Chu, D. Lo, C. Le Goues, W. Visser, in:, ACM, 2017, pp. 593–604.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 943 | OA
Decoding of position in the developing neural tube from antiparallel morphogen gradients
M.P. Zagórski, Y. Tabata, N. Brandenberg, M. Lutolf, G. Tkačik, T. Bollenbach, J. Briscoe, A. Kicheva, Science 356 (2017) 1379–1383.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 944
Mosaic analysis with double markers reveals distinct sequential functions of Lgl1 in neural stem cells
R.J. Beattie, M.P. Postiglione, L. Burnett, S. Laukoter, C. Streicher, F. Pauler, G. Xiao, O. Klezovitch, V. Vasioukhin, T. Ghashghaei, S. Hippenmeyer, Neuron 94 (2017) 517–533.e3.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 9445 | OA
DDM1 and Lsh remodelers allow methylation of DNA wrapped in nucleosomes
D.B. Lyons, D. Zilberman, ELife 6 (2017).
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 945 | OA
Global dosage compensation is ubiquitous in Lepidoptera, but counteracted by the masculinization of the Z chromosome
A.K. Huylmans, A. Macon, B. Vicoso, Molecular Biology and Evolution 34 (2017) 2637–2649.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 946 | OA
Live tracking of moving samples in confocal microscopy for vertically grown roots
D. von Wangenheim, R. Hauschild, M. Fendrych, V. Barone, E. Benková, J. Friml, ELife 6 (2017).
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 947 | OA
Quantifying the entropic cost of cellular growth control
D. De Martino, F. Capuani, A. De Martino, Physical Review E Statistical Nonlinear and Soft Matter Physics 96 (2017).
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 950 | OA
Infinite-duration bidding games
G. Avni, T.A. Henzinger, V.K. Chonev, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
View | Files available | DOI | arXiv
 

2017 | Journal Article | IST-REx-ID: 9506 | OA
An evolutionary case for functional gene body methylation in plants and animals
D. Zilberman, Genome Biology 18 (2017).
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 951 | OA
Local introduction and heterogeneous spatial spread of dengue-suppressing Wolbachia through an urban population of Aedes Aegypti
T. Schmidt, N.H. Barton, G. Rasic, A. Turley, B. Montgomery, I. Iturbe Ormaetxe, P. Cook, P. Ryan, S. Ritchie, A. Hoffmann, S. O’Neill, M. Turelli, PLoS Biology 15 (2017).
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 952 | OA
Deploying dengue-suppressing Wolbachia: Robust models predict slow but effective spatial spread in Aedes aegypti
M. Turelli, N.H. Barton, Theoretical Population Biology 115 (2017) 45–60.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 953 | OA
The sources of adaptive evolution
D. Charlesworth, N.H. Barton, B. Charlesworth, Proceedings of the Royal Society of London Series B Biological Sciences 284 (2017).
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 954 | OA
On the mechanistic nature of epistasis in a canonical cis-regulatory element
M. Lagator, T. Paixao, N.H. Barton, J.P. Bollback, C.C. Guet, ELife 6 (2017).
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 955 | OA
Evolution of new regulatory functions on biophysically realistic fitness landscapes
T. Friedlander, R. Prizak, N.H. Barton, G. Tkačik, Nature Communications 8 (2017).
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 956 | OA
Gradient flow and entropy inequalities for quantum Markov semigroups with detailed balance
E. Carlen, J. Maas, Journal of Functional Analysis 273 (2017) 1810–1869.
View | DOI | Download Submitted Version (ext.)
 

2017 | Book Chapter | IST-REx-ID: 957
Ancestral protein reconstruction and circular permutation for improving the stability and dynamic range of FRET sensors
B. Clifton, J. Whitfield, I. Sanchez-Romero, M. Herde, C. Henneberger, H.L. Janovjak, C. Jackson, in:, V. Stein (Ed.), Synthetic Protein Switches, Springer, 2017, pp. 71–87.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 9574 | OA
Resilience for the Littlewood-Offord problem
A.S. Bandeira, A. Ferber, M.A. Kwan, Electronic Notes in Discrete Mathematics 61 (2017) 93–99.
View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Book Chapter | IST-REx-ID: 958
Method for developing optical sensors using a synthetic dye fluorescent protein FRET pair and computational modeling and assessment
J. Mitchell, W. Zhang, M. Herde, C. Henneberger, H.L. Janovjak, M. O’Mara, C. Jackson, in:, V. Stein (Ed.), Synthetic Protein Switches, Springer, 2017, pp. 89–99.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 9588 | OA
Resilience for the Littlewood–Offord problem
A.S. Bandeira, A. Ferber, M.A. Kwan, Advances in Mathematics 319 (2017) 292–312.
View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 9589 | OA
The average number of spanning trees in sparse graphs with given degrees
C. Greenhill, M. Isaev, M.A. Kwan, B.D. McKay, European Journal of Combinatorics 63 (2017) 6–25.
View | DOI | Download Published Version (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 959 | OA
Scales and multimodal flux distributions in stationary metabolic network models via thermodynamics
D. De Martino, Physical Review E Statistical Nonlinear and Soft Matter Physics 95 (2017) 062419.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 9590 | OA
Bounded-degree spanning trees in randomly perturbed graphs
M. Krivelevich, M.A. Kwan, B. Sudakov, SIAM Journal on Discrete Mathematics 31 (2017) 155–171.
View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 962
Model counting for recursively-defined strings
M. Trinh, D.H. Chu, J. Jaffar, in:, R. Majumdar, V. Kunčak (Eds.), Springer, 2017, pp. 399–418.
View | DOI
 

2017 | Conference Paper | IST-REx-ID: 963 | OA
Timed network games with clocks
G. Avni, S. Guha, O. Kupferman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 9660 | OA
The Gibbs free energy of homogeneous nucleation: From atomistic nuclei to the planar limit
B. Cheng, G.A. Tribello, M. Ceriotti, The Journal of Chemical Physics 147 (2017).
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC | arXiv
 

2017 | Journal Article | IST-REx-ID: 9661 | OA
Bridging the gap between atomistic and macroscopic models of homogeneous nucleation
B. Cheng, M. Ceriotti, The Journal of Chemical Physics 146 (2017).
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2017 | Research Data Reference | IST-REx-ID: 9844
Source data for figures and tables
N. Nikolic, F. Schreiber, A. Dal Co, D. Kiviet, T. Bergmiller, S. Littmann, M. Kuypers, M. Ackermann, (2017).
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9845
Mathematical model
N. Nikolic, F. Schreiber, A. Dal Co, D. Kiviet, T. Bergmiller, S. Littmann, M. Kuypers, M. Ackermann, (2017).
View | Files available | DOI
 

Search

Filter Publications