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 TA, Raskin J. Algorithms for omega-regular games with imperfect information. Logical Methods in Computer Science. 2007;3(184):1-23. doi:10.2168/LMCS-3(3:4)2007
View
| DOI
2007 |
Published |
Thesis |
IST-REx-ID: 4559
Chatterjee K. Stochastic ω-Regular Games. 2007:1-247.
View
| Download (ext.)
2007 |
Published |
Thesis |
IST-REx-ID: 4566
Chakrabarti A. A framework for compositional design and analysis of systems. 2007:1-244.
View
2007 |
Published |
Journal Article |
IST-REx-ID: 4567
Beyer D, Henzinger TA, Jhala R, Majumdar R. The software model checker BLAST: Applications to software engineering. International Journal on Software Tools for Technology Transfer. 2007;9(5):505-525. doi:10.1007/s10009-007-0044-z
View
| DOI
2007 |
Published |
Conference Paper |
IST-REx-ID: 4570
Brihaye T, Henzinger TA, Prabhu V, Raskin J. Minimum-time reachability in timed games. In: Vol 4596. Springer; 2007:825-837. doi:10.1007/978-3-540-73420-8_71
View
| DOI
2007 |
Published |
Conference Paper |
IST-REx-ID: 4571
Beyer D, Henzinger TA, Majumdar R, Rybalchenko A. Path invariants. In: ACM; 2007:300-309. doi:10.1145/1250734.1250769
View
| DOI
2007 |
Published |
Conference Paper |
IST-REx-ID: 4572
Beyer D, Henzinger TA, Majumdar R, Rybalchenko A. Invariant synthesis for combined theories. In: Vol 4349. Springer; 2007:378-394. doi:10.1007/978-3-540-69738-1_27
View
| DOI
2007 |
Published |
Conference Paper |
IST-REx-ID: 4573
Beyer D, Henzinger TA, Théoduloz G. Configurable software verification: Concretizing the convergence of model checking and program analysis. In: Vol 4590. Springer; 2007:504-518. doi:10.1007/978-3-540-73368-3_51
View
| DOI
2007 |
Published |
Conference Paper |
IST-REx-ID: 4575
Beyer D, Chakrabarti A, Henzinger TA, Seshia S. An application of web-service interfaces. In: IEEE; 2007:831-838. doi:10.1109/ICWS.2007.32
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 4626
De Alfaro L, Henzinger TA, Kupferman O. Concurrent reachability games. Theoretical Computer Science. 2007;386(3):188-217. doi:10.1016/j.tcs.2007.07.008
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 8488
Schanda P, Van Melckebeke H, Brutscher B. Speeding up three-dimensional protein NMR experiments to a few minutes. Journal of the American Chemical Society. 2006;128(28):9042-9043. doi:10.1021/ja062025p
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 8489
Schanda P, Forge V, Brutscher B. HET-SOFAST NMR for fast detection of structural compactness and heterogeneity along polypeptide chains. Magnetic Resonance in Chemistry. 2006;44(S1):S177-S184. doi:10.1002/mrc.1825
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 8490
Schanda P, Brutscher B. Hadamard frequency-encoded SOFAST-HMQC for ultrafast two-dimensional protein NMR. Journal of Magnetic Resonance. 2006;178(2):334-339. doi:10.1016/j.jmr.2005.10.007
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 8513
Kaloshin V, Saprykina M. Generic 3-dimensional volume-preserving diffeomorphisms with superexponential growth of number of periodic orbits. Discrete & Continuous Dynamical Systems - A. 2006;15(2):611-640. doi:10.3934/dcds.2006.15.611
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 8514
OTT W, HUNT B, Kaloshin V. The effect of projections on fractal sets and measures in Banach spaces. Ergodic Theory and Dynamical Systems. 2006;26(3):869-891. doi:10.1017/s0143385705000714
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 8515
Kaloshin V, DOLGOPYAT D, KORALOV L. Long time behaviour of periodic stochastic flows. In: XIVth International Congress on Mathematical Physics. World Scientific; 2006:290-295. doi:10.1142/9789812704016_0026
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 854
Rogaev E, Moliaka Y, Malyarchuk B, et al. Complete mitochondrial genome and phylogeny of pleistocene mammoth Mammuthus primigenius. PLoS Biology. 2006;4(3):0403-0410. doi: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. Evolution of glyoxylate cycle enzymes in Metazoa Evidence of multiple horizontal transfer events and pseudogene formation. Biology Direct. 2006;1. doi:10.1186/1745-6150-1-31
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 869
Kondrashov F, Ogurtsov A, Kondrashov A. Selection in favor of nucleotides G and C diversifies evolution rates and levels of polymorphism at mammalian synonymous sites. Journal of Theoretical Biology. 2006;240(4):616-626. doi:10.1016/j.jtbi.2005.10.020
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 873
Kondrashov F, Kondrashov A. Role of selection in fixation of gene duplications. Journal of Theoretical Biology. 2006;239(2):141-151. doi:10.1016/j.jtbi.2005.08.033
View
| DOI