Please note that IST 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.

2928 Publications


2014 | Conference Paper | IST-REx-ID: 1872 | OA
A. Gupta, L. Kovács, B. Kragl, and A. Voronkov, “Extensional crisis and proving identity,” in ATVA 2014, Sydney, Australia, 2014, vol. 8837, pp. 185–200.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1875 | OA
R. Samanta, O. Olivo, and E. Allen, “Cost-aware automatic program repair,” presented at the SAS: Static Analysis Symposium, Munich, Germany, 2014, vol. 8723, pp. 268–284.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1876 | OA
N. Dolbilin, H. Edelsbrunner, A. Glazyrin, and O. Musin, “Functionals on triangulations of delaunay sets,” Moscow Mathematical Journal, vol. 14, no. 3, pp. 491–504, 2014.
View | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1877
M. K. Sixt and K. Vaahtomeri, “Physiology: Relax and come in,” Nature, vol. 514, no. 7523, pp. 441–442, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1884
D. Landau 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, pp. 1952–1952, 2014.
View | Download None (ext.)
 

2014 | Journal Article | IST-REx-ID: 1886 | OA
A. Hermundstad, J. Briguglio, M. Conte, J. Victor, V. Balasubramanian, and G. Tkačik, “Variance predicts salience in central sensory processing,” eLife, no. November, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1887
S. Cremer, “Gemeinsame Krankheitsabwehr in Ameisengesellschaften,” Zoologie, pp. 23–30, 2014.
View | Download None (ext.)
 

2014 | Book Chapter | IST-REx-ID: 1888
S. Cremer, “Soziale Immunität: Wie sich der Staat gegen Pathogene wehrt  Bayerische Akademie der Wissenschaften,” in Soziale Insekten in einer sich wandelnden Welt, vol. 43, Pfeil, 2014, pp. 65–72.
View
 

2014 | Journal Article | IST-REx-ID: 1889 | OA
G. Bräunlich, C. Hainzl, and R. Seiringer, “Translation-invariant quasi-free states for fermionic systems and the BCS approximation,” Reviews in Mathematical Physics, vol. 26, no. 7, 2014.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1890 | OA
C. Körner, V. Braunstein, M. Stangl, A. Schlögl, C. Neuper, and A. Ischebeck, “Sequential effects in continued visual search: Using fixation-related potentials to compare distractor processing before and after target detection,” Psychophysiology, vol. 51, no. 4, pp. 385–395, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1891
M. Chwastyk, A. Galera Prat, M. K. Sikora, À. Gómez Sicilia, M. Carrión Vázquez, and M. Cieplak, “Theoretical tests of the mechanical protection strategy in protein nanomechanics,” Proteins: Structure, Function and Bioinformatics, vol. 82, no. 5, pp. 717–726, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1892 | OA
S. Ocana, P. Meidl, D. Bonfils, and M. Taborsky, “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, vol. 281, no. 1794, 2014.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1893 | OA
P. Nováková et al., “SAC phosphoinositide phosphatases at the tonoplast mediate vacuolar function in Arabidopsis,” PNAS, vol. 111, no. 7, pp. 2818–2823, 2014.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1894 | OA
A. Grabowska et al., “Functional and bioinformatics analysis of two Campylobacter jejuni homologs of the thiol-disulfide oxidoreductase, DsbA,” PLoS One, vol. 9, no. 9, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1895 | OA
M. Edamura 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, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1896 | OA
R. Kollár, K. Bod’ová, J. Nosek, and Ľ. Tomáška, “Mathematical model of alternative mechanism of telomere length maintenance,” Physical Review E Statistical Nonlinear and Soft Matter Physics, vol. 89, no. 3, 2014.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1897 | OA
S. Naramoto 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, pp. 3062–3076, 2014.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1898
A. Ritzau Jost et al., “Ultrafast action potentials mediate kilohertz signaling at a central synapse,” Neuron, vol. 84, no. 1, pp. 152–163, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1899 | OA
S. Williams, L. Ratliff, M. P. Postiglione, J. Knoblich, and E. Fuchs, “Par3-mInsc and Gα i3 cooperate to promote oriented epidermal cell divisions through LGN,” Nature Cell Biology, vol. 16, no. 8, pp. 758–769, 2014.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 1900
M. Behrndt and C.-P. J. Heisenberg, “Lateral junction dynamics lead the way out,” Nature Cell Biology, vol. 16, no. 2, pp. 127–129, 2014.
View | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications