Tim A.C.Willemse。 混合自动机在进程代数中的嵌入。 （英语） Zbl 1196.68122号 Boiten，Eerke A.（编辑）等，《综合形式方法》。2004年4月4日至7日在英国坎特伯雷举行的第四届国际会议，IFM 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21377-5/pbk）。计算机科学课堂讲稿2999343-362（2004）。MSC公司：65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.A.C.Willemse}，莱克特。注释计算。科学。2999934-362（2004年；兹bl 1196.68122） 全文： DOI程序
曼努埃拉·布乔里亚努（Manuela L.Bujorianu）。 扩展随机混合系统及其可达性问题。 （英语） Zbl 1135.93373号 Alur，Rajeev（编辑）等人，《混合系统：计算和控制》。2004年3月25日至27日在美国宾夕法尼亚州费城举行的HSCC 2004第七届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21259-0/pbk）。计算机科学课堂讲稿2993234-249（2004）。MSC公司：93E03型 93个B03 60J05型 PDF格式BibTeX公司 XML格式引用 \textit{M.L.Bujorianu}，莱克特。注释计算。科学。2993234--249（2004年；Zbl 1135.93373） 全文： DOI程序
王法恩 具有类BDD数据结构的线性混合系统的符号参数安全性分析。 （英语） Zbl 1103.68642号 Alur，Rajeev（编辑）等人，《计算机辅助验证》。第16届国际会议，CAV 2004，美国马萨诸塞州波士顿，2004年7月13日至17日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22342-8/pbk）。计算机科学讲稿3114，295-307（2004）。MSC公司：60年第68季度 68磅05分 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Wang}，莱克特。注释计算。科学。3114295-307（2004；Zbl 1103.68642） 全文： DOI程序
弗莱尔·鲁比奥，C。;埃尔南德斯·恩西纳斯。;霍亚·怀特，S。;马丁·德尔·雷伊。;罗德里格斯·Sánchez，G。 在密码学中使用线性混合细胞自动机作为伪随机比特发生器。 （英语） Zbl 1161.68439号 神经平行科学。计算。 12，第2期，175-192（2004）.MSC公司：68克80 94A60型 65立方厘米 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{C.Fraile Rubio}等人，《神经平行科学》。计算。12，第2号，175--192（2004；Zbl 1161.68439）
Trakhtenbrot，学士。 理解连续时间设置中的基本自动机理论。 （英语） Zbl 1082.68060号 芬丹。通知。 62，第1期，69-121（2004）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.A.Trakhtenbrot}，芬丹。通知。62，第1号，69-121（2004；Zbl 1082.68060）
安东尼奥蒂，M。;C.广场。;Policriti，A。;M.西蒙。;米什拉，B。 通过相互模拟和崩溃来控制生化模型的复杂性：理论与实践。 （英语） Zbl 1070.68059号 西奥。计算。科学。 325，第1期，第45-67页（2004年）.MSC公司：65年第68季度 68问题85 92C40型 37N25号 PDF格式BibTeX公司 XML格式引用 \textit{M.Antoniotti}等人，Theor。计算。科学。325，编号1，45-67（2004；Zbl 1070.68059） 全文： DOI程序
李宣东;赵建华;郑涛;李勇;郑国良 工期约束的正则表达式。 （英语） Zbl 1086.68076号 正式Asp。计算。 16，第2期，155-163（2004）.MSC公司：65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit｛X.Li｝等人，正式Asp。计算。16，第2号，155--163（2004；Zbl 1086.68076） 全文： DOI程序
拉杰夫·阿鲁尔;桑帕斯·坎南;萨尔瓦多拉托雷 混合自动机中的多面体流。 （英语） Zbl 1073.68038号 形式方法系统。设计。 24，第3期，261-280（2004）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人，《形式方法系统》。设计。24，第3号，261--280（2004；Zbl 1073.68038） 全文： DOI程序
罗伯特·博世;诡计，迈克尔 三种寿命设计的约束编程和混合公式。 （英语） Zbl 1156.90471号 安·Oper。物件。 130, 41-56 (2004).MSC公司：90 C90 90立方厘米 90立方 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{R.Bosch}和\textit{M.Trick}，Ann.Oper。第130号决议，第41-56号决议（2004年；Zbl 1156.90471） 全文： 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程序