周晓天;孙浩欣;李伟;张忠志 基于边缘加法的接地拉普拉斯矩阵最小特征值优化。 (英语) Zbl 1527.90247号 西奥。计算。科学。 980,文章ID 114220,第16页(2023).MSC公司:90立方厘米 05元50分 15甲18 68兰特 68周25 PDF格式BibTeX公司 XML格式引用 \textit{X.Zhou}等人,Theor。计算。科学。980,文章ID 114220,第16页(2023;Zbl 1527.90247) 全文: 内政部 arXiv公司
米里亚姆·迪安尼 敌友之间的意见演变:决定性多数法则。 (英语) Zbl 07685359号 西奥。计算。科学。 959,文章ID 113875,16 p.(2023).MSC公司:第68季度 PDF格式BibTeX公司 XML格式引用 \文本{M.Di Ianni},Theor。计算。科学。959,文章ID 113875,16 p.(2023;Zbl 07685359) 全文: 内政部 OA许可证
尤金尼奥·莫吉;阿明·法朱迪安;亚当·杜拉茨;瓦利德·塔哈 混合系统的安全和鲁棒可达性分析。 (英语) Zbl 1400.68140号 西奥。计算。科学。 747, 75-99 (2018).MSC公司:68问题85 06B35号 18B20型 93B25型 PDF格式BibTeX公司 XML格式引用 \textit{E.Moggi}等人,Theor。计算。科学。747,75-99(2018;Zbl 1400.68140) 全文: 内政部 arXiv公司 OA许可证
伊娃·M·纳瓦罗·洛佩斯。;卡特、丽贝卡 混合动力系统中的死性和如何反驳活性。 (英语) Zbl 1345.68215号 西奥。计算。科学。 642, 1-23 (2016).MSC公司:65年第68季度 60年第68季度 93立方 93D05型 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Navarro-López}和\textit{R.Carter},Theor。计算。科学。642,1--23(2016;Zbl 1345.68215) 全文: 内政部 OA许可证
Larsen,Kim G。;乌里·法伦贝格;克劳斯·苏兰 加权转移系统的度量:公理化和复杂性。 (英语) Zbl 1216.68191号 西奥。计算。科学。 412,第28号,3358-3369(2011).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人,Theor。计算。科学。412,第28号,3358--3369(2011;Zbl 1216.68191) 全文: 内政部 哈尔
彼得·霍夫纳;伯恩哈德·莫勒 修复Zeno间隙。 (英语) Zbl 1227.68079号 西奥。计算。科学。 412,第28号,3303-3322(2011). 审核人:赛义德·萨利希(大不里士) MSC公司:99年第68季度 70年第68季度 68问题85 37N99型 PDF格式BibTeX公司 XML格式引用 \textit{P.Höfner}和\textit{B.Möller},Theor。计算。科学。412,第28号,3303--3322(2011;Zbl 1227.68079) 全文: 内政部 链接
费内科斯(Georgios E.Fainekos)。;乔治·帕帕斯。 连续时间信号时序逻辑规范的稳健性。 (英语) Zbl 1186.68287号 西奥。计算。科学。 410,第42号,4262-4291(2009).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Fainekos}和\textit{G.J.Pappas},Theor。计算。科学。410,编号42,4262--4291(2009;Zbl 1186.68287) 全文: 内政部
Jean-Marie雅克;伊莎贝尔·林登 将完全抽象的模型和细化作为工具来比较定时协调语言中的代理。 (英语) Zbl 1169.68033号 西奥。计算。科学。 410,编号2-3,221-253(2009).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.-M.Jacquet}和\textit{I.Linden},Theor。计算。科学。410,编号2--3,221--253(2009;Zbl 1169.68033) 全文: 内政部
尤金·亚萨林;佩斯,戈登;杰拉尔多·施奈德;塞尔吉奥·尤文 多边形混合系统的算法分析。二: 相位图和工具。 (英语) Zbl 1134.68026号 西奥。计算。科学。 390,编号1,1-26(2008).MSC公司:65年第68季度 34A60型 60年第68季度 93个B05 93立方 PDF格式BibTeX公司 XML格式引用 \textit{E.Asarin}等人,Theor。计算。科学。390,编号1,1--26(2008;Zbl 1134.68026) 全文: 内政部