恩斯特·莫里茨·哈恩;李广元;斯文·舍韦;安德烈亚·图里尼;张丽君 没有确定的惰性概率模型检查。 （英语） Zbl 1374.68290号 Aceto，Luca（编辑）等人，第26届并发理论国际会议，CONCUR’15，西班牙马德里，2015年9月1日至4日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-91-0）。LIPIcs–莱布尼茨国际信息学论文集42，354-367（2015）。MSC公司：60年第68季度 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Hahn}等人，LIPIcs——莱布尼茨国际程序。通知。42354--367（2015年；Zbl 1374.68290） 全文： 内政部 arXiv公司
彼得·布利切夫;亚历山大·戴维;Larsen，Kim G。;李广元 一个\（\mathrm片段的有效控制器综合{MTL}_{0，\infty}\）。 （英语） 兹比尔1360.68578 学报信息。 51，第3-4号，165-192（2014）.MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bulychev}等人，《信息学报》第51期，第3-4165-192号（2014年；Zbl 1360.68578） 全文： 内政部
彼得·布利切夫;亚历山大·戴维;金·古德斯特兰·拉森;Legay、Axel;李广元;丹尼·鲍尔森（Danny Bougsted Poulsen）;阿梅莉·施泰纳 加权度量时态逻辑的基于监视器的统计模型检查。 （英语） Zbl 1352.68147号 Björner，Nikolaj（编辑）等人，《编程逻辑、人工智能和推理》。第18届国际会议，LPAR-18，委内瑞拉梅里达，2012年3月11-15日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28716-9/pbk）。计算机科学课堂讲稿7180168-182（2012）。MSC公司：60年第68季度 03B44号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bulychev}等人，Lect。注释计算。科学。7180、168--182（2012；Zbl 1352.68147） 全文： 内政部 哈尔
李广元 使用LU抽象检查定时Büchi自动机的空性。 （英语） Zbl 1262.68093号 Ouaknine，Joöl（编辑）等，时间系统的形式化建模和分析。2009年9月14-16日在匈牙利布达佩斯举行的2009年FORMATS第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04367-3/pbk）。计算机科学课堂讲稿5813，228-242（2009）。MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Li}，莱克特。注释计算。科学。5813228-242（2009年；兹比尔1262.68093） 全文： 内政部
颜荣杰;李广元;张文良;彭云泉 时间自动机符号验证的改进。 （英语） Zbl 1215.68136号 Derrick，John（编辑）等人，《网络和分布式系统的形式化技术——FORTE 2007》。2007年6月27日至29日在爱沙尼亚塔林举行的第27届IFIP工作组6.1国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73195-5/pbk）。计算机科学课堂讲稿4574196-210（2007）。MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Yan}等人，Lect。注释计算。科学。4574196-210（2007年；Zbl 1215.68136） 全文： 内政部
颜荣杰;李广元;徐玉波;刘春明;唐志松 有限精度时间自动机的可达性检验。 （中文。英文摘要） Zbl 1096.68086号 J.软件。 17，第1期，第1-10页（2006年）.MSC公司：65年第68季度 60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{R.Yan}等人，J.Softw。17，编号1，1--10（2006；Zbl 1096.68086）
颜荣杰;李广元;唐志松 有限精度时间自动机的符号模型检验。 （英语） Zbl 1169.68520号 Dang Van Hung（编辑）等人，《计算的理论方面——ICTAC 2005》。第二届国际学术讨论会，越南河内，2005年10月17日至21日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-29107-5/pbk）。计算机科学课堂讲稿3722，272-287（2005）。MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Yan}等人，Lect。注释计算。科学。3722、272--287（2005年；Zbl 1169.68520） 全文： 内政部
李广元;唐志松 将连续时间时序逻辑转换为时间自动机。 （英语） Zbl 1254.03026号 Atsushi Ohori（编辑），《编程语言和系统》。第一届亚洲研讨会，2003年APLAS，2003年11月27日至29日，中国北京。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20536-5/pbk）。计算机科学课堂讲稿2895，322-338（2003）。MSC公司：03B44号 03B25号 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Li}和\textit{Z.Tang}，Lect。注释计算。科学。28950322-338（2003年；兹bl 1254.03026） 全文： 内政部