Please note that IST 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.

2262 Publications


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

2009 | Journal Article | IST-REx-ID: 1041   OA
Danzl J, 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 (ext.)
 

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

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

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

2009 | Journal Article | IST-REx-ID: 3775   OA
Barton NH, Coe J. 2009. On the application of statistical physics to evolutionary biology. Journal of Theoretical Biology. 259(2), 317–324.
View | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3871   OA
Chatterjee K, Doyen L, Henzinger TA. 2009. Probabilistic weighted automata. CONCUR: Concurrency Theory, LNCS, vol. 5710. 244–258.
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3946   OA
Cremer S, Sixt MK. 2009. Analogies in the evolution of individual and social immunity. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 364(1513), 129–142.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 4242   OA
Barton NH, De Cara M. 2009. The evolution of strong reproductive isolation. Evolution; International Journal of Organic Evolution. 63(5), 1171–1190.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4545   OA
Chatterjee K, Doyen L, Henzinger TA. 2009. A survey of stochastic games with limsup and liminf objectives. ICALP: Automata, Languages and Programming, LNCS, vol. 5556. 1–15.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4569   OA
Bloem R, Chatterjee K, Henzinger TA, Jobstmann B. 2009. Better quality in synthesis through quantitative objectives. CAV: Computer Aided Verification, LNCS, vol. 5643. 140–156.
View | DOI | Download (ext.) | arXiv
 

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

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

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

2009 | Conference Paper | IST-REx-ID: 3841   OA
Henzinger TA, Jobstmann B, Wolf V. 2009. Formalisms for specifying Markovian population models. RP: Reachability Problems, LNCS, vol. 5797. 3–23.
View | Files available | DOI
 

2009 | Technical Report | IST-REx-ID: 5392   OA
Chatterjee K. 2009. Probabilistic automata on infinite words: Decidability and undecidability results, IST Austria, 17p.
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 1043   OA
Danzl J, 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.
View | DOI | Download (ext.)
 

2009 | Book Chapter | IST-REx-ID: 164   OA
Browning TD, Heath Brown R. 2009. Integral points on cubic hypersurfaces. Analytic Number Theory: Essays in honour of Klaus Roth. 75–90.
View | Download (ext.)
 

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

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

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

2009 | Journal Article | IST-REx-ID: 3051   OA
Weijers D, Friml J. 2009. SnapShot: Auxin signaling and transport. Cell. 136(6), 1172–1172.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2009 | Conference Paper | IST-REx-ID: 4383   OA
Guerraoui R, Henzinger TA, Singh V. 2009. Software transactional memory on relaxed memory models. CAV: Computer Aided Verification, LNCS, vol. 5643. 321–336.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4453   OA
Henzinger TA, Mateescu M, Wolf V. 2009. Sliding-window abstraction for infinite Markov chains. CAV: Computer Aided Verification, LNCS, vol. 5643. 337–352.
View | Files available | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4542   OA
Chatterjee K, Doyen L, Henzinger TA. 2009. Alternating weighted automata. FCT: Fundamentals of Computation Theory, LNCS, vol. 5699. 3–13.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4580   OA
Berwanger D, Chatterjee K, De Wulf M, Doyen L, Henzinger TA. 2009. Alpaga: A tool for solving parity games with imperfect information. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 5505. 58–61.
View | Files available | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 599   OA
Knuesel M, Meyer K, Bernecky CA, Taatjes D. 2009. The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function. Genes and Development. 23(4), 439–451.
View | DOI | Download (ext.)
 

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

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

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

2009 | Journal Article | IST-REx-ID: 228   OA
Browning TD, Heath Brown R. 2009. Rational points on quartic hypersurfaces. Journal fur die Reine und Angewandte Mathematik. (629), 37–88.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3052   OA
Vanneste S, Friml J. 2009. Auxin: A trigger for change in plant development. Cell. 136(6), 1005–1016.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

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

2009 | Journal Article | IST-REx-ID: 3780   OA
Davison A, Barton NH, Clarke B. 2009. 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. Journal of Evolutionary Biology. 22(8), 1624–1635.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3968   OA
Edelsbrunner H, Harer J. 2009. The persistent Morse complex segmentation of a 3-manifold. 3DPH: Modelling the Physiological Human, LNCS, vol. 5903. 36–50.
View | Files available | DOI
 

2009 | Technical Report | IST-REx-ID: 5394   OA
Chatterjee K, Henzinger TA, Horn F. 2009. Improved lower bounds for request-response and finitary Streett games, IST Austria, 11p.
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 88   OA
Higginbotham AP, Semonin O, Bruce S, Chan C, Maindi M, Donnelly T, Maurer M, Bang W, Churina I., Osterholz J, Kim I, Bernstein A, Ditmire T. 2009. Generation of Mie size microdroplet aerosols with applications in laser-driven fusion experiments. Review of Scientific Instruments. 80(6), 063503.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 1040   OA
Haller E, Gustavsson M, Mark M, Danzl J, 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 (ext.)
 

2009 | Journal Article | IST-REx-ID: 1038   OA
Mark M, Danzl J, 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 (ext.)
 

2009 | Journal Article | IST-REx-ID: 1766   OA
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: 2137   OA
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   OA
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.)
 

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

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed