LSV - ENS Cachan 61 Avenue du President Wilson, 94235 Cachan - France;
LIX - Ecole Polytechnique Rue de Saclay, 91128 Palaiseau - France;
机译:概率Pi微积分的Markov抽象
机译:关于应用微积分过程唯一分解的存在性和可判定性
机译:应用Pi演算中的身份托管协议和匿名性分析
机译:概率应用的pi-微积分
机译:应用概率推理:HVAC预测控制和自动驾驶汽车全天候感知的模型估计。
机译:晶体生长的概率模型应用于蛋白质在微尺度上的沉积。
机译:概率应用微积分
机译:Nasa概率风险评估应用于通用20K防喷器(BOp)。