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.

259 Publications


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

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

2009 | Published | Journal Article | IST-REx-ID: 1043 | OA
Danzl JG, 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.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Published | Journal Article | IST-REx-ID: 9453 | OA
Hsieh T-F, Ibarra CA, Silva P, Zemach A, Eshed-Williams L, Fischer RL, Zilberman D. 2009. Genome-wide demethylation of Arabidopsis endosperm. Science. 324(5933), 1451–1454.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2009 | Published | Conference Paper | IST-REx-ID: 964
Serbyn M, Skvortsov M, Varlamov A, Galitski V. 2009. Giant nernst effect due to fluctuating cooper Pairs in superconductors. Landau Memorial Conference on Advances in Theoretical Physics vol. 1134, 140–145.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 3828
Schwenk J, Harmel N, Zolles G, Bildl W, Kulik Á, Heimrich B, Chisaka O, Jonas PM, Schulte U, Fakler B, Klocker N. 2009. Functional proteomics identify cornichon proteins as auxiliary subunits of AMPA receptors. Science. 323(5919), 1313–9.
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 3835
Bloem R, Greimel K, Henzinger TA, Jobstmann B. 2009. Synthesizing robust systems. FMCAD: Formal Methods in Computer-Aided Design, 85–92.
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 3837 | OA
Tripakis S, Lickly B, Henzinger TA, Lee E. 2009. On relational interfaces. EMSOFT ’09 Proceedings of the seventh ACM international conference on Embedded software. EMSOFT: Embedded Software , 67–76.
[Submitted Version] View | Files available | DOI
 

earlier version | 2009 | Published | 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.
[Submitted Version] View | Files available | DOI
 

earlier version | 2009 | Published | Conference Paper | IST-REx-ID: 3843 | OA
Didier F, Henzinger TA, Mateescu M, Wolf V. 2009. Fast adaptive uniformization of the chemical master equation. HIBI: High-Performance Computational Systems Biology vol. 4, 118–127.
[Submitted Version] View | Files available | DOI | WoS
 

2009 | Published | Conference Paper | IST-REx-ID: 3844 | OA
Henzinger TA, Kirsch C, Marques E, Sokolova A. 2009. Distributed, modular HTL. RTSS: Real-Time Systems Symposium, 171–180.
[Submitted Version] View | Files available | DOI | WoS
 

2009 | Published | Journal Article | IST-REx-ID: 3869
Chatterjee K, De Alfaro L, Faella M, Legay A. 2009. Qualitative logics and equivalences for probabilistic systems. Logical Methods in Computer Science. 5(2).
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 3870 | OA
Chatterjee K, Henzinger TA, Horn F. 2009. Finitary winning in omega-regular games. ACM Transactions on Computational Logic (TOCL). 11(1), 1.
[Submitted Version] View | Files available | DOI | WoS
 

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

2009 | Published | 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 None (ext.)
 

2009 | Published | Journal Article | IST-REx-ID: 3947
Lämmermann T, Renkawitz J, Wu X, Hirsch K, Brakebusch C, Sixt MK. 2009. Cdc42-dependent leading edge coordination is essential for interstitial dendritic cell migration (Plenary Paper). Blood. 113(23), 5703–5710.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 3948
Bauer M, Brakebusch C, Coisne C, Sixt MK, Wekerle H, Engelhardt B, Fässler R. 2009. β1 integrins differentially control extravasation of inflammatory cell subsets into the CNS during autoimmunity. PNAS. 106(6), 1920–1925.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 3949
Quast T, Tappertzhofen B, Schild C, Grell J, Czeloth N, Förster R, Alon R, Fraemohs L, Dreck K, Weber C, Lämmermann T, Sixt MK, Kolanus W. 2009. Cytohesin-1 controls the activation of RhoA and modulates integrin-dependent adhesion and migration of dendritic cells. Blood. 113(23), 5801–5810.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 3950
Moser M, Bauer M, Schmid S, Ruppert R, Schmidt S, Sixt MK, Wang H, Sperandio M, Fässler R. 2009. Kindlin-3 is required for β2 integrin-mediated leukocyte adhesion to endothelial cells. Nature Medicine. 15(3), 300–305.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 3951
Lämmermann T, Sixt MK. 2009. Mechanical modes of ‘amoeboid’ cell migration. Current Opinion in Cell Biology. 21(5), 636–644.
View | DOI
 

Filters and Search Terms

year=2009

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed