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.

8924 Publications


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

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

2007 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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
 

2006 | Published | Journal Article | IST-REx-ID: 8488
P. Schanda, H. Van Melckebeke, and B. Brutscher, “Speeding up three-dimensional protein NMR experiments to a few minutes,” Journal of the American Chemical Society, vol. 128, no. 28. American Chemical Society, pp. 9042–9043, 2006.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 8489
P. Schanda, V. Forge, and B. Brutscher, “HET-SOFAST NMR for fast detection of structural compactness and heterogeneity along polypeptide chains,” Magnetic Resonance in Chemistry, vol. 44, no. S1. Wiley, pp. S177–S184, 2006.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 8490
P. Schanda and B. Brutscher, “Hadamard frequency-encoded SOFAST-HMQC for ultrafast two-dimensional protein NMR,” Journal of Magnetic Resonance, vol. 178, no. 2. Elsevier, pp. 334–339, 2006.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 8513
V. Kaloshin and M. Saprykina, “Generic 3-dimensional volume-preserving diffeomorphisms with superexponential growth of number of periodic orbits,” Discrete & Continuous Dynamical Systems - A, vol. 15, no. 2. American Institute of Mathematical Sciences (AIMS), pp. 611–640, 2006.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 8514
W. OTT, B. HUNT, and V. Kaloshin, “The effect of projections on fractal sets and measures in Banach spaces,” Ergodic Theory and Dynamical Systems, vol. 26, no. 3. Cambridge University Press, pp. 869–891, 2006.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 8515
V. Kaloshin, D. DOLGOPYAT, and L. KORALOV, “Long time behaviour of periodic stochastic flows,” in XIVth International Congress on Mathematical Physics, Lisbon, Portugal, 2006, pp. 290–295.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 854
E. Rogaev et al., “Complete mitochondrial genome and phylogeny of pleistocene mammoth Mammuthus primigenius,” PLoS Biology, vol. 4, no. 3. Public Library of Science, pp. 0403–0410, 2006.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 868
F. Kondrashov, E. Koonin, I. Morgunov, T. Finogenova, and M. Kondrashova, “Evolution of glyoxylate cycle enzymes in Metazoa Evidence of multiple horizontal transfer events and pseudogene formation,” Biology Direct, vol. 1. BioMed Central, 2006.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 869
F. Kondrashov, A. Ogurtsov, and A. Kondrashov, “Selection in favor of nucleotides G and C diversifies evolution rates and levels of polymorphism at mammalian synonymous sites,” Journal of Theoretical Biology, vol. 240, no. 4. Elsevier, pp. 616–626, 2006.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 873
F. Kondrashov and A. Kondrashov, “Role of selection in fixation of gene duplications,” Journal of Theoretical Biology, vol. 239, no. 2. Elsevier, pp. 141–151, 2006.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed