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: 1022 | 
P. Pranav et al., “The topology of the cosmic web in terms of persistent Betti numbers,” Monthly Notices of the Royal Astronomical Society, vol. 465, no. 4. Oxford University Press, pp. 4281–4310, 2017.
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 1023 |
Y. Nemish, “Local law for the product of independent non-Hermitian random matrices with independent entries,” Electronic Journal of Probability, vol. 22. Institute of Mathematical Statistics, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 10416 |
K. Chatterjee, B. Choudhary, and A. Pavlogiannis, “Optimal Dyck reachability for data-dependence and Alias analysis,” Proceedings of the ACM on Programming Languages, vol. 2, no. POPL. Association for Computing Machinery, 2017.
View
| Files available
| DOI
| arXiv
2017 | Journal Article | IST-REx-ID: 10417 |
M. Chalupa, K. Chatterjee, A. Pavlogiannis, N. Sinha, and K. Vaidya, “Data-centric dynamic partial order reduction,” Proceedings of the ACM on Programming Languages, vol. 2, no. POPL. Association for Computing Machinery, 2017.
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 10418 |
A. Mciver, C. Morgan, B. L. Kaminski, and J. P. Katoen, “A new proof rule for almost-sure termination,” Proceedings of the ACM on Programming Languages, vol. 2, no. POPL. Association for Computing Machinery, 2017.
View
| DOI
| Download Published Version (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 2016 |
A. Martin Del Campo Sanchez, S. A. Cepeda Humerez, and C. Uhler, “Exact goodness-of-fit testing for the Ising model,” Scandinavian Journal of Statistics, vol. 44, no. 2. Wiley-Blackwell, pp. 285–306, 2017.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Conference Paper | IST-REx-ID: 274 |
V. Kolmogorov, “A faster approximation algorithm for the Gibbs partition function,” in Proceedings of the 31st Conference On Learning Theory, 2017, vol. 75, pp. 228–249.
View
| Files available
| arXiv
2017 | Thesis | IST-REx-ID: 938 |
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 |
B. Midya and V. Konotop, “Waveguides with absorbing boundaries: Nonlinearity controlled by an exceptional point and solitons,” Physical Review Letters, vol. 119, no. 3. American Physical Society, 2017.
View
| DOI
| Download Submitted Version (ext.)
2017 | Conference Paper | IST-REx-ID: 941
X. Le, D. H. Chu, D. Lo, C. Le Goues, and W. Visser, “JFIX: Semantics-based repair of Java programs via symbolic PathFinder,” in Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, United States, 2017, pp. 376–379.
View
| DOI
2017 | Journal Article | IST-REx-ID: 943 |
M. P. Zagórski et al., “Decoding of position in the developing neural tube from antiparallel morphogen gradients,” Science, vol. 356, no. 6345. American Association for the Advancement of Science, pp. 1379–1383, 2017.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 9445 |
D. B. Lyons and D. Zilberman, “DDM1 and Lsh remodelers allow methylation of DNA wrapped in nucleosomes,” eLife, vol. 6. eLife Sciences Publications, 2017.
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 945 |
A. K. Huylmans, A. Macon, and B. Vicoso, “Global dosage compensation is ubiquitous in Lepidoptera, but counteracted by the masculinization of the Z chromosome,” Molecular Biology and Evolution, vol. 34, no. 10. Oxford University Press, pp. 2637–2649, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 946 |
D. von Wangenheim, R. Hauschild, M. Fendrych, V. Barone, E. Benková, and J. Friml, “Live tracking of moving samples in confocal microscopy for vertically grown roots,” eLife, vol. 6. eLife Sciences Publications, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 947 |
D. De Martino, F. Capuani, and A. De Martino, “Quantifying the entropic cost of cellular growth control,” Physical Review E Statistical Nonlinear and Soft Matter Physics , vol. 96, no. 1. American Institute of Physics, 2017.
View
| DOI
| Download Submitted Version (ext.)
2017 | Conference Paper | IST-REx-ID: 950 |
G. Avni, T. A. Henzinger, and V. K. Chonev, “Infinite-duration bidding games,” presented at the CONCUR: Concurrency Theory, Berlin, Germany, 2017, vol. 85.
View
| Files available
| DOI
| arXiv
2017 | Journal Article | IST-REx-ID: 9506 |
D. Zilberman, “An evolutionary case for functional gene body methylation in plants and animals,” Genome Biology, vol. 18, no. 1. Springer Nature, 2017.
View
| Files available
| DOI
| PubMed | Europe PMC