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.
4521 Publications
2017 | Journal Article | IST-REx-ID: 939 | 
Midya, Bikashkali, and Vladimir Konotop. “Waveguides with Absorbing Boundaries: Nonlinearity Controlled by an Exceptional Point and Solitons.” Physical Review Letters, vol. 119, no. 3, 033905, American Physical Society, 2017, doi:10.1103/PhysRevLett.119.033905.
View
| DOI
| Download Submitted Version (ext.)
2017 | 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 | Journal Article | IST-REx-ID: 943 |
Zagórski, Marcin P., 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, 2017, pp. 1379–83, doi:10.1126/science.aam5887.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2017 | 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 |
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.
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.
View
| Files available
| DOI
2017 | Conference Abstract | IST-REx-ID: 12905 |
Schlögl, Alois, and Janos Kiss. “Scientific Computing at IST Austria.” AHPC17 – Austrian HPC Meeting 2017, FSP Scientific Computing, 2017, p. 28.
View
| Files available
| Download Published Version (ext.)
2017 | Conference Paper | IST-REx-ID: 13160 |
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.
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Conference Paper | IST-REx-ID: 950 |
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.
View
| Files available
| DOI
| arXiv
2017 | Conference Paper | IST-REx-ID: 683 |
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.
View
| Files available
| DOI