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 | OA
Guerraoui R, Henzinger TA, Jobstmann B, Singh V. Model checking transactional memories. In: ACM; 2008:372-382. doi:10.1145/1375581.1375626
View | Files available | DOI | Download (ext.)
 

2008 | Published | Conference Paper | IST-REx-ID: 4400 | OA
Aviv A, Cerny P, Clark S, et al. Security evaluation of ES&S voting machines and election management system. In: 17th USENIX Security Symposium. ; 2008.
View | Download None (ext.)
 

2008 | Published | Thesis | PhD | IST-REx-ID: 4409 | OA
Prabhu V. Games for the verification of timed systems. 2008:1-137.
View | Download None (ext.)
 

2007 | Published | Book Chapter | IST-REx-ID: 2705 | OA
Erdös L. Recent developments in quantum mechanics with magnetic fields. In: Gesztesy F, Deift P, Galvez P, Perry P, Schlag W, eds. Spectral Theory and Mathematical Physics: A Festschrift in Honor of Barry Simon’s 60th Birthday . Vol 76. American Mathematical Society; 2007:401-428.
View | Download (ext.)
 

2007 | Published | Journal Article | IST-REx-ID: 3411 | OA
Preiner J, Janovjak HL, Rankl C, et al. Free energy of membrane protein unfolding derived from single-molecule force measurements. Biophysical Journal. 2007;93(3):930-937. doi:10.1529/biophysj.106.096982
View | DOI | Download (ext.)
 

2007 | Published | Journal Article | IST-REx-ID: 13425 | OA
Klajn R, Bishop KJM, Grzybowski BA. Light-controlled self-assembly of reversible and irreversible nanoparticle suprastructures. Proceedings of the National Academy of Sciences. 2007;104(25):10305-10309. doi:10.1073/pnas.0611371104
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2007 | Published | Journal Article | IST-REx-ID: 18037 | OA
Quek SY, Venkataraman L, Choi HJ, Louie SG, Hybertsen MS, Neaton JB. Amine−gold linked single-molecule circuits:  Experiment and theory. Nano Letters. 2007;7(11):3477-3482. doi:10.1021/nl072058i
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2007 | Published | Journal Article | IST-REx-ID: 18039 | OA
Quinn JR, Foss FW, Venkataraman L, Hybertsen MS, Breslow R. Single-molecule junction conductance through diaminoacenes. Journal of the American Chemical Society. 2007;129(21):6714-6715. doi:10.1021/ja0715804
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2007 | Published | Journal Article | IST-REx-ID: 18040 | OA
Venkataraman L, Park YS, Whalley AC, Nuckolls C, Hybertsen MS, Steigerwald ML. Electronics and dhemistry:  Varying single-molecule junction conductance using chemical substituents. Nano Letters. 2007;7(2):502-506. doi:10.1021/nl062923j
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2007 | Published | Journal Article | IST-REx-ID: 128 | OA
Carr A, Serchest Y, Waitukaitis SR, Perreault J, Lonij V, Cronin A. Cover slip external cavity diode laser. Review of Scientific Instruments. 2007;78(10). doi:10.1063/1.2801006
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2007 | Published | Journal Article | IST-REx-ID: 11116 | OA
Franz C, Walczak R, Yavuz S, et al. MEL‐28/ELYS is required for the recruitment of nucleoporins to chromatin and postmitotic nuclear pore complex assembly. EMBO reports. 2007;8(2):165-172. doi:10.1038/sj.embor.7400889
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2007 | Published | Journal Article | IST-REx-ID: 1035 | OA
Mark M, Ferlaino F, Knoop S, et al. Spectroscopy of ultracold trapped cesium Feshbach molecules. Physical Review A - Atomic, Molecular, and Optical Physics. 2007;76(4). doi:10.1103/PhysRevA.76.042514
View | DOI | Download None (ext.)
 

2007 | Published | Journal Article | IST-REx-ID: 2093 | OA
Bickel B, Botsch M, Angst R, et al. Multi scale capture of facial geometry and motion. ACM Transactions on Graphics. 2007;26(3). doi:10.1145/1276377.1276419
View | DOI | Download (ext.)
 

2007 | Published | Journal Article | IST-REx-ID: 2118 | OA
Maas J, Van Neerven J. On analytic Ornstein-Uhlenbeck semigroups in infinite dimensions. Archiv der Mathematik. 2007;89(3):226-236. doi:10.1007/s00013-007-2082-x
View | DOI | Download (ext.)
 

2007 | Published | Journal Article | IST-REx-ID: 221 | OA
De La Bretèche R, Browning TD. On Manin’s conjecture for singular del Pezzo surfaces of degree four, I. Michigan Mathematical Journal. 2007;55(1):51-80. doi:10.1307/mmj/1177681985
[Published Version] View | Files available | DOI | arXiv
 

2007 | Published | Journal Article | IST-REx-ID: 222 | OA
De La Bretèche R, Browning TD. On Manin’s conjecture for singular del Pezzo surfaces of degree four, II. Mathematical Proceedings of the Cambridge Philosophical Society. 2007;143(3):579-605. doi:10.1017/S0305004107000205
View | DOI | Download (ext.)
 

2007 | Published | Journal Article | IST-REx-ID: 223 | OA
Browning TD. Density of integer solutions to diagonal quadratic forms. Monatshefte fur Mathematik. 2007;152(1):13-38. doi:10.1007/s00605-007-0457-5
View | DOI | Download (ext.)
 

2007 | Published | Journal Article | IST-REx-ID: 2367 | OA
Seiringer R. On the failure of subadditivity of the Wigner-Yanase entropy. Letters in Mathematical Physics. 2007;80(3):285-288. doi:10.1007/s11005-007-0159-x
View | DOI | Download (ext.)
 

2007 | Published | Journal Article | IST-REx-ID: 2370 | OA
Lieb É, Seiringer R, Yngvason J. Bose-Einstein condensation and spontaneous symmetry breaking. Reports on Mathematical Physics. 2007;59(3):389-399. doi:10.1016/S0034-4877(07)80074-7
View | DOI | Download (ext.)
 

2007 | Published | Journal Article | IST-REx-ID: 2371 | OA
Frank R, Lieb É, Seiringer R. Stability of relativistic matter with magnetic fields for nuclear charges up to the critical value. Communications in Mathematical Physics. 2007;275(2):479-489. doi:10.1007/s00220-007-0307-2
View | DOI | Download (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed