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, Thomas A Henzinger, and Marcin Jurdziński. “Mean-Payoff Parity Games,” 178–87. IEEE, 2005. https://doi.org/10.1109/LICS.2005.26.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4560
Chakrabarti, Arindam, Krishnendu Chatterjee, Thomas A Henzinger, Orna Kupferman, and Ritankar Majumdar. “Verifying Quantitative Properties Using Bound Functions,” 3725:50–64. Springer, 2005. https://doi.org/10.1007/11560548_7.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4557
Chatterjee, Krishnendu, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “Counterexample-Guided Planning,” 104–11. AUAI Press, 2005.
View | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 4579
Beyer, Dirk, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “Checking Memory Safety with BLAST,” 3442:2–18. Springer, 2005. https://doi.org/10.1007/978-3-540-31984-9_2.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4576
Beyer, Dirk, Arindam Chakrabarti, and Thomas A Henzinger. “Web Service Interfaces,” 148–59. ACM, 2005. https://doi.org/10.1145/1060745.1060770.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4625
De Alfaro, Luca, Marco Faella, Thomas A Henzinger, Ritankar Majumdar, and Mariëlle Stoelinga. “Model Checking Discounted Temporal Properties.” Theoretical Computer Science. Elsevier, 2005. https://doi.org/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,” 195:83–104. Springer, 2005. https://doi.org/10.1007/1-4020-3532-2_3.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 575
Hosten, Onur, Matthew Rakher, Julio Barreiro, Nicholas Peters, and Paul Kwiat. “Counterfactual Quantum Computation,” 1:365–67. IEEE, 2005. https://doi.org/ 10.1109/QELS.2005.1548783.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 6153
Bono, Mario de, and Andres Villu Maricq. “Neuronal Substrates of Complex Behaviors in C. Elegans.” Annual Review of Neuroscience. Annual Reviews, 2005. https://doi.org/10.1146/annurev.neuro.27.070203.144259.
View | DOI | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 6154
Cheung, Benny H.H., Merav Cohen, Candida Rogers, Onder Albayram, and Mario de Bono. “Experience-Dependent Modulation of C. Elegans Behavior by Ambient Oxygen.” Current Biology. Elsevier, 2005. https://doi.org/10.1016/j.cub.2005.04.017.
View | DOI | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 8028 | OA
Vogels, Tim P, and L. F. Abbott. “Signal Propagation and Logic Gating in Networks of Integrate-and-Fire Neurons.” Journal of Neuroscience. Society for Neuroscience, 2005. https://doi.org/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, Kanaka Rajan, and L.F. Abbott. “Neural Network Dynamics.” Annual Review of Neuroscience. Annual Reviews, 2005. https://doi.org/10.1146/annurev.neuro.28.061604.135637.
View | DOI | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 9491 | OA
Tran, Robert K., Jorja G. Henikoff, Daniel Zilberman, Renata F. Ditt, Steven E. Jacobsen, and Steven Henikoff. “DNA Methylation Profiling Identifies CG Methylation Clusters in Arabidopsis Genes.” Current Biology. Elsevier, 2005. https://doi.org/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 | OA
Tran, Robert K., Daniel Zilberman, Cecilia de Bustos, Renata F. Ditt, Jorja G. Henikoff, Anders M. Lindroth, Jeffrey Delrow, et al. “Chromatin and SiRNA Pathways Cooperate to Maintain DNA Methylation of Small Transposable Elements in Arabidopsis.” Genome Biology. Springer Nature, 2005. https://doi.org/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, Fyodor Kondrashov, and Alexey Kondrashov. “Distribution of the Strength of Selection against Amino Acid Replacements in Human Proteins.” Human Molecular Genetics. Oxford University Press, 2005. https://doi.org/10.1093/hmg/ddi350.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 8491
Schanda, Paul, Ēriks Kupče, and Bernhard Brutscher. “SOFAST-HMQC Experiments for Recording Two-Dimensional Deteronuclear Correlation Spectra of Proteins within a Few Seconds.” Journal of Biomolecular NMR. Springer Nature, 2005. https://doi.org/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. American Chemical Society, 2005. https://doi.org/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. Elsevier, 2005. https://doi.org/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. Pleiades Publishing, 2005.
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. Nature Publishing Group, 2005. https://doi.org/10.1038/ng0105-9.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 882
Kondrashov, Fyodor. “Prediction of Pathogenic Mutations in Mitochondrially Encoded Human TRNAs.” Human Molecular Genetics. Oxford University Press, 2005. https://doi.org/10.1093/hmg/ddi243.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 880
Kondrashov, Fyodor. “The Convergent Evolution of the Secondary Structure of Mitochondrial Cysteine TRNA in the Nine-Banded Armadillo Dasypus Novemcinctus.” Biofizika. Pleiades Publishing, 2005.
View | Download None (ext.) | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 893
Jordan, Ingo, Fyodor Kondrashov, Ivan Adzhubeǐ, Yuri Wolf, Eugene Koonin, Alexey Kondrashov, and Shamil Sunyaev. “A Universal Trend of Amino Acid Gain and Loss in Protein Evolution.” Nature. Nature Publishing Group, 2005. https://doi.org/10.1038/nature03306.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 9529
Zilberman, Daniel, and Steven Henikoff. “Epigenetic Inheritance in Arabidopsis: Selective Silence.” Current Opinion in Genetics and Development. Elsevier, 2005. https://doi.org/10.1016/j.gde.2005.07.002.
View | DOI | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 13431
Smoukov, S. K., K. J. M. Bishop, Rafal Klajn, C. J. Campbell, and B. A. Grzybowski. “Cutting into Solids with Micropatterned Gels.” Advanced Materials. Wiley, 2005. https://doi.org/10.1002/adma.200402086.
View | DOI | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 13433
Witt, Dariusz, Rafal Klajn, Piotr Barski, and Bartosz Grzybowski. “Applications, Properties and Synthesis of w-Functionalized n-Alkanethiols and Disulfides - the Building Blocks of Self-Assembled Monolayers.” Current Organic Chemistry. Bentham Science, 2005. https://doi.org/10.2174/1385272043369421.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 13432
Campbell, Christopher J., Rafal Klajn, Marcin Fialkowski, and Bartosz A. Grzybowski. “One-Step Multilevel Microfabrication by Reaction−diffusion.” Langmuir. American Chemical Society, 2005. https://doi.org/10.1021/la0487747.
View | DOI | PubMed | Europe PMC
 

Filters and Search Terms

year=2005

Search

Filter Publications