陈日增;李浩坤;夏碧灿;赵天奇;郑涛 分离混合三角多项式的所有实根。 （英语） Zbl 07740058号 J.塞姆。计算。 121，文章ID 102250，33 p.（2024）.MSC公司：26日xx 68瓦xx 65华夏 PDF格式BibTeX公司 XML格式引用 \textit{R.Chen}等人，J.Symb。计算。121，文章ID 102250，33 p.（2024；Zbl 07740058） 全文： 内政部 arXiv公司
德米特里·奇斯蒂科夫;斯特凡·基弗;安德烈·穆拉夫斯基。;乘务长，大卫 大O问题。 （英语） Zbl 07566053号 日志。计算方法。科学。 18，第1号，第40号论文，50页（2022年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{D.Chistikov}等人，《日志》。计算方法。科学。18，第1号，第40号论文，50页（2022；Zbl 07566053） 全文： arXiv公司 链接
德米特里·奇斯蒂科夫;斯特凡·基弗;安德烈·穆拉夫斯基。;乘务长，大卫 标记马尔可夫链和加权自动机的大O问题。 （英语） Zbl 07559497号 Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171，第41条，第19页（2020年）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Chistikov}等人，LIPIcs——莱布尼茨国际程序。通知。171，第41条，第19页（2020；Zbl 07559497） 全文： 内政部
黄成超;徐明;李志斌 多权力约束的冲突驱动解决程序。 （英语） Zbl 1468.68202号 J.汽车。推理 64，第1号，1-20（2020）.MSC公司：68T20型 68T05型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.-C.Huang}等人，J.Autom。推理64，No.1，1--20（2020；Zbl 1468.68202） 全文： 内政部