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.
8579 Publications
2006 | Conference Paper | IST-REx-ID: 4528
Fisher, J., & Henzinger, T. A. (2006). Executable biology (pp. 1675–1682). Presented at the WSC: Winter Simulation Conference, IEEE. https://doi.org/10.1109/WSC.2006.322942
View
| DOI
2006 | Conference Paper | IST-REx-ID: 4539
Chatterjee, K., & Henzinger, T. A. (2006). Finitary winning in omega-regular games (Vol. 3920, pp. 257–271). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/10.1007/11691372_17
View
| DOI
2006 | Conference Paper | IST-REx-ID: 4538
Chatterjee, K., & Henzinger, T. A. (2006). Strategy improvement and randomized subexponential algorithms for stochastic parity games (Vol. 3884, pp. 512–523). Presented at the STACS: Theoretical Aspects of Computer Science, Springer. https://doi.org/10.1007/11672142_42
View
| DOI
2006 | Conference Paper | IST-REx-ID: 4551
Chatterjee, K., Majumdar, R., & Henzinger, T. A. (2006). Markov decision processes with multiple objectives (Vol. 3884, pp. 325–336). Presented at the STACS: Theoretical Aspects of Computer Science, Springer. https://doi.org/10.1007/11672142_26
View
| DOI
2006 | Journal Article | IST-REx-ID: 4550
Chatterjee, K., Henzinger, T. A., & Jurdziński, M. (2006). Games with secure equilibria. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2006.07.032
View
| DOI
2006 | Conference Paper | IST-REx-ID: 4549
Chatterjee, K., De Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R., & Stoelinga, M. (2006). Compositional quantitative reasoning (pp. 179–188). Presented at the QEST: Quantitative Evaluation of Systems, IEEE. https://doi.org/10.1109/QEST.2006.11
View
| DOI
2006 | Conference Paper | IST-REx-ID: 4552
Chatterjee, K., De Alfaro, L., & Henzinger, T. A. (2006). Strategy improvement for concurrent reachability games (pp. 291–300). Presented at the QEST: Quantitative Evaluation of Systems, IEEE. https://doi.org/10.1109/QEST.2006.48
View
| DOI
2006 | Conference Paper | IST-REx-ID: 4574
Beyer, D., Henzinger, T. A., & Théoduloz, G. (2006). Lazy shape analysis (Vol. 4144, pp. 532–546). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/11817963_48
View
| DOI
2006 | Preprint | IST-REx-ID: 573 | 
Hosten, O., Rakher, M., Barreiro, J., Peters, N., & Kwiat, P. (2006). Counterfactual computation revisited. ArXiv.
View
| Download Preprint (ext.)
| arXiv
2006 | Preprint | IST-REx-ID: 574 |
Hosten, O., & Kwiat, P. (2006). Weak measurements and counterfactual computation. ArXiv.
View
| Download Preprint (ext.)
| arXiv
2006 | Conference Paper | IST-REx-ID: 578
Peters, N., Arnold, K., Vandevender, A., Jeffrey, E., Rangarajan, R., Hosten, O., … Kwiat, P. (2006). Towards a quasi-deterministic single-photon source (Vol. 6305). Presented at the Quantum Communications and Quantum Imaging, SPIE. https://doi.org/10.1117/12.684702
View
| DOI
2006 | Conference Paper | IST-REx-ID: 577
Rangarajan, R., Altepeter, J., Jeffrey, E., Stoutimore, M., Peters, N., Hosten, O., & Kwiat, P. (2006). High-efficiency single-photon detectors (Vol. 6372). Presented at the Unknown (978-081946470-5), SPIE. https://doi.org/10.1117/12.686117
View
| DOI
2006 | Journal Article | IST-REx-ID: 579
Hosten, O., Rakher, M., Barreiro, J., Peters, N., & Kwiat, P. (2006). Counterfactual quantum computation through quantum interrogation. Nature. Nature Publishing Group. https://doi.org/10.1038/nature04523
View
| DOI
2006 | Conference Paper | IST-REx-ID: 583
Rangarajan, R., Peters, N., Hosten, O., Altepeter, J., Jeffrey, E., & Kwiat, P. (2006). Improved single-photon detection. Presented at the CLEO/QELS: Conference on Lasers and Electro-Optics / Quantum Electronics and Laser Science Conference, IEEE. https://doi.org/10.1109/CLEO.2006.4628641
View
| DOI
2006 | Journal Article | IST-REx-ID: 6151 |
Salecker, I., Häusser, M., & de Bono, M. (2006). On the axonal road to circuit function and behaviour: Workshop on the assembly and function of neuronal circuits. EMBO Reports. Wiley. https://doi.org/10.1038/sj.embor.7400713
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2006 | Journal Article | IST-REx-ID: 6152
Rogers, C., Persson, A., Cheung, B., & de Bono, M. (2006). Behavioral motifs and neural pathways coordinating O2 responses and aggregation in C. elegans. Current Biology. Elsevier. https://doi.org/10.1016/j.cub.2006.03.023
View
| DOI
| PubMed | Europe PMC
2006 | Journal Article | IST-REx-ID: 7328
Freunberger, S. A., Reum, M., Evertz, J., Wokaun, A., & Büchi, F. N. (2006). Measuring the current distribution in PEFCs with sub-millimeter resolution. Journal of The Electrochemical Society. The Electrochemical Society. https://doi.org/10.1149/1.2345591
View
| DOI
2006 | Journal Article | IST-REx-ID: 7327
Santis, M., Freunberger, S. A., Papra, M., Wokaun, A., & Büchi, F. N. (2006). Experimental investigation of coupling phenomena in polymer electrolyte fuel cell stacks. Journal of Power Sources. Elsevier. https://doi.org/10.1016/j.jpowsour.2006.06.007
View
| DOI
2006 | Conference Paper | IST-REx-ID: 7326
Büchi, F. N., Freunberger, S. A., & Santis, M. (2006). What is learned beyond the scale of single cells? In ECS Transactions (Vol. 3, pp. 963–968). Cancun, Mexico: ECS. https://doi.org/10.1149/1.2356215
View
| DOI
2006 | Journal Article | IST-REx-ID: 7329
Freunberger, S. A., Reum, M., Wokaun, A., & Büchi, F. N. (2006). Expanding current distribution measurement in PEFCs to sub-millimeter resolution. Electrochemistry Communications. Elsevier. https://doi.org/10.1016/j.elecom.2006.05.032
View
| DOI
2006 | Journal Article | IST-REx-ID: 7330
Santis, M., Freunberger, S. A., Reiner, A., & Büchi, F. N. (2006). Homogenization of the current density in polymer electrolyte fuel cells by in-plane cathode catalyst gradients. Electrochimica Acta. Elsevier. https://doi.org/10.1016/j.electacta.2006.02.008
View
| DOI
2006 | Journal Article | IST-REx-ID: 7332
Freunberger, S. A., Santis, M., Schneider, I. A., Wokaun, A., & Büchi, F. N. (2006). In-plane effects in large-scale PEMFCs. Journal of The Electrochemical Society. The Electrochemical Society. https://doi.org/10.1149/1.2150150
View
| DOI
2006 | Journal Article | IST-REx-ID: 7331
Freunberger, S. A., Wokaun, A., & Büchi, F. N. (2006). In-plane effects in large-scale PEFCs: II. The influence of cooling strategy on cell performance. Journal of The Electrochemical Society. The Electrochemical Society. https://doi.org/10.1149/1.2185282
View
| DOI
2006 | 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 | 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 | 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
2006 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | Journal Article | IST-REx-ID: 903
Babenko, V., Basu, M., Kondrashov, F., Rogozin, I., & Koonin, E. (2006). Signs of positive selection of somatic mutations in human cancers detected by EST sequence analysis. BMC Cancer. BioMed Central. https://doi.org/10.1186/1471-2407-6-36
View
| DOI
2006 | Journal Article | IST-REx-ID: 9505
Zilberman, D., Gehring, M., Tran, R. K., Ballinger, T., & Henikoff, S. (2006). Genome-wide analysis of Arabidopsis thaliana DNA methylation uncovers an interdependence between methylation and transcription. Nature Genetics. Nature Publishing Group. https://doi.org/10.1038/ng1929
View
| DOI
| PubMed | Europe PMC
2006 | Journal Article | IST-REx-ID: 13430
Fialkowski, M., Bishop, K. J. M., Klajn, R., Smoukov, S. K., Campbell, C. J., & Grzybowski, B. A. (2006). Principles and implementations of dissipative (dynamic) self-assembly. The Journal of Physical Chemistry B. American Chemical Society. https://doi.org/10.1021/jp054153q
View
| DOI
| PubMed | Europe PMC
2006 | Journal Article | IST-REx-ID: 13428
Kalsin, A. M., Kowalczyk, B., Smoukov, S. K., Klajn, R., & Grzybowski, B. A. (2006). Ionic-like behavior of oppositely charged nanoparticles. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/ja0642966
View
| DOI
| PubMed | Europe PMC
2006 | Journal Article | IST-REx-ID: 13429
Bishop, K. J. M., Klajn, R., & Grzybowski, B. A. (2006). The core and most useful molecules in organic chemistry. Angewandte Chemie International Edition. Wiley. https://doi.org/10.1002/anie.200600881
View
| DOI
| PubMed | Europe PMC
2005 | Journal Article | IST-REx-ID: 11120
Hetzer, M., Walther, T. C., & Mattaj, I. W. (2005). Pushing the envelope: Structure, function, and dynamics of the nuclear periphery. Annual Review of Cell and Developmental Biology. Annual Reviews. https://doi.org/10.1146/annurev.cellbio.21.090704.151152
View
| DOI
| PubMed | Europe PMC
2005 | Conference Paper | IST-REx-ID: 11698
Henzinger, M. H. (2005). Hyperlink analysis on the world wide web. In Proceedings of the 16th ACM conference on Hypertext and hypermedia (pp. 1–3). Salzburg, Austria: Association for Computing Machinery. https://doi.org/10.1145/1083356.1083357
View
| DOI
2005 | Journal Article | IST-REx-ID: 11904
Henzinger, M. H., Chang, B.-W., Milch, B., & Brin, S. (2005). Query-free news search. World Wide Web. Springer Nature. https://doi.org/10.1007/s11280-004-4870-6
View
| Files available
| DOI
2005 | Journal Article | IST-REx-ID: 11763 |
Goel, A., Henzinger, M. H., & Plotkin, S. (2005). An online throughput-competitive algorithm for multicast routing and admission control. Journal of Algorithms. Elsevier. https://doi.org/10.1016/j.jalgor.2004.11.001
View
| Files available
| DOI
| Download Published Version (ext.)
2005 | Journal Article | IST-REx-ID: 12657 |
Pellicciotti, F., Brock, B., Strasser, U., Burlando, P., Funk, M., & Corripio, J. (2005). An enhanced temperature-index glacier melt model including the shortwave radiation balance: Development and testing for Haut Glacier d’Arolla, Switzerland. Journal of Glaciology. Cambridge University Press. https://doi.org/10.3189/172756505781829124
View
| DOI
| Download Published Version (ext.)
2005 | Journal Article | IST-REx-ID: 1298
Reiff, D., Ihring, A., Guerrero, G., Isacoff, E., Jösch, M. A., Nakai, J., & Borst, A. (2005). In vivo performance of genetically encoded indicators of neural activity in flies. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.4900-04.2005
View
| DOI
2005 | Journal Article | IST-REx-ID: 1447 |
Hausel, T. (2005). Quaternionic geometry of matroids. Open Mathematics. Central European Science Journals. https://doi.org/10.2478/BF02475653
View
| DOI
| Download (ext.)
2005 | Book Chapter | IST-REx-ID: 1444 |
Hausel, T. (2005). Mirror symmetry and Langlands duality in the non-Abelian Hodge theory of a curve. In Geometric Methods in Algebra and Number Theory (Vol. 235, pp. 193–217). Springer. https://doi.org/10.1007/0-8176-4417-2_9
View
| DOI
| Download (ext.)
2005 | Journal Article | IST-REx-ID: 1463 |
Hausel, T., & Proudfoot, N. (2005). Abelianization for hyperkähler quotients. Topology. Elsevier. https://doi.org/10.1016/j.top.2004.04.002
View
| DOI
| Download (ext.)
2005 | Journal Article | IST-REx-ID: 1742
Katsaros, G., Costantini, G., Stoffel, M., Esteban, R., Bittner, A., Rastelli, A., … Kern, K. (2005). Kinetic origin of island intermixing during the growth of Ge on Si (001). Physical Review B - Condensed Matter and Materials Physics. American Physical Society. https://doi.org/10.1103/PhysRevB.72.195320
View
| DOI
2005 | Journal Article | IST-REx-ID: 1740
Costantini, G., Rastelli, A., Manzano, C., Acosta Diaz, P., Katsaros, G., Songmuang, R., … Kern, K. (2005). Pyramids and domes in the InAs/GaAs (0 0 1) and Ge/Si (0 0 1) systems. Journal of Crystal Growth. Elsevier. https://doi.org/10.1016/j.jcrysgro.2004.12.047
View
| DOI
2005 | Journal Article | IST-REx-ID: 1743
Zhong, Z., Katsaros, G., Stoffel, M., Costantini, G., Kern, K., Schmidt, O., … Bauer, G. (2005). Periodic pillar structures by Si etching of multilayer GeSi/Si islands. Applied Physics Letters. American Institute of Physics. https://doi.org/10.1063/1.2150278
View
| DOI