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.

5783 Publications


2010 | Conference Paper | IST-REx-ID: 3866 | OA
R. Bloem, K. Chatterjee, K. Greimel, T. A. Henzinger, and B. Jobstmann, “Robustness in the presence of liveness,” presented at the CAV: Computer Aided Verification, Edinburgh, UK, 2010, vol. 6174, pp. 410–424.
[Submitted Version] View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3868 | OA
K. Chatterjee, L. De Alfaro, R. Majumdar, and V. Raman, “Algorithms for game metrics,” Logical Methods in Computer Science, vol. 6, no. 3. International Federation of Computational Logic, pp. 1–27, 2010.
[Published Version] View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3960 | OA
M. Weber and M. K. Sixt, “MEK signalling tunes actin treadmilling for interstitial lymphocyte migration,” EMBO Journal, vol. 29, no. 17. Wiley-Blackwell, pp. 2861–2863, 2010.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 4243 | OA
N. H. Barton, A. Etheridge, and A. Véber, “A new model for evolution in a spatial continuum,” Electronic Journal of Probability, vol. 15, no. 7. Institute of Mathematical Statistics, pp. 162–216, 2010.
[Published Version] View | Files available | DOI
 

2010 | Other Publication | IST-REx-ID: 4340 | OA
P. Danowski, Open bibliographic data. Elsevier, 2010.
View | Files available | Download None (ext.)
 

2010 | Book (Editor) | IST-REx-ID: 4346 | OA
P. Danowski and J. Bergmann, Eds., Handbuch Bibliothek 2.0, vol. 41. De Gruyter, 2010.
[Published Version] View | DOI | Download Published Version (ext.)
 

2010 | Conference Paper | IST-REx-ID: 4369 | OA
D. Nickovic and N. Piterman, “From MTL to deterministic timed automata,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Klosterneuburg, Austria, 2010, vol. 6246, pp. 152–167.
[Submitted Version] View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3306 | OA
S. Evans, B. Sturmfels, and C. Uhler, “Commuting birth and death processes,” The Annals of Applied Probability, vol. 20. Institute of Mathematical Statistics, pp. 238–266, 2010.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3308 | OA
B. Sturmfels and C. Uhler, “Multivariate Gaussians, semidefinite matrix completion, and convex algebraic geometry,” Annals of the Institute of Statistical Mathematics, vol. 62, no. 4. Springer, pp. 603–638, 2010.
View | DOI | Download (ext.)
 

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

