克里斯蒂安·艾森特罗；霍尔格·赫尔曼斯；约翰·舒斯特；安德烈亚·图里尼；张丽君 对概率和马尔可夫自动机的最小商的追求。 （英语） 兹比尔1400.68132 Inf.计算。 262，第1部分，162-186（2018）。MSC公司：68问题85 65年第68季度 第68季度第60季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Eisentraut}等人，《信息计算》。262，第1部分，162--186（2018；Zbl 1400.68132） 全文： 内政部
张丽君；杨鹏飞；宋磊；霍尔格·赫尔曼斯；克里斯蒂安·艾森特罗；大卫·詹森（David N.Jansen）。；Jens Chr.Godskesen。 实际调度程序的概率互模拟。 （英语） Zbl 1398.68374号 学报信息。 55，第6号，461-488（2018）。MSC公司：68问题85 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhang}等人，《学报》第55期，第6期，第461--488页（2018年；Zbl 1398.68374） 全文： 内政部
张丽君；大卫·詹森（David N.Jansen）。 一种基于概率自动机的空间效率仿真算法。 （英语） Zbl 1345.68219号 Inf.计算。 249138-159（2016）。MSC公司：65年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhang}和\textit{D.N.Jansen}，Inf.Compute。249、138--159（2016；Zbl 1345.68219） 全文： 内政部 链接
克里斯蒂安·艾森特罗；Jens Chr.Godskesen。；霍尔格·赫尔曼斯；宋磊；张丽君 实际调度程序的概率互模拟。 （英语） Zbl 1427.68193号 Björner，Nikolaj（编辑）等人，FM 2015：形式方法。第20届国际研讨会，挪威奥斯陆，2015年6月24-26日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9109, 248-264 (2015).MSC公司：68问题85 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Eisentraut}等人，Lect。票据计算。科学。9109、248--264（2015；Zbl 1427.68193） 全文： 内政部
他，费；高晓伟；王，弯腰；张丽君 在并发概率系统的组合推理中利用加权自动机。 （英语） Zbl 1346.68133号 第42届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录，2015年1月12日至18日，印度孟买，POPL’15。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3300-9）。503-514 (2015).MSC公司：68问题85 65年第68季度 第68季度第60季度 87年第68季度 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{F.He}等人，《第42届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》，POPL’15，印度孟买，2015年1月12-18日。纽约州纽约市：计算机协会（ACM）。503--514（2015；Zbl 1346.68133） 全文： 内政部
克里斯蒂安·艾森特罗；霍尔格·赫尔曼斯；朱莉娅·克雷默；安德烈亚·图里尼；张丽君 确定分布的相似性。 （英语） Zbl 1398.68364号 Joshi，Kaustubh（编辑）等人，《系统的定量评估》。第十届国际会议，QEST 2013，阿根廷布宜诺斯艾利斯，2013年8月27日至30日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40195-4/pbk）。计算机科学课堂讲稿8054，72-88（2013）。MSC公司：68问题85 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Eisentraut}等人，Lect。票据计算。科学。8054，72--88（2013；Zbl 1398.68364） 全文： 内政部
冯、袁；张丽君 Herman算法中自稳定时间的更紧界。 （英语） Zbl 1291.68428号 信息处理。莱特。 113，第13期，486-488（2013）。MSC公司：68宽15 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit｛Y.Feng｝和\textit｛L.Zhang｝，Inf.过程。莱特。113，第13486-488号（2013年；兹bl 1291.68428） 全文： 内政部 链接
克里斯蒂安·艾森特罗；霍尔格·赫尔曼斯；约翰·舒斯特；安德烈亚·图里尼；张丽君 为概率自动机寻求最小商。 （英语） Zbl 1381.68115号 Piterman，Nir（编辑）等人，《系统构建和分析的工具和算法》。2013年3月16日至24日，第19届国际会议（TACAS 2013）在意大利罗马举行，作为欧洲软件理论与实践联合会议（ETAPS 2013）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-36741-0/pbk）。计算机科学课堂讲稿7795，16-31（2013）。MSC公司：65年第68季度 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Eisentraut}等人，Lect。票据计算。科学。7795，16-31（2013；Zbl 1381.68115） 全文： 内政部
高，杨；徐明；詹乃军；张丽君 连续时间马尔可夫链的模型检验条件CSL。 （英语） Zbl 1259.68125号 信息处理。莱特。 113，编号1-2，44-50（2013）。MSC公司：第68季度第60季度 87年第68季度 60J27型 03B48 PDF格式BibTeX公司 XML格式引用 \textit｛Y.Gao｝等人，Inf.过程。莱特。113，编号1--2，44-50（2013；Zbl 1259.68125） 全文： 内政部 链接
宋磊；张丽君；Jens Chr.Godskesen。 互模拟满足概率自动机的PCTL等价性。 （英语） Zbl 1344.68170号 Katoen，Joost-Pieter（编辑）等，CONCUR 2011–并发理论。2011年9月6日至9日，第22届国际会议，CONCUR 2011，德国亚琛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23216-9/pbk）。计算机科学课堂讲稿6901108-123（2011）。MSC公司：68问题85 03B44号 65年第68季度 第68季度第60季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Song}等人，Lect。票据计算。科学。6901108-123（2011；Zbl 1344.68170） 全文： 内政部 链接
霍尔格·赫尔曼斯；奥古斯托·帕尔马；罗伯特·塞加拉；比约恩Wachter；张丽君 概率逻辑表征。 （英语） Zbl 1210.68072号 Inf.计算。 209，第2期，154-172（2011）。MSC公司：68问题85 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Hermanns}等人，《信息计算》。209，第2号，154--172（2011；Zbl 1210.68072） 全文： 内政部
克里斯蒂安·艾森特罗；霍尔格·赫尔曼斯；张丽君 随机世界中的并发和组合。 （英语） Zbl 1287.68132号 Gastin，Paul（编辑）等人，CONCUR 2010–并发理论。第21届国际会议，CONCUR 2010，法国巴黎，2010年8月31日至9月3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15374-7/pbk）。计算机科学课堂讲稿6269，21-39（2010）。MSC公司：68问题85 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Eisentraut}等人，Lect。票据计算。科学。6269，21-39（2010；Zbl 1287.68132） 全文： 内政部 哈尔
张丽君 一种节省空间的概率模拟算法。 （英语） Zbl 1160.68432号 van Breugel，Franck（编辑）等人，CONCUR 2008–并发理论。第19届国际会议，CONCUR 2008，加拿大多伦多，2008年8月19-22日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85360-2/pbk）。计算机科学课堂讲稿5201，248-263（2008）。MSC公司：65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhang}，莱克特。票据计算。科学。5201、248--263（2008年；Zbl 1160.68432） 全文： 内政部
张丽君；霍尔格·赫尔曼斯 决定概率自动机上的模拟。 （英语） Zbl 1141.68443号 Namjoshi，Kedar S.（编辑）等人，《验证和分析自动化技术》。2007年10月22日至25日，第五届国际研讨会，ATVA 2007，日本东京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75595-1/pbk）。计算机科学课堂讲稿4762207-222（2007）。MSC公司：65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhang}和\textit{H.Hermanns}，Lect。票据计算。科学。4762，207--222（2007；Zbl 1141.68443） 全文： 内政部