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.

9096 Publications


2007 | Thesis | IST-REx-ID: 4559
K. Chatterjee, “Stochastic ω-Regular Games,” University of California, Berkeley, 2007.
View | Download (ext.)
 

2007 | Thesis | IST-REx-ID: 4566
A. Chakrabarti, “A framework for compositional design and analysis of systems,” University of California, Berkeley, 2007.
View
 

2007 | Journal Article | IST-REx-ID: 4567
D. Beyer, T. A. Henzinger, R. Jhala, and R. Majumdar, “The software model checker BLAST: Applications to software engineering,” International Journal on Software Tools for Technology Transfer, vol. 9, no. 5. Springer, pp. 505–525, 2007.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4570
T. Brihaye, T. A. Henzinger, V. Prabhu, and J. Raskin, “Minimum-time reachability in timed games,” presented at the ICALP: Automata, Languages and Programming, 2007, vol. 4596, pp. 825–837.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4573
D. Beyer, T. A. Henzinger, and G. Théoduloz, “Configurable software verification: Concretizing the convergence of model checking and program analysis,” presented at the CAV: Computer Aided Verification, 2007, vol. 4590, pp. 504–518.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4572
D. Beyer, T. A. Henzinger, R. Majumdar, and A. Rybalchenko, “Invariant synthesis for combined theories,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, 2007, vol. 4349, pp. 378–394.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4571
D. Beyer, T. A. Henzinger, R. Majumdar, and A. Rybalchenko, “Path invariants,” presented at the PLDI: Programming Languages Design and Implementation, 2007, pp. 300–309.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4575
D. Beyer, A. Chakrabarti, T. A. Henzinger, and S. Seshia, “An application of web-service interfaces,” presented at the ICWS: International Conference on Web Service, 2007, pp. 831–838.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4626
L. De Alfaro, T. A. Henzinger, and O. Kupferman, “Concurrent reachability games,” Theoretical Computer Science, vol. 386, no. 3. Elsevier, pp. 188–217, 2007.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 582
O. Hosten and P. Kwiat, “Observing the spin hall effect of light via quantum weak measurements,” presented at the OMD: Organic Materials and Devices for Displays and Energy Conversion, 2007.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 6150
T. L. Gumienny, L. T. MacNeil, H. Wang, M. de Bono, J. L. Wrana, and R. W. Padgett, “Glypican LON-2 is a conserved negative regulator of BMP-like signaling in Caenorhabditis elegans,” Current Biology, vol. 17, no. 2. Elsevier, pp. 159–164, 2007.
View | DOI | PubMed | Europe PMC
 

2007 | Book Chapter | IST-REx-ID: 6323 | OA
T. D. Browning, “An overview of Manin’s conjecture for del Pezzo surfaces,” in A Tribute to Gauss and Dirichlet, vol. 7, American Mathematical Society, 2007, pp. 39–56.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2007 | Preprint | IST-REx-ID: 6321 | OA
T. D. Browning, “The Manin conjecture in dimension 2,” arXiv. .
[Preprint] View | Download Preprint (ext.) | arXiv
 

2007 | Journal Article | IST-REx-ID: 7325
I. A. Schneider, S. A. Freunberger, D. Kramer, A. Wokaun, and G. G. Scherer, “Oscillations in gas channels: Part I. The forgotten player in impedance spectroscopy in PEFCs,” Journal of The Electrochemical Society, vol. 154, no. 4. The Electrochemical Society, 2007.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7323
F. N. Büchi et al., “Consumption and efficiency of a passenger car with a Hydrogen/Oxygen PEFC based hybrid electric drivetrain,” Fuel Cells, vol. 7, no. 4. Wiley, pp. 329–335, 2007.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7324
F. N. Büchi et al., “On the efficiency of an advanced automotive fuel cell system,” Fuel Cells, vol. 7, no. 2. Wiley, pp. 159–164, 2007.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7753 | OA
M. R. Robinson and L. E. . Kruuk, “Function of weaponry in females: The use of horns in intrasexual competition for resources in female Soay sheep,” Biology Letters, vol. 3, no. 6. The Royal Society, pp. 651–654, 2007.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2007 | Journal Article | IST-REx-ID: 7781
M. R. Robinson, J. G. Pilkington, T. H. Clutton-Brock, J. M. Pemberton, and L. E. B. Kruuk, “Live fast, die young: Trade-offs between fitness components and sexually antagonistic selection on weaponry in soay sheep,” Evolution, vol. 60, no. 10. Wiley, pp. 2168–2181, 2007.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7780
C. P. Goodrich et al., “Single-molecule electrophoresis of β-hairpin peptides by electrical recordings and Langevin dynamics simulations,” The Journal of Physical Chemistry B, vol. 111, no. 13. American Chemical Society, pp. 3332–3335, 2007.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 8027
T. P. Vogels and L. Abbott, “Gating deficits in model networks: A path to schizophrenia?,” Pharmacopsychiatry, vol. 40, no. S 1. Thieme, pp. S73–S77, 2007.
View | DOI | PubMed | Europe PMC
 

2007 | Journal Article | IST-REx-ID: 8483
P. Schanda, V. Forge, and B. Brutscher, “Protein folding and unfolding studied at atomic resolution by fast two-dimensional NMR spectroscopy,” Proceedings of the National Academy of Sciences, vol. 104, no. 27. National Academy of Sciences, pp. 11257–11262, 2007.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 8487
M. Gal, P. Schanda, B. Brutscher, and L. Frydman, “UltraSOFAST HMQC NMR and the repetitive acquisition of 2D protein spectra at Hz rates,” Journal of the American Chemical Society, vol. 129, no. 5. American Chemical Society, pp. 1372–1377, 2007.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 8485
P. Schanda, E. Lescop, M. Falge, R. Sounier, J. Boisbouvier, and B. Brutscher, “Sensitivity-optimized experiment for the measurement of residual dipolar couplings between amide protons,” Journal of Biomolecular NMR, vol. 38. Springer Nature, pp. 47–55, 2007.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 8486
E. Lescop, P. Schanda, R. Rasia, and B. Brutscher, “Automated spectral compression for fast multidimensional NMR and increased time resolution in real-time NMR spectroscopy,” Journal of the American Chemical Society, vol. 129, no. 10. American Chemical Society, pp. 2756–2757, 2007.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 8484
E. Lescop, P. Schanda, and B. Brutscher, “A set of BEST triple-resonance experiments for time-optimized protein resonance assignment,” Journal of Magnetic Resonance, vol. 187, no. 1. Elsevier, pp. 163–169, 2007.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 860
O. Plotnikova, F. Kondrashov, P. Vlasov, A. Grigorenko, E. Ginter, and E. Rogaev, “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, vol. 81, no. 1. Cell Press, pp. 32–43, 2007.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 879
F. Kondrashov, T. Gurbich, and P. Vlasov, “Selection for functional uniformity of tuf duplicates in γ-proteobacteria,” Trends in Genetics, vol. 23, no. 5. Elsevier, pp. 215–218, 2007.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 904
G. Bazykin, F. Kondrashov, M. Brudno, A. Poliakov, I. Dubchak, and A. Kondrashov, “Extensive parallelism in protein evolution,” Biology Direct, vol. 2. BioMed Central, 2007.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 9487 | OA
J. Penterman, D. Zilberman, J. H. Huh, T. Ballinger, S. Henikoff, and R. L. Fischer, “DNA demethylation in the Arabidopsis genome,” Proceedings of the National Academy of Sciences, vol. 104, no. 16. National Academy of Sciences, pp. 6752–6757, 2007.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2007 | Journal Article | IST-REx-ID: 8511
A. Gorodetski and V. Kaloshin, “How often surface diffeomorphisms have infinitely many sinks and hyperbolicity of periodic points near a homoclinic tangency,” Advances in Mathematics, vol. 208, no. 2. Elsevier, pp. 710–797, 2007.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 8512
V. Kaloshin and B. Hunt, “Stretched exponential estimates on growth of the number of periodic points for prevalent diffeomorphisms I,” Annals of Mathematics, vol. 165, no. 1. Princeton University Press, pp. 89–170, 2007.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 861
K. Popadin, L. Mamirova, and F. Kondrashov, “A manually curated database of tetrapod mitochondrially encoded tRNA sequences and secondary structures,” BMC Bioinformatics, vol. 8. BioMed Central, 2007.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 9149 | OA
O. Bühler and C. J. Muller, “Instability and focusing of internal tides in the deep ocean,” Journal of Fluid Mechanics, vol. 588. Cambridge University Press, pp. 1–28, 2007.
View | DOI | Download None (ext.)
 

2007 | Other Publication | IST-REx-ID: 9504
D. Zilberman, The human promoter methylome, vol. 39, no. 4. Nature Publishing Group, 2007, pp. 442–443.
View | DOI | PubMed | Europe PMC
 

2007 | Journal Article | IST-REx-ID: 9524 | OA
D. Zilberman and S. Henikoff, “Genome-wide analysis of DNA methylation patterns,” Development, vol. 134, no. 22. The Company of Biologists, pp. 3959–3965, 2007.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2007 | Journal Article | IST-REx-ID: 12201
X. Feng and H. G. Dickinson, “Packaging the male germline in plants,” Trends in Genetics, vol. 23, no. 10. Elsevier BV, pp. 503–510, 2007.
View | DOI | PubMed | Europe PMC
 

2007 | Journal Article | IST-REx-ID: 13424
R. Klajn, A. O. Pinchuk, G. C. Schatz, and B. A. Grzybowski, “Synthesis of heterodimeric sphere–prism nanostructures via metastable gold supraspheres,” Angewandte Chemie International Edition, vol. 46, no. 44. Wiley, pp. 8363–8367, 2007.
View | DOI | PubMed | Europe PMC
 

