Computing Science, Chalmers University of Technology, Gothenburg, Sweden;
机译:存在底部起伏的半无限刚性基座对斜波的散射
机译:关于非木间隔和多目标半无限编程的纸张“最优性条件的说明”
机译:NonsMooth间隔值和多目标半无限编程的最优性条件
机译:追逐底部在存在部分和无限值存在下的计划验证案例研究
机译:通过三值逻辑分析进行基于提炼的程序验证。
机译:追还是不追:心理和饮酒在追逐行为中的作用研究
机译:通过CLP程序专业化验证无限状态系统