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.
5025 Publications
2014 |Published| Conference Paper | IST-REx-ID: 1869
Hofferek, Georg, and Ashutosh Gupta. “Suraq - a Controller Synthesis Tool Using Uninterpreted Functions.” HVC 2014, edited by Eran Yahav, vol. 8855, Springer, 2014, pp. 68–74, doi:10.1007/978-3-319-13338-6_6.
View
| DOI
2014 |Published| Conference Paper | IST-REx-ID: 1872 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Gupta, Ashutosh, et al. “Extensional Crisis and Proving Identity.” ATVA 2014, edited by Franck Cassez and Jean-François Raskin, vol. 8837, Springer, 2014, pp. 185–200, doi:10.1007/978-3-319-11936-6_14.
[Submitted Version]
View
| Files available
| DOI
2014 |Published| Conference Paper | IST-REx-ID: 1870 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Henzinger, Thomas A., et al. “Lipschitz Robustness of Finite-State Transducers.” Leibniz International Proceedings in Informatics, LIPIcs, vol. 29, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 431–43, doi:10.4230/LIPIcs.FSTTCS.2014.431.
[Published Version]
View
| Files available
| DOI
2014 |Published| Conference Paper | IST-REx-ID: 1875 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Samanta, Roopsha, et al. Cost-Aware Automatic Program Repair. Edited by Markus Müller-Olm and Helmut Seidl, vol. 8723, Springer, 2014, pp. 268–84, doi:10.1007/978-3-319-10936-7_17.
[Submitted Version]
View
| Files available
| DOI
2014 |Published| Journal Article | IST-REx-ID: 1876 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Dolbilin, Nikolai, et al. “Functionals on Triangulations of Delaunay Sets.” Moscow Mathematical Journal, vol. 14, no. 3, Independent University of Moscow, 2014, pp. 491–504, doi:10.17323/1609-4514-2014-14-3-491-504.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
2014 |Published| Journal Article | IST-REx-ID: 1877
Sixt, Michael K., and Kari Vaahtomeri. “Physiology: Relax and Come In.” Nature, vol. 514, no. 7523, Springer Nature, 2014, pp. 441–42, doi:10.1038/514441a.
View
| DOI
2014 |Published| Journal Article | IST-REx-ID: 1886 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hermundstad, Ann, et al. “Variance Predicts Salience in Central Sensory Processing.” ELife, no. November, e03722, eLife Sciences Publications, 2014, doi:10.7554/eLife.03722.
[Published Version]
View
| Files available
| DOI
2014 |Published| Journal Article | IST-REx-ID: 1890 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Körner, Christof, et al. “Sequential Effects in Continued Visual Search: Using Fixation-Related Potentials to Compare Distractor Processing before and after Target Detection.” Psychophysiology, vol. 51, no. 4, Wiley-Blackwell, 2014, pp. 385–95, doi:10.1111/psyp.12062.
[Published Version]
View
| Files available
| DOI
2014 |Published| Journal Article | IST-REx-ID: 1891
Chwastyk, Mateusz, et al. “Theoretical Tests of the Mechanical Protection Strategy in Protein Nanomechanics.” Proteins: Structure, Function and Bioinformatics, vol. 82, no. 5, Wiley-Blackwell, 2014, pp. 717–26, doi:10.1002/prot.24436.
View
| DOI
2014 |Published| Journal Article | IST-REx-ID: 1884
Landau, Dan, et al. “Novel Putative Driver Gene Mutations in Chronic Lymphocytic Leukemia (CLL): Results from a Combined Analysis of Whole Exome Sequencing of 262 Primary CLL Aamples.” Blood, vol. 124, no. 21, American Society of Hematology, 2014, pp. 1952–1952.
View
| Download None (ext.)
2014 |Published| Journal Article | IST-REx-ID: 1889 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bräunlich, Gerhard, et al. “Translation-Invariant Quasi-Free States for Fermionic Systems and the BCS Approximation.” Reviews in Mathematical Physics, vol. 26, no. 7, 1450012, World Scientific Publishing, 2014, doi:10.1142/S0129055X14500123.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
2014 |Published| Journal Article | IST-REx-ID: 1894 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Grabowska, Anna, et al. “Functional and Bioinformatics Analysis of Two Campylobacter Jejuni Homologs of the Thiol-Disulfide Oxidoreductase, DsbA.” PLoS One, vol. 9, no. 9, e106247, Public Library of Science, 2014, doi:10.1371/journal.pone.0106247.
[Published Version]
View
| Files available
| DOI
2014 |Published| Journal Article | IST-REx-ID: 1895 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Edamura, Mitsuhiro, et al. “Functional Deficiency of MHC Class i Enhances LTP and Abolishes LTD in the Nucleus Accumbens of Mice.” PLoS One, vol. 9, no. 9, e107099, Public Library of Science, 2014, doi:10.1371/journal.pone.0107099.
[Published Version]
View
| Files available
| DOI
2014 |Published| Journal Article | IST-REx-ID: 1893 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Marhavá, Petra, et al. “SAC Phosphoinositide Phosphatases at the Tonoplast Mediate Vacuolar Function in Arabidopsis.” PNAS, vol. 111, no. 7, National Academy of Sciences, 2014, pp. 2818–23, doi:10.1073/pnas.1324264111.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 |Published| Journal Article | IST-REx-ID: 1896 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kollár, Richard, et al. “Mathematical Model of Alternative Mechanism of Telomere Length Maintenance.” Physical Review E Statistical Nonlinear and Soft Matter Physics, vol. 89, no. 3, 032701, American Institute of Physics, 2014, doi:10.1103/PhysRevE.89.032701.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 |Published| Journal Article | IST-REx-ID: 1897 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Naramoto, Satoshi, et al. “Insights into the Localization and Function of the Membrane Trafficking Regulator GNOM ARF-GEF at the Golgi Apparatus in Arabidopsis.” Plant Cell, vol. 26, no. 7, American Society of Plant Biologists, 2014, pp. 3062–76, doi:10.1105/tpc.114.125880.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 |Published| Journal Article | IST-REx-ID: 1899 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Williams, Scott, et al. “Par3-MInsc and Gα I3 Cooperate to Promote Oriented Epidermal Cell Divisions through LGN.” Nature Cell Biology, vol. 16, no. 8, Nature Publishing Group, 2014, pp. 758–69, doi:10.1038/ncb3001.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2014 |Published| Journal Article | IST-REx-ID: 1898
Ritzau Jost, Andreas, et al. “Ultrafast Action Potentials Mediate Kilohertz Signaling at a Central Synapse.” Neuron, vol. 84, no. 1, Elsevier, 2014, pp. 152–63, doi:10.1016/j.neuron.2014.08.036.
View
| DOI
2014 |Published| Journal Article | IST-REx-ID: 1906 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Arikan, Murat, et al. “Large-Scale Point-Cloud Visualization through Localized Textured Surface Reconstruction.” IEEE Transactions on Visualization and Computer Graphics, vol. 20, no. 9, IEEE, 2014, pp. 1280–92, doi:10.1109/TVCG.2014.2312011.
[Submitted Version]
View
| Files available
| DOI
2014 |Published| Journal Article | IST-REx-ID: 1905
Tobler, Michael, et al. “Selection from Parasites Favours Immunogenetic Diversity but Not Divergence among Locally Adapted Host Populations.” Journal of Evolutionary Biology, vol. 27, no. 5, Wiley, 2014, pp. 960–74, doi:10.1111/jeb.12370.
View
| DOI
| PubMed | Europe PMC