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.
192 Publications
2007 | Thesis | IST-REx-ID: 4559
Chatterjee, K. (2007). Stochastic ω-Regular Games. University of California, Berkeley.
View
| Download (ext.)
2007 | Thesis | IST-REx-ID: 4566
Chakrabarti, A. (2007). A framework for compositional design and analysis of systems. University of California, Berkeley.
View
2007 | Journal Article | IST-REx-ID: 4567
Beyer, D., Henzinger, T. A., Jhala, R., & Majumdar, R. (2007). The software model checker BLAST: Applications to software engineering. International Journal on Software Tools for Technology Transfer. Springer. https://doi.org/10.1007/s10009-007-0044-z
View
| DOI
2007 | Conference Paper | IST-REx-ID: 4570
Brihaye, T., Henzinger, T. A., Prabhu, V., & Raskin, J. (2007). Minimum-time reachability in timed games (Vol. 4596, pp. 825–837). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/10.1007/978-3-540-73420-8_71
View
| DOI
2007 | Conference Paper | IST-REx-ID: 4573
Beyer, D., Henzinger, T. A., & Théoduloz, G. (2007). Configurable software verification: Concretizing the convergence of model checking and program analysis (Vol. 4590, pp. 504–518). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/978-3-540-73368-3_51
View
| DOI
2007 | Conference Paper | IST-REx-ID: 4572
Beyer, D., Henzinger, T. A., Majumdar, R., & Rybalchenko, A. (2007). Invariant synthesis for combined theories (Vol. 4349, pp. 378–394). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Springer. https://doi.org/10.1007/978-3-540-69738-1_27
View
| DOI
2007 | Conference Paper | IST-REx-ID: 4571
Beyer, D., Henzinger, T. A., Majumdar, R., & Rybalchenko, A. (2007). Path invariants (pp. 300–309). Presented at the PLDI: Programming Languages Design and Implementation, ACM. https://doi.org/10.1145/1250734.1250769
View
| DOI
2007 | Conference Paper | IST-REx-ID: 4575
Beyer, D., Chakrabarti, A., Henzinger, T. A., & Seshia, S. (2007). An application of web-service interfaces (pp. 831–838). Presented at the ICWS: International Conference on Web Service, IEEE. https://doi.org/10.1109/ICWS.2007.32
View
| DOI
2007 | Journal Article | IST-REx-ID: 4626
De Alfaro, L., Henzinger, T. A., & Kupferman, O. (2007). Concurrent reachability games. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2007.07.008
View
| DOI
2007 | Conference Paper | IST-REx-ID: 582
Hosten, O., & Kwiat, P. (2007). Observing the spin hall effect of light via quantum weak measurements. Presented at the OMD: Organic Materials and Devices for Displays and Energy Conversion, OSA. https://doi.org/10.1364/FIO.2007.JTuA4
View
| DOI
2007 | Journal Article | IST-REx-ID: 6150
Gumienny, T. L., MacNeil, L. T., Wang, H., de Bono, M., Wrana, J. L., & Padgett, R. W. (2007). Glypican LON-2 is a conserved negative regulator of BMP-like signaling in Caenorhabditis elegans. Current Biology. Elsevier. https://doi.org/10.1016/j.cub.2006.11.065
View
| DOI
| PubMed | Europe PMC
2007 | Book Chapter | IST-REx-ID: 6323 | 
Browning, T. D. (2007). An overview of Manin’s conjecture for del Pezzo surfaces. In A Tribute to Gauss and Dirichlet (Vol. 7, pp. 39–56). American Mathematical Society.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2007 | Preprint | IST-REx-ID: 6321 |
Browning, T. D. (n.d.). The Manin conjecture in dimension 2. arXiv.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2007 | Journal Article | IST-REx-ID: 7325
Schneider, I. A., Freunberger, S. A., Kramer, D., Wokaun, A., & Scherer, G. G. (2007). Oscillations in gas channels: Part I. The forgotten player in impedance spectroscopy in PEFCs. Journal of The Electrochemical Society. The Electrochemical Society. https://doi.org/10.1149/1.2435706
View
| DOI
2007 | Journal Article | IST-REx-ID: 7323
Büchi, F. N., Paganelli, G., Dietrich, P., Laurent, D., Tsukada, A., Varenne, P., … Olsommer, D. (2007). Consumption and efficiency of a passenger car with a Hydrogen/Oxygen PEFC based hybrid electric drivetrain. Fuel Cells. Wiley. https://doi.org/10.1002/fuce.200600050
View
| DOI
2007 | Journal Article | IST-REx-ID: 7324
Büchi, F. N., Freunberger, S. A., Reum, M., Paganelli, G., Tsukada, A., Dietrich, P., & Delfino, A. (2007). On the efficiency of an advanced automotive fuel cell system. Fuel Cells. Wiley. https://doi.org/10.1002/fuce.200500257
View
| DOI
2007 | Journal Article | IST-REx-ID: 7753 |
Robinson, M. R., & Kruuk, L. E. . (2007). Function of weaponry in females: The use of horns in intrasexual competition for resources in female Soay sheep. Biology Letters. The Royal Society. https://doi.org/10.1098/rsbl.2007.0278
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2007 | Journal Article | IST-REx-ID: 7781
Robinson, M. R., Pilkington, J. G., Clutton-Brock, T. H., Pemberton, J. M., & Kruuk, L. E. B. (2007). Live fast, die young: Trade-offs between fitness components and sexually antagonistic selection on weaponry in soay sheep. Evolution. Wiley. https://doi.org/10.1111/j.0014-3820.2006.tb01854.x
View
| DOI
2007 | Journal Article | IST-REx-ID: 7780
Goodrich, C. P., Kirmizialtin, S., Huyghues-Despointes, B. M., Zhu, A., Scholtz, J. M., Makarov, D. E., & Movileanu, L. (2007). Single-molecule electrophoresis of β-hairpin peptides by electrical recordings and Langevin dynamics simulations. The Journal of Physical Chemistry B. American Chemical Society. https://doi.org/10.1021/jp071364h
View
| DOI
2007 | Journal Article | IST-REx-ID: 8027
Vogels, T. P., & Abbott, L. (2007). Gating deficits in model networks: A path to schizophrenia? Pharmacopsychiatry. Thieme. https://doi.org/10.1055/s-2007-992130
View
| DOI
| PubMed | Europe PMC
2007 | Journal Article | IST-REx-ID: 8483
Schanda, P., Forge, V., & Brutscher, B. (2007). Protein folding and unfolding studied at atomic resolution by fast two-dimensional NMR spectroscopy. Proceedings of the National Academy of Sciences. National Academy of Sciences. https://doi.org/10.1073/pnas.0702069104
View
| DOI
2007 | Journal Article | IST-REx-ID: 8487
Gal, M., Schanda, P., Brutscher, B., & Frydman, L. (2007). UltraSOFAST HMQC NMR and the repetitive acquisition of 2D protein spectra at Hz rates. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/ja066915g
View
| DOI
2007 | Journal Article | IST-REx-ID: 8485
Schanda, P., Lescop, E., Falge, M., Sounier, R., Boisbouvier, J., & Brutscher, B. (2007). Sensitivity-optimized experiment for the measurement of residual dipolar couplings between amide protons. Journal of Biomolecular NMR. Springer Nature. https://doi.org/10.1007/s10858-006-9138-2
View
| DOI
2007 | Journal Article | IST-REx-ID: 8486
Lescop, E., Schanda, P., Rasia, R., & Brutscher, B. (2007). Automated spectral compression for fast multidimensional NMR and increased time resolution in real-time NMR spectroscopy. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/ja068949u
View
| DOI
2007 | Journal Article | IST-REx-ID: 8484
Lescop, E., Schanda, P., & Brutscher, B. (2007). A set of BEST triple-resonance experiments for time-optimized protein resonance assignment. Journal of Magnetic Resonance. Elsevier. https://doi.org/10.1016/j.jmr.2007.04.002
View
| DOI
2007 | Journal Article | IST-REx-ID: 860
Plotnikova, O., Kondrashov, F., Vlasov, P., Grigorenko, A., Ginter, E., & Rogaev, E. (2007). Conversion and compensatory evolution of the γ-crystallin genes and identification of a cataractogenic mutation that reverses the sequence of the human CRYGD gene to an ancestral state. American Journal of Human Genetics. Cell Press. https://doi.org/10.1086/518616
View
| DOI
2007 | Journal Article | IST-REx-ID: 879
Kondrashov, F., Gurbich, T., & Vlasov, P. (2007). Selection for functional uniformity of tuf duplicates in γ-proteobacteria. Trends in Genetics. Elsevier. https://doi.org/10.1016/j.tig.2007.03.002
View
| DOI
2007 | Journal Article | IST-REx-ID: 904
Bazykin, G., Kondrashov, F., Brudno, M., Poliakov, A., Dubchak, I., & Kondrashov, A. (2007). Extensive parallelism in protein evolution. Biology Direct. BioMed Central. https://doi.org/10.1186/1745-6150-2-20
View
| DOI
2007 | Journal Article | IST-REx-ID: 9487 |
Penterman, J., Zilberman, D., Huh, J. H., Ballinger, T., Henikoff, S., & Fischer, R. L. (2007). DNA demethylation in the Arabidopsis genome. Proceedings of the National Academy of Sciences. National Academy of Sciences. https://doi.org/10.1073/pnas.0701861104
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2007 | Journal Article | IST-REx-ID: 8511
Gorodetski, A., & Kaloshin, V. (2007). How often surface diffeomorphisms have infinitely many sinks and hyperbolicity of periodic points near a homoclinic tangency. Advances in Mathematics. Elsevier. https://doi.org/10.1016/j.aim.2006.03.012
View
| DOI
2007 | Journal Article | IST-REx-ID: 8512
Kaloshin, V., & Hunt, B. (2007). Stretched exponential estimates on growth of the number of periodic points for prevalent diffeomorphisms I. Annals of Mathematics. Princeton University Press. https://doi.org/10.4007/annals.2007.165.89
View
| DOI
2007 | Journal Article | IST-REx-ID: 861
Popadin, K., Mamirova, L., & Kondrashov, F. (2007). A manually curated database of tetrapod mitochondrially encoded tRNA sequences and secondary structures. BMC Bioinformatics. BioMed Central. https://doi.org/10.1186/1471-2105-8-441
View
| DOI
2007 | Journal Article | IST-REx-ID: 9149 |
Bühler, O., & Muller, C. J. (2007). Instability and focusing of internal tides in the deep ocean. Journal of Fluid Mechanics. Cambridge University Press. https://doi.org/10.1017/s0022112007007410
View
| DOI
| Download None (ext.)
2007 | Other Publication | IST-REx-ID: 9504
Zilberman, D. (2007). The human promoter methylome. Nature Genetics (Vol. 39, pp. 442–443). Nature Publishing Group. https://doi.org/10.1038/ng0407-442
View
| DOI
| PubMed | Europe PMC
2007 | Journal Article | IST-REx-ID: 9524 |
Zilberman, D., & Henikoff, S. (2007). Genome-wide analysis of DNA methylation patterns. Development. The Company of Biologists. https://doi.org/10.1242/dev.001131
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2007 | Journal Article | IST-REx-ID: 12201
Feng, X., & Dickinson, H. G. (2007). Packaging the male germline in plants. Trends in Genetics. Elsevier BV. https://doi.org/10.1016/j.tig.2007.08.005
View
| DOI
| PubMed | Europe PMC
2007 | Journal Article | IST-REx-ID: 13424
Klajn, R., Pinchuk, A. O., Schatz, G. C., & Grzybowski, B. A. (2007). Synthesis of heterodimeric sphere–prism nanostructures via metastable gold supraspheres. Angewandte Chemie International Edition. Wiley. https://doi.org/10.1002/anie.200702570
View
| DOI
| PubMed | Europe PMC
2007 | Journal Article | IST-REx-ID: 13425 |
Klajn, R., Bishop, K. J. M., & Grzybowski, B. A. (2007). Light-controlled self-assembly of reversible and irreversible nanoparticle suprastructures. Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences. https://doi.org/10.1073/pnas.0611371104
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2007 | Journal Article | IST-REx-ID: 13427
Klajn, R., Bishop, K. J. M., Fialkowski, M., Paszewski, M., Campbell, C. J., Gray, T. P., & Grzybowski, B. A. (2007). Plastic and moldable metals by self-assembly of sticky nanoparticle aggregates. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1139131
View
| DOI
| PubMed | Europe PMC
2007 | Journal Article | IST-REx-ID: 13426
Paszewski, M., Smoukov, S. K., Klajn, R., & Grzybowski, B. A. (2007). Multilevel surface nano- and microstructuring via sequential photoswelling of dichromated gelatin. Langmuir. American Chemical Society. https://doi.org/10.1021/la062982c
View
| DOI
| PubMed | Europe PMC
2007 | Journal Article | IST-REx-ID: 7705
Sweeney, L. B., Couto, A., Chou, Y.-H., Berdnik, D., Dickson, B. J., Luo, L., & Komiyama, T. (2007). Temporal target restriction of olfactory receptor neurons by semaphorin-1a/plexinA-mediated axon-axon interactions. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2006.12.022
View
| DOI
2007 | Journal Article | IST-REx-ID: 7704
Komiyama, T., Sweeney, L. B., Schuldiner, O., Garcia, K. C., & Luo, L. (2007). Graded expression of semaphorin-1a cell-autonomously directs dendritic targeting of olfactory projection neurons. Cell. Elsevier. https://doi.org/10.1016/j.cell.2006.12.028
View
| DOI