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.

5772 Publications


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

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

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

2010 | Journal Article | IST-REx-ID: 3772 | OA
Understanding adaptation in large populations
N.H. Barton, PLoS Genetics 6 (2010).
[Published Version] View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3790 | OA
Control of directed cell migration in vivo by membrane-to-cortex attachment
A. Diz Muñoz, M. Krieg, M. Bergert, I. Ibarlucea Benitez, D. Müller, E. Paluch, C.-P.J. Heisenberg, PLoS Biology 8 (2010).
[Published Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3793 | OA
On parameter learning in CRF-based approaches to object class image segmentation
S. Nowozin, P. Gehler, C. Lampert, in:, Springer, 2010, pp. 98–111.
[Submitted Version] View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3787 | OA
DNA extraction from formalin-fixed tissue: new light from the deep sea
F. Palero, S. Hall, P. Clark, D. Johnston, J. Mackenzie Dodds, S. Thatje, Scientia Marina 74 (2010) 465–470.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

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

2010 | Conference Paper | IST-REx-ID: 3839 | OA
Invariant and type inference for matrices
T.A. Henzinger, T. Hottelier, L. Kovács, A. Voronkov, in:, Springer, 2010, pp. 163–179.
[Submitted Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3838 | OA
Hybrid numerical solution of the chemical master equation
T.A. Henzinger, M. Mateescu, L. Mikeev, V. Wolf, in:, Springer, 2010, pp. 55–65.
[Submitted Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3853 | OA
Mean-payoff automaton expressions
K. Chatterjee, L. Doyen, H. Edelsbrunner, T.A. Henzinger, P. Rannou, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 269–283.
[Submitted Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3849 | OA
Persistent homology under non-uniform error
P. Bendich, H. Edelsbrunner, M. Kerber, A. Patel, in:, Springer, 2010, pp. 12–23.
[Submitted Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3851 | OA
Energy parity games
K. Chatterjee, L. Doyen, in:, Springer, 2010, pp. 599–610.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2010 | Journal Article | IST-REx-ID: 385 | OA
STM imaging of electronic waves on the surface of Bi2Te3 Topologically protected surface states and hexagonal warping effects
Z. Alpichshev, J. Analytis, J. Chu, I. Fisher, Y. Chen, Z. Shen, A. Fang, A. Kapitulnik, Physical Review Letters 104 (2010).
View | DOI | Download None (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3860 | OA
Generalized mean-payoff and energy games
K. Chatterjee, L. Doyen, T.A. Henzinger, J. Raskin, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 505–516.
[Submitted Version] View | Files available | DOI
 

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

2010 | Conference Paper | IST-REx-ID: 3864 | OA
Measuring and synthesizing systems in probabilistic environments
K. Chatterjee, T.A. Henzinger, B. Jobstmann, R. Singh, in:, Springer, 2010, pp. 380–395.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

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

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

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

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

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

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

2010 | Conference Paper | IST-REx-ID: 4378 | OA
Building a calculus of data structures
V. Kuncak, R. Piskac, P. Suter, T. Wies, in:, G. Barthe, M. Hermenegildo (Eds.), Springer, 2010, pp. 26–44.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

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

2010 | Conference Paper | IST-REx-ID: 4381 | OA
FlexPRICE: Flexible provisioning of resources in a cloud environment
T.A. Henzinger, A. Tomar, V. Singh, T. Wies, D. Zufferey, in:, IEEE, 2010, pp. 83–90.
[Submitted Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4382 | OA
Transactions in the jungle
R. Guerraoui, T.A. Henzinger, M. Kapalka, V. Singh, in:, ACM, 2010, pp. 263–272.
[Submitted Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4380 | OA
A marketplace for cloud resources
T.A. Henzinger, A. Tomar, V. Singh, T. Wies, D. Zufferey, in:, ACM, 2010, pp. 1–8.
[Submitted Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4389 | OA
Robustness of sequential circuits
L. Doyen, T.A. Henzinger, A. Legay, D. Nickovic, in:, IEEE, 2010, pp. 77–84.
[Submitted Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4396 | OA
Shape refinement through explicit heap analysis
D. Beyer, T.A. Henzinger, G. Théoduloz, D. Zufferey, in:, D. Rosenblum, G. Taenzer (Eds.), Springer, 2010, pp. 263–277.
[Submitted Version] View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3867 | OA
Expressiveness and closure properties for quantitative languages
K. Chatterjee, L. Doyen, T.A. Henzinger, Logical Methods in Computer Science 6 (2010) 1–23.
[Published Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 488 | OA
Expressiveness of streaming string transducers
R. Alur, P. Cerny, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 1–12.
[Published Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 489 | OA
How do we remember the past in randomised strategies?
J. Cristau, C. David, F. Horn, in:, Proceedings of GandALF 2010, Open Publishing Association, 2010, pp. 30–39.
[Published Version] View | DOI | Download Published Version (ext.)
 

2010 | Conference Paper | IST-REx-ID: 4393 | OA
Simulation distances
P. Cerny, T.A. Henzinger, A. Radhakrishna, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 235–268.
[Submitted Version] View | Files available | DOI
 

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

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

2010 | Conference Paper | IST-REx-ID: 4390 | OA
Model checking of linearizability of concurrent list implementations
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, R. Alur, in:, Springer, 2010, pp. 465–479.
[Submitted Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4388 | OA
GIST: A solver for probabilistic games
K. Chatterjee, T.A. Henzinger, B. Jobstmann, A. Radhakrishna, in:, Springer, 2010, pp. 665–669.
[Submitted Version] View | Files available | DOI | arXiv
 

2010 | Technical Report | IST-REx-ID: 5391 | OA
Model checking of linearizability of concurrent list implementations
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, 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
Topological, automata-theoretic and logical characterization of finitary languages
K. Chatterjee, 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
Qualitative analysis of partially-observable Markov Decision Processes
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2010, pp. 258–269.
[Submitted Version] View | Files available | DOI
 

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

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

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

2010 | Journal Article | IST-REx-ID: 7078 | OA
Tin telluride: A weakly co-elastic metal
E.K.H. Salje, D.J. Safarik, K.A. Modic, J.E. Gubernatis, J.C. Cooley, R.D. Taylor, B. Mihaila, A. Saxena, T. Lookman, J.L. Smith, R.A. Fisher, M. Pasternak, C.P. Opeil, T. Siegrist, P.B. Littlewood, J.C. Lashley, Physical Review B 82 (2010).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

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

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

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

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

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

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

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

2010 | Conference Paper | IST-REx-ID: 3852 | OA
Discounting in games across time scales
K. Chatterjee, R. Majumdar, in:, EPTCS, 2010, pp. 22–29.
[Published Version] View | Files available | DOI | arXiv
 

2010 | Conference Paper | IST-REx-ID: 4361 | OA
Forward analysis of depth-bounded processes
T. Wies, D. Zufferey, T.A. Henzinger, in:, L. Ong (Ed.), Springer, 2010, pp. 94–108.
[Submitted Version] View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 1038 | OA
Dark resonances for ground-state transfer of molecular quantum gases
M. Mark, J.G. Danzl, E. Haller, M. Gustavsson, N. Bouloufa, O. Dulieu, H. Salami, T. Bergeman, H. Ritsch, R. Hart, H. Nägerl, Applied Physics B: Lasers and Optics 95 (2009) 219–225.
View | DOI | Download None (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 1040 | OA
Realization of an excited, strongly correlated quantum gas Phase
E. Haller, M. Gustavsson, M. Mark, J.G. Danzl, R. Hart, G. Pupillo, H. Nägerl, Science 325 (2009) 1224–1227.
View | DOI | Download None (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 1041 | OA
Deeply bound ultracold molecules in an optical lattice
J.G. Danzl, M. Mark, E. Haller, M. Gustavsson, R. Hart, A. Liem, H. Zellmer, H. Nägerl, New Journal of Physics 11 (2009).
View | DOI | Download None (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 1043 | OA
Precision molecular spectroscopy for ground state transfer of molecular quantum gases
J.G. Danzl, M. Mark, E. Haller, M. Gustavsson, N. Bouloufa, O. Dulieu, H. Ritsch, R. Hart, H. Nägerl, Faraday Discussions 142 (2009) 283–295.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

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

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

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

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

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

2009 | Conference Paper | IST-REx-ID: 11912 | OA
A comparison of techniques for sampling web pages
Eda Baykan, M.H. Henzinger, S.F. Keller, S. de Castelberg, M. Kinzler, in:, 26th International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2009, pp. 13–30.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

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

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

2009 | Book Chapter | IST-REx-ID: 164 | OA
Integral points on cubic hypersurfaces
T.D. Browning, R. Heath Brown, 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
Dressed collective qubit states and the Tavis-Cummings model in circuit QED
J.M. Fink, R. Bianchetti, M. Baur, M. Göppl, L. Steffen, S. Filipp, P. Leek, A. Blais, A. Wallraff, Physical Review Letters 103 (2009).
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1767 | OA
Measurement of autler-townes and mollow transitions in a strongly driven superconducting qubit
M. Baur, S. Filipp, R. Bianchetti, J.M. Fink, M. Göppl, L. Steffen, P. Leek, A. Blais, A. Wallraff, Physical Review Letters 102 (2009).
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1766 | OA
Using sideband transitions for two-qubit operations in superconducting circuits
P. Leek, S. Filipp, P. Maurer, M. Baur, R. Bianchetti, J.M. Fink, M. Göppl, L. Steffen, A. Wallraff, Physical Review B - Condensed Matter and Materials Physics 79 (2009).
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1768 | OA
Two-qubit state tomography using a joint dispersive readout
S. Filipp, P. Maurer, P. Leek, M. Baur, R. Bianchetti, J.M. Fink, M. Göppl, L. Steffen, J. Gambetta, A. Blais, A. Wallraff, Physical Review Letters 102 (2009).
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1770 | OA
Dynamics of dispersive single-qubit readout in circuit quantum electrodynamics
R. Bianchetti, S. Filipp, M. Baur, J.M. Fink, M. Göppl, P. Leek, L. Steffen, A. Blais, A. Wallraff, Physical Review A - Atomic, Molecular, and Optical Physics 80 (2009).
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1771 | OA
Thermal excitation of multi-photon dressed states in circuit quantum electrodynamics
J.M. Fink, M. Baur, R. Bianchetti, S. Filipp, M. Göppl, P. Leek, L. Steffen, A. Blais, A. Wallraff, Physica Scripta T T137 (2009).
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1825 | OA
Adaptive response by state-dependent inactivation
T. Friedlander, N. Brenner, PNAS 106 (2009) 22558–22563.
View | DOI | Download (ext.)
 

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

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

2009 | Journal Article | IST-REx-ID: 2149 | OA
Collisions of paramagnetic molecules in magnetic fields: An analytic model based on Fraunhofer diffraction of matter waves
M. Lemeshko, B. Friedrich, Physical Review A - Atomic, Molecular, and Optical Physics 79 (2009).
View | DOI | Download (ext.)
 

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

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

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

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

2009 | Journal Article | IST-REx-ID: 228 | OA
Rational points on quartic hypersurfaces
T.D. Browning, R. Heath Brown, Journal Fur Die Reine Und Angewandte Mathematik (2009) 37–88.
View | DOI | Download (ext.)
 

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

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

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

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

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

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

2009 | Conference Paper | IST-REx-ID: 2433 | OA
Hardness of embedding simplicial complexes in ℝd
J. Matoušek, M. Tancer, U. Wagner, in:, SIAM, 2009, pp. 855–864.
View | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2499 | OA
Crosstalk between GABAB and mGlu1a receptors reveals new insight into GPCR signal integration
M. Rives, C. Vol, Y. Fukazawa, N. Tinel, E. Trinquet, M. Ayoub, R. Shigemoto, J. Pin, L. Prezèau, EMBO Journal 28 (2009) 2195–2208.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3061 | OA
The PIN-FORMED (PIN) protein family of auxin transporters
P. Křeček, P. Skůpa, J. Libus, S. Naramoto, R. Tejos, J. Friml, E. Zažímalová, Genome Biology 10 (2009).
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3057 | OA
Auxin transport routes in plant development
J. Petrášek, J. Friml, Development 136 (2009) 2675–2688.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Conference Paper | IST-REx-ID: 3503 | OA
Probabilistic systems with limsup and liminf objectives
K. Chatterjee, T.A. Henzinger, in:, Springer, 2009, pp. 32–45.
View | DOI | Download (ext.)
 

2009 | Preprint | IST-REx-ID: 3732 | OA
Spin glass models for a network of real neurons
G. Tkačik, E. Schneidman, M. Berry, W. Bialek, ArXiv q-NC (2009).
View | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3780 | OA
The effect of chirality phenotype and genotype on the fecundity and viability of Partula suturalis and Lymnaea stagnalis: Implications for the evolution of sinistral snails
A. Davison, N.H. Barton, B. Clarke, Journal of Evolutionary Biology 22 (2009) 1624–1635.
[Submitted Version] View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3843 | OA
Fast adaptive uniformization of the chemical master equation
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, in:, IEEE, 2009, pp. 118–127.
[Submitted Version] View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3841 | OA
Formalisms for specifying Markovian population models
T.A. Henzinger, B. Jobstmann, V. Wolf, in:, Springer, 2009, pp. 3–23.
[Submitted Version] View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3844 | OA
Distributed, modular HTL
T.A. Henzinger, C. Kirsch, E. Marques, A. Sokolova, in:, IEEE, 2009, pp. 171–180.
[Submitted Version] View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3871 | OA
Probabilistic weighted automata
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 244–258.
[Submitted Version] View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3870 | OA
Finitary winning in omega-regular games
K. Chatterjee, T.A. Henzinger, F. Horn, ACM Transactions on Computational Logic (TOCL) 11 (2009).
[Submitted Version] View | Files available | DOI
 

Filters and Search Terms

oa=1

Search

Filter Publications