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.

8924 Publications


2006 | Published | Journal Article | IST-REx-ID: 4550
Chatterjee K, Henzinger TA, Jurdziński M. Games with secure equilibria. Theoretical Computer Science. 2006;365(1-2):67-82. doi:10.1016/j.tcs.2006.07.032
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4551
Chatterjee K, Majumdar R, Henzinger TA. Markov decision processes with multiple objectives. In: Vol 3884. Springer; 2006:325-336. doi:10.1007/11672142_26
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4552
Chatterjee K, De Alfaro L, Henzinger TA. Strategy improvement for concurrent reachability games. In: IEEE; 2006:291-300. doi:10.1109/QEST.2006.48
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4574
Beyer D, Henzinger TA, Théoduloz G. Lazy shape analysis. In: Vol 4144. Springer; 2006:532-546. doi:10.1007/11817963_48
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 12657 | OA
Pellicciotti F, Brock B, Strasser U, Burlando P, Funk M, Corripio J. An enhanced temperature-index glacier melt model including the shortwave radiation balance: Development and testing for Haut Glacier d’Arolla, Switzerland. Journal of Glaciology. 2005;51(175):573-587. doi:10.3189/172756505781829124
[Published Version] View | DOI | Download Published Version (ext.)
 

2005 | Published | Journal Article | IST-REx-ID: 1298
Reiff D, Ihring A, Guerrero G, et al. In vivo performance of genetically encoded indicators of neural activity in flies. Journal of Neuroscience. 2005;25(19):4766-4778. doi:10.1523/JNEUROSCI.4900-04.2005
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 843
Yampolsky L, Kondrashov F, Kondrashov A. Distribution of the strength of selection against amino acid replacements in human proteins. Human Molecular Genetics. 2005;14(21):3191-3201. doi:10.1093/hmg/ddi350
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 8491
Schanda P, Kupče Ē, Brutscher B. SOFAST-HMQC experiments for recording two-dimensional deteronuclear correlation spectra of proteins within a few seconds. Journal of Biomolecular NMR. 2005;33(4):199-211. doi:10.1007/s10858-005-4425-x
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 8492
Schanda P, Brutscher B. 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. 2005;127(22):8014-8015. doi:10.1021/ja051306e
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 8516
Bourgain J, Kaloshin V. On diffusion in high-dimensional Hamiltonian systems. Journal of Functional Analysis. 2005;229(1):1-61. doi:10.1016/j.jfa.2004.09.006
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 877
Kondrashov F. The analysis of monomer sequences in protein and tRNA and the manifestation of the compensation of pathogenic deviations in their evolution. Biofizika. 2005;50(3):389-395.
View | Download None (ext.) | PubMed | Europe PMC
 

2005 | Published | Journal Article | IST-REx-ID: 878
Kondrashov F. In search of the limits of evolution. Nature Genetics. 2005;37(1):9-10. doi:10.1038/ng0105-9
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 880
Kondrashov F. The convergent evolution of the secondary structure of mitochondrial cysteine tRNA in the nine-banded armadillo Dasypus novemcinctus. Biofizika. 2005;50(3):396-403.
View | Download None (ext.) | PubMed | Europe PMC
 

2005 | Published | Journal Article | IST-REx-ID: 882
Kondrashov F. Prediction of pathogenic mutations in mitochondrially encoded human tRNAs. Human Molecular Genetics. 2005;14(16):2415-2419. doi:10.1093/hmg/ddi243
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 893
Jordan I, Kondrashov F, Adzhubeǐ I, et al. A universal trend of amino acid gain and loss in protein evolution. Nature. 2005;433(7026):633-638. doi:10.1038/nature03306
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 8028 | OA
Vogels TP, Abbott LF. Signal propagation and logic gating in networks of integrate-and-fire neurons. Journal of Neuroscience. 2005;25(46):10786-10795. doi:10.1523/jneurosci.3508-05.2005
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2005 | Published | Journal Article | IST-REx-ID: 8029
Vogels TP, Rajan K, Abbott LF. Neural network dynamics. Annual Review of Neuroscience. 2005;28(1):357-376. doi:10.1146/annurev.neuro.28.061604.135637
View | DOI | PubMed | Europe PMC
 

2005 | Published | Journal Article | IST-REx-ID: 1740
Costantini G, Rastelli A, Manzano C, et al. Pyramids and domes in the InAs/GaAs (0 0 1) and Ge/Si (0 0 1) systems. Journal of Crystal Growth. 2005;278(1-4):38-45. doi:10.1016/j.jcrysgro.2004.12.047
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 1741
Denker U, Rastelli A, Stoffel M, et al. Lateral motion of SiGe islands driven by surface-mediated alloying. Physical Review Letters. 2005;94(21). doi:10.1103/PhysRevLett.94.216103
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 1742
Katsaros G, Costantini G, Stoffel M, et al. Kinetic origin of island intermixing during the growth of Ge on Si (001). Physical Review B - Condensed Matter and Materials Physics. 2005;72(19). doi:10.1103/PhysRevB.72.195320
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed