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.

6509 Publications


2014 | Journal Article | IST-REx-ID: 2716 | OA
K. Chatterjee, M. Randour, and J. Raskin, “Strategy synthesis for multi-dimensional quantitative objectives,” Acta Informatica, vol. 51, no. 3–4. Springer, pp. 129–163, 2014.
View | DOI | Download Preprint (ext.)
 

2014 | Journal Article | IST-REx-ID: 2852
M. Fischlin, A. Lehmann, and K. Z. Pietrzak, “Robust multi-property combiners for hash functions,” Journal of Cryptology, vol. 27, no. 3. Springer, pp. 397–428, 2014.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2905 | OA
H. Edelsbrunner and D. Morozovy, “Persistent homology: Theory and practice,” presented at the ECM: European Congress of Mathematics, Kraków, Poland, 2014, pp. 31–50.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 8021 | OA
R. Araya, T. P. Vogels, and R. Yuste, “Activity-dependent dendritic spine neck changes are correlated with synaptic strength,” Proceedings of the National Academy of Sciences, vol. 111, no. 28. Proceedings of the National Academy of Sciences, pp. E2895–E2904, 2014.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 8022 | OA
G. Hennequin, T. P. Vogels, and W. Gerstner, “Optimal control of transient dynamics in balanced networks supports generation of complex movements,” Neuron, vol. 82, no. 6. Elsevier, pp. 1394–1406, 2014.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 8023 | OA
C. Tomm, M. Avermann, C. Petersen, W. Gerstner, and T. P. Vogels, “Connection-type-specific biases make uniform random network models consistent with cortical recordings,” Journal of Neurophysiology, vol. 112, no. 8. American Physiological Society, pp. 1801–1814, 2014.
View | Files available | DOI | PubMed | Europe PMC
 

2014 | Conference Paper | IST-REx-ID: 8044 | OA
R. Seiringer, “Structure of the excitation spectrum for many-body quantum systems,” in Proceeding of the International Congress of Mathematicans, Seoul, South Korea, 2014, vol. 3, pp. 1175–1194.
View | Download Published Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 809
T. Bharata et al., “Cryo electron microscopy of tubular arrays of HIV-1 Gag resolves structures essential for immature virus assembly,” PNAS, vol. 111, no. 22. National Academy of Sciences, pp. 8233–8238, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 8244
J. Singer et al., “Generation of a canine anti-EGFR (ErbB-1) antibody for passive immunotherapy in dog cancer patients,” Molecular Cancer Therapeutics, vol. 13, no. 7. American Association for Cancer Research, pp. 1777–1790, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 845
V. Seplyarskiy et al., “Crossing-over in a hypervariable species preferentially occurs in regions of high local similarity,” Molecular Biology and Evolution, vol. 31, no. 11. Oxford University Press, pp. 3016–3025, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 8458
P. Schanda et al., “Atomic model of a cell-wall cross-linking enzyme in complex with an intact bacterial peptidoglycan,” Journal of the American Chemical Society, vol. 136, no. 51. American Chemical Society, pp. 17852–17860, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 8459
S. Morin et al., “Relax: The analysis of biomolecular kinetics and thermodynamics using NMR relaxation dispersion data,” Bioinformatics, vol. 30, no. 15. Oxford University Press, pp. 2219–2220, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 8460
P. Ma et al., “Probing transient conformational states of proteins by solid-state R1ρ relaxation-dispersion NMR spectroscopy,” Angewandte Chemie International Edition, vol. 53, no. 17. Wiley, pp. 4312–4317, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 8500
V. Kaloshin, M. Levi, and M. Saprykina, “Arnol′d diffusion in a pendulum lattice,” Communications on Pure and Applied Mathematics, vol. 67, no. 5. Wiley, pp. 748–775, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 8501
A. Bounemoura and V. Kaloshin, “Generic fast diffusion for a class of non-convex Hamiltonians with two degrees of freedom,” Moscow Mathematical Journal, vol. 14, no. 2. Independent University of Moscow, pp. 181–203, 2014.
View | DOI | arXiv
 

2014 | Journal Article | IST-REx-ID: 852
O. Rosello and F. Kondrashov, “Long-Term asymmetrical acceleration of protein evolution after gene duplication,” Genome Biology and Evolution, vol. 6, no. 8. Oxford University Press, pp. 1949–1955, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 856
K. Pougach et al., “Duplication of a promiscuous transcription factor drives the emergence of a new regulatory network,” Nature Communications, vol. 5. Nature Publishing Group, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 863
Moroz L, Kocot K, Citarella M, Dosung S, Norekian T, Povolotskaya I, Grigorenko A, Dailey C, Berezikov E, Buckley K, Ptitsyn A, Reshetov D, Mukherjee K, Moroz T, Bobkova Y, Yu F, Kapitonov V, Jurka J, Bobkov Y, Swore J, Girardo D, Fodor A, Gusev F, Sanford R, Bruders R, Kittler E, Mills C, Rast J, Derelle R, Solovyev V, Kondrashov F, Swalla B, Sweedler J, Rogaev E, Halanych K, Kohn A. 2014. The ctenophore genome and the evolutionary origins of neural systems. Nature. 510(7503), 109–114.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 865
A. Koval et al., “Anti leprosy drug clofazimine inhibits growth of triple-negative breast cancer cells via inhibition of canonical Wnt signaling,” Biochemical Pharmacology, vol. 87, no. 4. Elsevier, pp. 571–578, 2014.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 1702 | OA
A. Gupta, C. Popeea, and A. Rybalchenko, “Generalised interpolation by solving recursion free-horn clauses,” in Electronic Proceedings in Theoretical Computer Science, EPTCS, Vienna, Austria, 2014, vol. 169, pp. 31–38.
View | DOI | Download Submitted Version (ext.)
 

Search

Filter Publications