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.

5611 Publications


2009 | Published | Conference Paper | IST-REx-ID: 4383 | OA
Guerraoui, R., Henzinger, T. A., & Singh, V. (2009). Software transactional memory on relaxed memory models (Vol. 5643, pp. 321–336). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/978-3-642-02658-4_26
View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4403 | OA
Alur, R., Cerny, P., & Weinstein, S. (2009). Algorithmic analysis of array-accessing programs (Vol. 5771, pp. 86–101). Presented at the CSL: Computer Science Logic, Coimbra, Portugal: Springer. https://doi.org/10.1007/978-3-642-04027-6_9
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2009 | Published | Conference Paper | IST-REx-ID: 4453 | OA
Henzinger, T. A., Mateescu, M., & Wolf, V. (2009). Sliding-window abstraction for infinite Markov chains (Vol. 5643, pp. 337–352). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/978-3-642-02658-4_27
View | Files available | DOI | Download (ext.)
 

2009 | Published | Conference Paper | IST-REx-ID: 4542 | OA
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). Alternating weighted automata (Vol. 5699, pp. 3–13). Presented at the FCT: Fundamentals of Computation Theory, Wroclaw, Poland: Springer. https://doi.org/10.1007/978-3-642-03409-1_2
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4544 | OA
Chatterjee, K., De Alfaro, L., & Henzinger, T. A. (2009). Termination criteria for solving concurrent safety and reachability games (pp. 197–206). Presented at the SODA: Symposium on Discrete Algorithms, SIAM. https://doi.org/10.1137/1.9781611973068.23
View | Files available | DOI | Download (ext.)
 

2009 | Published | Conference Paper | IST-REx-ID: 4545 | OA
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). A survey of stochastic games with limsup and liminf objectives (Vol. 5556, pp. 1–15). Presented at the ICALP: Automata, Languages and Programming, Rhodos, Greece: Springer. https://doi.org/10.1007/978-3-642-02930-1_1
[Submitted Version] View | Files available | DOI
 

2008 | Published | Conference Paper | IST-REx-ID: 2702 | OA
Erdös, L., Salmhofer, M., & Yau, H. (2008). Feynman graphs and renormalization in quantum diffusion (pp. 167–182). Presented at the Symposium in Honor of Wolfhart Zimmermann’s 80th Birthday, World Scientific Publishing. https://doi.org/10.1142/9789812833556_0011
View | DOI | Download (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 3037 | OA
Feraru, E., & Friml, J. (2008). PIN polar targeting. Plant Physiology. American Society of Plant Biologists. https://doi.org/10.1104/pp.108.121756
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2008 | Published | Journal Article | IST-REx-ID: 3307 | OA
Green R, Malaspinas A, Krause J, Briggs A, Johnson P, Uhler C, Meyer M, Good J, Maricic T, Stenzel U, Prüfer K, Siebauer M, Burbano H, Ronan M, Rothberg J, Egholm M, Rudan P, Brajković D, Kućan Ž, Gušić I, Wikström M, Laakkonen L, Kelso J, Slatkin M, Pääbo S. 2008. A complete neandertal mitochondrial genome sequence determined by highhhroughput sequencing. Cell. 134, 416–426.
View | DOI | Download (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 11113 | OA
Anderson, D. J., & Hetzer, M. (2008). Shaping the endoplasmic reticulum into the nuclear envelope. Journal of Cell Science. The Company of Biologists. https://doi.org/10.1242/jcs.005777
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2008 | Published | Journal Article | IST-REx-ID: 11114 | OA
Schulte, R., Talamas, J., Doucet, C., & Hetzer, M. (2008). Single bead affinity detection (SINBAD) for the analysis of protein-protein interactions. PLoS ONE. Public Library of Science. https://doi.org/10.1371/journal.pone.0002061
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2008 | Published | Journal Article | IST-REx-ID: 1763 | OA
Fink, J. M., Göppl, M., Baur, M., Bianchetti, R., Leek, P., Blais, A., & Wallraff, A. (2008). Climbing the Jaynes-Cummings ladder and observing its √n nonlinearity in a cavity QED system. Nature. Nature Publishing Group. https://doi.org/10.1038/nature07112
View | DOI | Download (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 1765 | OA
Göppl, M., Fragner, A., Baur, M., Bianchetti, R., Filipp, S., Fink, J. M., … Wallraff, A. (2008). Coplanar waveguide resonators for circuit quantum electrodynamics. Journal of Applied Physics. American Institute of Physics. https://doi.org/10.1063/1.3010859
View | DOI | Download (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 2120 | OA
Maas, J., & Van Neerven, J. (2008). On the domain of non-symmetric Ornstein-Uhlenbeck operators in banach spaces. Infinite Dimensional Analysis, Quantum Probability and Related Topics. World Scientific Publishing. https://doi.org/10.1142/S0219025708003245
View | DOI | Download (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 2121 | OA
Van Neerven, J., & Maas, J. (2008). A Clark-Ocone formula in UMD Banach spaces. Electronic Communications in Probability. Institute of Mathematical Statistics.
View | Download (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 2146 | OA
Lemeshko, M., & Friedrich, B. (2008). An analytic model of rotationally inelastic collisions of polar molecules in electric fields. Journal of Chemical Physics. American Institute of Physics. https://doi.org/10.1063/1.2948392
View | DOI | Download (ext.)
 

2008 | Published | Conference Paper | IST-REx-ID: 2331 | OA
Hainzl, C., & Seiringer, R. (2008). Spectral properties of the BCS gap equation of superfluidity (pp. 117–136). Presented at the QMath: Mathematical Results in Quantum Physics, World Scientific Publishing. https://doi.org/10.1142/9789812832382_0009
View | DOI | Download (ext.)
 

2008 | Published | Conference Paper | IST-REx-ID: 2332 | OA
Seiringer, R. (2008). Vortices and Spontaneous Symmetry Breaking in Rotating Bose Gases (pp. 241–254). Presented at the QMath: Mathematical Results in Quantum Physics, World Scientific Publishing. https://doi.org/10.1142/9789812832382_0017
View | DOI | Download (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 2374 | OA
Seiringer, R. (2008). Free energy of a dilute Bose gas: Lower bound. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-008-0428-2
View | DOI | Download (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 2376 | OA
Hainzl, C., & Seiringer, R. (2008). Critical temperature and energy gap for the BCS equation. Physical Review B - Condensed Matter and Materials Physics. American Physical Society. https://doi.org/10.1103/PhysRevB.77.184517
View | DOI | Download (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed