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.

7691 Publications


2010 | Published | Journal Article | IST-REx-ID: 17697 | OA
Kratochvil JM, Haiman Z, May M. 2010. Probing cosmology with weak lensing peak counts. Physical Review D. 81(4), 043519.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Published | Journal Article | IST-REx-ID: 1773 | OA
Fink JM, Steffen L, Studer P, Bishop L, Baur M, Bianchetti R, Bozyigit D, Lang C, Filipp S, Leek P, Wallraff A. 2010. Quantum-to-classical transition in cavity quantum electrodynamics. Physical Review Letters. 105(16).
View | DOI | Download (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 1774 | OA
Bianchetti R, Filipp S, Baur M, Fink JM, Lang C, Steffen L, Boissonneault M, Blais A, Wallraff A. 2010. Control and tomography of a three level superconducting artificial atom. Physical Review Letters. 105(22).
View | DOI | Download (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 9012 | OA
Palacci JA, Abécassis B, Cottin-Bizonne C, Ybert C, Bocquet L. 2010. Colloidal motility and pattern formation under rectified diffusiophoresis. Physical Review Letters. 104(13), 138302.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2010 | Published | Journal Article | IST-REx-ID: 9013 | OA
Palacci JA, Cottin-Bizonne C, Ybert C, Bocquet L. 2010. Sedimentation and effective temperature of active colloidal suspensions. Physical Review Letters. 105(8), 088304.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2010 | Published | Journal Article | IST-REx-ID: 9146 | OA
O’Gorman PA, Muller CJ. 2010. How closely do changes in surface and column water vapor follow Clausius–Clapeyron scaling in climate change simulations? Environmental Research Letters. 5(2), 025207.
[Published Version] View | DOI | Download Published Version (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 9485 | OA
Zemach A, Kim MY, Silva P, Rodrigues JA, Dotson B, Brooks MD, Zilberman D. 2010. Local DNA hypomethylation activates genes in rice endosperm. Proceedings of the National Academy of Sciences. 107(43), 18729–18734.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Published | Journal Article | IST-REx-ID: 9489 | OA
Zemach A, Zilberman D. 2010. Evolution of eukaryotic DNA methylation and the pursuit of safer sex. Current Biology. 20(17), R780–R785.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Published | Conference Paper | IST-REx-ID: 488 | OA
Alur R, Cerny P. 2010. Expressiveness of streaming string transducers. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 8, 1–12.
[Published Version] View | Files available | DOI | WoS
 

2010 | Published | Conference Paper | IST-REx-ID: 489 | OA
Cristau J, David C, Horn F. 2010. How do we remember the past in randomised strategies? Proceedings of GandALF 2010. GandALF: Games, Automata, Logic, and Formal Verification, EPTCS, vol. 25, 30–39.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2010 | Published | Technical Report | IST-REx-ID: 5388 | OA
Chatterjee K, Cerny P, Henzinger TA, Radhakrishna A, Singh R. 2010. Quantitative synthesis for concurrent programs, IST Austria, 17p.
[Published Version] View | Files available | DOI
 

2010 | Published | Technical Report | IST-REx-ID: 5389 | OA
Cerny P, Henzinger TA, Radhakrishna A. 2010. Simulation distances, IST Austria, 24p.
[Published Version] View | Files available | DOI
 

2010 | Published | Technical Report | IST-REx-ID: 5390 | OA
Chatterjee K, Fijalkow N. 2010. Topological, automata-theoretic and logical characterization of finitary languages, IST Austria, 21p.
[Published Version] View | Files available | DOI
 

2010 | Published | Technical Report | IST-REx-ID: 5391 | OA
Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. 2010. Model checking of linearizability of concurrent list implementations, IST Austria, 27p.
[Published Version] View | Files available | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 598 | OA
Meyer K, Lin S, Bernecky C, Gao Y, Taatjes D. 2010. P53 activates transcription by directing structural shifts in Mediator. Nature Structural and Molecular Biology. 17(6), 753–760.
View | DOI | Download None (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 6142 | OA
Weber KP, De S, Kozarewa I, Turner DJ, Babu MM, de Bono M. 2010. Whole genome sequencing highlights genetic changes associated with laboratory domestication of C. elegans. PLoS ONE. 5(11), e13922.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2010 | Published | Journal Article | IST-REx-ID: 7078 | OA
Salje EKH, Safarik DJ, Modic KA, Gubernatis JE, Cooley JC, Taylor RD, Mihaila B, Saxena A, Lookman T, Smith JL, Fisher RA, Pasternak M, Opeil CP, Siegrist T, Littlewood PB, Lashley JC. 2010. Tin telluride: A weakly co-elastic metal. Physical Review B. 82(18), 184112.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Published | Conference Paper | IST-REx-ID: 3430 | OA
Tkačik G. 2010. Lecture notes for 2010 summer school on Quantitative Evolutionary and Comparative Genomics. Summer School on Quantitative Evolutionary and Comparative Genomics.
View | Download (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 3538 | OA
Jiruska P, Csicsvari JL, Powell A, Fox J, Chang W, Vreugdenhil M, Li X, Palus M, Bujan A, Dearden R, Jefferys J. 2010. High-frequency network activity, global increase in neuronal activity, and synchrony expansion precede epileptic seizures in vitro. Journal of Neuroscience. 30(16), 5690–5701.
View | DOI | Download None (ext.)
 

2010 | Published | Conference Paper | IST-REx-ID: 3719 | OA
Feret J, Henzinger TA, Koeppl H, Petrov T. 2010. Lumpability abstractions of rule-based systems. MECBIC: Membrane Computing and Biologically Inspired Process Calculi, EPTCS, vol. 40, 142–161.
[Submitted Version] View | Files available | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed