Ex vivo and in vivo thrombus formation in Ptpn11^D61G/+ mice. (A) Mouse heparinized whole blood, where platelets were labeled with DiOC₆, was perfused through Cellix Vena8 Fluoro+ biochips at arterial physiological shear rate of 500 s⁻¹ on fibrillar collagen matrix over 2 minutes. Thrombus formation was visualized in real time by videomicroscopy. Representative 2- and 3-dimensional images were respectively obtained after processing with ImageJ and Imaris software (scale bar, 20 μm). Surface covered by platelets and thrombus volume were quantified by using ImageJ software (mean ± sSEM; n = 4 mice of each genotype). (B) Time to blood flow cessation was measured with a transonic flow probe at the carotid artery of mice after exposure to 7% FeCl₃ for 3 minutes. Graph represents the percentage of mice displaying no carotid occlusion. (C) Time required for the bleeding to stop after 3-mm tail-tip transection of anesthetized mice. Each point represents a mouse. *P < .05 vs WT according to 2-way ANOVA and 1-sample t test.