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.

6107 Publications


2005 | Conference Paper | IST-REx-ID: 4455
T. A. Henzinger, R. Majumdar, and V. Prabhu, “Quantifying similarities between timed systems,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2005, vol. 3829, pp. 226–241.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4456
T. A. Henzinger, R. Jhala, and R. Majumdar, “Permissive interfaces,” presented at the FSE: Foundations of Software Engineering, 2005, pp. 31–40.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4457
T. A. Henzinger, C. Kirsch, and S. Matic, “Composable code generation for distributed Giotto,” presented at the LCTES: Languages, Compilers, and Tools for Embedded Systems, 2005, pp. 21–30.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4536
L. Doyen, T. A. Henzinger, and J. Raskin, “Automatic rectangular refinement of affine hybrid systems,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2005, vol. 3829, pp. 144–161.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 575
O. Hosten, M. Rakher, J. Barreiro, N. Peters, and P. Kwiat, “Counterfactual quantum computation,” presented at the QELS: Quantum Electronics and Laser Science, 2005, vol. 1, pp. 365–367.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 6153
M. de Bono and A. Villu Maricq, “Neuronal substrates of complex behaviors in C. elegans,” Annual Review of Neuroscience, vol. 28. Annual Reviews, pp. 451–501, 2005.
View | DOI | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 6154
B. H. H. Cheung, M. Cohen, C. Rogers, O. Albayram, and M. de Bono, “Experience-dependent modulation of C. elegans behavior by ambient oxygen,” Current Biology, vol. 15, no. 10. Elsevier, pp. 905–917, 2005.
View | DOI | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 8491
P. Schanda, Ē. Kupče, and B. Brutscher, “SOFAST-HMQC experiments for recording two-dimensional deteronuclear correlation spectra of proteins within a few seconds,” Journal of Biomolecular NMR, vol. 33, no. 4. Springer Nature, pp. 199–211, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 8492
P. Schanda and B. Brutscher, “Very fast two-dimensional NMR spectroscopy for real-time investigation of dynamic events in proteins on the time scale of seconds,” Journal of the American Chemical Society, vol. 127, no. 22. American Chemical Society, pp. 8014–8015, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 8516
J. Bourgain and V. Kaloshin, “On diffusion in high-dimensional Hamiltonian systems,” Journal of Functional Analysis, vol. 229, no. 1. Elsevier, pp. 1–61, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 877
F. Kondrashov, “The analysis of monomer sequences in protein and tRNA and the manifestation of the compensation of pathogenic deviations in their evolution,” Biofizika, vol. 50, no. 3. Pleiades Publishing, pp. 389–395, 2005.
View | Download None (ext.) | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 878
F. Kondrashov, “In search of the limits of evolution,” Nature Genetics, vol. 37, no. 1. Nature Publishing Group, pp. 9–10, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 882
F. Kondrashov, “Prediction of pathogenic mutations in mitochondrially encoded human tRNAs,” Human Molecular Genetics, vol. 14, no. 16. Oxford University Press, pp. 2415–2419, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 880
F. Kondrashov, “The convergent evolution of the secondary structure of mitochondrial cysteine tRNA in the nine-banded armadillo Dasypus novemcinctus,” Biofizika, vol. 50, no. 3. Pleiades Publishing, pp. 396–403, 2005.
View | Download None (ext.) | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 8028 | OA
T. P. Vogels and L. F. Abbott, “Signal propagation and logic gating in networks of integrate-and-fire neurons,” Journal of Neuroscience, vol. 25, no. 46. Society for Neuroscience, pp. 10786–10795, 2005.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 8029
T. P. Vogels, K. Rajan, and L. F. Abbott, “Neural network dynamics,” Annual Review of Neuroscience, vol. 28, no. 1. Annual Reviews, pp. 357–376, 2005.
View | DOI | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 843
L. Yampolsky, F. Kondrashov, and A. Kondrashov, “Distribution of the strength of selection against amino acid replacements in human proteins,” Human Molecular Genetics, vol. 14, no. 21. Oxford University Press, pp. 3191–3201, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 893
I. Jordan et al., “A universal trend of amino acid gain and loss in protein evolution,” Nature, vol. 433, no. 7026. Nature Publishing Group, pp. 633–638, 2005.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 1456 | OA
T. Hausel, E. Hunsicker, and R. Mazzeo, “Hodge cohomology of gravitational instantons,” Duke Mathematical Journal, vol. 122, no. 3. Duke University Press, pp. 485–548, 2004.
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 1464 | OA
T. Hausel and M. Thaddeus, “Generators for the cohomology ring of the moduli space of rank 2 higgs bundles,” Proceedings of the London Mathematical Society, vol. 88, no. 3. Oxford University Press, pp. 632–658, 2004.
View | DOI | Download (ext.)
 

Search

Filter Publications