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

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

6982 Publications


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: 9845
N. Nikolic et al., “Mathematical model.” Public Library of Science, 2017.
View | Files available | DOI
 

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: 9846
N. Nikolic et al., “Supplementary methods.” Public Library of Science, 2017.
[Published Version] View | Files available | DOI
 

2017 |Published| Journal Article | IST-REx-ID: 680 | OA
M. J. Chalk, P. Masset, B. Gutkin, and S. Denève, “Sensory noise predicts divisive reshaping of receptive fields,” PLoS Computational Biology, vol. 13, no. 6. 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: 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 |Published| Journal Article | IST-REx-ID: 934
C. Scheele et al., “Identity and dynamics of mammary stem cells during branching morphogenesis,” Nature, vol. 542, no. 7641. Nature Publishing Group, pp. 313–317, 2017.
View | DOI
 

2017 |Published| Journal Article | IST-REx-ID: 936
J. Sedzinski, E. B. Hannezo, F. Tu, M. Biro, and J. Wallingford, “RhoA regulates actin network dynamics during apical surface emergence in multiciliated epithelial cells ,” Journal of Cell Science, vol. 130, no. 5. Company of Biologists, 2017.
View | DOI
 

2017 |Published| Journal Article | IST-REx-ID: 937
D. Pinheiro et al., “Transmission of cytokinesis forces via E cadherin dilution and actomyosin flows,” Nature, vol. 545, no. 7652. Nature Publishing Group, pp. 103–107, 2017.
View | DOI
 

2017 |Published| 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 |Published| Book Chapter | IST-REx-ID: 958
J. Mitchell et al., “Method for developing optical sensors using a synthetic dye fluorescent protein FRET pair and computational modeling and assessment,” in Synthetic Protein Switches, vol. 1596, V. Stein, Ed. Springer, 2017, pp. 89–99.
View | 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: 9844
N. Nikolic et al., “Source data for figures and tables.” Public Library of Science, 2017.
[Published Version] View | Files available | DOI
 

2017 |Published| Conference Abstract | IST-REx-ID: 12905 | OA
A. Schlögl and J. Kiss, “Scientific Computing at IST Austria,” in AHPC17 – Austrian HPC Meeting 2017, Grundlsee, Austria, 2017, p. 28.
[Published Version] View | Files available | Download Published Version (ext.)
 

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| Conference Paper | IST-REx-ID: 950 | OA
G. Avni, T. A. Henzinger, and V. K. Chonev, “Infinite-duration bidding games,” presented at the CONCUR: Concurrency Theory, Berlin, Germany, 2017, vol. 85.
[Published Version] View | Files available | DOI | arXiv
 

2017 |Published| Conference Paper | IST-REx-ID: 683 | OA
A. Lubiw, Z. Masárová, and U. Wagner, “A proof of the orbit conjecture for flipping edge labelled triangulations,” presented at the SoCG: Symposium on Computational Geometry, Brisbane, Australia, 2017, vol. 77.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

supervisor%3D38F4F166-F248-11E8-B48F-1D18A9856A87

Search

Filter Publications