盖雷德,卡格达斯E。;奥斯卡·H·伊巴拉。;拉维库马尔,巴拉;苏建文 服务组合中的最低成本委托。 (英语) Zbl 1171.68002号 西奥。计算。科学。 409,第3期,417-431(2008).MSC公司:64岁以下 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.E.Gerede}等人,Theor。计算。科学。409,第3号,417--431(2008;Zbl 1171.68002) 全文: 内政部
当、哲;奥斯卡·H·伊巴拉。;苏建文 关于由自动机建模的(e)服务的组合和前瞻委托。 (英语) Zbl 1077.68042号 西奥。计算。科学。 341,编号1-3,344-363(2005).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Dang}等人,Theor。计算。科学。341,编号1--3,344--363(2005;Zbl 1077.68042) 全文: 内政部
傅翔;特维克布尔坦;苏建文 对话协议:反应式电子服务规范和验证的形式主义。 (英语) Zbl 1071.68002号 西奥。计算。科学。 328,第1-2、19-37号(2004年).MSC公司:68M10个 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{X.Fu}等人,Theor。计算。科学。328,编号1--2,19-37(2004;Zbl 1071.68002) 全文: 内政部 链接
奥斯卡·H·伊巴拉。;苏建文 用其他数据结构扩充离散时间自动机。 (英语) Zbl 1061.68094号 西奥。计算。科学。 289,第1期,191-204(2002).MSC公司:65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{O.H.Ibarra}和\textit{J.Su},Theor。计算。科学。289,第1号,191--204(2002;Zbl 1061.68094) 全文: 内政部
奥斯卡·H·伊巴拉。;苏建文;当、哲;特维克布尔坦;理查德·凯默勒(Richard A.Kemmer)。 计数器和验证问题。 (英语) Zbl 1061.68095号 西奥。计算。科学。 289,第1期,165-189(2002).MSC公司:65年第68季度 2005年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.H.Ibarra}等人,Theor。计算。科学。289,第1号,165--189(2002;Zbl 1061.68095) 全文: 内政部