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.

2466 Publications


2009 | Conference Paper | IST-REx-ID: 3871   OA
Chatterjee K, Doyen L, Henzinger TA. Probabilistic weighted automata. In: Vol 5710. Springer; 2009:244-258. doi:10.1007/978-3-642-04081-8_17
View | Files available | DOI
 

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

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

2009 | Conference Paper | IST-REx-ID: 4545   OA
Chatterjee K, Doyen L, Henzinger TA. A survey of stochastic games with limsup and liminf objectives. In: Vol 5556. Springer; 2009:1-15. doi:10.1007/978-3-642-02930-1_1
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4569   OA
Bloem R, Chatterjee K, Henzinger TA, Jobstmann B. Better quality in synthesis through quantitative objectives. In: Vol 5643. Springer; 2009:140-156. doi:10.1007/978-3-642-02658-4_14
View | DOI | Download (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 1768   OA
Filipp S, Maurer P, Leek P, et al. Two-qubit state tomography using a joint dispersive readout. Physical Review Letters. 2009;102(20). doi:10.1103/PhysRevLett.102.200402
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1770   OA
Bianchetti R, Filipp S, Baur M, et al. Dynamics of dispersive single-qubit readout in circuit quantum electrodynamics. Physical Review A - Atomic, Molecular, and Optical Physics. 2009;80(4). doi:10.1103/PhysRevA.80.043840
View | DOI | Download (ext.)
 

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

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

2009 | Journal Article | IST-REx-ID: 2499   OA
Rives M, Vol C, Fukazawa Y, et al. Crosstalk between GABAB and mGlu1a receptors reveals new insight into GPCR signal integration. EMBO Journal. 2009;28(15):2195-2208. doi:10.1038/emboj.2009.177
View | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3841   OA
Henzinger TA, Jobstmann B, Wolf V. Formalisms for specifying Markovian population models. In: Vol 5797. Springer; 2009:3-23. doi:10.1007/978-3-642-04420-5_2
View | Files available | DOI
 

2009 | Technical Report | IST-REx-ID: 5392   OA
Chatterjee K. Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. IST Austria; 2009. doi:10.15479/AT:IST-2009-0004
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 1043   OA
Danzl J, Mark M, Haller E, et al. Precision molecular spectroscopy for ground state transfer of molecular quantum gases. Faraday Discussions. 2009;142:283-295. doi:10.1039/b820542f
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1769   OA
Fink JM, Bianchetti R, Baur M, et al. Dressed collective qubit states and the Tavis-Cummings model in circuit QED. Physical Review Letters. 2009;103(8). doi:10.1103/PhysRevLett.103.083601
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1771   OA
Fink JM, Baur M, Bianchetti R, et al. Thermal excitation of multi-photon dressed states in circuit quantum electrodynamics. Physica Scripta T. 2009;T137. doi:10.1088/0031-8949/2009/T137/014013
View | DOI | Download (ext.)
 

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

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

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

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

2009 | Conference Paper | IST-REx-ID: 4383   OA
Guerraoui R, Henzinger TA, Singh V. Software transactional memory on relaxed memory models. In: Vol 5643. Springer; 2009:321-336. doi:10.1007/978-3-642-02658-4_26
View | Files available | DOI
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed