Please note that IST 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.
2012 | Conference Paper | IST-REx-ID: 1384 |
D. Beyer, T. A. Henzinger, M. Keremoglu, and P. Wendler, “Conditional model checking: A technique to pass information between verifiers,” in Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, Cary, NC, USA, 2012.View | DOI | Download Preprint (ext.)
2012 | Journal Article | IST-REx-ID: 1784
C. Eichler, C. Lang, J. M. Fink, J. Govenius, S. Filipp, and A. Wallraff, “Observation of entanglement between itinerant microwave photons and a superconducting qubit,” Physical Review Letters, vol. 109, no. 24. American Physical Society, 2012.View | DOI | Download (ext.)
2012 | Conference Paper | IST-REx-ID: 2049 |
S. Heyse, E. Kiltz, V. Lyubashevsky, C. Paar, and K. Z. Pietrzak, “Lapin: An efficient authentication protocol based on ring-LPN,” in Conference proceedings FSE 2012, Washington, DC, USA, 2012, vol. 7549, pp. 346–365.View | DOI | Download Preprint (ext.)
2012 | Journal Article | IST-REx-ID: 2202 |
S. Alyabyshev, M. Lemeshko, and R. Krems, “Sensitive imaging of electromagnetic fields with paramagnetic polar molecules,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 86, no. 1. American Physical Society, 2012.View | DOI | Download (ext.)
2012 | Journal Article | IST-REx-ID: 2203 |
M. Lemeshko and B. Friedrich, “Interaction between polar molecules subject to a far-off-resonant optical field: Entangled dipoles up- or down-holding each other,” Molecular Physics, vol. 110, no. 15–16. Taylor & Francis, pp. 1873–1881, 2012.View | DOI | Download (ext.)
2012 | Journal Article | IST-REx-ID: 2263 |
H. Liang, S. Hippenmeyer, and H. Ghashghaei, “A Nestin-cre transgenic mouse is insufficient for recombination in early embryonic neural progenitors,” Biology open, vol. 1, no. 12. The Company of Biologists, pp. 1200–1203, 2012.View | Files available | DOI