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.

2224 Publications


2010 | Journal Article | IST-REx-ID: 3077   OA
Friml, J., & Jones, A. (2010). Endoplasmic reticulum: The rising compartment in auxin biology. Plant Physiology, 154(2), 458–462. https://doi.org/10.1104/pp.110.161380
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3306   OA
Evans, S., Sturmfels, B., & Uhler, C. (2010). Commuting birth and death processes. The Annals of Applied Probability, 20, 238–266. https://doi.org/10.1214/09-AAP615
View | DOI | Download (ext.)
 

2010 | Preprint | IST-REx-ID: 3743   OA
Tkacik, G. (2010). From statistical mechanics to information theory: understanding biophysical information-processing systems. ArXiv. ArXiv.
View | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3748   OA
Park, H., Pontius, W., Guet, C. C., Marko, J., Emonet, T., & Cluzel, P. (2010). Interdependence of behavioural variability and response to small stimuli in bacteria. Nature, 468, 819–823. https://doi.org/10.1038/nature09551
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3779   OA
Rosas, U., Barton, N. H., Copsey, L., Barbier De Reuille, P., & Coen, E. (2010). Cryptic variation between species and the basis of hybrid performance. PLoS Biology, 8(7). https://doi.org/10.1371/journal.pbio.1000429
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3832   OA
Guzmán, J., & Jonas, P. M. (2010). Beyond TARPs: The growing list of auxiliary AMPAR subunits. Neuron, 66(1), 8–10. https://doi.org/10.1016/j.neuron.2010.04.003
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2010 | Conference Paper | IST-REx-ID: 3849   OA
Bendich, P., Edelsbrunner, H., Kerber, M., & Patel, A. (2010). Persistent homology under non-uniform error (Vol. 6281, pp. 12–23). Presented at the MFCS: Mathematical Foundations of Computer Science, Brno, Czech Republic: Springer. https://doi.org/10.1007/978-3-642-15155-2_2
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3868   OA
Chatterjee, K., De Alfaro, L., Majumdar, R., & Raman, V. (2010). Algorithms for game metrics. Logical Methods in Computer Science, 6(3), 1–27. https://doi.org/10.2168/LMCS-6(3:13)2010
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 4157   OA
Papusheva, E., & Heisenberg, C.-P. J. (2010). Spatial organization of adhesion: force-dependent regulation and function in tissue morphogenesis. EMBO Journal, 29(16), 2753–2768. https://doi.org/10.1038/emboj.2010.182
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2010 | Conference Paper | IST-REx-ID: 4378   OA
Kuncak, V., Piskac, R., Suter, P., & Wies, T. (2010). Building a calculus of data structures. In G. Barthe & M. Hermenegildo (Eds.) (Vol. 5944, pp. 26–44). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Madrid, Spain: Springer. https://doi.org/10.1007/978-3-642-11319-2_6
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 4380   OA
Henzinger, T. A., Tomar, A., Singh, V., Wies, T., & Zufferey, D. (2010). A marketplace for cloud resources (pp. 1–8). Presented at the EMSOFT: Embedded Software , Arizona, USA: ACM. https://doi.org/10.1145/1879021.1879022
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 488   OA
Alur, R., & Cerny, P. (2010). Expressiveness of streaming string transducers (Vol. 8, pp. 1–12). Presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Chennai, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FSTTCS.2010.1
View | Files available | DOI
 

2010 | Technical Report | IST-REx-ID: 5390   OA
Chatterjee, K., & Fijalkow, N. (2010). Topological, automata-theoretic and logical characterization of finitary languages. IST Austria. https://doi.org/10.15479/AT:IST-2010-0002
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 1041   OA
Danzl, J., Mark, M., Haller, E., Gustavsson, M., Hart, R., Liem, A., … Nägerl, H. (2009). Deeply bound ultracold molecules in an optical lattice. New Journal of Physics, 11. https://doi.org/10.1088/1367-2630/11/5/055036
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1767   OA
Baur, M., Filipp, S., Bianchetti, R., Fink, J. M., Göppl, M., Steffen, L., … Wallraff, A. (2009). Measurement of autler-townes and mollow transitions in a strongly driven superconducting qubit. Physical Review Letters, 102(24). https://doi.org/10.1103/PhysRevLett.102.243602
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. https://doi.org/10.1073/pnas.0902146106
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. https://doi.org/10.1016/j.jfa.2009.07.001
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). https://doi.org/10.1103/PhysRevA.79.063626
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). https://doi.org/10.1186/gb-2009-10-12-249
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. ArXiv.
View | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3775   OA
Barton, N. H., & Coe, J. (2009). On the application of statistical physics to evolutionary biology. Journal of Theoretical Biology, 259(2), 317–324. https://doi.org/10.1016/j.jtbi.2009.03.019
View | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3871   OA
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). Probabilistic weighted automata (Vol. 5710, pp. 244–258). Presented at the CONCUR: Concurrency Theory, Bologna, Italy: Springer. https://doi.org/10.1007/978-3-642-04081-8_17
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3946   OA
Cremer, S., & Sixt, M. K. (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. https://doi.org/10.1098/rstb.2008.0166
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 4242   OA
Barton, N. H., & De Cara, M. (2009). The evolution of strong reproductive isolation. Evolution; International Journal of Organic Evolution, 63(5), 1171–1190. https://doi.org/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, T. A. (2009). A survey of stochastic games with limsup and liminf objectives (Vol. 5556, pp. 1–15). Presented at the ICALP: Automata, Languages and Programming, Rhodos, Greece: Springer. https://doi.org/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, T. A., & Jobstmann, B. (2009). Better quality in synthesis through quantitative objectives (Vol. 5643, pp. 140–156). Presented at the CAV: Computer Aided Verification, Grenoble, France: Springer. https://doi.org/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., Baur, M., Bianchetti, R., Fink, J. M., … Wallraff, A. (2009). Two-qubit state tomography using a joint dispersive readout. Physical Review Letters, 102(20). https://doi.org/10.1103/PhysRevLett.102.200402
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1770   OA
Bianchetti, R., Filipp, S., Baur, M., Fink, J. M., Göppl, M., Leek, P., … Wallraff, A. (2009). Dynamics of dispersive single-qubit readout in circuit quantum electrodynamics. Physical Review A - Atomic, Molecular, and Optical Physics, 80(4). https://doi.org/10.1103/PhysRevA.80.043840
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). https://doi.org/10.1103/PhysRevA.79.050501
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). https://doi.org/10.1103/PhysRevB.80.014502
View | DOI | Download (ext.)
 

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

2009 | Conference Paper | IST-REx-ID: 3841   OA
Henzinger, T. A., Jobstmann, B., & Wolf, V. (2009). Formalisms for specifying Markovian population models (Vol. 5797, pp. 3–23). Presented at the RP: Reachability Problems, Palaiseau, France: Springer. https://doi.org/10.1007/978-3-642-04420-5_2
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. https://doi.org/10.15479/AT:IST-2009-0004
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 1043   OA
Danzl, J., Mark, M., Haller, E., Gustavsson, M., Bouloufa, N., Dulieu, O., … Nägerl, H. (2009). Precision molecular spectroscopy for ground state transfer of molecular quantum gases. Faraday Discussions, 142, 283–295. https://doi.org/10.1039/b820542f
View | DOI | Download (ext.)
 

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

2009 | Journal Article | IST-REx-ID: 1769   OA
Fink, J. M., Bianchetti, R., Baur, M., Göppl, M., Steffen, L., Filipp, S., … Wallraff, A. (2009). Dressed collective qubit states and the Tavis-Cummings model in circuit QED. Physical Review Letters, 103(8). https://doi.org/10.1103/PhysRevLett.103.083601
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1771   OA
Fink, J. M., Baur, M., Bianchetti, R., Filipp, S., Göppl, M., Leek, P., … Wallraff, A. (2009). Thermal excitation of multi-photon dressed states in circuit quantum electrodynamics. Physica Scripta T, T137. https://doi.org/10.1088/0031-8949/2009/T137/014013
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. https://doi.org/10.1021/jp9051598
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. https://doi.org/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. (2009). Hardness of embedding simplicial complexes in ℝd (pp. 855–864). Presented at the SODA: Symposium on Discrete Algorithms, SIAM.
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. https://doi.org/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, T. A., & Singh, V. (2009). Software transactional memory on relaxed memory models (Vol. 5643, pp. 321–336). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/978-3-642-02658-4_26
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4453   OA
Henzinger, T. A., Mateescu, M., & Wolf, V. (2009). Sliding-window abstraction for infinite Markov chains (Vol. 5643, pp. 337–352). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/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, T. A. (2009). Alternating weighted automata (Vol. 5699, pp. 3–13). Presented at the FCT: Fundamentals of Computation Theory, Wroclaw, Poland: Springer. https://doi.org/10.1007/978-3-642-03409-1_2
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4580   OA
Berwanger, D., Chatterjee, K., De Wulf, M., Doyen, L., & Henzinger, T. A. (2009). Alpaga: A tool for solving parity games with imperfect information (Vol. 5505, pp. 58–61). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/10.1007/978-3-642-00768-2_7
View | Files available | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 599   OA
Knuesel, M., Meyer, K., Bernecky, C. A., & Taatjes, D. (2009). The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function. Genes and Development, 23(4), 439–451. https://doi.org/10.1101/gad.1767009
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. https://doi.org/10.1016/j.ijms.2008.06.010
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). https://doi.org/10.1103/PhysRevLett.103.053003
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. https://doi.org/10.1109/TIT.2009.2027573
View | DOI | Download (ext.)
 

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

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed