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.

6745 Publications


2009 | Technical Report | IST-REx-ID: 5394 | OA
Chatterjee, Krishnendu, et al. Improved Lower Bounds for Request-Response and Finitary Streett Games. IST Austria, 2009, doi:10.15479/AT:IST-2009-0002.
View | Files available | DOI
 

2009 | Technical Report | IST-REx-ID: 5395 | OA
Chatterjee, Krishnendu, et al. Qualitative Analysis of Partially-Observable Markov Decision Processes. IST Austria, 2009, doi:10.15479/AT:IST-2009-0001.
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 599 | OA
Knuesel, Matthew, et al. “The Human CDK8 Subcomplex Is a Molecular Switch That Controls Mediator Coactivator Function.” Genes and Development, vol. 23, no. 4, Cold Spring Harbor Laboratory Press, 2009, pp. 439–51, doi:10.1101/gad.1767009.
View | DOI | Download None (ext.)
 

2009 | Journal Article | IST-REx-ID: 6144
Persson, Annelie, et al. “Natural Variation in a Neural Globin Tunes Oxygen Sensing in Wild Caenorhabditis Elegans.” Nature, vol. 458, no. 7241, Springer Nature, 2009, pp. 1030–33, doi:10.1038/nature07820.
View | DOI | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 6145
Cohen, Merav, et al. “Coordinated Regulation of Foraging and Metabolism in C. Elegans by RFamide Neuropeptide Signaling.” Cell Metabolism, vol. 9, no. 4, Elsevier, 2009, pp. 375–85, doi:10.1016/j.cmet.2009.02.003.
View | DOI | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 7080
Yang, X. D., et al. “Influence of Magnetic Fields on Structural Martensitic Transitions.” Philosophical Magazine, vol. 89, no. 22–24, Taylor & Francis, 2009, pp. 2083–91, doi:10.1080/14786430902865518.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 1302
Raghu, Shamprasad, et al. “Synaptic Organization of Lobula Plate Tangential Cells in Drosophila: Dα7 Cholinergic Receptors.” Journal of Neurogenetics, vol. 23, no. 1–2, Informa Healthcare, 2009, pp. 200–09, doi:10.1080/01677060802471684.
View | DOI
 

2009 | Book Chapter | IST-REx-ID: 164 | OA
Browning, Timothy D., and Roger Heath Brown. “Integral Points on Cubic Hypersurfaces.” Analytic Number Theory: Essays in Honour of Klaus Roth, Cambridge University Press, 2009, pp. 75–90.
View | Download Preprint (ext.) | arXiv
 

2009 | Conference Paper | IST-REx-ID: 165
Browning, Timothy D. Resent Progress on the Quantitative Arithmetic of Del Pezzo Surfaces. Edited by Takashi Aoki et al., vol. 6, World Scientific Publishing, 2009, pp. 1–18, doi:https://doi.org/10.1142/9789814289924_0001.
View | DOI
 

2009 | Book Chapter | IST-REx-ID: 168
Browning, Timothy D., and Rainer Dietmann. “Solubility of Fermat Equations.” Quadratic Forms - Algebra, Arithmetic and Geometry, vol. 493, American Mathematical Society, 2009, pp. 99–106, doi:http://dx.doi.org/10.1090/conm/493.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1038 | OA
Mark, Manfred, et al. “Dark Resonances for Ground-State Transfer of Molecular Quantum Gases.” Applied Physics B: Lasers and Optics, vol. 95, no. 2, Springer, 2009, pp. 219–25, doi:10.1007/s00340-009-3407-1.
View | DOI | Download None (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 1040 | OA
Haller, Elmar, et al. “Realization of an Excited, Strongly Correlated Quantum Gas Phase.” Science, vol. 325, no. 5945, American Association for the Advancement of Science, 2009, pp. 1224–27, doi:10.1126/science.1175850.
View | DOI | Download None (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 1041 | OA
Danzl, Johann G., et al. “Deeply Bound Ultracold Molecules in an Optical Lattice.” New Journal of Physics, vol. 11, IOP Publishing Ltd., 2009, doi:10.1088/1367-2630/11/5/055036.
View | DOI | Download None (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 1043 | OA
Danzl, Johann G., et al. “Precision Molecular Spectroscopy for Ground State Transfer of Molecular Quantum Gases.” Faraday Discussions, vol. 142, Royal Society of Chemistry, 2009, pp. 283–95, doi:10.1039/b820542f.
View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 110
Des Jardins, Angela, et al. “Reconnection in Three Dimensions: The Role of Spines in Three Eruptive Flares.” The Astrophysical Journal, vol. 693, no. 2, IOP Publishing Ltd., 2009, pp. 1628–36, doi:10.1088/0004-637X/693/2/1628.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 111
Royer, John, et al. “High-Speed Tracking of Rupture and Clustering in Freely Falling Granular Streams.” Nature, vol. 459, no. 7250, Nature Publishing Group, 2009, pp. 1110–13, doi:10.1038/nature08115.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 908
Alkalaeva, Elena, et al. “Translation Termination in Pyrrolysine-Utilizing Archaea.” FEBS Letters, vol. 583, no. 21, Elsevier, 2009, pp. 3455–60, doi:10.1016/j.febslet.2009.09.044.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 9147 | OA
MULLER, Caroline J., and Oliver Bühler. “Saturation of the Internal Tides and Induced Mixing in the Abyssal Ocean.” Journal of Physical Oceanography, vol. 39, no. 9, American Meteorological Society, 2009, pp. 2077–96, doi:10.1175/2009jpo4141.1.
View | DOI | Download Published Version (ext.)
 

2009 | Journal Article | IST-REx-ID: 9148 | OA
MULLER, Caroline J., et al. “A Model for the Relationship between Tropical Precipitation and Column Water Vapor.” Geophysical Research Letters, vol. 36, no. 16, L16804, American Geophysical Union, 2009, doi:10.1029/2009gl039667.
View | DOI | Download Published Version (ext.)
 

2009 | Conference Paper | IST-REx-ID: 964
Serbyn, Maksym, et al. Giant Nernst Effect Due to Fluctuating Cooper Pairs in Superconductors. Vol. 1134, American Institute of Physics, 2009, pp. 140–45, doi:10.1063/1.3149485.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3715
Lampert, Christoph, and Jan Peters. Active Structured Learning for High-Speed Object Detection. Vol. 5748, Springer, 2009, pp. 221–31, doi:10.1007/978-3-642-03798-6_23.
View | DOI
 

2009 | Conference Poster | IST-REx-ID: 3717
Lampert, Christoph, and Jan Peters. “A High-Speed Object Tracker from off-the-Shelf Components.” ICCV: International Conference on Computer Vision, IEEE, 2009.
View | Download (ext.)
 

2009 | Preprint | IST-REx-ID: 3732 | OA
Tkačik, Gašper, et al. “Spin Glass Models for a Network of Real Neurons.” ArXiv, vol. q-NC, ArXiv, 2009.
View | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3733
Kryazhimskiy, Sergey, et al. “The Dynamics of Adaptation on Correlated Fitness Landscapes.” PNAS, vol. 106, no. 44, National Academy of Sciences, 2009, pp. 18638–43, doi:10.1073/pnas.0905497106.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3737
Tkačik, Gašper, et al. “Optimizing Information Flow in Small Genetic Networks.” Physical Review E Statistical Nonlinear and Soft Matter Physics, vol. 80, no. 3, American Institute of Physics, 2009, doi:10.1103/PhysRevE.80.031920.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3745
Tkačik, Gašper, and William Bialek. “Diffusion, Dimensionality, and Noise in Transcriptional Regulation.” Physical Review E Statistical Nonlinear and Soft Matter Physics, vol. 79, no. 5, American Institute of Physics, 2009, doi:10.1103/PhysRevE.79.051901.
View | DOI
 

2009 | Book Chapter | IST-REx-ID: 3747
Tkačik, Gašper, and William Bialek. “Cell Biology: Networks, Regulation, Pathways.” Encyclopedia of Complexity and Systems Science, edited by R. Meyers, Springer, 2009, pp. 719–41, doi:10.1007/978-0-387-30440-3_48.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3764
Wojtan, Christopher J., et al. “Deforming Meshes That Split and Merge.” ACM Transactions on Graphics, vol. 28, no. 3, ACM, 2009, doi:10.1145/1531326.1531382.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3768
Kupczok, Anne, and Arndt Von Haeseler. “Comment on ‘{A} Congruence Index for Testing Topological Similarity between Trees’.” Bioinformatics, vol. 25, no. 1, Oxford University Press, 2009, pp. 147–49, doi:4199.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3775 | OA
Barton, Nicholas H., and Jason Coe. “On the Application of Statistical Physics to Evolutionary Biology.” Journal of Theoretical Biology, vol. 259, no. 2, Elsevier, 2009, pp. 317–24, doi:10.1016/j.jtbi.2009.03.019.
View | DOI | Download Submitted Version (ext.)
 

2009 | Journal Article | IST-REx-ID: 3780 | OA
Davison, Angus, et al. “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, vol. 22, no. 8, Wiley, 2009, pp. 1624–35, doi:10.1111/j.1420-9101.2009.01770.x.
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3828
Schwenk, Jochen, et al. “Functional Proteomics Identify Cornichon Proteins as Auxiliary Subunits of AMPA Receptors.” Science, vol. 323, no. 5919, American Association for the Advancement of Science, 2009, pp. 1313–19, doi:10.1126/science.1167852.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3835
Bloem, Roderick, et al. Synthesizing Robust Systems. Springer, 2009, pp. 85–92, doi:10.1109/FMCAD.2009.5351139.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3837 | OA
Tripakis, Stavros, et al. “On Relational Interfaces.” EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software, ACM, 2009, pp. 67–76, doi:10.1145/1629335.1629346.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3841 | OA
Henzinger, Thomas A., et al. Formalisms for Specifying Markovian Population Models. Vol. 5797, Springer, 2009, pp. 3–23, doi:10.1007/978-3-642-04420-5_2.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3843 | OA
Didier, Frédéric, et al. Fast Adaptive Uniformization of the Chemical Master Equation. Vol. 4, no. 6, IEEE, 2009, pp. 118–27, doi:10.1109/HiBi.2009.23.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3844 | OA
Henzinger, Thomas A., et al. Distributed, Modular HTL. IEEE, 2009, pp. 171–80, doi:10.1109/RTSS.2009.9.
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3869
Chatterjee, Krishnendu, et al. “Qualitative Logics and Equivalences for Probabilistic Systems.” Logical Methods in Computer Science, vol. 5, no. 2, International Federation of Computational Logic, 2009, doi:10.2168/LMCS-5(2:7)2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3870 | OA
Chatterjee, Krishnendu, et al. “Finitary Winning in Omega-Regular Games.” ACM Transactions on Computational Logic (TOCL), vol. 11, no. 1, 1, ACM, 2009, doi:10.1145/1614431.1614432.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3871 | OA
Chatterjee, Krishnendu, et al. Probabilistic Weighted Automata. Vol. 5710, Springer, 2009, pp. 244–58, doi:10.1007/978-3-642-04081-8_17.
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3946 | OA
Cremer, Sylvia, and Michael K. Sixt. “Analogies in the Evolution of Individual and Social Immunity.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 364, no. 1513, Royal Society, The, 2009, pp. 129–42, doi:10.1098/rstb.2008.0166.
View | DOI | Download None (ext.)
 

2009 | Journal Article | IST-REx-ID: 3947
Lämmermann, Tim, et al. “Cdc42-Dependent Leading Edge Coordination Is Essential for Interstitial Dendritic Cell Migration (Plenary Paper).” Blood, vol. 113, no. 23, American Society of Hematology, 2009, pp. 5703–10, doi:10.1182/blood-2008-11-191882.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3948
Bauer, Martina, et al. “Β1 Integrins Differentially Control Extravasation of Inflammatory Cell Subsets into the CNS during Autoimmunity.” PNAS, vol. 106, no. 6, National Academy of Sciences, 2009, pp. 1920–25, doi:10.1073/pnas.0808909106.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3949
Quast, Thomas, et al. “Cytohesin-1 Controls the Activation of RhoA and Modulates Integrin-Dependent Adhesion and Migration of Dendritic Cells.” Blood, vol. 113, no. 23, American Society of Hematology, 2009, pp. 5801–10, doi:10.1182/blood-2008-08-176123.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3950
Moser, Markus, et al. “Kindlin-3 Is Required for Β2 Integrin-Mediated Leukocyte Adhesion to Endothelial Cells.” Nature Medicine, vol. 15, no. 3, Nature Publishing Group, 2009, pp. 300–05, doi:10.1038/nm.1921.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3951
Lämmermann, Tim, and Michael K. Sixt. “Mechanical Modes of ‘amoeboid’ Cell Migration.” Current Opinion in Cell Biology, vol. 21, no. 5, Elsevier, 2009, pp. 636–44, doi:10.1016/j.ceb.2009.05.003.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3952
Schymeinsky, Jürgen, et al. “A Fundamental Role of MAbp1 in Neutrophils: Impact on β(2) Integrin-Mediated Phagocytosis and Adhesion in Vivo.” Blood, vol. 114, no. 19, American Society of Hematology, 2009, pp. 4209–20, doi:10.1182/blood-2009-02-206169.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3953
Wolf, Anna, et al. “The Sphingosine 1-Phosphate Receptor Agonist FTY720 Potently Inhibits Regulatory T Cell Proliferation in Vitro and in Vivo.” Journal of Immunology, vol. 183, no. 6, American Association of Immunologists, 2009, pp. 3751–60, doi:10.4049/jimmunol.0901011.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3954
Renkawitz, Jörg, et al. “Adaptive Force Transmission in Amoeboid Cell Migration.” Nature Cell Biology, vol. 11, no. 12, Nature Publishing Group, 2009, pp. 1438–43, doi:10.1038/ncb1992.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3955
Pflicke, Holger, and Michael K. Sixt. “Preformed Portals Facilitate Dendritic Cell Entry into Afferent Lymphatic Vessels.” The Journal of Experimental Medicine, vol. 206, no. 13, Rockefeller University Press, 2009, pp. 2925–35, doi:10.1084/jem.20091739.
View | DOI
 

Search

Filter Publications