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.
4268 Publications
2014 |Published| Conference Paper | IST-REx-ID: 1872 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Gupta A, Kovács L, Kragl B, Voronkov A. 2014. Extensional crisis and proving identity. ATVA 2014. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 8837, 185–200.
[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 TA, Otop J, Samanta R. 2014. Lipschitz robustness of finite-state transducers. Leibniz International Proceedings in Informatics, LIPIcs. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 29, 431–443.
[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 R, Olivo O, Allen E. 2014. Cost-aware automatic program repair. SAS: Static Analysis Symposium, LNCS, vol. 8723, 268–284.
[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 N, Edelsbrunner H, Glazyrin A, Musin O. 2014. Functionals on triangulations of delaunay sets. Moscow Mathematical Journal. 14(3), 491–504.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
2014 |Published| Journal Article | IST-REx-ID: 1886 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hermundstad A, Briguglio J, Conte M, Victor J, Balasubramanian V, Tkačik G. 2014. Variance predicts salience in central sensory processing. eLife. (November), e03722.
[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 C, Braunstein V, Stangl M, Schlögl A, Neuper C, Ischebeck A. 2014. Sequential effects in continued visual search: Using fixation-related potentials to compare distractor processing before and after target detection. Psychophysiology. 51(4), 385–395.
[Published Version]
View
| Files available
| DOI
2014 |Published| Journal Article | IST-REx-ID: 1892 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Ocana S, Meidl P, Bonfils D, Taborsky M. 2014. Y-linked Mendelian inheritance of giant and dwarf male morphs in shell-brooding cichlids. Proceedings of the Royal Society of London Series B Biological Sciences. 281(1794), 20140253.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2014 |Published| Journal Article | IST-REx-ID: 1889 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bräunlich G, Hainzl C, Seiringer R. 2014. Translation-invariant quasi-free states for fermionic systems and the BCS approximation. Reviews in Mathematical Physics. 26(7), 1450012.
[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 A, Wywiał E, Dunin Horkawicz S, Łasica A, Wösten M, Nagy-Staron AA, Godlewska R, Bocian Ostrzycka K, Pieńkowska K, Łaniewski P, Bujnicki J, Van Putten J, Jagusztyn Krynicka E. 2014. Functional and bioinformatics analysis of two Campylobacter jejuni homologs of the thiol-disulfide oxidoreductase, DsbA. PLoS One. 9(9), e106247.
[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 M, Murakami G, Meng H, Itakura M, Shigemoto R, Fukuda A, Nakahara D. 2014. Functional deficiency of MHC class i enhances LTP and abolishes LTD in the nucleus accumbens of mice. PLoS One. 9(9), e107099.
[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á P, Hirsch S, Feraru E, Tejos R, Van Wijk R, Viaene T, Heilmann M, Lerche J, De Rycke R, Feraru M, Grones P, Van Montagu M, Heilmann I, Munnik T, Friml J. 2014. SAC phosphoinositide phosphatases at the tonoplast mediate vacuolar function in Arabidopsis. PNAS. 111(7), 2818–2823.
[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 R, Bodova K, Nosek J, Tomáška Ľ. 2014. Mathematical model of alternative mechanism of telomere length maintenance. Physical Review E Statistical Nonlinear and Soft Matter Physics. 89(3), 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 S, Otegui M, Kutsuna N, De Rycke R, Dainobu T, Karampelias M, Fujimoto M, Feraru E, Miki D, Fukuda H, Nakano A, Friml J. 2014. Insights into the localization and function of the membrane trafficking regulator GNOM ARF-GEF at the Golgi apparatus in Arabidopsis. Plant Cell. 26(7), 3062–3076.
[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 S, Ratliff L, Postiglione MP, Knoblich J, Fuchs E. 2014. Par3-mInsc and Gα i3 cooperate to promote oriented epidermal cell divisions through LGN. Nature Cell Biology. 16(8), 758–769.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2014 |Published| Journal Article | IST-REx-ID: 1906 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Arikan M, Preiner R, Scheiblauer C, Jeschke S, Wimmer M. 2014. Large-scale point-cloud visualization through localized textured surface reconstruction. IEEE Transactions on Visualization and Computer Graphics. 20(9), 1280–1292.
[Submitted Version]
View
| Files available
| DOI
2014 |Published| Journal Article | IST-REx-ID: 1904 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Frank R, Lewin M, Lieb É, Seiringer R. 2014. Strichartz inequality for orthonormal functions. Journal of the European Mathematical Society. 16(7), 1507–1526.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 |Published| Journal Article | IST-REx-ID: 1909 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Ezard T, Prizak R, Hoyle R. 2014. The fitness costs of adaptation via phenotypic plasticity and maternal effects. Functional Ecology. 28(3), 693–701.
[Published Version]
View
| Files available
| DOI
2014 |Published| Conference Paper | IST-REx-ID: 1907 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Demay G, Gazi P, Maurer U, Tackmann B. 2014. Optimality of non-adaptive strategies: The case of parallel games. IEEE International Symposium on Information Theory. IEEE International Symposium on Information Theory Proceedings, 6875125.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 |Published| Journal Article | IST-REx-ID: 1908 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Weissman D, Hallatschek O. 2014. The rate of adaptation in large sexual populations with linear chromosomes. Genetics. 196(4), 1167–1183.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 |Published| Journal Article | IST-REx-ID: 1916 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Novarino G, Fenstermaker A, Zaki M, Hofree M, Silhavy J, Heiberg A, Abdellateef M, Rosti B, Scott E, Mansour L, Masri A, Kayserili H, Al Aama J, Abdel Salam G, Karminejad A, Kara M, Kara B, Bozorgmehri B, Ben Omran T, Mojahedi F, Mahmoud I, Bouslam N, Bouhouche A, Benomar A, Hanein S, Raymond L, Forlani S, Mascaro M, Selim L, Shehata N, Al Allawi N, Bindu P, Azam M, Günel M, Caglayan A, Bilgüvar K, Tolun A, Issa M, Schroth J, Spencer E, Rosti R, Akizu N, Vaux K, Johansen A, Koh A, Megahed H, Dürr A, Brice A, Stévanin G, Gabriel S, Ideker T, Gleeson J. 2014. Exome sequencing links corticospinal motor neuron disease to common neurodegenerative disorders. Science. 343(6170), 506–511.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC