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.
9096 Publications
2010 | Conference Paper | IST-REx-ID: 4393 |
Cerny P, Henzinger TA, Radhakrishna A. 2010. Simulation distances. CONCUR: Concurrency Theory, LNCS, vol. 6269, 235–268.
[Submitted Version]
View
| Files available
| DOI
2010 | Technical Report | IST-REx-ID: 5388 |
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 | Technical Report | IST-REx-ID: 5389 |
Cerny P, Henzinger TA, Radhakrishna A. 2010. Simulation distances, IST Austria, 24p.
[Published Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 4390 |
Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. 2010. Model checking of linearizability of concurrent list implementations. CAV: Computer Aided Verification, LNCS, vol. 6174, 465–479.
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 4388 |
Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. 2010. GIST: A solver for probabilistic games. CAV: Computer Aided Verification, LNCS, vol. 6174, 665–669.
[Submitted Version]
View
| Files available
| DOI
| arXiv
2010 | Technical Report | IST-REx-ID: 5391 |
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 | Technical Report | IST-REx-ID: 5390 |
Chatterjee K, Fijalkow N. 2010. Topological, automata-theoretic and logical characterization of finitary languages, IST Austria, 21p.
[Published Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3857
Chatterjee K, Henzinger TA. 2010. Probabilistic Automata on infinite words: decidability and undecidability results. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 6252, 1–16.
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3855 |
Chatterjee K, Doyen L, Henzinger TA. 2010. Qualitative analysis of partially-observable Markov Decision Processes. MFCS: Mathematical Foundations of Computer Science, LNCS, vol. 6281, 258–269.
[Submitted Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 598 |
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 | Journal Article | IST-REx-ID: 6142 |
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 | Book Chapter | IST-REx-ID: 619
Zacharasiewicz W, Kirsch F. 2010.“This is a fundamentalist town”: The Prairie Town as a Site of Social and Cultural Conflict in Sinclair Ross’s As for Me and My House. In: Social and cultural interaction and literary landscapes in the Canadian West : impressions of an exploratory field trip and academic interaction in the Canadian West : Rapports interculturels et paysages littéraires dans l’Ouest canadien. , 173–179.
View
2010 | Journal Article | IST-REx-ID: 6198
Zhou L, Li F, Xu H, Luo C, Wu H, Zhu M, Lu W, Ji X, Zhou Q, Zhu D. 2010. Treatment of cerebral ischemia by disrupting ischemia-induced interaction of nNOS with PSD-95. Nature Medicine. 16(12), 1439–1443.
View
| DOI
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 6320 |
Bretèche R de la, Browning TD. 2010. Le problème des diviseurs pour des formes binaires de degré 4. Crelles Journal. 2010(646), 1–44.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 | Journal Article | IST-REx-ID: 7078 |
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 | Journal Article | IST-REx-ID: 89
Wright I, Higginbotham AP, Baker S, Donnelly T. 2010. Generation of nanoparticles of controlled size using ultrasonic piezoelectric oscillators in solution. ACS Applied Materials and Interfaces. 2(8), 2360–2364.
View
| DOI
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 9012 |
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 | Journal Article | IST-REx-ID: 9013 |
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 | Journal Article | IST-REx-ID: 9146 |
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 | Journal Article | IST-REx-ID: 9485 |
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 | Journal Article | IST-REx-ID: 9489 |
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 | Journal Article | IST-REx-ID: 8473
Corazza A, Rennella E, Schanda P, Mimmi MC, Cutuil T, Raimondi S, Giorgetti S, Fogolari F, Viglino P, Frydman L, Gal M, Bellotti V, Brutscher B, Esposito G. 2010. Native-unlike long-lived intermediates along the folding pathway of the amyloidogenic protein β2-Microglobulin revealed by real-time two-dimensional NMR. Journal of Biological Chemistry. 285(8), 5827–5835.
View
| DOI
2010 | Journal Article | IST-REx-ID: 9452
Zemach A, McDaniel IE, Silva P, Zilberman D. 2010. Genome-wide evolutionary analysis of eukaryotic DNA methylation. Science. 328(5980), 916–919.
View
| DOI
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 3779 |
Rosas U, Barton NH, Copsey L, Barbier De Reuille P, Coen E. 2010. Cryptic variation between species and the basis of hybrid performance. PLoS Biology. 8(7), e1000429.
[Published Version]
View
| Files available
| DOI
2010 | Research Data Reference | IST-REx-ID: 9764
Rosas U, Barton NH, Copsey L, Barbier De Reuille P, Coen E. 2010. Heterosis and the drift load, Public Library of Science, 10.1371/journal.pbio.1000429.s003.
[Published Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 12199
Feng X, Dickinson HG. 2010. Tapetal cell fate, lineage and proliferation in the Arabidopsis anther. Development. 137(14), 2409–2416.
View
| DOI
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 12200
Feng X, Dickinson HG. 2010. Cell–cell interactions during patterning of the Arabidopsis anther. Biochemical Society Transactions. 38(2), 571–576.
View
| DOI
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 13410
Coskun A, Wesson PJ, Klajn R, Trabolsi A, Fang L, Olson MA, Dey SK, Grzybowski BA, Stoddart JF. 2010. Molecular-mechanical switching at the nanoparticle−solvent interface: Practice and theory. Journal of the American Chemical Society. 132(12), 4310–4320.
View
| DOI
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 13409 |
Klajn R. 2010. Immobilized azobenzenes for the construction of photoresponsive materials. Pure and Applied Chemistry. 82(12), 2247–2279.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 | Journal Article | IST-REx-ID: 13412
Klajn R, Stoddart JF, Grzybowski BA. 2010. Nanoparticles functionalised with reversible molecular and supramolecular switches. Chemical Society Reviews. 39(6), 2203–2237.
View
| DOI
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 13411
Klajn R, Browne KP, Soh S, Grzybowski BA. 2010. Nanoparticles that “remember” temperature. Small. 6(13), 1385–1387.
View
| DOI
| PubMed | Europe PMC
2010 | Conference Paper | IST-REx-ID: 3852 |
Chatterjee K, Majumdar R. 2010. Discounting in games across time scales. GandALF: Games, Automata, Logic, and Formal Verification, EPTCS, vol. 25, 22–29.
[Published Version]
View
| Files available
| DOI
| arXiv
2010 | Thesis | IST-REx-ID: 3962
Pflicke H. 2010. Dendritic cell migration across basement membranes in the skin. Institute of Science and Technology Austria.
View
2010 | Conference Paper | IST-REx-ID: 4361 |
Wies T, Zufferey D, Henzinger TA. 2010. Forward analysis of depth-bounded processes. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 6014, 94–108.
[Submitted Version]
View
| Files available
| DOI
2009 | Journal Article | IST-REx-ID: 1038 |
Mark M, Danzl JG, Haller E, Gustavsson M, Bouloufa N, Dulieu O, Salami H, Bergeman T, Ritsch H, Hart R, Nägerl H. 2009. Dark resonances for ground-state transfer of molecular quantum gases. Applied Physics B: Lasers and Optics. 95(2), 219–225.
View
| DOI
| Download None (ext.)
| arXiv
2009 | Journal Article | IST-REx-ID: 1040 |
Haller E, Gustavsson M, Mark M, Danzl JG, Hart R, Pupillo G, Nägerl H. 2009. Realization of an excited, strongly correlated quantum gas Phase. Science. 325(5945), 1224–1227.
View
| DOI
| Download None (ext.)
| arXiv
2009 | Journal Article | IST-REx-ID: 1041 |
Danzl JG, Mark M, Haller E, Gustavsson M, Hart R, Liem A, Zellmer H, Nägerl H. 2009. Deeply bound ultracold molecules in an optical lattice. New Journal of Physics. 11.
View
| DOI
| Download None (ext.)
| arXiv
2009 | Journal Article | IST-REx-ID: 1043 |
Danzl JG, Mark M, Haller E, Gustavsson M, Bouloufa N, Dulieu O, Ritsch H, Hart R, Nägerl H. 2009. Precision molecular spectroscopy for ground state transfer of molecular quantum gases. Faraday Discussions. 142, 283–295.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2009 | Journal Article | IST-REx-ID: 11103 |
Hetzer M, Wente SR. 2009. Border control at the nucleus: Biogenesis and organization of the nuclear membrane and pore complexes. Developmental Cell. 17(5), 606–616.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2009 | Journal Article | IST-REx-ID: 11106 |
Anderson DJ, Vargas JD, Hsiao JP, Hetzer M. 2009. Recruitment of functionally distinct membrane proteins to chromatin mediates nuclear envelope formation in vivo. Journal of Cell Biology. 186(2), 183–191.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2009 | Journal Article | IST-REx-ID: 11107 |
Dawson TR, Lazarus MD, Hetzer M, Wente SR. 2009. ER membrane–bending proteins are necessary for de novo nuclear pore formation. Journal of Cell Biology. 184(5), 659–675.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2009 | Journal Article | IST-REx-ID: 11108 |
D’Angelo MA, Raices M, Panowski SH, Hetzer M. 2009. Age-dependent deterioration of nuclear pore complexes causes a loss of nuclear integrity in postmitotic cells. Cell. 136(2), 284–295.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2009 | Journal Article | IST-REx-ID: 11105 |
Capelson M, Hetzer M. 2009. The role of nuclear pores in gene regulation, development and disease. EMBO reports. 10(7), 697–705.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2009 | Conference Paper | IST-REx-ID: 11799
Dütting P, Henzinger MH, Weber I. 2009. Bidder optimal assignments for general utilities. 5th International Workshop on Internet and Network Economics. WINE: International Conference on Web and Internet Economics, LNCS, vol. 5929, 575–582.
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 11912 |
Baykan Eda, Henzinger MH, Keller SF, de Castelberg S, Kinzler M. 2009. A comparison of techniques for sampling web pages. 26th International Symposium on Theoretical Aspects of Computer Science. STACS: Symposium on Theoretical Aspects of Computer Science, LIPIcs, vol. 3, 13–30.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2009 | Journal Article | IST-REx-ID: 12654 |
Carenzo M, Pellicciotti F, Rimkus S, Burlando P. 2009. Assessing the transferability and robustness of an enhanced temperature-index glacier-melt model. Journal of Glaciology. 55(190), 258–274.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2009 | Journal Article | IST-REx-ID: 12655 |
Pellicciotti F, Carenzo M, Helbing J, Rimkus S, Burlando P. 2009. On the role of subsurface heat conduction in glacier energy-balance modelling. Annals of Glaciology. 50(50), 16–24.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2009 | Book Chapter | IST-REx-ID: 164 |
Browning TD, Heath Brown R. 2009.Integral points on cubic hypersurfaces. In: Analytic Number Theory: Essays in honour of Klaus Roth. , 75–90.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2009 | Book Chapter | IST-REx-ID: 168
Browning TD, Dietmann R. 2009.Solubility of Fermat equations. In: Quadratic Forms - algebra, arithmetic and geometry. Contemporary Mathematics, vol. 493, 99–106.
View
| DOI
| Download (ext.)
2009 | Journal Article | IST-REx-ID: 1769 |
Fink JM, Bianchetti R, Baur M, Göppl M, Steffen L, Filipp S, Leek P, Blais A, Wallraff A. 2009. Dressed collective qubit states and the Tavis-Cummings model in circuit QED. Physical Review Letters. 103(8).
View
| DOI
| Download (ext.)
2009 | Journal Article | IST-REx-ID: 1767 |
Baur M, Filipp S, Bianchetti R, Fink JM, Göppl M, Steffen L, Leek P, Blais A, Wallraff A. 2009. Measurement of autler-townes and mollow transitions in a strongly driven superconducting qubit. Physical Review Letters. 102(24).
View
| DOI
| Download (ext.)
2009 | Journal Article | IST-REx-ID: 1766 |
Leek P, Filipp S, Maurer P, Baur M, Bianchetti R, Fink JM, Göppl M, Steffen L, Wallraff A. 2009. Using sideband transitions for two-qubit operations in superconducting circuits. Physical Review B - Condensed Matter and Materials Physics. 79(18).
View
| DOI
| Download (ext.)
2009 | Journal Article | IST-REx-ID: 1768 |
Filipp S, Maurer P, Leek P, Baur M, Bianchetti R, Fink JM, Göppl M, Steffen L, Gambetta J, Blais A, Wallraff A. 2009. Two-qubit state tomography using a joint dispersive readout. Physical Review Letters. 102(20).
View
| DOI
| Download (ext.)
2009 | Journal Article | IST-REx-ID: 1770 |
Bianchetti R, Filipp S, Baur M, Fink JM, Göppl M, Leek P, Steffen L, Blais A, Wallraff A. 2009. Dynamics of dispersive single-qubit readout in circuit quantum electrodynamics. Physical Review A - Atomic, Molecular, and Optical Physics. 80(4).
View
| DOI
| Download (ext.)
2009 | Journal Article | IST-REx-ID: 1771 |
Fink JM, Baur M, Bianchetti R, Filipp S, Göppl M, Leek P, Steffen L, Blais A, Wallraff A. 2009. Thermal excitation of multi-photon dressed states in circuit quantum electrodynamics. Physica Scripta T. T137.
View
| DOI
| Download (ext.)
2009 | Journal Article | IST-REx-ID: 1825 |
Friedlander T, Brenner N. 2009. Adaptive response by state-dependent inactivation. PNAS. 106(52), 22558–22563.
View
| DOI
| Download (ext.)
2009 | Journal Article | IST-REx-ID: 2119 |
Maas J, Van Neerven J. 2009. Boundedness of Riesz transforms for elliptic operators on abstract Wiener spaces. Journal of Functional Analysis. 257(8), 2410–2475.
View
| DOI
| Download (ext.)
2009 | Conference Paper | IST-REx-ID: 2136
Vedrinskiǐ R, Kraǐzman V, Lemeshko M, Nazarenko E, Novakovich A, Reznichenko L, Fokin V, Shuvaeva V. 2009. Local atomic structure of niobates and titanates from X-ray absorption spectroscopic data. CoPoF: 18th All-Russia Conference on Physics of Ferroelectrics (VKS-XVIII) vol. 51, 1394–1398.
View
| DOI
2009 | Journal Article | IST-REx-ID: 2137 |
Lemeshko M, Frierich B. 2009. Rotational structure of weakly bound molecular ions. Journal of Atomic and Molecular Sciences. 1(1), 41–47.
View
| DOI
| Download (ext.)
2009 | Journal Article | IST-REx-ID: 2149 |
Lemeshko M, Friedrich B. 2009. Collisions of paramagnetic molecules in magnetic fields: An analytic model based on Fraunhofer diffraction of matter waves. Physical Review A - Atomic, Molecular, and Optical Physics. 79(1).
View
| DOI
| Download (ext.)