2007 | Journal Article | IST-REx-ID: 13425 | OA
R. Klajn, K. J. M. Bishop, and B. A. Grzybowski, “Light-controlled self-assembly of reversible and irreversible nanoparticle suprastructures,” Proceedings of the National Academy of Sciences, vol. 104, no. 25. Proceedings of the National Academy of Sciences, pp. 10305–10309, 2007.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2007 | Journal Article | IST-REx-ID: 13427
R. Klajn et al., “Plastic and moldable metals by self-assembly of sticky nanoparticle aggregates,” Science, vol. 316, no. 5822. American Association for the Advancement of Science, pp. 261–264, 2007.
View | DOI | PubMed | Europe PMC
 

2007 | Journal Article | IST-REx-ID: 13426
M. Paszewski, S. K. Smoukov, R. Klajn, and B. A. Grzybowski, “Multilevel surface nano- and microstructuring via sequential photoswelling of dichromated gelatin,” Langmuir, vol. 23, no. 10. American Chemical Society, pp. 5419–5422, 2007.
View | DOI | PubMed | Europe PMC
 

2007 | Journal Article | IST-REx-ID: 7705
L. B. Sweeney et al., “Temporal target restriction of olfactory receptor neurons by semaphorin-1a/plexinA-mediated axon-axon interactions,” Neuron, vol. 53, no. 2. Elsevier, pp. 185–200, 2007.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7704
T. Komiyama, L. B. Sweeney, O. Schuldiner, K. C. Garcia, and L. Luo, “Graded expression of semaphorin-1a cell-autonomously directs dendritic targeting of olfactory projection neurons,” Cell, vol. 128, no. 2. Elsevier, pp. 399–410, 2007.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 1033 | OA
T. Kraemer et al., “Evidence for Efimov quantum states in an ultracold gas of caesium atoms,” Nature, vol. 440, no. 7082. Nature Publishing Group, pp. 315–318, 2006.
View | DOI | Download None (ext.)
 

2006 | Conference Paper | IST-REx-ID: 1034 | OA
H. Nägerl et al., “Experimental evidence for Efimov quantum states,” presented at the ICAP: International Conference on Atomic Physics, 2006, vol. 869, pp. 269–277.
View | DOI | Download None (ext.)
 

2006 | Book Chapter | IST-REx-ID: 11119
Harris JR, Almouzni G, Kirschner D, Dimitrova D, Nickerson JA, Underwood J, Wagner S, Korbei B, Foisner R, Walther TC, Hetzer M, Peters R, Walev I, de Kroon AIPM, Staffhorst RWHM, de Kruijff B, Burger KNJ, Netto LES, Bertrand E, Alimonti JB, Greenberg AH, Xiao J, Pradhan A, Liu Y, Paiement J, Young R, Goñi FM, Villar A-V, Contreras F-X, Alonso A, Peter BJ, Mills IG, Higgins MK, Brown WJ, Chambers K, Doody A, Cheng CY, Mruk DD, Yang C, Kirchhoff H, Haase W, Boggasch S, Paulsen H, Benesova J, Liffers S-T, Rögner M, Gao Y, Sztul E, Thiemann M, Fahimi HD, Gniadecki R, Gajkowska B, Bane SL, Hess JF, Voss JC, Fitzgerald PG, Hisanaga S, Sasaki T, Uéda K, Town T, Tan J, Milton NGN, Chi R, Keller TCS, Kriajevska M, Bronstein I, Lukanidin E, Holmes DF, Kadler KE. 2006.In Vitro Techniques. In: Cell Biology Protocols. , 201–378.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 11117
M. A. D’Angelo and M. Hetzer, “The role of the nuclear envelope in cellular organization,” Cellular and Molecular Life Sciences, vol. 63, no. 3. Springer Nature, pp. 316–332, 2006.
View | DOI | PubMed | Europe PMC
 

2006 | Journal Article | IST-REx-ID: 11118
M. A. D’Angelo, D. J. Anderson, E. Richard, and M. Hetzer, “Nuclear pores form de novo from both sides of the nuclear envelope,” Science, vol. 312, no. 5772. American Association for the Advancement of Science, pp. 440–443, 2006.
View | DOI | PubMed | Europe PMC
 

2006 | Conference Paper | IST-REx-ID: 11929
M. H. Henzinger, “Finding near-duplicate web pages: A large-scale evaluation of algorithms,” in 29th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Seattle, WA, United States, 2006, pp. 284–291.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 1462 | OA
T. Hausel, “Betti numbers of holomorphic symplectic quotients via arithmetic Fourier transform,” PNAS, vol. 103, no. 16. National Academy of Sciences, pp. 6120–6124, 2006.
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 1461 | OA
T. Hausel and E. Swartz, “Intersection forms of toric hyperkähler varieties,” Proceedings of the American Mathematical Society, vol. 134, no. 8. American Mathematical Society, pp. 2403–2409, 2006.
View | DOI | Download (ext.)
 

Search

Filter Publications