安德烈·谢夫内斯库;斯蒂芬·乔布;拉杜·梅鲁塔;布兰登·摩尔;格里高·罗什乌;⑩erbnuṭ呃，Traian Florin 全通可达性逻辑。 （英语） Zbl 1421.68015号 日志。方法计算。科学。 15，第2号，第5号论文，23页（2019年）.MSC公司：68号30 03B70号 68甲19 第68季度55 68吨15 PDF格式BibTeX公司 XML格式引用 \textit｛A.Ştefănescu｝等人，日志。方法计算。科学。15，第2号，第5号论文，23页（2019年；Zbl 1421.68015） 全文： arXiv公司
瑟·特凡·乔巴赫;多雷尔·卢卡努;弗拉德·鲁苏;格里高·罗什乌 一个独立于语言的完整程序等价性证明系统。 （英语） Zbl 1355.68051号 正式Asp。计算。 28，第3期，469-497（2016）.MSC公司：68号30 03B70号 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{ö.Ciobác}等人，《形式Asp》。计算。28，第3号，469--497（2016；Zbl 1355.68051） 全文： 内政部 哈尔
约尔格恩德鲁利斯;迪米特里·亨德里克斯;雷娜·巴赫西;格里高·罗什乌 关于流相等的复杂性。 （英语） Zbl 1297.68050号 J.功能。程序。 24，第2-3号，166-217（2014）.MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{J.Endrullis}等人，J.Funct。程序。24、编号2--3、166-217（2014；Zbl 1297.68050） 全文： 内政部
何塞·梅塞盖尔;格里高·罗什乌 重写逻辑语义项目：进度报告。 （英语） 兹比尔1435.68188 Inf.计算。 231, 38-69 (2013).MSC公司：第68季度55 03B70号 68号30 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{G.Rošu}，信息计算。231、38--69（2013年；Zbl 1435.68188） 全文： 内政部
何塞·梅塞盖尔;格里高·罗什乌 重写逻辑语义项目：进度报告。 （英语） Zbl 1342.68198号 Owe，Olaf（编辑）等人，《计算理论基础》。2011年8月22日至25日在挪威奥斯陆举行的FCT 2011第18届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22952-7/pbk）。计算机科学课堂讲稿6914，1-37（2011）。MSC公司：第68季度55 03B70号 68号30 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{G.Rošu}，莱克特。注释计算。科学。6914，1--37（2011；Zbl 1342.68198） 全文： 内政部
格里高·罗什乌;楚其·埃里森;沃尔夫拉姆·舒尔特 匹配逻辑：霍尔/弗洛伊德逻辑的替代方案。 （英语） 兹比尔1308.68045 Johnson，Michael（编辑）等人，《代数方法论和软件技术》。2010年6月23日至25日，加拿大魁北克省Lac-Beauport，AMAST 2010，第13届国际会议。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-17795-8/pbk）。计算机科学课堂讲稿6486142-162（2011）。MSC公司：68号30 03B70号 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{G.Rošu}等人，Lect。注释计算。科学。6486，142--162（2011；Zbl 1308.68045） 全文： 内政部
格里高·罗什乌;多雷尔·卢卡努 圆共约：一个证明理论基础。 （英语） Zbl 1239.68067号 亚历山大·库兹（编辑）等人，《计算机科学中的代数和余代数》。第三届国际会议，2009年CALCO，意大利乌迪内，2009年9月7日至10日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03740-5/pbk）。计算机科学课堂讲稿5728127-144（2009）。MSC公司：68吨15 07年3月 68号30 PDF格式BibTeX公司 XML格式引用 \textit{G.Rošu}和\textit{D.Lucanu}，莱克特。注释计算。科学。5728127--144（2009年；Zbl 1239.68067） 全文： 内政部 链接
多雷尔·卢卡努;格里高·罗什乌;格里戈拉什 作为证明策略的常规策略中国保监会. （英语） Zbl 1279.68056号 Giesl，J.（编辑），第七届改写和编程中的简化策略国际研讨会论文集（WRS 2007），法国巴黎，2007年6月25日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记204，83-98（2008）。MSC公司：68号30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Lucanu}等人，《电子》。注释Theor。计算。科学。204、83——98（2008年；Zbl 1279.68056） 全文： 内政部
西里尔·阿尔托;霍华德·巴林格;艾伦·戈德堡;克劳斯·哈维隆德;萨尔夫拉兹·库希德;洛瑞，迈克;科琳娜·帕萨雷努;格里高·罗什乌;Koushik森;威廉·维瑟;华盛顿，里奇 结合测试用例生成和运行时验证。 （英语） Zbl 1080.68062号 西奥。计算。科学。 336，编号2-3，209-234（2005）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Artho}等人，Theor。计算。科学。336，编号2--3，209--234（2005；Zbl 1080.68062） 全文： 内政部
格里高·罗什乌 行为抽象是隐藏信息。 （英语） 兹比尔1105.68076 西奥。计算。科学。 327，第1-2号，197-221（2004）.MSC公司：68问题65 PDF格式BibTeX公司 XML格式引用 \文本{G.Rošu}，Theor。计算。科学。327，编号1--2，197-221（2004；Zbl 1105.68076） 全文： 内政部
何塞·梅塞盖尔;格里高·罗什乌 走向行为莫德：行为成员关系等式逻辑。 （英语） Zbl 1270.68194号 Moss，Lawrence S.（编辑），CMCS’2002：计算机科学中的协同代数方法。2002年4月6日至7日，法国格勒诺布尔，第五次研讨会会议记录（ETAPS 2002卫星活动）。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记65，第1期，197-253（2002）。MSC公司：68问题65 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{G.Rošu}，电子。注释Theor。计算。科学。65，第1号，197--253（2002；Zbl 1270.68194） 全文： 内政部