DOI,IST REx ID,Title of publication
10.1109/FMCAD.2009.5351139,3835,Synthesizing robust systems
10.1145/1629335.1629346,3837,On relational interfaces
10.1007/978-3-642-04420-5_2,3841,Formalisms for specifying Markovian population models
10.1109/HiBi.2009.23,3843,Fast adaptive uniformization of the chemical master equation
10.1109/RTSS.2009.9,3844,"Distributed, modular HTL"
10.2168/LMCS-5(2:7)2009,3869,Qualitative logics and equivalences for probabilistic systems
10.1145/1614431.1614432,3870,Finitary winning in omega-regular games
10.1007/978-3-642-04081-8_17,3871,Probabilistic weighted automata
10.1098/rstb.2008.0166,3946,Analogies in the evolution of individual and social immunity
10.1182/blood-2008-11-191882,3947,Cdc42-dependent leading edge coordination is essential for interstitial dendritic cell migration (Plenary Paper)
10.1073/pnas.0808909106,3948,β1 integrins differentially control extravasation of inflammatory cell subsets into the CNS during autoimmunity
10.1182/blood-2008-08-176123,3949,Cytohesin-1 controls the activation of RhoA and modulates integrin-dependent adhesion and migration of dendritic cells
10.1038/nm.1921,3950,Kindlin-3 is required for β2 integrin-mediated leukocyte adhesion to endothelial cells
10.1016/j.ceb.2009.05.003,3951,Mechanical modes of 'amoeboid' cell migration
10.1182/blood-2009-02-206169,3952,A fundamental role of mAbp1 in neutrophils: impact on β(2) integrin-mediated phagocytosis and adhesion in vivo
10.4049/jimmunol.0901011,3953,The sphingosine 1-phosphate receptor agonist FTY720 potently inhibits regulatory T cell proliferation in vitro and in vivo
10.1038/ncb1992,3954,Adaptive force transmission in amoeboid cell migration
10.1084/jem.20091739,3955,Preformed portals facilitate dendritic cell entry into afferent lymphatic vessels
10.1007/s10208-008-9027-z,3966,Extending persistence using Poincare and Lefschetz duality
null,3967,"Persistent homology for kernels, images, and cokernels"