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.




3962 Publications

2017 | 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.
View | Files available | DOI | Download Published Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 840 | OA
L. Vukušić, J. Kukucka, H. Watzinger, and G. Katsaros, “Fast hole tunneling times in germanium hut wires probed by single-shot reflectometry,” Nano Letters, vol. 17, no. 9. American Chemical Society, pp. 5706–5710, 2017.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 552 | OA
K. Chatterjee, M. H. Henzinger, and A. Svozil, “Faster algorithms for mean-payoff parity games,” in Leibniz International Proceedings in Informatics, Aalborg, Denmark, 2017, vol. 83.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 6519 | OA
K. Chatterjee, W. Dvorák, M. H. Henzinger, and V. Loitzenbauer, “Improved set-based symbolic algorithms for parity games,” presented at the CSL: Conference on Computer Science Logic, Stockholm, Sweden, 2017, vol. 82.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 464 | OA
K. Chatterjee, M. H. Henzinger, and V. Loitzenbauer, “Improved algorithms for parity and Streett objectives,” Logical Methods in Computer Science, vol. 13, no. 3. International Federation of Computational Logic, 2017.
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.
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.
View | Files available | DOI | Download Published Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1199 | OA
N. H. Barton, “How does epistasis influence the response to selection?,” Heredity, vol. 118. Nature Publishing Group, pp. 96–109, 2017.
View | Files available | DOI | Download Submitted 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.
View | Files available | DOI | Download Published Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 914 | OA
J. Giehr, A. V. Grasse, S. Cremer, J. Heinze, and A. Schrempf, “Ant queens increase their reproductive efforts after pathogen infection,” Royal Society Open Science, vol. 4, no. 7. Royal Society, The, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 561 | OA
M. Pleska and C. C. Guet, “Effects of mutations in phage restriction sites during escape from restriction–modification,” Biology Letters, vol. 13, no. 12. The Royal Society, 2017.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
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.
View | Files available | DOI | Download Published Version (ext.)
 
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.
View | Files available | DOI | Download Published Version (ext.)
 
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.
View | Files available | DOI | Download Published Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1077 | OA
R. A. Fernandes Redondo, H. de Vladar, T. Włodarski, and J. P. Bollback, “Evolutionary interplay between structure, energy and epistasis in the coat protein of the ϕX174 phage family,” Journal of the Royal Society Interface, vol. 14, no. 126. Royal Society of London, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1006 | OA
J. Greenwood et al., “Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae,” BMC Genomics, vol. 18, no. 1. BioMed Central, p. 329, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1019
E. Argyridou, A. K. Huylmans, A. Königer, and J. Parsch, “X-linkage is not a general inhibitor of tissue-specific gene expression in Drosophila melanogaster,” Heredity, vol. 119, no. 1. Nature Publishing Group, pp. 27–34, 2017.
View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9861 | OA
E. Argyridou, A. K. Huylmans, A. Königer, and J. Parsch, “Data from: X-linkage is not a general inhibitor of tissue-specific gene expression in Drosophila melanogaster.” Dryad, 2017.
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.
View | Files available | DOI | Download Published Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1029 | OA
M. Lukacisin, M. Landon, and R. Jajoo, “Sequence-specific thermodynamic properties of nucleic acids influence both transcriptional pausing and backtracking in yeast,” PLoS One, vol. 12, no. 3. Public Library of Science, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 664
F. P. Assen and M. K. Sixt, “The dynamic cytokine niche,” Immunity, vol. 46, no. 4. Cell Press, pp. 519–520, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 960 | OA
A. H. Hansen, C. F. Düllberg, C. Mieck, M. Loose, and S. Hippenmeyer, “Cell polarity in cerebral cortex development - cellular architecture shaped by biochemical networks,” Frontiers in Cellular Neuroscience, vol. 11. Frontiers Research Foundation, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 735
V. Barone et al., “An effective feedback loop between cell-cell contact duration and morphogen signaling determines cell fate,” Developmental Cell, vol. 43, no. 2. Cell Press, pp. 198–211, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 682 | OA
H. Ukai et al., “PirB regulates asymmetries in hippocampal circuitry,” PLoS One, vol. 12, no. 6. Public Library of Science, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1028 | OA
S. Kainrath, M. Stadler, E. Gschaider-Reichhart, M. Distel, and H. L. Janovjak, “Green-light-induced inactivation of receptor signaling using cobalamin-binding domains,” Angewandte Chemie - International Edition, vol. 56, no. 16. Wiley-Blackwell, pp. 4608–4611, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1024 | OA
A. Hurny and E. Benková, “Methodological advances in auxin and cytokinin biology,” Auxins and Cytokinins in Plant Biology, vol. 1569. Springer, pp. 1–29, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 676 | OA
G. Krens et al., “Interstitial fluid osmolarity modulates the action of differential tissue surface tension in progenitor cell segregation during gastrulation,” Development, vol. 144, no. 10. Company of Biologists, pp. 1798–1806, 2017.
View | Files available | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 661 | OA
M. Smutny et al., “Friction forces position the neural anlage,” Nature Cell Biology, vol. 19. Nature Publishing Group, pp. 306–317, 2017.
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 704 | OA
M. Steinrück and C. C. Guet, “Complex chromosomal neighborhood effects determine the adaptive potential of a gene under selection,” eLife, vol. 6. eLife Sciences Publications, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 696 | OA
M. Lukacisinova, S. Novak, and T. Paixao, “Stress induced mutagenesis: Stress diversity facilitates the persistence of mutator genes,” PLoS Computational Biology, vol. 13, no. 7. Public Library of Science, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1027 | OA
M. Lukacisinova and M. T. Bollenbach, “Toward a quantitative understanding of antibiotic resistance evolution,” Current Opinion in Biotechnology, vol. 46. Elsevier, pp. 90–97, 2017.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 949 | OA
K. Chatterjee, A. K. Goharshady, and A. Pavlogiannis, “JTDec: A tool for tree decompositions in soot,” presented at the ATVA: Automated Technology for Verification and Analysis, Pune, India, 2017, vol. 10482, pp. 59–66.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 639 | OA
K. Chatterjee, H. Fu, and A. K. Goharshady, “Non-polynomial worst case analysis of recursive programs,” presented at the CAV: Computer Aided Verification, Heidelberg, Germany, 2017, vol. 10427, pp. 41–63.
View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 
2016 | Conference Paper | IST-REx-ID: 8094 | OA
G. S. Martius, R. Hostettler, A. Knoll, and R. Der, “Self-organized control of an tendon driven arm by differential extrinsic plasticity,” in Proceedings of the Artificial Life Conference 2016, Cancun, Mexico, 2016, vol. 28, pp. 142–143.
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 478 | OA
K. Chatterjee and R. Ibsen-Jensen, “The complexity of deciding legality of a single step of magic: The gathering,” presented at the ECAI: European Conference on Artificial Intelligence, The Hague, Netherlands, 2016, vol. 285, pp. 1432–1439.
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 479
Y. Jiang et al., “Use runtime verification to improve the quality of medical care practice,” in Proceedings of the 38th International Conference on Software Engineering Companion , Austin, TX, USA, 2016, pp. 112–121.
View | DOI
 
