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 | Conference Paper | IST-REx-ID: 4554
Chatterjee, Krishnendu, et al. Mean-Payoff Parity Games. IEEE, 2005, pp. 178–87, doi:10.1109/LICS.2005.26.
View
| DOI
2005 | Conference Paper | IST-REx-ID: 4560
Chakrabarti, Arindam, et al. Verifying Quantitative Properties Using Bound Functions. Vol. 3725, Springer, 2005, pp. 50–64, doi:10.1007/11560548_7.
View
| DOI
2005 | Conference Paper | IST-REx-ID: 4557
Chatterjee, Krishnendu, et al. Counterexample-Guided Planning. AUAI Press, 2005, pp. 104–11.
View
| Download (ext.)
2005 | Conference Paper | IST-REx-ID: 4579
Beyer, Dirk, et al. Checking Memory Safety with BLAST. Vol. 3442, Springer, 2005, pp. 2–18, doi:10.1007/978-3-540-31984-9_2.
View
| DOI
2005 | Conference Paper | IST-REx-ID: 4576
Beyer, Dirk, et al. Web Service Interfaces. ACM, 2005, pp. 148–59, doi:10.1145/1060745.1060770.
View
| DOI
2005 | Journal Article | IST-REx-ID: 4625
De Alfaro, Luca, et al. “Model Checking Discounted Temporal Properties.” Theoretical Computer Science, vol. 345, no. 1, Elsevier, 2005, pp. 139–70, doi:10.1016/j.tcs.2005.07.033.
View
| DOI
2005 | Conference Paper | IST-REx-ID: 4624
De Alfaro, Luca, and Thomas A. Henzinger. Interface-Based Design. Vol. 195, Springer, 2005, pp. 83–104, doi:10.1007/1-4020-3532-2_3.
View
| DOI
2005 | Conference Paper | IST-REx-ID: 575
Hosten, Onur, et al. Counterfactual Quantum Computation. Vol. 1, IEEE, 2005, pp. 365–67, doi: 10.1109/QELS.2005.1548783.
View
| DOI
2005 | Journal Article | IST-REx-ID: 6153
de Bono, Mario, and Andres Villu Maricq. “Neuronal Substrates of Complex Behaviors in C. Elegans.” Annual Review of Neuroscience, vol. 28, Annual Reviews, 2005, pp. 451–501, doi:10.1146/annurev.neuro.27.070203.144259.
View
| DOI
| PubMed | Europe PMC
2005 | Journal Article | IST-REx-ID: 6154
Cheung, Benny H. H., et al. “Experience-Dependent Modulation of C. Elegans Behavior by Ambient Oxygen.” Current Biology, vol. 15, no. 10, Elsevier, 2005, pp. 905–17, doi:10.1016/j.cub.2005.04.017.
View
| DOI
| PubMed | Europe PMC
2005 | Journal Article | IST-REx-ID: 8028 | 
Vogels, Tim P., 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, 2005, pp. 10786–95, 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, Tim P., et al. “Neural Network Dynamics.” Annual Review of Neuroscience, vol. 28, no. 1, Annual Reviews, 2005, pp. 357–76, doi:10.1146/annurev.neuro.28.061604.135637.
View
| DOI
| PubMed | Europe PMC
2005 | Journal Article | IST-REx-ID: 9491 |
Tran, Robert K., et al. “DNA Methylation Profiling Identifies CG Methylation Clusters in Arabidopsis Genes.” Current Biology, vol. 15, no. 2, Elsevier, 2005, pp. 154–59, 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, Robert K., et al. “Chromatin and SiRNA Pathways Cooperate to Maintain DNA Methylation of Small Transposable Elements in Arabidopsis.” Genome Biology, vol. 6, no. 11, R90, Springer Nature, 2005, 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, Lev, et al. “Distribution of the Strength of Selection against Amino Acid Replacements in Human Proteins.” Human Molecular Genetics, vol. 14, no. 21, Oxford University Press, 2005, pp. 3191–201, doi:10.1093/hmg/ddi350.
View
| DOI
2005 | Journal Article | IST-REx-ID: 8491
Schanda, Paul, et al. “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, 2005, pp. 199–211, doi:10.1007/s10858-005-4425-x.
View
| DOI
2005 | Journal Article | IST-REx-ID: 8492
Schanda, Paul, and Bernhard 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, 2005, pp. 8014–15, doi:10.1021/ja051306e.
View
| DOI
2005 | Journal Article | IST-REx-ID: 8516
Bourgain, Jean, and Vadim Kaloshin. “On Diffusion in High-Dimensional Hamiltonian Systems.” Journal of Functional Analysis, vol. 229, no. 1, Elsevier, 2005, pp. 1–61, doi:10.1016/j.jfa.2004.09.006.
View
| DOI
2005 | Journal Article | IST-REx-ID: 877
Kondrashov, Fyodor. “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, 2005, pp. 389–95.
View
| Download None (ext.)
| PubMed | Europe PMC
2005 | Journal Article | IST-REx-ID: 878
Kondrashov, Fyodor. “In Search of the Limits of Evolution.” Nature Genetics, vol. 37, no. 1, Nature Publishing Group, 2005, pp. 9–10, doi:10.1038/ng0105-9.
View
| DOI