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 | Conference Paper | IST-REx-ID: 962
M. Trinh, D. H. Chu, and J. Jaffar, “Model counting for recursively-defined strings,” presented at the CAV: Computer Aided Verification, Heidelberg, Germany, 2017, vol. 10427, pp. 399–418.
View | DOI | WoS
 
2017 | Published | Conference Paper | IST-REx-ID: 963 | OA
G. Avni, S. Guha, and O. Kupferman, “Timed network games with clocks,” presented at the MFCS: Mathematical Foundations of Computer Science (SG), Aalborg, Denmark, 2017, vol. 83.
[Published Version] View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9707 | OA
P. Riccio, C. Cebrián, H. Zong, S. Hippenmeyer, and F. Costantini, “Data from: Ret and Etv4 promote directed movements of progenitor cells during renal branching morphogenesis.” Dryad, 2017.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2017 | Research Data Reference | IST-REx-ID: 9709 | OA
J. Prentice, O. Marre, M. Ioffe, A. Loback, G. Tkačik, and M. Berry, “Data from: Error-robust modes of the retinal population code.” Dryad, 2017.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2017 | Research Data Reference | IST-REx-ID: 9842 | OA
A. Etheridge and N. H. Barton, “Data for: Establishment in a new habitat by polygenic adaptation.” Mendeley Data, 2017.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2017 | Research Data Reference | IST-REx-ID: 9844
N. Nikolic et al., “Source data for figures and tables.” Public Library of Science, 2017.
[Published Version] View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9845
N. Nikolic et al., “Mathematical model.” Public Library of Science, 2017.
View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9846
N. Nikolic et al., “Supplementary methods.” Public Library of Science, 2017.
[Published Version] View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9847 | OA
M. Pleska and C. C. Guet, “Supplementary materials and methods; Full data set from effects of mutations in phage restriction sites during escape from restriction–modification.” The Royal Society, 2017.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2017 | Research Data Reference | IST-REx-ID: 9849
M. Lukacisinova, S. Novak, and T. Paixao, “Modelling and simulation details.” Public Library of Science, 2017.
[Published Version] View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9850
M. Lukacisinova, S. Novak, and T. Paixao, “Extensions of the model.” Public Library of Science, 2017.
[Published Version] View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9851
M. Lukacisinova, S. Novak, and T. Paixao, “Heuristic prediction for multiple stresses.” Public Library of Science, 2017.
[Published Version] View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9852
M. Lukacisinova, S. Novak, and T. Paixao, “Resistance frequencies for different combination strategies.” Public Library of Science, 2017.
[Published Version] View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9853 | OA
J. Giehr, A. V. Grasse, S. Cremer, J. Heinze, and A. Schrempf, “Raw data from ant queens increase their reproductive efforts after pathogen infection.” The Royal Society, 2017.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2017 | Research Data Reference | IST-REx-ID: 9855
M. J. Chalk, P. Masset, B. Gutkin, and S. Denève, “Supplementary appendix.” Public Library of Science, 2017.
[Published Version] View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9856
T. Schmidt et al., “Supporting Information concerning additional likelihood analyses and results.” Public Library of Science, 2017.
[Published Version] View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9857
T. Schmidt et al., “Supporting information concerning observed wMel frequencies and analyses of habitat variables.” Public Library of Science , 2017.
[Published Version] View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9858
T. Schmidt et al., “Excel file with data on mosquito densities, Wolbachia infection status and housing characteristics.” Public Library of Science, 2017.
[Published Version] View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9859 | OA
J. Greenwood et al., “Additional file 1: Table S1. of Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae.” Springer Nature, 2017.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2017 | Research Data Reference | IST-REx-ID: 9860 | OA
J. Greenwood et al., “Additional file 5: Table S3. of Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae.” Springer Nature, 2017.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed