Department of Computer Science and Engineering, Indian Institute of Technology, Bombay;
机译:概括的点 - 图:点分析的精确和可扩展抽象
机译:动态点 - 设置:与程序理解和优化中的静态分析和潜在应用的比较
机译:具有异类激励因素和固定边界的区域外部性建模:在南美手足口病控制中的应用。
机译:具有应用点分析的异质固定点
机译:用于上下文敏感点分析的高效算法。
机译:选择用于异源密码子进化的固定效应模型的方法并评述其在基因和基因组数据中的应用
机译:异构不动点及其在点分析中的应用