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.

200 Publications


2006 | Conference Paper | IST-REx-ID: 4539
Chatterjee K, Henzinger TA. 2006. Finitary winning in omega-regular games. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 3920, 257–271.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4549
Chatterjee K, De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. 2006. Compositional quantitative reasoning. QEST: Quantitative Evaluation of Systems, 179–188.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4550
Chatterjee K, Henzinger TA, Jurdziński M. 2006. Games with secure equilibria. Theoretical Computer Science. 365(1–2), 67–82.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4551
Chatterjee K, Majumdar R, Henzinger TA. 2006. Markov decision processes with multiple objectives. STACS: Theoretical Aspects of Computer Science, LNCS, vol. 3884, 325–336.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4552
Chatterjee K, De Alfaro L, Henzinger TA. 2006. Strategy improvement for concurrent reachability games. QEST: Quantitative Evaluation of Systems, 291–300.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4574
Beyer D, Henzinger TA, Théoduloz G. 2006. Lazy shape analysis. CAV: Computer Aided Verification, LNCS, vol. 4144, 532–546.
View | DOI
 

2006 | Preprint | IST-REx-ID: 573 | OA
Hosten O, Rakher M, Barreiro J, Peters N, Kwiat P. 2006. Counterfactual computation revisited.
View | Download Preprint (ext.) | arXiv
 

2006 | Preprint | IST-REx-ID: 574 | OA
Hosten O, Kwiat P. 2006. Weak measurements and counterfactual computation.
View | Download Preprint (ext.) | arXiv
 

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. Unknown (978-081946470-5), Proceedings of SPIE, vol. 6372.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 578
Peters N, Arnold K, Vandevender A, Jeffrey E, Rangarajan R, Hosten O, Barreiro J, Altepeter J, Kwiat P. 2006. Towards a quasi-deterministic single-photon source. Quantum Communications and Quantum Imaging, Proc. SPIE, vol. 6305.
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. 439(7079), 949–952.
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. CLEO/QELS: Conference on Lasers and Electro-Optics / Quantum Electronics and Laser Science Conference.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 7326
Büchi FN, Freunberger SA, Santis M. 2006. What is learned beyond the scale of single cells? ECS Transactions. ECS Meeting vol. 3, 963–968.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 7327
Santis M, Freunberger SA, Papra M, Wokaun A, Büchi FN. 2006. Experimental investigation of coupling phenomena in polymer electrolyte fuel cell stacks. Journal of Power Sources. 161(2), 1076–1083.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 7328
Freunberger SA, Reum M, Evertz J, Wokaun A, Büchi FN. 2006. Measuring the current distribution in PEFCs with sub-millimeter resolution. Journal of The Electrochemical Society. 153(11), A2158.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 7329
Freunberger SA, Reum M, Wokaun A, Büchi FN. 2006. Expanding current distribution measurement in PEFCs to sub-millimeter resolution. Electrochemistry Communications. 8(9), 1435–1438.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 7330
Santis M, Freunberger SA, Reiner A, Büchi FN. 2006. Homogenization of the current density in polymer electrolyte fuel cells by in-plane cathode catalyst gradients. Electrochimica Acta. 51(25), 5383–5393.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 7331
Freunberger SA, Wokaun A, Büchi FN. 2006. In-plane effects in large-scale PEFCs: II. The influence of cooling strategy on cell performance. Journal of The Electrochemical Society. 153(5), A909.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 7332
Freunberger SA, Santis M, Schneider IA, Wokaun A, Büchi FN. 2006. In-plane effects in large-scale PEMFCs. Journal of The Electrochemical Society. 153(2), A396.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 1715
Dudu V, Bittig T, Entchev E, Kicheva A, Julicher F, González Gaitán M. 2006. Postsynaptic mad signaling at the Drosophila neuromuscular junction. Current Biology. 16(7), 625–635.
View | Files available | DOI
 

Filters and Search Terms

year=2006

Search

Filter Publications