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, 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: 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 | 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: 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 | 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 | OA
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 | OA
Hosten, O., & Kwiat, P. (2006). Weak measurements and counterfactual computation. ArXiv.
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 (Vol. 6372). Presented at the Unknown (978-081946470-5), SPIE. https://doi.org/10.1117/12.686117
View | DOI
 

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 | 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 | 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: 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 | 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: 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: 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: 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: 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. Cell Press. https://doi.org/10.1016/j.cub.2006.02.061
View | Files available | DOI
 

Filters and Search Terms

year=2006

Search

Filter Publications