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.
231 Publications
2006 |
Published |
Journal Article |
IST-REx-ID: 4345
Bibliothek 2.0 - Die Bibliothek der Zukunft?
P. Danowski, L. Heller, Bibliotheksdienst 40 (2006) 1250–1271.
View
| DOI
P. Danowski, L. Heller, Bibliotheksdienst 40 (2006) 1250–1271.
2006 |
Published |
Conference Paper |
IST-REx-ID: 4359
Field constraint analysis
T. Wies, V. Kuncak, P. Lam, A. Podelski, M. Rinard, in:, 7th International Conference on Verification, Model Checking, and Abstract Interpretation, Springer, 2006, pp. 157–173.
View
| DOI
T. Wies, V. Kuncak, P. Lam, A. Podelski, M. Rinard, in:, 7th International Conference on Verification, Model Checking, and Abstract Interpretation, Springer, 2006, pp. 157–173.
2006 |
Published |
Conference Paper |
IST-REx-ID: 4373
Real time temporal logic: Past, present, future
O. Maler, D. Nickovic, A. Pnueli, in:, Third International Conference on Formal Modeling and Analysis of Timed Systems, Springer, 2006, pp. 2–16.
View
| DOI
O. Maler, D. Nickovic, A. Pnueli, in:, Third International Conference on Formal Modeling and Analysis of Timed Systems, Springer, 2006, pp. 2–16.
2006 |
Published |
Conference Paper |
IST-REx-ID: 4374
From MITL to timed automata
O. Maler, D. Nickovic, A. Pnueli, in:, 4th International Conference on Formal Modeling and Analysis of Timed Systems, Springer, 2006, pp. 274–289.
View
| DOI
O. Maler, D. Nickovic, A. Pnueli, in:, 4th International Conference on Formal Modeling and Analysis of Timed Systems, Springer, 2006, pp. 274–289.
2006 |
Published |
Conference Paper |
IST-REx-ID: 4401
Preserving secrecy under refinement
R. Alur, P. Cerny, S. Zdancewic, in:, 33rd International Colloquium on Automata, Languages and Programming, Springer, 2006, pp. 107–118.
View
| DOI
R. Alur, P. Cerny, S. Zdancewic, in:, 33rd International Colloquium on Automata, Languages and Programming, Springer, 2006, pp. 107–118.
2006 |
Published |
Preprint |
IST-REx-ID: 573 |
Counterfactual computation revisited
O. Hosten, M. Rakher, J. Barreiro, N. Peters, P. Kwiat, (2006).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
O. Hosten, M. Rakher, J. Barreiro, N. Peters, P. Kwiat, (2006).
2006 |
Submitted |
Preprint |
IST-REx-ID: 574 |
Weak measurements and counterfactual computation
O. Hosten, P. Kwiat, (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
O. Hosten, P. Kwiat, (n.d.).
2006 |
Published |
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:, Optics East, SPIE, 2006.
View
| DOI
R. Rangarajan, J. Altepeter, E. Jeffrey, M. Stoutimore, N. Peters, O. Hosten, P. Kwiat, in:, Optics East, SPIE, 2006.
2006 |
Published |
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:, Quantum Communications and Quantum Imaging IV, SPIE, 2006.
View
| DOI
N. Peters, K. Arnold, A. Vandevender, E. Jeffrey, R. Rangarajan, O. Hosten, J. Barreiro, J. Altepeter, P. Kwiat, in:, Quantum Communications and Quantum Imaging IV, SPIE, 2006.
2006 |
Published |
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
| PubMed | Europe PMC
O. Hosten, M. Rakher, J. Barreiro, N. Peters, P. Kwiat, Nature 439 (2006) 949–952.
2006 |
Published |
Conference Paper |
IST-REx-ID: 583
Improved single-photon detection
R. Rangarajan, N. Peters, O. Hosten, J. Altepeter, E. Jeffrey, P. Kwiat, in:, Conference on Lasers and Electro-Optics, IEEE, 2006.
View
| DOI
R. Rangarajan, N. Peters, O. Hosten, J. Altepeter, E. Jeffrey, P. Kwiat, in:, Conference on Lasers and Electro-Optics, IEEE, 2006.
2006 |
Published |
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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
I. Salecker, M. Häusser, M. de Bono, EMBO Reports 7 (2006) 585–589.
2006 |
Published |
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 |
Published |
Journal Article |
IST-REx-ID: 2066
Evolution on the X chromosome: Unusual patterns and processes
B. Vicoso, B. Charlesworth, Nature Reviews Genetics 7 (2006) 645–653.
View
| DOI
B. Vicoso, B. Charlesworth, Nature Reviews Genetics 7 (2006) 645–653.
2006 |
Published |
Conference Paper |
IST-REx-ID: 2077
Adaptive simulation of electrical discharges
B. Bickel, M. Wicke, M. Gross, in:, IOS Press, 2006.
View
B. Bickel, M. Wicke, M. Gross, in:, IOS Press, 2006.
2006 |
Published |
Journal Article |
IST-REx-ID: 1033 |
Evidence for Efimov quantum states in an ultracold gas of caesium atoms
T. Kraemer, M. Mark, P. Waldburger, J.G. Danzl, C. Chin, B. Engeser, A. Lange, K. Pilch, A. Jaakkola, H. Nägerl, R. Grimm, Nature 440 (2006) 315–318.
View
| DOI
| Download None (ext.)
T. Kraemer, M. Mark, P. Waldburger, J.G. Danzl, C. Chin, B. Engeser, A. Lange, K. Pilch, A. Jaakkola, H. Nägerl, R. Grimm, Nature 440 (2006) 315–318.
2006 |
Published |
Conference Paper |
IST-REx-ID: 1034 |
Experimental evidence for Efimov quantum states
H. Nägerl, T. Kraemer, M. Mark, P. Waldburger, J.G. Danzl, B. Engeser, A. Lange, K. Pilch, A. Jaakkola, C. Chin, R. Grimm, in:, AIP, 2006, pp. 269–277.
View
| DOI
| Download None (ext.)
H. Nägerl, T. Kraemer, M. Mark, P. Waldburger, J.G. Danzl, B. Engeser, A. Lange, K. Pilch, A. Jaakkola, C. Chin, R. Grimm, in:, AIP, 2006, pp. 269–277.
2006 |
Published |
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 |
Published |
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 |
Published |
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.