罗马人Manevich;塔尔省列夫·阿米;穆利·萨吉夫;甘尼桑拉马林加姆;乔什·伯丁 用于并发形状分析的堆分解。 （英语） Zbl 1149.68358号 Alpunte，María（编辑）等人，《静态分析》。2008年7月16日至18日在西班牙巴伦西亚举行的2008年SAS第15届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-69163-1/pbk）。计算机科学课堂讲稿5079，363-377（2008）。MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Manevich}等人，Lect。注释计算。科学。5079、363--377（2008年；Zbl 1149.68358） 全文： 内政部
J·伯丁。;列夫·阿米，T。;马内维奇（Manevich，R.）。;拉马林加姆，G。;萨吉夫，M。 并发形状分析的线程量化。 （英语） Zbl 1155.68360号 Gupta，Aarti（编辑）等人，《计算机辅助验证》。第20届国际会议，CAV 2008，美国新泽西州普林斯顿，2008年7月7日至14日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70543-7/pbk）。计算机科学课堂讲稿5123399-413（2008）。MSC公司：68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{J.Berdine}等人，Lect。注释计算。科学。5123、399--413（2008年；Zbl 1155.68360） 全文： 内政部
马涅维奇，罗马;约翰·菲尔德;托马斯·亨辛格（Thomas A.Henzinger）。;拉马林加姆，G。;穆利·萨吉夫 基于抽象反例的powerset域精化。 （英语） Zbl 1149.68357号 Reps，Thomas（编辑）等人，《程序分析与编译，理论与实践》。在莱因哈德·威廉60岁生日之际，为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-540-71315-9/pbk）。计算机科学课堂讲稿4444273-292（2007）。MSC公司：68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Manevich}等人，Lect。注释计算。科学。4444273--292（2007年；Zbl 1149.68357） 全文： 内政部
马内维奇（Manevich，R.）。;J·伯丁。;库克，B。;拉马林加姆，G。;萨吉夫，M。 通过图分解进行形状分析。 （英语） Zbl 1186.68115号 Grumberg，Orna（编辑）等人，《系统构建和分析的工具和算法》。2007年3月24日至4月1日在葡萄牙布拉加举行的第13届国际会议TACAS 2007，是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-71208-4/pbk）。计算机科学课堂讲稿4424，3-18（2007）。MSC公司：68号30 68第05页 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{R.Manevich}等人，Lect。注释计算。科学。4424，3--18（2007年；Zbl 1186.68115） 全文： 内政部
吉拉德·阿诺德;罗马人Manevich;穆利·萨吉夫;冉·沙哈姆 通过交叉抽象组合形状分析。 （英语） 兹比尔1176.68111 艾默生·E·艾伦（编辑）等人，《验证、模型检查和抽象解释》。第七届国际会议，VMCAI 2006，查尔斯顿，南卡罗来纳州，美国，2006年1月8日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-31139-4/pbk）。计算机科学课堂讲稿3855，33-48（2006）。MSC公司：60年第68季度 68号30 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{G.Arnold}等人，Lect。注释计算。科学。3855、33-48（2006年；Zbl 1176.68111） 全文： 内政部
罗马人Manevich;E.雅哈夫。;拉马林加姆，G。;穆利·萨吉夫 单链表的谓词抽象和规范抽象。 （英语） Zbl 1111.68398号 Cousot，Radhia（编辑），验证，模型检查和抽象解释。第六届国际会议，VMCAI 2005，巴黎，法国，2005年1月17日至19日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-24297-X/pbk）。计算机科学讲座笔记3385，181-198（2005）。MSC公司：68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Manevich}等人，Lect。注释计算。科学。3385、181--198（2005年；Zbl 1111.68398） 全文： 内政部
马涅维奇，罗马;穆利·萨吉夫;甘尼桑拉马林加姆;约翰·菲尔德 部分析取堆抽象。 （英语） Zbl 1104.68419号 Giacobazzi，Roberto（编辑），静态分析。2004年8月26日至28日，第11届国际研讨会，SAS 2004，意大利维罗纳。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22791-1/pbk）。计算机科学课堂讲稿3148265-279（2004）。MSC公司：68号30 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{R.Manevich}等人，Lect。注释计算。科学。3148265--279（2004；Zbl 1104.68419） 全文： 内政部
马内维奇（Manevich，R.）。;拉马林加姆，G。;J·菲尔德。;戈亚尔，D。;萨吉夫，M。 紧凑地表示静态分析的一阶结构。 （英语） Zbl 1015.68511号 Hermenegildo，Manuel V.（编辑）等，《静态分析》。2002年9月17日至20日在西班牙马德里举行的2002年SAS第九届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2477, 196-212 (2002).MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Manevich}等人，Lect。注释计算。科学。2477196--212（2002年；Zbl 1015.68511） 全文： 链接