Department of Pure and Applied Mathematics University of Padova, Italy;
static analysis; π-calculus; algorithm complexity;
机译:定时布尔演算及其在时序分析中的应用
机译:基于广义扩展理论的线性时变系统(线性算子)的时频传递函数演算(符号演算)[综述]
机译:GNSS全球实时增强定位:实时精确的卫星时钟估计,原型系统构建和性能分析
机译:PEGASE项目:具有网络演算的航空通信系统的精确和可扩展的时间分析
机译:教学学生与数学的精确语言沟通:专注于微积分课程的函数概念
机译:通过高分辨率融解数据的微积分分析,精确检测临床胶质瘤组织中的IDH1 / 2和BRAF热点突变。
机译:立方时间中π演算的精确分析