2016 | Conference Paper | IST-REx-ID: 480 | OA
K. Chatterjee and L. Doyen, “Perfect-information stochastic games with generalized mean-payoff objectives,” presented at the LICS: Logic in Computer Science, New York, NY, USA, 2016, vol. 05-08-July-2016, pp. 247–256.
View | DOI | Download Preprint (ext.)
 
2016 | Conference Paper | IST-REx-ID: 482
A. Rueda et al., “Nonlinear single sideband microwave to optical conversion using an electro-optic WGM-resonator,” presented at the NP: Nonlinear Photonics, Sydney, Australia, 2016.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 510 | OA
Z. Liu et al., “The CLE gene family in Populus trichocarpa,” Plant Signaling & Behavior, vol. 11, no. 6. Landes Bioscience, 2016.
View | DOI | Download Submitted Version (ext.)
 
2016 | Technical Report | IST-REx-ID: 5445 | OA
K. Chatterjee, A. Pavlogiannis, and Y. Velner, Quantitative interprocedural analysis. IST Austria, 2016.
View | Files available | DOI
 
2016 | Technical Report | IST-REx-ID: 5449 | OA
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, and M. Nowak, Amplification on undirected population structures: Comets beat stars. IST Austria, 2016.
View | Files available | DOI
 
2016 | Technical Report | IST-REx-ID: 5451 | OA
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, and M. Nowak, Strong amplifiers of natural selection. IST Austria, 2016.
View | Files available | DOI
 
2016 | Technical Report | IST-REx-ID: 5452 | OA
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, and M. Nowak, Arbitrarily strong amplifiers of natural selection. IST Austria, 2016.
View | Files available | DOI
 
2016 | Technical Report | IST-REx-ID: 5453 | OA
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, and M. Nowak, Arbitrarily strong amplifiers of natural selection. IST Austria, 2016.
View | Files available | DOI
 
2016 | Research Data | IST-REx-ID: 5550 | OA
T. Ellis and D. Field, “Flower colour data and phylogeny (NEXUS) files.” IST Austria, 2016.
View | Files available | DOI
 
2016 | Research Data | IST-REx-ID: 5551 | OA
T. Ellis, “Data on pollinator observations and offpsring phenotypes.” IST Austria, 2016.
View | Files available | DOI
 
2016 | Research Data | IST-REx-ID: 5552 | OA
T. Ellis, “Pollinator visitation data for wild Antirrhinum majus plants, with phenotypic and frequency data.” IST Austria, 2016.
View | Files available | DOI
 
2016 | Research Data | IST-REx-ID: 5553 | OA
D. Field and T. Ellis, “Inference of mating patterns among wild snapdragons in a natural hybrid zone in 2012.” IST Austria, 2016.
View | Files available | DOI
 
2016 | Research Data | IST-REx-ID: 5554 | OA
M. Tugrul, “Experimental Data for Binding Site Evolution of Bacterial RNA Polymerase.” IST Austria, 2016.
View | Files available | DOI
 
2016 | Research Data | IST-REx-ID: 5556 | OA
M. Lukacisin, M. Landon, and R. Jajoo, “MATLAB analysis code for ‘Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast.’” IST Austria, 2016.
View | Files available | DOI
 

Search

Filter Publications