巴巴拉·迪·詹保罗;萨尔瓦多拉托雷;那不勒斯,玛格丽塔 参数度量时间间隔逻辑。 (英语) Zbl 1317.68112号 西奥。计算。科学。 564131-148(2015年).MSC公司:60年第68季度 03B25号 03B44号 05年3月 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Di Giampaolo}等人,Theor。计算。科学。564131-148(2015;Zbl 1317.68112) 全文: DOI程序
马可·费拉;萨尔瓦多拉托雷;阿尼埃洛·穆拉诺 时间博弈的自动机理论决策。 (英语) Zbl 1301.68177号 西奥。计算。科学。 515, 46-63 (2014). 审核人:维克托·舒潘(法国) MSC公司:60年第68季度 91A05型 91A43型 65年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \文本{M.Faella}等人,Theor。计算。科学。515、46-63(2014年;Zbl 1301.68177) 全文: DOI程序
劳拉,博泽利;萨尔瓦多拉托雷 上下界参数时间自动机的决策问题。 (英语) Zbl 1186.68245号 形式方法系统。设计。 35,第2期,121-151(2009).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}和\textit{S.La Torre},《形式方法系统》。设计。35,第2号,121--151(2009;Zbl 1186.68245) 全文: DOI程序
拉杰夫·阿鲁尔;萨尔瓦多拉托雷;乔治·帕帕斯。 加权时间自动机中的最优路径。 (英语) Zbl 1068.68080号 西奥。计算。科学。 318,第3期,297-322(2004).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,Theor。计算。科学。318,第3号,297--322(2004;Zbl 1068.68080) 全文: DOI程序
萨尔瓦多拉托雷;那不勒斯,玛格丽塔 定时树上的有限自动机。 (英语) Zbl 1032.68095号 西奥。计算。科学。 293,第3期,479-505(2003). 审核人:克里斯蒂安·卡鲁德(奥克兰) MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.La Torre}和\textit{M.Napoli},Theor。计算。科学。293,第3号,479--505(2003;Zbl 1032.68095) 全文: DOI程序
萨尔瓦多拉托雷;那不勒斯,玛格丽塔 带有时态逻辑应用程序的时间树自动机。 (英语) Zbl 1033.68065号 学报信息。 38,第2期,第89-116页(2001年).MSC公司:65年第68季度 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.La Torre}和\textit{M.Napoli},《学报》第38期,第2期,第89-116页(2001年;Zbl 1033.68065) 全文: DOI程序