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.

7047 Publications


2017 |Published| Journal Article | IST-REx-ID: 936
Sedzinski, Jakub, et al. “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, doi:10.1242/jcs.202234.
View | DOI
 

2017 |Published| Journal Article | IST-REx-ID: 937
Pinheiro, Diana, et al. “Transmission of Cytokinesis Forces via E Cadherin Dilution and Actomyosin Flows.” Nature, vol. 545, no. 7652, Nature Publishing Group, 2017, pp. 103–07, doi:10.1038/nature22041.
View | DOI
 

2017 |Published| Conference Paper | IST-REx-ID: 941
Le, Xuan, et al. “JFIX: Semantics-Based Repair of Java Programs via Symbolic  PathFinder.” Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2017, pp. 376–79, doi:10.1145/3092703.3098225.
View | DOI
 

2017 |Published| Book Chapter | IST-REx-ID: 958
Mitchell, Joshua, et al. “Method for Developing Optical Sensors Using a Synthetic Dye Fluorescent Protein FRET Pair and Computational Modeling and Assessment.” Synthetic Protein Switches, edited by Viktor Stein, vol. 1596, Springer, 2017, pp. 89–99, doi:10.1007/978-1-4939-6940-1_6.
View | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9707 | OA
Riccio, Paul, et al. Data from: Ret and Etv4 Promote Directed Movements of Progenitor Cells during Renal Branching Morphogenesis. Dryad, 2017, doi:10.5061/dryad.pk16b.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2017 | Research Data Reference | IST-REx-ID: 9844
Nikolic, Nela, et al. Source Data for Figures and Tables. Public Library of Science, 2017, doi:10.1371/journal.pgen.1007122.s018.
[Published Version] View | Files available | DOI
 

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

2017 |Published| Conference Paper | IST-REx-ID: 13160 | OA
Kretinsky, Jan, et al. “Index Appearance Record for Transforming Rabin Automata into Parity Automata.” Tools and Algorithms for the Construction and Analysis of Systems, vol. 10205, Springer, 2017, pp. 443–60, doi:10.1007/978-3-662-54577-5_26.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 |Published| Conference Paper | IST-REx-ID: 950 | OA
Avni, Guy, et al. Infinite-Duration Bidding Games. Vol. 85, 17, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:10.4230/LIPIcs.CONCUR.2017.21.
[Published Version] View | Files available | DOI | arXiv
 

2017 |Published| Conference Paper | IST-REx-ID: 683 | OA
Lubiw, Anna, et al. A Proof of the Orbit Conjecture for Flipping Edge Labelled Triangulations. Vol. 77, 49, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:10.4230/LIPIcs.SoCG.2017.49.
[Published Version] View | Files available | DOI
 

2017 |Published| Thesis | IST-REx-ID: 1155 | OA
Daca, Przemyslaw. Statistical and Logical Methods for Property Checking. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:TH_730.
[Published Version] View | Files available | DOI
 

2017 |Published| Thesis | IST-REx-ID: 6291 | OA
Payne, Pavel. Bacterial Herd and Social Immunity to Phages. Institute of Science and Technology Austria, 2017.
[Published Version] View | Files available
 

2017 |Published| Journal Article | IST-REx-ID: 561 | OA
Pleska, Maros, and Calin C. Guet. “Effects of Mutations in Phage Restriction Sites during Escape from Restriction–Modification.” Biology Letters, vol. 13, no. 12, 20170646, The Royal Society, 2017, doi:10.1098/rsbl.2017.0646.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2017 |Published| Thesis | IST-REx-ID: 818 | OA
Mitosch, Karin. Timing, Variability and Cross-Protection in Bacteria – Insights from Dynamic Gene Expression Responses to Antibiotics. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:th_862.
[Published Version] View | Files available | DOI
 

2017 |Published| Journal Article | IST-REx-ID: 666 | OA
Mitosch, Karin, et al. “Noisy Response to Antibiotic Stress Predicts Subsequent Single Cell Survival in an Acidic Environment.” Cell Systems, vol. 4, no. 4, Cell Press, 2017, pp. 393–403, doi:10.1016/j.cels.2017.03.001.
[Published Version] View | Files available | DOI
 

2017 |Published| Thesis | IST-REx-ID: 821 | OA
Pavlogiannis, Andreas. Algorithmic Advances in Program Analysis and Their Applications. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:th_854.
[Published Version] View | Files available | DOI
 

2017 |Published| Thesis | IST-REx-ID: 820 | OA
Jesse, Fabienne. The Lac Operon in the Wild. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:th_857.
[Published Version] View | Files available | DOI
 

2017 |Published| Thesis | IST-REx-ID: 838 | OA
Rybar, Michal. (The Exact Security of) Message Authentication Codes. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:th_828.
[Published Version] View | Files available | DOI
 

2017 |Published| Journal Article | IST-REx-ID: 6196 | OA
Gazi, Peter, et al. “The Exact Security of PMAC.” IACR Transactions on Symmetric Cryptology, vol. 2016, no. 2, Ruhr University Bochum, 2017, pp. 145–61, doi:10.13154/TOSC.V2016.I2.145-161.
[Published Version] View | Files available | DOI
 

2017 |Published| Thesis | IST-REx-ID: 837 | OA
Xu, Haibing. Reactivation of the Hippocampal Cognitive Map in Goal-Directed Spatial Tasks. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:th_858.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

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

Search

Filter Publications