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.
7677 Publications
2008 |
Published |
Conference Paper |
IST-REx-ID: 4384 |
Guerraoui, R., Henzinger, T. A., Jobstmann, B., & Singh, V. (2008). Model checking transactional memories (pp. 372–382). Presented at the PLDI: Programming Languages Design and Implementation, ACM. https://doi.org/10.1145/1375581.1375626
View
| Files available
| DOI
| Download (ext.)
2008 |
Published |
Conference Paper |
IST-REx-ID: 4400 |
Aviv, A., Cerny, P., Clark, S., Cronin, E., Shah, G., Sherr, M., & Blaze, M. (2008). Security evaluation of ES&S voting machines and election management system. In 17th USENIX Security Symposium. San Jose, CA, United States.
View
| Download None (ext.)
2008 |
Published |
Thesis | PhD |
IST-REx-ID: 4409 |
Prabhu, V. (2008). Games for the verification of timed systems. University of California, Berkeley.
View
| Download None (ext.)
2007 |
Published |
Book Chapter |
IST-REx-ID: 2705 |
Erdös, L. (2007). Recent developments in quantum mechanics with magnetic fields. In F. Gesztesy, P. Deift, P. Galvez, P. Perry, & W. Schlag (Eds.), Spectral Theory and Mathematical Physics: a Festschrift in Honor of Barry Simon’s 60th Birthday (Vol. 76, pp. 401–428). American Mathematical Society.
View
| Download (ext.)
2007 |
Published |
Journal Article |
IST-REx-ID: 3411 |
Preiner, J., Janovjak, H. L., Rankl, C., Knaus, H., Cisneros, D., Kedrov, A., … Hinterdorfer, P. (2007). Free energy of membrane protein unfolding derived from single-molecule force measurements. Biophysical Journal. Biophysical Society. https://doi.org/10.1529/biophysj.106.096982
View
| DOI
| Download (ext.)
2007 |
Published |
Journal Article |
IST-REx-ID: 13425 |
Klajn, R., Bishop, K. J. M., & Grzybowski, B. A. (2007). Light-controlled self-assembly of reversible and irreversible nanoparticle suprastructures. Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences. https://doi.org/10.1073/pnas.0611371104
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2007 |
Published |
Journal Article |
IST-REx-ID: 18037 |
Quek, S. Y., Venkataraman, L., Choi, H. J., Louie, S. G., Hybertsen, M. S., & Neaton, J. B. (2007). Amine−gold linked single-molecule circuits: Experiment and theory. Nano Letters. American Chemical Society. https://doi.org/10.1021/nl072058i
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2007 |
Published |
Journal Article |
IST-REx-ID: 18039 |
Quinn, J. R., Foss, F. W., Venkataraman, L., Hybertsen, M. S., & Breslow, R. (2007). Single-molecule junction conductance through diaminoacenes. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/ja0715804
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2007 |
Published |
Journal Article |
IST-REx-ID: 18040 |
Venkataraman, L., Park, Y. S., Whalley, A. C., Nuckolls, C., Hybertsen, M. S., & Steigerwald, M. L. (2007). Electronics and dhemistry: Varying single-molecule junction conductance using chemical substituents. Nano Letters. American Chemical Society. https://doi.org/10.1021/nl062923j
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2007 |
Published |
Journal Article |
IST-REx-ID: 128 |
Carr, A., Serchest, Y., Waitukaitis, S. R., Perreault, J., Lonij, V., & Cronin, A. (2007). Cover slip external cavity diode laser. Review of Scientific Instruments. American Institute of Physics. https://doi.org/10.1063/1.2801006
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2007 |
Published |
Journal Article |
IST-REx-ID: 11116 |
Franz, C., Walczak, R., Yavuz, S., Santarella, R., Gentzel, M., Askjaer, P., … Antonin, W. (2007). MEL‐28/ELYS is required for the recruitment of nucleoporins to chromatin and postmitotic nuclear pore complex assembly. EMBO Reports. EMBO. https://doi.org/10.1038/sj.embor.7400889
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2007 |
Published |
Journal Article |
IST-REx-ID: 1035 |
Mark, M., Ferlaino, F., Knoop, S., Danzl, J. G., Kraemer, T., Chin, C., … Grimm, R. (2007). Spectroscopy of ultracold trapped cesium Feshbach molecules. Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society. https://doi.org/10.1103/PhysRevA.76.042514
View
| DOI
| Download None (ext.)
2007 |
Published |
Journal Article |
IST-REx-ID: 2093 |
Bickel, B., Botsch, M., Angst, R., Matusik, W., Otaduy, M., Pfister, H., & Groß, M. (2007). Multi scale capture of facial geometry and motion. ACM Transactions on Graphics. ACM. https://doi.org/10.1145/1276377.1276419
View
| DOI
| Download (ext.)
2007 |
Published |
Journal Article |
IST-REx-ID: 2118 |
Maas, J., & Van Neerven, J. (2007). On analytic Ornstein-Uhlenbeck semigroups in infinite dimensions. Archiv Der Mathematik. Birkhäuser. https://doi.org/10.1007/s00013-007-2082-x
View
| DOI
| Download (ext.)
2007 |
Published |
Journal Article |
IST-REx-ID: 221 |
De La Bretèche, R., & Browning, T. D. (2007). On Manin’s conjecture for singular del Pezzo surfaces of degree four, I. Michigan Mathematical Journal. Project Euclid. https://doi.org/10.1307/mmj/1177681985
[Published Version]
View
| Files available
| DOI
| arXiv
2007 |
Published |
Journal Article |
IST-REx-ID: 222 |
De La Bretèche, R., & Browning, T. D. (2007). On Manin’s conjecture for singular del Pezzo surfaces of degree four, II. Mathematical Proceedings of the Cambridge Philosophical Society. Unknown. https://doi.org/10.1017/S0305004107000205
View
| DOI
| Download (ext.)
2007 |
Published |
Journal Article |
IST-REx-ID: 223 |
Browning, T. D. (2007). Density of integer solutions to diagonal quadratic forms. Monatshefte Fur Mathematik. Springer. https://doi.org/10.1007/s00605-007-0457-5
View
| DOI
| Download (ext.)
2007 |
Published |
Journal Article |
IST-REx-ID: 2367 |
Seiringer, R. (2007). On the failure of subadditivity of the Wigner-Yanase entropy. Letters in Mathematical Physics. Springer. https://doi.org/10.1007/s11005-007-0159-x
View
| DOI
| Download (ext.)
2007 |
Published |
Journal Article |
IST-REx-ID: 2370 |
Lieb, É., Seiringer, R., & Yngvason, J. (2007). Bose-Einstein condensation and spontaneous symmetry breaking. Reports on Mathematical Physics. Elsevier. https://doi.org/10.1016/S0034-4877(07)80074-7
View
| DOI
| Download (ext.)
2007 |
Published |
Journal Article |
IST-REx-ID: 2371 |
Frank, R., Lieb, É., & Seiringer, R. (2007). Stability of relativistic matter with magnetic fields for nuclear charges up to the critical value. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-007-0307-2
View
| DOI
| Download (ext.)