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 | Conference Paper | IST-REx-ID: 4402
R. Alur, P. Cerny, and S. Chaudhuri, “Model Checking on Trees with Path Equivalences,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2007, pp. 664–678.
View | DOI
 

2007 | Book Chapter | IST-REx-ID: 4417
R. Manevich, J. Field, T. A. Henzinger, G. Ramalingam, and M. Sagiv, “Abstract counterexample-based refinement for powerset domains,” in Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday, vol. 4444, Springer, 2007, pp. 273–292.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4446
T. A. Henzinger and C. Kirsch, “The embedded machine: Predictable, portable real-time code,” ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 29, no. 393. ACM, 2007.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4514
T. A. Henzinger, “Games, time, and probability: Graph models for system design and analysis,” presented at the SOFSEM: Current Trends in Theory and Practice of Computer Science, 2007, vol. 4362, pp. 103–110.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4511
T. A. Henzinger, “Quantitative generalizations of languages,” presented at the DLT: Developments in Language Theory, 2007, vol. 4588, pp. 20–22.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4531
J. Fisher, N. Piterman, A. Hajnal, and T. A. Henzinger, “Predictive modeling of signaling crosstalk during C. elegans vulval development,” PLoS Computational Biology, vol. 3(5):e92. Public Library of Science, 2007.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4529
J. Fisher and T. A. Henzinger, “Executable cell biology,” Nature Biotechnology, vol. 25. Nature Publishing Group, pp. 1239–1249, 2007.
View | DOI
 

2007 | Conference (Editor) | IST-REx-ID: 4530
J. Duparc and T. A. Henzinger, CSL: Computer Science Logic , vol. 4646. Springer, 2007.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4537
K. Chatterjee and T. A. Henzinger, “Assume-guarantee synthesis,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2007, vol. 4424, pp. 261–275.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4547
K. Chatterjee, L. Doyen, T. A. Henzinger, and J. Raskin, “Algorithms for omega-regular games with imperfect information,” Logical Methods in Computer Science, vol. 3, no. 184. International Federation of Computational Logic, pp. 1–23, 2007.
View | DOI
 

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
 

Search

Filter Publications