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.

3934 Publications


2017 | Journal Article | IST-REx-ID: 1030 | OA View | Files available | DOI
 

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 | 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 | 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 View | DOI | Download Submitted Version (ext.)
 

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: 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: 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
 

Filters and Search Terms

extern<>1

Search

Filter Publications