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
Chatterjee, K., Doyen, L., Henzinger, T. A., & Raskin, J. (2007). Algorithms for omega-regular games with imperfect information. Logical Methods in Computer Science. International Federation of Computational Logic. https://doi.org/10.2168/LMCS-3(3:4)2007
View
| DOI
2007 |
Published |
Thesis |
IST-REx-ID: 4559
Chatterjee, K. (2007). Stochastic ω-Regular Games. University of California, Berkeley.
View
| Download (ext.)
2007 |
Published |
Thesis |
IST-REx-ID: 4566
Chakrabarti, A. (2007). A framework for compositional design and analysis of systems. University of California, Berkeley.
View
2007 |
Published |
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 |
Published |
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 |
Published |
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 |
Published |
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 |
Published |
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 |
Published |
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 |
Published |
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
2006 |
Published |
Journal Article |
IST-REx-ID: 8488
Schanda, P., Van Melckebeke, H., & Brutscher, B. (2006). Speeding up three-dimensional protein NMR experiments to a few minutes. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/ja062025p
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 8489
Schanda, P., Forge, V., & Brutscher, B. (2006). HET-SOFAST NMR for fast detection of structural compactness and heterogeneity along polypeptide chains. Magnetic Resonance in Chemistry. Wiley. https://doi.org/10.1002/mrc.1825
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 8490
Schanda, P., & Brutscher, B. (2006). Hadamard frequency-encoded SOFAST-HMQC for ultrafast two-dimensional protein NMR. Journal of Magnetic Resonance. Elsevier. https://doi.org/10.1016/j.jmr.2005.10.007
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 8513
Kaloshin, V., & Saprykina, M. (2006). Generic 3-dimensional volume-preserving diffeomorphisms with superexponential growth of number of periodic orbits. Discrete & Continuous Dynamical Systems - A. American Institute of Mathematical Sciences (AIMS). https://doi.org/10.3934/dcds.2006.15.611
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 8514
OTT, W., HUNT, B., & Kaloshin, V. (2006). The effect of projections on fractal sets and measures in Banach spaces. Ergodic Theory and Dynamical Systems. Cambridge University Press. https://doi.org/10.1017/s0143385705000714
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 8515
Kaloshin, V., DOLGOPYAT, D., & KORALOV, L. (2006). Long time behaviour of periodic stochastic flows. In XIVth International Congress on Mathematical Physics (pp. 290–295). Lisbon, Portugal: World Scientific. https://doi.org/10.1142/9789812704016_0026
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 854
Rogaev, E., Moliaka, Y., Malyarchuk, B., Kondrashov, F., Derenko, M., Chumakov, I., & Grigorenko, A. (2006). Complete mitochondrial genome and phylogeny of pleistocene mammoth Mammuthus primigenius. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.0040073
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 868
Kondrashov, F., Koonin, E., Morgunov, I., Finogenova, T., & Kondrashova, M. (2006). Evolution of glyoxylate cycle enzymes in Metazoa Evidence of multiple horizontal transfer events and pseudogene formation. Biology Direct. BioMed Central. https://doi.org/10.1186/1745-6150-1-31
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 869
Kondrashov, F., Ogurtsov, A., & Kondrashov, A. (2006). Selection in favor of nucleotides G and C diversifies evolution rates and levels of polymorphism at mammalian synonymous sites. Journal of Theoretical Biology. Elsevier. https://doi.org/10.1016/j.jtbi.2005.10.020
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 873
Kondrashov, F., & Kondrashov, A. (2006). Role of selection in fixation of gene duplications. Journal of Theoretical Biology. Elsevier. https://doi.org/10.1016/j.jtbi.2005.08.033
View
| DOI