泽维尔·阿拉米吉恩;乌里·法伦贝格;圣埃芬·高伯特;里卡多·D·卡茨。;Legay、Axel 热带Fourier-Motzkin消除,应用于实时验证。 (英语) Zbl 1301.90069号 国际代数计算杂志。 24,第5期,569-607(2014).MSC公司:90C25型 15A80型 91A46型 90立方厘米 第68季度85 52A01型 52B55号 PDF格式BibTeX公司 XML格式引用 \textit{X.Allamigeon}等人,《国际代数计算》。24,第5号,569--607(2014;Zbl 1301.90069) 全文: 内政部 arXiv公司
圣埃芬·高伯特;Jean Mairesse女士 任务资源模型和((max,+))自动机。 (英语) Zbl 0896.68097号 Jeremy Gunawardena(编辑),Idempotency。基于研讨会,英国布里斯托尔,1994年10月3日至7日,剑桥:剑桥大学出版社。133-144 (1998).MSC公司:70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Gaubert}和\textit{J.Mairesse},in:幂等性。基于1994年10月3日至7日在英国布里斯托尔举行的研讨会。剑桥:剑桥大学出版社。133——144(1998年;Zbl 0896.68097)
圣埃芬·高伯特 (max,+)自动机的性能评估。 (英语) Zbl 0855.93019号 IEEE传输。自动化。控制 40,第12期,2014-2025(1995). 审核人:G.J.Olsder(代尔夫特) MSC公司:93B25型 93A10号 93E03型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Gaubert},IEEE传输。自动化。Control 40,No.12,2014--2025(1995;Zbl 0855.93019) 全文: 内政部