Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

4078 Publications

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 | 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 | 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 | 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
2017 | Journal Article | IST-REx-ID: 944
Beattie RJ, Postiglione MP, Burnett L, et al. Mosaic analysis with double markers reveals distinct sequential functions of Lgl1 in neural stem cells. Neuron. 2017;94(3):517-533.e3. doi:10.1016/j.neuron.2017.04.012
View | DOI
2017 | Journal Article | IST-REx-ID: 9445 | OA
Lyons DB, Zilberman D. DDM1 and Lsh remodelers allow methylation of DNA wrapped in nucleosomes. eLife. 2017;6. doi:10.7554/elife.30674
View | Files available | DOI | PubMed | Europe PMC


Filter Publications