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
Danowski P, Heller L. Bibliothek 2.0 - Die Bibliothek der Zukunft? Bibliotheksdienst. 2006;40(11):1250-1271. doi:10.1515/bd.2006.40.11.1259
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4359
Wies T, Kuncak V, Lam P, Podelski A, Rinard M. Field constraint analysis. In: 7th International Conference on Verification, Model Checking, and Abstract Interpretation. Vol 3855. Springer; 2006:157-173. doi:10.1007/11609773_11
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4373
Maler O, Nickovic D, Pnueli A. Real time temporal logic: Past, present, future. In: Third International Conference on Formal Modeling and Analysis of Timed Systems. Vol 3829. Springer; 2006:2-16. doi:10.1007/11603009_2
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4374
Maler O, Nickovic D, Pnueli A. From MITL to timed automata. In: 4th International Conference on Formal Modeling and Analysis of Timed Systems. Vol 4202. Springer; 2006:274-289. doi:10.1007/11867340_20
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4401
Alur R, Cerny P, Zdancewic S. Preserving secrecy under refinement. In: 33rd International Colloquium on Automata, Languages and Programming. Vol 4052. Springer; 2006:107-118. doi:10.1007/11787006_10
View
| DOI
2006 |
Published |
Preprint |
IST-REx-ID: 573 |
Hosten O, Rakher M, Barreiro J, Peters N, Kwiat P. Counterfactual computation revisited. 2006. doi:10.48550/arXiv.quant-ph/0607101
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2006 |
Submitted |
Preprint |
IST-REx-ID: 574 |
Hosten O, Kwiat P. Weak measurements and counterfactual computation. doi:10.48550/arXiv.quant-ph/0612159
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2006 |
Published |
Conference Paper |
IST-REx-ID: 577
Rangarajan R, Altepeter J, Jeffrey E, et al. High-efficiency single-photon detectors. In: Optics East. SPIE; 2006. doi:10.1117/12.686117
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 578
Peters N, Arnold K, Vandevender A, et al. Towards a quasi-deterministic single-photon source. In: Quantum Communications and Quantum Imaging IV. Vol 6305. SPIE; 2006. doi:10.1117/12.684702
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 579
Hosten O, Rakher M, Barreiro J, Peters N, Kwiat P. Counterfactual quantum computation through quantum interrogation. Nature. 2006;439(7079):949-952. doi:10.1038/nature04523
View
| DOI
| PubMed | Europe PMC
2006 |
Published |
Conference Paper |
IST-REx-ID: 583
Rangarajan R, Peters N, Hosten O, Altepeter J, Jeffrey E, Kwiat P. Improved single-photon detection. In: Conference on Lasers and Electro-Optics. IEEE; 2006. doi:10.1109/CLEO.2006.4628641
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 6151 |
Salecker I, Häusser M, de Bono M. On the axonal road to circuit function and behaviour: Workshop on the assembly and function of neuronal circuits. EMBO reports. 2006;7(6):585-589. doi:10.1038/sj.embor.7400713
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2006 |
Published |
Journal Article |
IST-REx-ID: 6152
Rogers C, Persson A, Cheung B, de Bono M. Behavioral motifs and neural pathways coordinating O2 responses and aggregation in C. elegans. Current Biology. 2006;16(7):649-659. doi:10.1016/j.cub.2006.03.023
View
| DOI
| PubMed | Europe PMC
2006 |
Published |
Journal Article |
IST-REx-ID: 2066
Vicoso B, Charlesworth B. Evolution on the X chromosome: Unusual patterns and processes. Nature Reviews Genetics. 2006;7(8):645-653. doi:10.1038/nrg1914
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 2077
Bickel B, Wicke M, Gross M. Adaptive simulation of electrical discharges. In: IOS Press; 2006.
View
2006 |
Published |
Journal Article |
IST-REx-ID: 1033 |
Kraemer T, Mark M, Waldburger P, et al. Evidence for Efimov quantum states in an ultracold gas of caesium atoms. Nature. 2006;440(7082):315-318. doi:10.1038/nature04626
View
| DOI
| Download None (ext.)
2006 |
Published |
Conference Paper |
IST-REx-ID: 1034 |
Nägerl H, Kraemer T, Mark M, et al. Experimental evidence for Efimov quantum states. In: Vol 869. AIP; 2006:269-277. doi:10.1063/1.2400657
View
| DOI
| Download None (ext.)
2006 |
Published |
Journal Article |
IST-REx-ID: 8488
Schanda P, Van Melckebeke H, Brutscher B. Speeding up three-dimensional protein NMR experiments to a few minutes. Journal of the American Chemical Society. 2006;128(28):9042-9043. doi:10.1021/ja062025p
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 8489
Schanda P, Forge V, Brutscher B. HET-SOFAST NMR for fast detection of structural compactness and heterogeneity along polypeptide chains. Magnetic Resonance in Chemistry. 2006;44(S1):S177-S184. doi:10.1002/mrc.1825
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 8490
Schanda P, Brutscher B. Hadamard frequency-encoded SOFAST-HMQC for ultrafast two-dimensional protein NMR. Journal of Magnetic Resonance. 2006;178(2):334-339. doi:10.1016/j.jmr.2005.10.007
View
| DOI