2010 | Preprint | IST-REx-ID: 3743 | OA
G. Tkačik, “From statistical mechanics to information theory: understanding biophysical information-processing systems,” ArXiv, vol. q-MN. ArXiv, pp. 1–52, 2010.
View | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3776 | OA
N. H. Barton, “Genetic linkage and natural selection,” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 365, no. 1552. Royal Society, pp. 2559–2569, 2010.
[Submitted Version] View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3773 | OA
N. H. Barton, “What role does natural selection play in speciation?,” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 365, no. 1547. Royal Society, pp. 1825–1840, 2010.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3777 | OA
N. H. Barton, “Mutation and the evolution of recombination,” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 365, no. 1544. Royal Society, pp. 1281–1294, 2010.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3772 | OA
N. H. Barton, “Understanding adaptation in large populations,” PLoS Genetics, vol. 6, no. 6. Public Library of Science, 2010.
[Published Version] View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3790 | OA
A. Diz Muñoz et al., “Control of directed cell migration in vivo by membrane-to-cortex attachment,” PLoS Biology, vol. 8, no. 11. Public Library of Science, 2010.
[Published Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3793 | OA
S. Nowozin, P. Gehler, and C. Lampert, “On parameter learning in CRF-based approaches to object class image segmentation,” presented at the ECCV: European Conference on Computer Vision, Heraklion, Crete, Greece, 2010, vol. 6316, pp. 98–111.
[Submitted Version] View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3787 | OA
F. Palero, S. Hall, P. Clark, D. Johnston, J. Mackenzie Dodds, and S. Thatje, “DNA extraction from formalin-fixed tissue: new light from the deep sea,” Scientia Marina, vol. 74, no. 3. Consejo Superior de Investigaciones Científicas, pp. 465–470, 2010.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 3834 | OA
V. Wolf, R. Goel, M. Mateescu, and T. A. Henzinger, “Solving the chemical master equation using sliding windows,” BMC Systems Biology, vol. 4, no. 42. BioMed Central, pp. 1–19, 2010.
[Published Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3839 | OA
T. A. Henzinger, T. Hottelier, L. Kovács, and A. Voronkov, “Invariant and type inference for matrices,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Madrid, Spain, 2010, vol. 5944, pp. 163–179.
[Submitted Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3838 | OA
T. A. Henzinger, M. Mateescu, L. Mikeev, and V. Wolf, “Hybrid numerical solution of the chemical master equation,” presented at the CMSB: Computational Methods in Systems Biology, Trento, Italy, 2010, pp. 55–65.
[Submitted Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3853 | OA
K. Chatterjee, L. Doyen, H. Edelsbrunner, T. A. Henzinger, and P. Rannou, “Mean-payoff automaton expressions,” presented at the CONCUR: Concurrency Theory, Paris, France, 2010, vol. 6269, pp. 269–283.
[Submitted Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3849 | OA
P. Bendich, H. Edelsbrunner, M. Kerber, and A. Patel, “Persistent homology under non-uniform error,” presented at the MFCS: Mathematical Foundations of Computer Science, Brno, Czech Republic, 2010, vol. 6281, pp. 12–23.
[Submitted Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3851 | OA
K. Chatterjee and L. Doyen, “Energy parity games,” presented at the ICALP: Automata, Languages and Programming, 37th International Colloquium, Bordeaux, France, 2010, vol. 6199, pp. 599–610.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2010 | Journal Article | IST-REx-ID: 385 | OA
Z. Alpichshev et al., “STM imaging of electronic waves on the surface of Bi2Te3 Topologically protected surface states and hexagonal warping effects,” Physical Review Letters, vol. 104, no. 1. American Physical Society, 2010.
View | DOI | Download None (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3860 | OA
K. Chatterjee, L. Doyen, T. A. Henzinger, and J. Raskin, “Generalized mean-payoff and energy games,” presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Chennai, India, 2010, vol. 8, pp. 505–516.
[Submitted Version] View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3862 | OA
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Quantitative languages,” ACM Transactions on Computational Logic (TOCL), vol. 11, no. 4. ACM, 2010.
[Submitted Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3864 | OA
K. Chatterjee, T. A. Henzinger, B. Jobstmann, and R. Singh, “Measuring and synthesizing systems in probabilistic environments,” presented at the CAV: Computer Aided Verification, Edinburgh, United Kingdom, 2010, vol. 6174, pp. 380–395.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2010 | Journal Article | IST-REx-ID: 3863 | OA
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, and T. A. Henzinger, “Strategy construction for parity games with imperfect information,” Information and Computation, vol. 208, no. 10. Elsevier, pp. 1206–1220, 2010.
[Submitted Version] View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3861 | OA
K. Chatterjee, T. A. Henzinger, and N. Piterman, “Strategy logic,” Information and Computation, vol. 208, no. 6. Elsevier, pp. 677–693, 2010.
[Submitted Version] View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3901 | OA
P. Bendich, H. Edelsbrunner, and M. Kerber, “Computing robustness and persistence for images,” IEEE Transactions of Visualization and Computer Graphics, vol. 16, no. 6. IEEE, pp. 1251–1260, 2010.
[Submitted Version] View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3904 | OA
L. V. Ugelvig, D. Kronauer, A. Schrempf, J. Heinze, and S. Cremer, “Rapid anti-pathogen response in ant societies relies on high genetic diversity,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 277, no. 1695. Royal Society, The, pp. 2821–2828, 2010.
View | DOI | Download None (ext.)
 

2010 | Journal Article | IST-REx-ID: 4157 | OA
E. Papusheva and C.-P. J. Heisenberg, “Spatial organization of adhesion: force-dependent regulation and function in tissue morphogenesis,” EMBO Journal, vol. 29, no. 16. Wiley-Blackwell, pp. 2753–2768, 2010.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2010 | Book Chapter | IST-REx-ID: 4339 | OA
J. Bergmann and P. Danowski, “Ist Bibliothek 2.0 überhaupt noch relevant? – Eine Einleitung in das Handbuch,” in Handbuch Bibliothek 2.0, J. Bergmann and P. Danowski, Eds. De Gruyter, 2010, pp. 5–20.
[Published Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4378 | OA
V. Kuncak, R. Piskac, P. Suter, and T. Wies, “Building a calculus of data structures,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Madrid, Spain, 2010, vol. 5944, pp. 26–44.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 4379 | OA
K. Jones, V. Konrad, and D. Nickovic, “Analog property checkers: a DDR2 case study,” Formal Methods in System Design, vol. 36, no. 2. Springer, pp. 114–130, 2010.
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 4381 | OA
T. A. Henzinger, A. Tomar, V. Singh, T. Wies, and D. Zufferey, “FlexPRICE: Flexible provisioning of resources in a cloud environment,” presented at the CLOUD: Cloud Computing, Miami, USA, 2010, pp. 83–90.
[Submitted Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4382 | OA
R. Guerraoui, T. A. Henzinger, M. Kapalka, and V. Singh, “Transactions in the jungle,” presented at the SPAA: ACM Symposium on Parallel Algorithms and Architectures, Santorini, Greece, 2010, pp. 263–272.
[Submitted Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4380 | OA
T. A. Henzinger, A. Tomar, V. Singh, T. Wies, and D. Zufferey, “A marketplace for cloud resources,” presented at the EMSOFT: Embedded Software , Arizona, USA, 2010, pp. 1–8.
[Submitted Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4389 | OA
L. Doyen, T. A. Henzinger, A. Legay, and D. Nickovic, “Robustness of sequential circuits,” presented at the ACSD: Application of Concurrency to System Design, 2010, pp. 77–84.
[Submitted Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4396 | OA
D. Beyer, T. A. Henzinger, G. Théoduloz, and D. Zufferey, “Shape refinement through explicit heap analysis,” presented at the FASE: Fundamental Approaches To Software Engineering, Paphos, Cyprus, 2010, vol. 6013, pp. 263–277.
[Submitted Version] View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3867 | OA
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Expressiveness and closure properties for quantitative languages,” Logical Methods in Computer Science, vol. 6, no. 3. International Federation of Computational Logic, pp. 1–23, 2010.
[Published Version] View | Files available | DOI
 

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

2010 | Conference Paper | IST-REx-ID: 489 | OA
J. Cristau, C. David, and F. Horn, “How do we remember the past in randomised strategies? ,” in Proceedings of GandALF 2010, Minori, Amalfi Coast, Italy, 2010, vol. 25, pp. 30–39.
[Published Version] View | DOI | Download Published Version (ext.)
 

2010 | Conference Paper | IST-REx-ID: 4393 | OA
P. Cerny, T. A. Henzinger, and A. Radhakrishna, “Simulation distances,” presented at the CONCUR: Concurrency Theory, Paris, France, 2010, vol. 6269, pp. 235–268.
[Submitted Version] View | Files available | DOI
 

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

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

2010 | Conference Paper | IST-REx-ID: 4390 | OA
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, and R. Alur, “Model checking of linearizability of concurrent list implementations,” presented at the CAV: Computer Aided Verification, Edinburgh, UK, 2010, vol. 6174, pp. 465–479.
[Submitted Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4388 | OA
K. Chatterjee, T. A. Henzinger, B. Jobstmann, and A. Radhakrishna, “GIST: A solver for probabilistic games,” presented at the CAV: Computer Aided Verification, Edinburgh, UK, 2010, vol. 6174, pp. 665–669.
[Submitted Version] View | Files available | DOI | arXiv
 

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

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

2010 | Conference Paper | IST-REx-ID: 3855 | OA
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Qualitative analysis of partially-observable Markov Decision Processes,” presented at the MFCS: Mathematical Foundations of Computer Science, Brno, Czech Republic, 2010, vol. 6281, pp. 258–269.
[Submitted Version] View | Files available | DOI
 

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

2010 | Journal Article | IST-REx-ID: 6142 | OA
K. P. Weber, S. De, I. Kozarewa, D. J. Turner, M. M. Babu, and M. de Bono, “Whole genome sequencing highlights genetic changes associated with laboratory domestication of C. elegans,” PLoS ONE, vol. 5, no. 11. Public Library of Science, 2010.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 6320 | OA
R. de la Bretèche and T. D. Browning, “Le problème des diviseurs pour des formes binaires de degré 4,” Crelles Journal, vol. 2010, no. 646. Walter de Gruyter GmbH, pp. 1–44, 2010.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Journal Article | IST-REx-ID: 7078 | OA
E. K. H. Salje et al., “Tin telluride: A weakly co-elastic metal,” Physical Review B, vol. 82, no. 18. APS, 2010.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

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

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

2010 | Journal Article | IST-REx-ID: 9146 | OA
P. A. O’Gorman and C. J. Muller, “How closely do changes in surface and column water vapor follow Clausius–Clapeyron scaling in climate change simulations?,” Environmental Research Letters, vol. 5, no. 2. IOP Publishing, 2010.
[Published Version] View | DOI | Download Published Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 9485 | OA
A. Zemach et al., “Local DNA hypomethylation activates genes in rice endosperm,” Proceedings of the National Academy of Sciences, vol. 107, no. 43. National Academy of Sciences, pp. 18729–18734, 2010.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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

2010 | Journal Article | IST-REx-ID: 3779 | OA
U. Rosas, N. H. Barton, L. Copsey, P. Barbier De Reuille, and E. Coen, “Cryptic variation between species and the basis of hybrid performance,” PLoS Biology, vol. 8, no. 7. Public Library of Science, 2010.
[Published Version] View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 13409 | OA
R. Klajn, “Immobilized azobenzenes for the construction of photoresponsive materials,” Pure and Applied Chemistry, vol. 82, no. 12. De Gruyter, pp. 2247–2279, 2010.
[Published Version] View | DOI | Download Published Version (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3852 | OA
K. Chatterjee and R. Majumdar, “Discounting in games across time scales,” presented at the GandALF: Games, Automata, Logic, and Formal Verification, Minori, Italy, 2010, vol. 25, pp. 22–29.
[Published Version] View | Files available | DOI | arXiv
 

2010 | Conference Paper | IST-REx-ID: 4361 | OA
T. Wies, D. Zufferey, and T. A. Henzinger, “Forward analysis of depth-bounded processes,” presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Paphos, Cyprus, 2010, vol. 6014, pp. 94–108.
[Submitted Version] View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 1038 | OA
M. Mark et al., “Dark resonances for ground-state transfer of molecular quantum gases,” Applied Physics B: Lasers and Optics, vol. 95, no. 2. Springer, pp. 219–225, 2009.
View | DOI | Download None (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 1040 | OA
E. Haller et al., “Realization of an excited, strongly correlated quantum gas Phase,” Science, vol. 325, no. 5945. American Association for the Advancement of Science, pp. 1224–1227, 2009.
View | DOI | Download None (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 1041 | OA
J. G. Danzl et al., “Deeply bound ultracold molecules in an optical lattice,” New Journal of Physics, vol. 11. IOP Publishing Ltd., 2009.
View | DOI | Download None (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 1043 | OA
J. G. Danzl et al., “Precision molecular spectroscopy for ground state transfer of molecular quantum gases,” Faraday Discussions, vol. 142. Royal Society of Chemistry, pp. 283–295, 2009.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 11103 | OA
M. Hetzer and S. R. Wente, “Border control at the nucleus: Biogenesis and organization of the nuclear membrane and pore complexes,” Developmental Cell, vol. 17, no. 5. Elsevier, pp. 606–616, 2009.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 11106 | OA
D. J. Anderson, J. D. Vargas, J. P. Hsiao, and M. Hetzer, “Recruitment of functionally distinct membrane proteins to chromatin mediates nuclear envelope formation in vivo,” Journal of Cell Biology, vol. 186, no. 2. Rockefeller University Press, pp. 183–191, 2009.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 11107 | OA
T. R. Dawson, M. D. Lazarus, M. Hetzer, and S. R. Wente, “ER membrane–bending proteins are necessary for de novo nuclear pore formation,” Journal of Cell Biology, vol. 184, no. 5. Rockefeller University Press, pp. 659–675, 2009.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 11108 | OA
M. A. D’Angelo, M. Raices, S. H. Panowski, and M. Hetzer, “Age-dependent deterioration of nuclear pore complexes causes a loss of nuclear integrity in postmitotic cells,” Cell, vol. 136, no. 2. Elsevier, pp. 284–295, 2009.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 11105 | OA
M. Capelson and M. Hetzer, “The role of nuclear pores in gene regulation, development and disease,” EMBO reports, vol. 10, no. 7. EMBO, pp. 697–705, 2009.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Conference Paper | IST-REx-ID: 11912 | OA
Eda Baykan, M. H. Henzinger, S. F. Keller, S. de Castelberg, and M. Kinzler, “A comparison of techniques for sampling web pages,” in 26th International Symposium on Theoretical Aspects of Computer Science, Freiburg, Germany, 2009, vol. 3, pp. 13–30.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 12654 | OA
M. Carenzo, F. Pellicciotti, S. Rimkus, and P. Burlando, “Assessing the transferability and robustness of an enhanced temperature-index glacier-melt model,” Journal of Glaciology, vol. 55, no. 190. Cambridge University Press, pp. 258–274, 2009.
[Published Version] View | DOI | Download Published Version (ext.)
 

2009 | Journal Article | IST-REx-ID: 12655 | OA
F. Pellicciotti, M. Carenzo, J. Helbing, S. Rimkus, and P. Burlando, “On the role of subsurface heat conduction in glacier energy-balance modelling,” Annals of Glaciology, vol. 50, no. 50. International Glaciological Society, pp. 16–24, 2009.
[Published Version] View | DOI | Download Published Version (ext.)
 

2009 | Book Chapter | IST-REx-ID: 164 | OA
T. D. Browning and R. Heath Brown, “Integral points on cubic hypersurfaces,” in Analytic Number Theory: Essays in honour of Klaus Roth, Cambridge University Press, 2009, pp. 75–90.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 1769 | OA
J. M. Fink et al., “Dressed collective qubit states and the Tavis-Cummings model in circuit QED,” Physical Review Letters, vol. 103, no. 8. American Physical Society, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1767 | OA
M. Baur et al., “Measurement of autler-townes and mollow transitions in a strongly driven superconducting qubit,” Physical Review Letters, vol. 102, no. 24. American Physical Society, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1766 | OA
P. Leek et al., “Using sideband transitions for two-qubit operations in superconducting circuits,” Physical Review B - Condensed Matter and Materials Physics, vol. 79, no. 18. American Physical Society, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1768 | OA
S. Filipp et al., “Two-qubit state tomography using a joint dispersive readout,” Physical Review Letters, vol. 102, no. 20. American Physical Society, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1770 | OA
R. Bianchetti et al., “Dynamics of dispersive single-qubit readout in circuit quantum electrodynamics,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 80, no. 4. American Physical Society, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1771 | OA
J. M. Fink et al., “Thermal excitation of multi-photon dressed states in circuit quantum electrodynamics,” Physica Scripta T, vol. T137. IOP Publishing Ltd., 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1825 | OA
T. Friedlander and N. Brenner, “Adaptive response by state-dependent inactivation,” PNAS, vol. 106, no. 52. National Academy of Sciences, pp. 22558–22563, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2119 | OA
J. Maas and J. Van Neerven, “Boundedness of Riesz transforms for elliptic operators on abstract Wiener spaces,” Journal of Functional Analysis, vol. 257, no. 8. Academic Press, pp. 2410–2475, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2137 | OA
M. Lemeshko and B. Frierich, “Rotational structure of weakly bound molecular ions,” Journal of Atomic and Molecular Sciences, vol. 1, no. 1. Global Science Press, pp. 41–47, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2149 | OA
M. Lemeshko and B. Friedrich, “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, vol. 79, no. 1. American Physical Society, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2150 | OA
M. Lemeshko and B. Friedrich, “The effect of a nonresonant radiative field on low-energy rotationally inelastic Na+ + N2 collisions,” International Journal of Mass Spectrometry, vol. 280, no. 1–3. Elsevier, pp. 19–25, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2192 | OA
M. Lemeshko and B. Friedrich, “Model analysis of rotationally inelastic Ar + H2O scattering in an electric field,” Journal of Physical Chemistry A, vol. 113, no. 52. American Chemical Society, pp. 15055–15063, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2191 | OA
M. Lemeshko and B. Friedrich, “Rotational and rotationless states of weakly bound molecules,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 79, no. 5. American Physical Society, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2193 | OA
M. Lemeshko and B. Friedrich, “Probing weakly bound molecules with nonresonant light,” Physical Review Letters, vol. 103, no. 5. American Physical Society, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 228 | OA
T. D. Browning and R. Heath Brown, “Rational points on quartic hypersurfaces,” Journal fur die Reine und Angewandte Mathematik, no. 629. Walter de Gruyter, pp. 37–88, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 229 | OA
T. D. Browning, “Linear growth for Châtelet surfaces,” Mathematische Annalen, vol. 346, no. 1. Springer Nature, pp. 41–50, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2384 | OA
A. Giuliani and R. Seiringer, “The ground state energy of the weakly interacting Bose gas at high density,” Journal of Statistical Physics, vol. 135, no. 5–6. Springer, pp. 915–934, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2385 | OA
É. Lieb, R. Seiringer, and J. Yngvason, “Yrast line of a rapidly rotating Bose gas: Gross-Pitaevskii regime,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 79, no. 6. American Physical Society, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2386 | OA
R. Seiringer and D. Ueltschi, “Rigorous upper bound on the critical temperature of dilute Bose gases,” Physical Review B - Condensed Matter and Materials Physics, vol. 80, no. 1. American Physical Society, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2387 | OA
M. Lewin and R. Seiringer, “Strongly correlated phases in rapidly rotating Bose gases,” Journal of Statistical Physics, vol. 137, no. 5. Springer, pp. 1040–1062, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2388 | OA
J. Predd, R. Seiringer, É. Lieb, D. Osherson, H. Poor, and S. Kulkarni, “Probabilistic coherence and proper scoring rules,” IEEE Transactions on Information Theory, vol. 55, no. 10. IEEE, pp. 4786–4792, 2009.
View | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 2433 | OA
J. Matoušek, M. Tancer, and U. Wagner, “Hardness of embedding simplicial complexes in ℝd,” presented at the SODA: Symposium on Discrete Algorithms, 2009, pp. 855–864.
View | Download (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications