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.
147 Publications
2005 | Journal Article | IST-REx-ID: 4625
De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. Model checking discounted temporal properties. Theoretical Computer Science. 2005;345(1):139-170. doi:10.1016/j.tcs.2005.07.033
View
| DOI
2005 | Conference Paper | IST-REx-ID: 4624
De Alfaro L, Henzinger TA. Interface-based design. In: Vol 195. Springer; 2005:83-104. doi:10.1007/1-4020-3532-2_3
View
| DOI
2005 | Conference Paper | IST-REx-ID: 575
Hosten O, Rakher M, Barreiro J, Peters N, Kwiat P. Counterfactual quantum computation. In: Vol 1. IEEE; 2005:365-367. doi: 10.1109/QELS.2005.1548783
View
| DOI
2005 | Journal Article | IST-REx-ID: 6153
de Bono M, Villu Maricq A. Neuronal substrates of complex behaviors in C. elegans. Annual Review of Neuroscience. 2005;28:451-501. doi:10.1146/annurev.neuro.27.070203.144259
View
| DOI
| PubMed | Europe PMC
2005 | Journal Article | IST-REx-ID: 6154
Cheung BHH, Cohen M, Rogers C, Albayram O, de Bono M. Experience-dependent modulation of C. elegans behavior by ambient oxygen. Current Biology. 2005;15(10):905-917. doi:10.1016/j.cub.2005.04.017
View
| DOI
| PubMed | Europe PMC
2005 | Journal Article | IST-REx-ID: 8028 | 
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 | 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 | Journal Article | IST-REx-ID: 9491 |
Tran RK, Henikoff JG, Zilberman D, Ditt RF, Jacobsen SE, Henikoff S. DNA methylation profiling identifies CG methylation clusters in Arabidopsis genes. Current Biology. 2005;15(2):154-159. doi:10.1016/j.cub.2005.01.008
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2005 | Journal Article | IST-REx-ID: 9514 |
Tran RK, Zilberman D, de Bustos C, et al. Chromatin and siRNA pathways cooperate to maintain DNA methylation of small transposable elements in Arabidopsis. Genome Biology. 2005;6(11). doi:10.1186/gb-2005-6-11-r90
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2005 | 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