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.
204 Publications
- 1
- 2
- 3
- 4 (current)
- 5
2006 | Conference Paper | IST-REx-ID: 4436
An interface algebra for real-time components
T.A. Henzinger, S. Matic, in:, IEEE, 2006, pp. 253–266.
View
| DOI
T.A. Henzinger, S. Matic, in:, IEEE, 2006, pp. 253–266.
2006 | Conference Paper | IST-REx-ID: 4432
Timed alternating-time temporal logic
T.A. Henzinger, V. Prabhu, in:, Springer, 2006, pp. 1–17.
View
| DOI
T.A. Henzinger, V. Prabhu, in:, Springer, 2006, pp. 1–17.
2006 | Conference Paper | IST-REx-ID: 4431
The embedded systems design challenge
T.A. Henzinger, J. Sifakis, in:, Springer, 2006, pp. 1–15.
View
| DOI
T.A. Henzinger, J. Sifakis, in:, Springer, 2006, pp. 1–15.
2006 | Journal Article | IST-REx-ID: 4451
On the universal and existential fragments of the mu-calculus
T.A. Henzinger, O. Kupferman, R. Majumdar, Theoretical Computer Science 354 (2006) 173–186.
View
| DOI
T.A. Henzinger, O. Kupferman, R. Majumdar, Theoretical Computer Science 354 (2006) 173–186.
2006 | Conference Paper | IST-REx-ID: 4523
Synergy: A new algorithm for property checking
B. Gulavani, T.A. Henzinger, Y. Kannan, A. Nori, S. Rajamani, in:, ACM, 2006, pp. 117–127.
View
| DOI
B. Gulavani, T.A. Henzinger, Y. Kannan, A. Nori, S. Rajamani, in:, ACM, 2006, pp. 117–127.
2006 | Conference Paper | IST-REx-ID: 4526
A hierarchical coordination language for interacting real-time tasks
A. Ghosal, T.A. Henzinger, D. Iercan, C. Kirsch, A. Sangiovanni Vincentelli, in:, ACM, 2006, pp. 132–141.
View
| DOI
A. Ghosal, T.A. Henzinger, D. Iercan, C. Kirsch, A. Sangiovanni Vincentelli, in:, ACM, 2006, pp. 132–141.
2006 | Conference Paper | IST-REx-ID: 4528
Executable biology
J. Fisher, T.A. Henzinger, in:, IEEE, 2006, pp. 1675–1682.
View
| DOI
J. Fisher, T.A. Henzinger, in:, IEEE, 2006, pp. 1675–1682.
2006 | Conference Paper | IST-REx-ID: 4539
Finitary winning in omega-regular games
K. Chatterjee, T.A. Henzinger, in:, Springer, 2006, pp. 257–271.
View
| DOI
K. Chatterjee, T.A. Henzinger, in:, Springer, 2006, pp. 257–271.
2006 | Conference Paper | IST-REx-ID: 4538
Strategy improvement and randomized subexponential algorithms for stochastic parity games
K. Chatterjee, T.A. Henzinger, in:, Springer, 2006, pp. 512–523.
View
| DOI
K. Chatterjee, T.A. Henzinger, in:, Springer, 2006, pp. 512–523.
2006 | Conference Paper | IST-REx-ID: 4551
Markov decision processes with multiple objectives
K. Chatterjee, R. Majumdar, T.A. Henzinger, in:, Springer, 2006, pp. 325–336.
View
| DOI
K. Chatterjee, R. Majumdar, T.A. Henzinger, in:, Springer, 2006, pp. 325–336.
2006 | Journal Article | IST-REx-ID: 4550
Games with secure equilibria
K. Chatterjee, T.A. Henzinger, M. Jurdziński, Theoretical Computer Science 365 (2006) 67–82.
View
| DOI
K. Chatterjee, T.A. Henzinger, M. Jurdziński, Theoretical Computer Science 365 (2006) 67–82.
2006 | Conference Paper | IST-REx-ID: 4549
Compositional quantitative reasoning
K. Chatterjee, L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, in:, IEEE, 2006, pp. 179–188.
View
| DOI
K. Chatterjee, L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, in:, IEEE, 2006, pp. 179–188.
2006 | Conference Paper | IST-REx-ID: 4552
Strategy improvement for concurrent reachability games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, IEEE, 2006, pp. 291–300.
View
| DOI
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, IEEE, 2006, pp. 291–300.
2006 | Conference Paper | IST-REx-ID: 4574
Lazy shape analysis
D. Beyer, T.A. Henzinger, G. Théoduloz, in:, Springer, 2006, pp. 532–546.
View
| DOI
D. Beyer, T.A. Henzinger, G. Théoduloz, in:, Springer, 2006, pp. 532–546.
2006 | Preprint | IST-REx-ID: 573 | 
Counterfactual computation revisited
O. Hosten, M. Rakher, J. Barreiro, N. Peters, P. Kwiat, (2006).
View
| Download Preprint (ext.)
| arXiv
O. Hosten, M. Rakher, J. Barreiro, N. Peters, P. Kwiat, (2006).
2006 | Preprint | IST-REx-ID: 574 |
Weak measurements and counterfactual computation
O. Hosten, P. Kwiat, (2006).
View
| Download Preprint (ext.)
| arXiv
O. Hosten, P. Kwiat, (2006).
2006 | Conference Paper | IST-REx-ID: 578
Towards a quasi-deterministic single-photon source
N. Peters, K. Arnold, A. Vandevender, E. Jeffrey, R. Rangarajan, O. Hosten, J. Barreiro, J. Altepeter, P. Kwiat, in:, SPIE, 2006.
View
| DOI
N. Peters, K. Arnold, A. Vandevender, E. Jeffrey, R. Rangarajan, O. Hosten, J. Barreiro, J. Altepeter, P. Kwiat, in:, SPIE, 2006.
2006 | Conference Paper | IST-REx-ID: 577
High-efficiency single-photon detectors
R. Rangarajan, J. Altepeter, E. Jeffrey, M. Stoutimore, N. Peters, O. Hosten, P. Kwiat, in:, SPIE, 2006.
View
| DOI
R. Rangarajan, J. Altepeter, E. Jeffrey, M. Stoutimore, N. Peters, O. Hosten, P. Kwiat, in:, SPIE, 2006.
2006 | Journal Article | IST-REx-ID: 579
Counterfactual quantum computation through quantum interrogation
O. Hosten, M. Rakher, J. Barreiro, N. Peters, P. Kwiat, Nature 439 (2006) 949–952.
View
| DOI
O. Hosten, M. Rakher, J. Barreiro, N. Peters, P. Kwiat, Nature 439 (2006) 949–952.
2006 | Conference Paper | IST-REx-ID: 583
Improved single-photon detection
R. Rangarajan, N. Peters, O. Hosten, J. Altepeter, E. Jeffrey, P. Kwiat, in:, IEEE, 2006.
View
| DOI
R. Rangarajan, N. Peters, O. Hosten, J. Altepeter, E. Jeffrey, P. Kwiat, in:, IEEE, 2006.
2006 | Journal Article | IST-REx-ID: 6151 |
On the axonal road to circuit function and behaviour: Workshop on the assembly and function of neuronal circuits
I. Salecker, M. Häusser, M. de Bono, EMBO Reports 7 (2006) 585–589.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
I. Salecker, M. Häusser, M. de Bono, EMBO Reports 7 (2006) 585–589.
2006 | Journal Article | IST-REx-ID: 6152
Behavioral motifs and neural pathways coordinating O2 responses and aggregation in C. elegans
C. Rogers, A. Persson, B. Cheung, M. de Bono, Current Biology 16 (2006) 649–659.
View
| DOI
| PubMed | Europe PMC
C. Rogers, A. Persson, B. Cheung, M. de Bono, Current Biology 16 (2006) 649–659.
2006 | Journal Article | IST-REx-ID: 7328
Measuring the current distribution in PEFCs with sub-millimeter resolution
S.A. Freunberger, M. Reum, J. Evertz, A. Wokaun, F.N. Büchi, Journal of The Electrochemical Society 153 (2006).
View
| DOI
S.A. Freunberger, M. Reum, J. Evertz, A. Wokaun, F.N. Büchi, Journal of The Electrochemical Society 153 (2006).
2006 | Journal Article | IST-REx-ID: 7327
Experimental investigation of coupling phenomena in polymer electrolyte fuel cell stacks
M. Santis, S.A. Freunberger, M. Papra, A. Wokaun, F.N. Büchi, Journal of Power Sources 161 (2006) 1076–1083.
View
| DOI
M. Santis, S.A. Freunberger, M. Papra, A. Wokaun, F.N. Büchi, Journal of Power Sources 161 (2006) 1076–1083.
2006 | Conference Paper | IST-REx-ID: 7326
What is learned beyond the scale of single cells?
F.N. Büchi, S.A. Freunberger, M. Santis, in:, ECS Transactions, ECS, 2006, pp. 963–968.
View
| DOI
F.N. Büchi, S.A. Freunberger, M. Santis, in:, ECS Transactions, ECS, 2006, pp. 963–968.
2006 | Journal Article | IST-REx-ID: 7329
Expanding current distribution measurement in PEFCs to sub-millimeter resolution
S.A. Freunberger, M. Reum, A. Wokaun, F.N. Büchi, Electrochemistry Communications 8 (2006) 1435–1438.
View
| DOI
S.A. Freunberger, M. Reum, A. Wokaun, F.N. Büchi, Electrochemistry Communications 8 (2006) 1435–1438.
2006 | Journal Article | IST-REx-ID: 7330
Homogenization of the current density in polymer electrolyte fuel cells by in-plane cathode catalyst gradients
M. Santis, S.A. Freunberger, A. Reiner, F.N. Büchi, Electrochimica Acta 51 (2006) 5383–5393.
View
| DOI
M. Santis, S.A. Freunberger, A. Reiner, F.N. Büchi, Electrochimica Acta 51 (2006) 5383–5393.
2006 | Journal Article | IST-REx-ID: 7332
In-plane effects in large-scale PEMFCs
S.A. Freunberger, M. Santis, I.A. Schneider, A. Wokaun, F.N. Büchi, Journal of The Electrochemical Society 153 (2006).
View
| DOI
S.A. Freunberger, M. Santis, I.A. Schneider, A. Wokaun, F.N. Büchi, Journal of The Electrochemical Society 153 (2006).
2006 | Journal Article | IST-REx-ID: 7331
In-plane effects in large-scale PEFCs: II. The influence of cooling strategy on cell performance
S.A. Freunberger, A. Wokaun, F.N. Büchi, Journal of The Electrochemical Society 153 (2006).
View
| DOI
S.A. Freunberger, A. Wokaun, F.N. Büchi, Journal of The Electrochemical Society 153 (2006).
2006 | Journal Article | IST-REx-ID: 854
Complete mitochondrial genome and phylogeny of pleistocene mammoth Mammuthus primigenius
E. Rogaev, Y. Moliaka, B. Malyarchuk, F. Kondrashov, M. Derenko, I. Chumakov, A. Grigorenko, PLoS Biology 4 (2006) 0403–0410.
View
| DOI
E. Rogaev, Y. Moliaka, B. Malyarchuk, F. Kondrashov, M. Derenko, I. Chumakov, A. Grigorenko, PLoS Biology 4 (2006) 0403–0410.
2006 | Journal Article | IST-REx-ID: 868
Evolution of glyoxylate cycle enzymes in Metazoa Evidence of multiple horizontal transfer events and pseudogene formation
F. Kondrashov, E. Koonin, I. Morgunov, T. Finogenova, M. Kondrashova, Biology Direct 1 (2006).
View
| DOI
F. Kondrashov, E. Koonin, I. Morgunov, T. Finogenova, M. Kondrashova, Biology Direct 1 (2006).
2006 | Journal Article | IST-REx-ID: 873
Role of selection in fixation of gene duplications
F. Kondrashov, A. Kondrashov, Journal of Theoretical Biology 239 (2006) 141–151.
View
| DOI
F. Kondrashov, A. Kondrashov, Journal of Theoretical Biology 239 (2006) 141–151.
2006 | Journal Article | IST-REx-ID: 8489
HET-SOFAST NMR for fast detection of structural compactness and heterogeneity along polypeptide chains
P. Schanda, V. Forge, B. Brutscher, Magnetic Resonance in Chemistry 44 (2006) S177–S184.
View
| DOI
P. Schanda, V. Forge, B. Brutscher, Magnetic Resonance in Chemistry 44 (2006) S177–S184.
2006 | Journal Article | IST-REx-ID: 8488
Speeding up three-dimensional protein NMR experiments to a few minutes
P. Schanda, H. Van Melckebeke, B. Brutscher, Journal of the American Chemical Society 128 (2006) 9042–9043.
View
| DOI
P. Schanda, H. Van Melckebeke, B. Brutscher, Journal of the American Chemical Society 128 (2006) 9042–9043.
2006 | Journal Article | IST-REx-ID: 8490
Hadamard frequency-encoded SOFAST-HMQC for ultrafast two-dimensional protein NMR
P. Schanda, B. Brutscher, Journal of Magnetic Resonance 178 (2006) 334–339.
View
| DOI
P. Schanda, B. Brutscher, Journal of Magnetic Resonance 178 (2006) 334–339.
2006 | Journal Article | IST-REx-ID: 8514
The effect of projections on fractal sets and measures in Banach spaces
W. OTT, B. HUNT, V. Kaloshin, Ergodic Theory and Dynamical Systems 26 (2006) 869–891.
View
| DOI
W. OTT, B. HUNT, V. Kaloshin, Ergodic Theory and Dynamical Systems 26 (2006) 869–891.
2006 | Conference Paper | IST-REx-ID: 8515
Long time behaviour of periodic stochastic flows
V. Kaloshin, D. DOLGOPYAT, L. KORALOV, in:, XIVth International Congress on Mathematical Physics, World Scientific, 2006, pp. 290–295.
View
| DOI
V. Kaloshin, D. DOLGOPYAT, L. KORALOV, in:, XIVth International Congress on Mathematical Physics, World Scientific, 2006, pp. 290–295.
2006 | Journal Article | IST-REx-ID: 8513
Generic 3-dimensional volume-preserving diffeomorphisms with superexponential growth of number of periodic orbits
V. Kaloshin, M. Saprykina, Discrete & Continuous Dynamical Systems - A 15 (2006) 611–640.
View
| DOI
V. Kaloshin, M. Saprykina, Discrete & Continuous Dynamical Systems - A 15 (2006) 611–640.
2006 | Journal Article | IST-REx-ID: 869
Selection in favor of nucleotides G and C diversifies evolution rates and levels of polymorphism at mammalian synonymous sites
F. Kondrashov, A. Ogurtsov, A. Kondrashov, Journal of Theoretical Biology 240 (2006) 616–626.
View
| DOI
F. Kondrashov, A. Ogurtsov, A. Kondrashov, Journal of Theoretical Biology 240 (2006) 616–626.
2006 | Journal Article | IST-REx-ID: 903
Signs of positive selection of somatic mutations in human cancers detected by EST sequence analysis
V. Babenko, M. Basu, F. Kondrashov, I. Rogozin, E. Koonin, BMC Cancer 6 (2006).
View
| DOI
V. Babenko, M. Basu, F. Kondrashov, I. Rogozin, E. Koonin, BMC Cancer 6 (2006).
2006 | Journal Article | IST-REx-ID: 9505
Genome-wide analysis of Arabidopsis thaliana DNA methylation uncovers an interdependence between methylation and transcription
D. Zilberman, M. Gehring, R.K. Tran, T. Ballinger, S. Henikoff, Nature Genetics 39 (2006) 61–69.
View
| DOI
| PubMed | Europe PMC
D. Zilberman, M. Gehring, R.K. Tran, T. Ballinger, S. Henikoff, Nature Genetics 39 (2006) 61–69.
2006 | Journal Article | IST-REx-ID: 13430
Principles and implementations of dissipative (dynamic) self-assembly
M. Fialkowski, K.J.M. Bishop, R. Klajn, S.K. Smoukov, C.J. Campbell, B.A. Grzybowski, The Journal of Physical Chemistry B 110 (2006) 2482–2496.
View
| DOI
| PubMed | Europe PMC
M. Fialkowski, K.J.M. Bishop, R. Klajn, S.K. Smoukov, C.J. Campbell, B.A. Grzybowski, The Journal of Physical Chemistry B 110 (2006) 2482–2496.
2006 | Journal Article | IST-REx-ID: 13428
Ionic-like behavior of oppositely charged nanoparticles
A.M. Kalsin, B. Kowalczyk, S.K. Smoukov, R. Klajn, B.A. Grzybowski, Journal of the American Chemical Society 128 (2006) 15046–15047.
View
| DOI
| PubMed | Europe PMC
A.M. Kalsin, B. Kowalczyk, S.K. Smoukov, R. Klajn, B.A. Grzybowski, Journal of the American Chemical Society 128 (2006) 15046–15047.
2006 | Journal Article | IST-REx-ID: 13429
The core and most useful molecules in organic chemistry
K.J.M. Bishop, R. Klajn, B.A. Grzybowski, Angewandte Chemie International Edition 45 (2006) 5348–5354.
View
| DOI
| PubMed | Europe PMC
K.J.M. Bishop, R. Klajn, B.A. Grzybowski, Angewandte Chemie International Edition 45 (2006) 5348–5354.
- 1
- 2
- 3
- 4 (current)
- 5