杨佳丽
人员信息
其他同名人员
优化列表
2020年–今天
2022 [j8] 明生英 , 李周 , 杨佳丽 , 袁峰 以下为:
不相交并行量子程序的证明系统。 西奥。 计算。 科学。 897 以下为: 164-184 ( 2022 ) [第10条] 李培一 , 吉柳(Ji Liu) , 杨佳丽 , 周惠阳 以下为:
利用量子断言进行错误缓解和量子程序调试。 ICCD公司 2022 以下为: 124-131 2021 [j7] 陈明帅 , 马丁·弗伦泽 , 李杨佳 , 彼得·纳齐尔·莫萨德 , 詹乃军(Naijun Zhan) 以下为:
不确定性和延迟是失败的根源——通过综合延迟弹性控制在算法上驯服它们。 信息学报 58 ( 5 ) 以下为: 497-528 ( 2021 ) 【c9】 杨佳丽 , 多米尼克·恩鲁 以下为:
带期望的量子关系Hoare逻辑。 ICALP公司 2021 以下为: 136:1-136:20
2010 – 2019
2019 [j6] 刘俊义 , 伯华詹 , 王淑玲(Shuling Wang) , 胜刚英 , 刘涛(Tao Liu) , 杨佳丽 , 明生英 , 詹乃军(Naijun Zhan) 以下为:
量子霍尔逻辑。 架构(architecture)。 正式证明 2019 ( 2019 ) 【c8】 刘俊义 , 伯华詹 , 王淑玲(Shuling Wang) , 胜刚英 , 刘涛(Tao Liu) , 杨佳丽 , 应明晟 , 詹乃军(Naijun Zhan) 以下为:
使用量子霍尔逻辑对量子算法进行形式验证。 CAV(2) 2019 以下为: 187-207 [i8] 杨佳丽 , 多米尼克·恩鲁 以下为:
带期望的量子关系Hoare逻辑。 CoRR公司 abs/1903.08357 ( 2019 ) 2018 [j5] 杨佳丽 , 明生英 以下为:
量子程序终止问题的算法分析。 程序。 ACM计划。 语言。 2 ( 府绸 ) 以下为: 35:1-35:29 ( 2018 ) [j4] 汀甘 , 陈明帅 , 杨佳丽 , 碧灿霞 , 詹乃军(Naijun Zhan) 以下为:
可解动力系统的可达性分析。 IEEE传输。 自动。 控制。 63 ( 7 ) 以下为: 2003-2018 ( 2018 ) 【c7】 陈明帅 , 马丁·弗伦泽 , 杨佳丽 , 彼得·纳齐尔·莫萨德 , 詹乃军(Naijun Zhan) 以下为:
未来仍不确定-合成控制器对延迟交互具有弹性。 ATVA公司 2018 以下为: 56-74 【c6】 白雪 , 詹乃军(Naijun Zhan) , 杨佳丽 , 王秋叶 以下为:
数值软件的稳健无终止分析。 设置 2018 以下为: 69-88 [i7] 明生英 , 李杨佳 以下为:
关于并行量子程序的推理。 CoRR公司 abs/1810.11334 ( 2018 ) 2017 [j3] 王秋叶 , 杨佳丽 , 碧灿霞 , 詹乃军(Naijun Zhan) 以下为:
生成非自治多项式混合系统的半代数不变量。 J.系统。 科学。 复杂。 30 ( 1 ) 以下为: 234至252 ( 2017 ) 【c5】 白雪 , 彼得·纳齐尔·莫萨德 , 马丁·弗伦泽 , 陈明帅 , 杨佳丽 , 詹乃军(Naijun Zhan) 以下为:
时滞微分方程可达集的安全过逼近和欠逼近。 格式 2017 以下为: 281-299 2016 【c4】 汀甘 , 陈明帅 , 杨佳丽 , 碧灿霞 , 詹乃军(Naijun Zhan) 以下为:
重新讨论了计算线性向量场的可达集。 ECC公司 2016 以下为: 419-426 【c3】 陈明帅 , 马丁·弗伦泽 , 杨佳丽 , 彼得·纳齐尔·莫萨德 , 詹乃军(Naijun Zhan) 以下为:
延迟微分动力学验证的基于仿真的验证。 FM公司 2016 以下为: 137-154 [c2] 高高燕 , 李娇 , 杨佳丽 , 王淑玲(Shuling Wang) , 詹乃军(Naijun Zhan) 以下为:
混合CSP的近似互模拟和离散化。 FM公司 2016 以下为: 702-720 [i6] 刘涛(Tao Liu) , 杨佳丽 , 王淑玲(Shuling Wang) , 明生英 , 詹乃军(Naijun Zhan) 以下为:
量子霍尔逻辑的一个定理证明器及其应用。 CoRR公司 abs/1601.03835 ( 2016 ) [i5] 高高燕 , 李娇 , 杨佳丽 , 王淑玲(Shuling Wang) , 詹乃军(Naijun Zhan) 以下为:
混合CSP的近似互模拟和离散化。 CoRR公司 abs/1609.00091 ( 2016 ) 2015 [i4] 杨佳丽 , 慧露 , 詹乃军(Naijun Zhan) , 陈明帅 , 吴国华 以下为:
具有等式条件的多项式程序的终止分析。 CoRR公司 abs/1510.05201 ( 2015 ) 2014 [注2] 杨佳丽 , 俞能坤 , 明生英 以下为:
非确定性量子程序的终止。 信息学报 51 ( 1 ) 以下为: 1-24 ( 2014 ) [j1] 明生英 , 杨佳丽 , 俞能坤 , 袁峰 以下为:
量子系统线性时间特性的模型检验。 ACM变速器。 计算。 日志。 15 ( 三 ) 以下为: 22:1-22:31 ( 2014 ) 【c1】 杨佳丽 , 明生英 以下为:
关于量子系统可达性的(不可判定的)问题。 CONCUR公司 2014 以下为: 482-496 [i3] 杨佳丽 , 应明晟 以下为:
关于量子系统可达性的(不可判定的)问题。 CoRR公司 abs/1401.6249 ( 2014 ) [i2] 杨佳丽 , 明生英 以下为:
使用监测测量调试量子过程。 CoRR公司 abs/1403.4344 ( 2014 ) 2012 [i1] 杨佳丽 , 俞能坤 , 明生英 以下为:
非确定性量子程序的终止。 CoRR公司 abs/1201.0891 ( 2012 )