鲁道夫·戈麦斯 使用Uppaal完成带截止日期的模型检查时间自动机。 （英语） Zbl 1259.68126号 正式Asp。计算。 25，第2期，289-318（2013）.MSC公司：60年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛R.Gómez｝，正式Asp。计算。25，第2号，289--318（2013；Zbl 1259.68126） 全文： 内政部
鲁道夫·戈麦斯 将带有截止日期的时间自动机合成为Uppaal时间自动机。 （英语） Zbl 1262.68091号 Ouaknine，Joöl（编辑）等，时间系统的形式化建模和分析。第七届国际会议，FORMATS 2009，匈牙利布达佩斯，2009年9月14日至16日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04367-3/pbk）。计算机科学课堂讲稿5813179-194（2009）。MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Gómez}，莱克特。票据计算。科学。5813、179--194（2009年；Zbl 1262.68091） 全文： 内政部
鲁道夫·戈麦斯；霍华德·鲍曼 有效检测Zeno运行在时间自动机中。 （英语） Zbl 1141.68435号 Raskin，Jean-François（编辑）等，时间系统的形式化建模和分析。第五届国际会议，FORMATS 2007，奥地利萨尔茨堡，2007年10月3-5日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75453-4/pbk）。计算机科学课堂讲稿4763195-210（2007）。MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.戈麦斯}和\textit{H.鲍曼}，莱克特。票据计算。科学。4763195-210（2007年；Zbl 1141.68435） 全文： 内政部 链接
霍华德·鲍曼；鲁道夫·戈麦斯 如何停止计时。 （英语） Zbl 1105.68059号 正式Asp。计算。 18，第4期，459-493（2006）.MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Bowman}和\textit{R.Gomez}，正式Asp。计算。18，第4号，459--493（2006；Zbl 1105.68059） 全文： 内政部
霍华德·鲍曼；鲁道夫·戈麦斯 并发理论。为不定时和定时并发系统建模的微积分和自动机。 （英语） Zbl 1140.68046号 伦敦：施普林格（ISBN 1-85233-895-4/hbk）。第二十四、435页。(2006). 审核人：阿列克伯·阿利耶夫（巴库） MSC公司：68问题85 65年第68季度 60年第68季度 64岁以下 68-01 68-02 PDF格式BibTeX公司 XML格式引用 \textit{H.Bowman}和\textit{R.Gomez}，并发理论。为不定时和定时并发系统建模的微积分和自动机。伦敦：Springer（2006；Zbl 1140.68046）