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.

5803 Publications


2009 | Journal Article | IST-REx-ID: 1766 | OA
Leek P, Filipp S, Maurer P, et al. Using sideband transitions for two-qubit operations in superconducting circuits. Physical Review B - Condensed Matter and Materials Physics. 2009;79(18). doi:10.1103/PhysRevB.79.180511
View | DOI | Download (ext.)
 

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: 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: 1825 | OA
Friedlander T, Brenner N. Adaptive response by state-dependent inactivation. PNAS. 2009;106(52):22558-22563. doi:10.1073/pnas.0902146106
View | DOI | Download (ext.)
 

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

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

2009 | Journal Article | IST-REx-ID: 2149 | OA
Lemeshko M, Friedrich B. 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. 2009;79(1). doi:10.1103/PhysRevA.79.012718
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2150 | OA
Lemeshko M, Friedrich B. The effect of a nonresonant radiative field on low-energy rotationally inelastic Na+ + N2 collisions. International Journal of Mass Spectrometry. 2009;280(1-3):19-25. doi:10.1016/j.ijms.2008.06.010
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: 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: 2193 | OA
Lemeshko M, Friedrich B. Probing weakly bound molecules with nonresonant light. Physical Review Letters. 2009;103(5). doi:10.1103/PhysRevLett.103.053003
View | DOI | Download (ext.)
 

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

2009 | Journal Article | IST-REx-ID: 229 | OA
Browning TD. Linear growth for Châtelet surfaces. Mathematische Annalen. 2009;346(1):41-50. doi:10.1007/s00208-009-0383-z
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2384 | OA
Giuliani A, Seiringer R. The ground state energy of the weakly interacting Bose gas at high density. Journal of Statistical Physics. 2009;135(5-6):915-934. doi:10.1007/s10955-009-9718-0
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2385 | OA
Lieb É, Seiringer R, Yngvason J. Yrast line of a rapidly rotating Bose gas: Gross-Pitaevskii regime. Physical Review A - Atomic, Molecular, and Optical Physics. 2009;79(6). doi:10.1103/PhysRevA.79.063626
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: 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 | Journal Article | IST-REx-ID: 2388 | OA
Predd J, Seiringer R, Lieb É, Osherson D, Poor H, Kulkarni S. Probabilistic coherence and proper scoring rules. IEEE Transactions on Information Theory. 2009;55(10):4786-4792. doi:10.1109/TIT.2009.2027573
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: 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 | Journal Article | IST-REx-ID: 3061 | OA
Křeček P, Skůpa P, Libus J, et al. The PIN-FORMED (PIN) protein family of auxin transporters. Genome Biology. 2009;10(12). doi:10.1186/gb-2009-10-12-249
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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

2009 | Conference Paper | IST-REx-ID: 3503 | OA
Chatterjee K, Henzinger TA. Probabilistic systems with limsup and liminf objectives. In: Vol 5489. Springer; 2009:32-45. doi:10.1007/978-3-642-03092-5_4
View | DOI | Download (ext.)
 

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

2009 | Journal Article | IST-REx-ID: 3780 | OA
Davison A, Barton NH, Clarke B. 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. 2009;22(8):1624-1635. doi:10.1111/j.1420-9101.2009.01770.x
[Submitted Version] View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3843 | OA
Didier F, Henzinger TA, Mateescu M, Wolf V. Fast adaptive uniformization of the chemical master equation. In: Vol 4. IEEE; 2009:118-127. doi:10.1109/HiBi.2009.23
[Submitted Version] View | Files available | DOI
 

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
[Submitted Version] View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3844 | OA
Henzinger TA, Kirsch C, Marques E, Sokolova A. Distributed, modular HTL. In: IEEE; 2009:171-180. doi:10.1109/RTSS.2009.9
[Submitted Version] View | Files available | DOI
 

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
[Submitted Version] View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3870 | OA
Chatterjee K, Henzinger TA, Horn F. Finitary winning in omega-regular games. ACM Transactions on Computational Logic (TOCL). 2009;11(1). doi:10.1145/1614431.1614432
[Submitted Version] 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 None (ext.)
 

2009 | Journal Article | IST-REx-ID: 4136 | OA
Polechova J, Barton NH, Marion G. Species’ range: Adaptation in space and time. American Naturalist. 2009;174(5):E186-E204. doi:10.1086/605958
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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
[Submitted Version] View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3052 | OA
Vanneste S, Friml J. Auxin: A trigger for change in plant development. Cell. 2009;136(6):1005-1016. doi:10.1016/j.cell.2009.03.001
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3197 | OA
Kumar MP, Kolmogorov V, Torr P. An analysis of convex relaxations for MAP estimation of discrete MRFs. Journal of Machine Learning Research. 2009;10:71-106.
View | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3775 | OA
Barton NH, Coe J. On the application of statistical physics to evolutionary biology. Journal of Theoretical Biology. 2009;259(2):317-324. doi:10.1016/j.jtbi.2009.03.019
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3837 | OA
Tripakis S, Lickly B, Henzinger TA, Lee E. On relational interfaces. In: EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software. ACM; 2009:67-76. doi:10.1145/1629335.1629346
[Submitted Version] View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3968 | OA
Edelsbrunner H, Harer J. The persistent Morse complex segmentation of a 3-manifold. In: Vol 5903. Springer; 2009:36-50. doi:10.1007/978-3-642-10470-1_4
[Submitted Version] View | Files available | DOI
 

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
 

2009 | Conference Paper | IST-REx-ID: 4403 | OA
Alur R, Cerny P, Weinstein S. Algorithmic analysis of array-accessing programs. In: Vol 5771. Springer; 2009:86-101. doi:10.1007/978-3-642-04027-6_9
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4453 | OA
Henzinger TA, Mateescu M, Wolf V. Sliding-window abstraction for infinite Markov chains. In: Vol 5643. Springer; 2009:337-352. doi:10.1007/978-3-642-02658-4_27
View | Files available | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4542 | OA
Chatterjee K, Doyen L, Henzinger TA. Alternating weighted automata. In: Vol 5699. Springer; 2009:3-13. doi:10.1007/978-3-642-03409-1_2
[Submitted Version] 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
[Submitted Version] View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4544 | OA
Chatterjee K, De Alfaro L, Henzinger TA. Termination criteria for solving concurrent safety and reachability games. In: SIAM; 2009:197-206. doi:10.1137/1.9781611973068.23
View | Files available | DOI | Download (ext.)
 

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
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Conference Paper | IST-REx-ID: 4580 | OA
Berwanger D, Chatterjee K, De Wulf M, Doyen L, Henzinger TA. Alpaga: A tool for solving parity games with imperfect information. In: Vol 5505. Springer; 2009:58-61. doi:10.1007/978-3-642-00768-2_7
View | Files available | DOI | Download (ext.)
 

2009 | Technical Report | IST-REx-ID: 5393 | OA
Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. Gist: A Solver for Probabilistic Games. IST Austria; 2009. doi:10.15479/AT:IST-2009-0003
[Published Version] View | Files available | DOI
 

2009 | Technical Report | IST-REx-ID: 5394 | OA
Chatterjee K, Henzinger TA, Horn F. Improved Lower Bounds for Request-Response and Finitary Streett Games. IST Austria; 2009. doi:10.15479/AT:IST-2009-0002
[Published Version] View | Files available | DOI
 

Filters and Search Terms

oa=1

Search

Filter Publications