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.




5502 Publications

2017 | Published | Journal Article | IST-REx-ID: 939 | OA
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.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
2017 | Published | Conference Paper | IST-REx-ID: 941 | OA
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.
[Published Version] View | DOI | Download Published Version (ext.)
 
2017 | Published | Conference Paper | IST-REx-ID: 942
X. Le, D. H. Chu, D. Lo, C. Le Goues, and W. Visser, “S3: Syntax- and semantic-guided repair synthesis via programming by examples,” presented at the FSE: Foundations of Software Engineering, Paderborn, Germany, 2017, vol. F130154, pp. 593–604.
View | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 943 | OA
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.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 
2017 | Published | Journal Article | IST-REx-ID: 944
R. J. Beattie et al., “Mosaic analysis with double markers reveals distinct sequential functions of Lgl1 in neural stem cells,” Neuron, vol. 94, no. 3. Cell Press, p. 517–533.e3, 2017.
View | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 9445 | OA
D. B. Lyons and D. Zilberman, “DDM1 and Lsh remodelers allow methylation of DNA wrapped in nucleosomes,” eLife, vol. 6. eLife Sciences Publications, 2017.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2017 | Published | Journal Article | IST-REx-ID: 945 | OA
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.
[Published Version] View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 946 | OA
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.
[Published Version] View | Files available | DOI | WoS
 
2017 | Published | Conference Paper | IST-REx-ID: 13160 | OA
J. Kretinsky, T. Meggendorfer, C. Waldmann, and M. Weininger, “Index appearance record for transforming Rabin automata into parity automata,” in Tools and Algorithms for the Construction and Analysis of Systems, Uppsala, Sweden, 2017, vol. 10205, pp. 443–460.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 1336 | OA
T. Paixao, J. Pérez Heredia, D. Sudholt, and B. Trubenova, “Towards a runtime comparison of natural and artificial evolution,” Algorithmica, vol. 78, no. 2. Springer, pp. 681–713, 2017.
[Published Version] View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1337 | OA
O. H. Ajanki, L. Erdös, and T. H. Krüger, “Universality for general Wigner-type matrices,” Probability Theory and Related Fields, vol. 169, no. 3–4. Springer, pp. 667–727, 2017.
[Published Version] View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1338 | OA
P. Cerny et al., “From non-preemptive to preemptive scheduling using synchronization synthesis,” Formal Methods in System Design, vol. 50, no. 2–3. Springer, pp. 97–139, 2017.
[Published Version] View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1351 | OA
M. Giacobbe, C. C. Guet, A. Gupta, T. A. Henzinger, T. Paixao, and T. Petrov, “Model checking the evolution of gene regulatory networks,” Acta Informatica, vol. 54, no. 8. Springer, pp. 765–787, 2017.
[Published Version] View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1367 | OA
P. Manteaux, C. Wojtan, R. Narain, S. Redon, F. Faure, and M. Cani, “Adaptive physically based models in computer graphics,” Computer Graphics Forum, vol. 36, no. 6. Wiley-Blackwell, pp. 312–337, 2017.
[Submitted Version] View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1407 | OA
M. Svoreňová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cěrná, and C. Belta, “Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games,” Nonlinear Analysis: Hybrid Systems, vol. 23, no. 2. Elsevier, pp. 230–253, 2017.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2017 | Published | Conference Paper | IST-REx-ID: 14205 | OA
F. Locatello, R. Khanna, M. Tschannen, and M. Jaggi, “A unified optimization view on generalized matching pursuit and Frank-Wolfe,” in Proceedings of the 20th International Conference on Artificial Intelligence and Statistics, Fort Lauderdale, FL, United States, 2017, vol. 54, pp. 860–868.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2017 | Published | Conference Paper | IST-REx-ID: 14206 | OA
F. Locatello, M. Tschannen, G. Rätsch, and M. Jaggi, “Greedy algorithms for cone constrained optimization with convergence guarantees,” in Advances in Neural Information Processing Systems, Long Beach, CA, United States, 2017.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 1433 | OA
U. Bauer, M. Kerber, J. Reininghaus, and H. Wagner, “Phat - Persistent homology algorithms toolbox,” Journal of Symbolic Computation, vol. 78. Academic Press, pp. 76–90, 2017.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1084
C. Fang et al., “Insulation and wiring specificity of BceR like response regulators and their target promoters in Bacillus subtilis,” Molecular Microbiology, vol. 104, no. 1. Wiley-Blackwell, pp. 16–31, 2017.
View | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1085 | OA
A. Wright et al., “Convergent recombination suppression suggests role of sexual selection in guppy sex chromosome formation,” Nature Communications, vol. 8. Nature Publishing Group, 2017.
[Published Version] View | Files available | DOI | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed