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.

309 Publications


2011 | Technical Report | IST-REx-ID: 5384 | OA
Chatterjee K, Tracol M. 2011. Decidable problems for probabilistic automata on infinite words, IST Austria, 30p.
[Published Version] View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3336
Chen C, Freedman D, Lampert C. 2011. Enforcing topological constraints in random field image segmentation. CVPR: Computer Vision and Pattern Recognition. CVPR: Conference on Computer Vision and Pattern Recognition, 2089–2096.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3323
Wies T, Muñiz M, Kuncak V. 2011. An efficient decision procedure for imperative tree data structures. CADE 23: Automated Deduction , LNAI , vol. 6803, 476–491.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3366 | OA
Cerny P, Chatterjee K, Henzinger TA, Radhakrishna A, Singh R. 2011. Quantitative synthesis for concurrent programs. CAV: Computer Aided Verification, LNCS, vol. 6806, 243–259.
[Submitted Version] View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3345 | OA
Chatterjee K, Doyen L. 2011. Energy and mean-payoff parity Markov Decision Processes. MFCS: Mathematical Foundations of Computer Science, LNCS, vol. 6907, 206–218.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2011 | Technical Report | IST-REx-ID: 5387 | OA
Chatterjee K, Doyen L. 2011. Energy and mean-payoff parity Markov decision processes, IST Austria, 20p.
[Published Version] View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 580
Hosten O. 2011. Quantum physics: How to catch a wave. Nature. 474(7350), 170–171.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 585
Schmid D, Hazrat S, Rangarajan R, Hosten O, Quint S, Kwiat P. 2011. Methods towards achieving precise birefringent focusing. QELS: Quantum Electronics and Laser Science, Optics InfoBase Conference Papers, .
View | DOI
 

2011 | Journal Article | IST-REx-ID: 586
Vrijsen G, Hosten O, Lee J, Bernon S, Kasevich M. 2011. Raman lasing with a cold atom gain medium in a high-finesse optical cavity. Physical Review Letters. 107(6).
View | DOI
 

2011 | Journal Article | IST-REx-ID: 597
Bernecky C, Grob P, Ebmeier C, Nogales E, Taatjes D. 2011. Molecular architecture of the human Mediator-RNA polymerase II-TFIIF assembly. PLoS Biology. 9(3).
View | DOI
 

2011 | Journal Article | IST-REx-ID: 6140 | OA
Arellano-Carbajal F, Briseño-Roa L, Couto A, Cheung BHH, Labouesse M, de Bono M. 2011. Macoilin, a conserved nervous system–specific ER membrane protein that regulates neuronal excitability. PLoS Genetics. 7(3), e1001341.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 6137 | OA
Milward K, Busch KE, Murphy RJ, de Bono M, Olofsson B. 2011. Neuronal and molecular substrates for optimal foraging in Caenorhabditis elegans. Proceedings of the National Academy of Sciences. 108(51), 20672–20677.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 6138 | OA
Bretscher AJ, Kodama-Namba E, Busch KE, Murphy RJ, Soltesz Z, Laurent P, de Bono M. 2011. Temperature, oxygen, and salt-sensing neurons in C. elegans are carbon dioxide sensors that control avoidance behavior. Neuron. 69(6), 1099–1113.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 6298 | OA
Baranova NS, Nilebäck E, Haller FM, Briggs DC, Svedhem S, Day AJ, Richter RP. 2011. The inflammation-associated protein TSG-6 cross-links hyaluronan via hyaluronan-induced TSG-6 oligomers. Journal of Biological Chemistry. 286(29), 25675–25686.
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 6496 | OA
Park H, Oikonomou P, Guet CC, Cluzel P. 2011. Noise underlies switching behavior of the bacterial flagellum. Biophysical Journal. 101(10), 2336–2340.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 6749 | OA
Mondelli M, Ciomaga A. 2011. Finite difference schemes for MCM and AMSS. Image Processing On Line. 1, 127–177.
[Published Version] View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 6767
Mondelli M, Ciomaga A. 2011. On finite difference schemes for curvature motions. Proceedings of the International Student Conference on Pure and Applied Mathematics. ISCOPAM: International Student Conference on Pure and Applied Mathematics, 137–156.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7076
Salje EKH, Safarik DJ, Taylor RD, Pasternak MP, Modic KA, Groat LA, Lashley JC. 2011. Determination of iron sites and the amount of amorphization in radiation-damaged titanite (CaSiTiO5). Journal of Physics: Condensed Matter. 23(10), 105402.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7077
Capps J, Ma B, Drye T, Nucklos C, Lindsey S, Rhodes D, Zhang Q, Modic KA, Cawthorne S, Drymiotis F. 2011. The effect of Ag concentration on the structural, electrical and thermal transport behavior of Pb:Te:Ag:Se mixtures and improvement of thermoelectric performance via Cu doping. Journal of Alloys and Compounds. 509(5), 1544–1549.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7313
Bruce PG, Freunberger SA, Hardwick LJ, Tarascon J-M. 2011. Li–O2 and Li–S batteries with high energy storage. Nature Materials. 11(1), 19–29.
View | Files available | DOI
 

Filters and Search Terms

year=2011

Search

Filter Publications