欧根·伊安·戈里亚克;乔治亚娜·卡尔泰斯;多雷尔·卢卡努;奥纳·安德烈;格里戈拉什 Maude元语言应用程序的模式。 (英语) Zbl 1347.68083号 Grigore(编辑),《第七届重写逻辑及其应用国际研讨会论文集》(WRLA 2008),匈牙利布达佩斯,2008年3月29日至30日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》238,第3期,121-138(2009)。MSC公司:68纳米30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.-I.Goriac}等人,《电子》。注释Theor。计算。科学。238,第3号,121--138(2009;Zbl 1347.68083) 全文: DOI程序
瓦那州安德烈;多雷尔·卢卡努 膜系统的基于策略的证明演算。 (英语) Zbl 1347.68126号 Grigore(编辑),《第七届重写逻辑及其应用国际研讨会论文集》(WRLA 2008),匈牙利布达佩斯,2008年3月29日至30日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》238,第3期,23-43(2009)。MSC公司:2005年第68季度 2010年第68季度 2012年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{O.Andrei}和\textit{D.Lucanu},电子。注释Theor。计算。科学。238,第3号,23-43(2009;Zbl 1347.68126) 全文: DOI程序
奥纳·安德烈;加布里埃尔·乔巴努;多雷尔·卢卡努 膜系统操作语义的重写逻辑框架。 (英语) Zbl 1111.68064号 西奥。计算。科学。 373,第3号,163-181(2007).MSC公司:第68季度55 2010年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Andrei}等人,Theor。计算。科学。373,第3号,163--181(2007;Zbl 1111.68064) 全文: DOI程序
奥纳·安德烈;多雷尔·卢卡努;加布里埃尔·乔巴努 膜计算中的操作语义和重写逻辑。 (英语) Zbl 1273.68201号 Peter Mosses等人,《结构操作语义学第二次研讨会论文集》(SOS 2005),葡萄牙里斯本,2005年7月10日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》156,第1期,57-78(2006)。MSC公司:第68季度55 2005年第68季度 2010年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Andrei}等人,《电子》。注释Theor。计算。科学。156,编号1,57--78(2006;Zbl 1273.68201) 全文: 链接
瓦那州安德烈;加布里埃尔·乔巴努;多雷尔·卢卡努 通过改写策略表达膜的控制机制。 (英语) Zbl 1187.68223号 Hoogeboom,Hendrik Jan(编辑)等人,《膜计算》。2006年7月17日至21日在荷兰莱顿举行的2006年世界气象大会第七届国际研讨会。修订、精选和邀请论文。柏林:施普林格出版社(ISBN 978-3-540-69088-7/pbk)。计算机科学课堂讲稿4361154-169(2006)。MSC公司:2010年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Andrei}等人,Lect。注释计算。科学。4361154--169(2006年;Zbl 1187.68223) 全文: DOI程序
奥纳·安德烈;加布里埃尔·乔巴努;多雷尔·卢卡努 P系统的结构操作语义。 (英语) Zbl 1135.68400号 Freund,Rudolf(编辑)等人,《膜计算》。2005年7月18日至21日在奥地利维也纳举行的2005年世界气象大会第六届国际研讨会。修订选定和邀请的论文。柏林:施普林格出版社(ISBN 3-540-30948-9/pbk)。计算机科学课堂讲稿3850,31-48(2006)。MSC公司:2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Andrei}等人,Lect。注释计算。科学。3850、31-48(2006年;Zbl 1135.68400) 全文: DOI程序
奥纳·安德烈;加布里埃尔·乔巴努;多雷尔·卢卡努 P系统的可执行规范。 (英语) Zbl 1117.68440号 Mauri,Giancarlo(编辑)等人,《膜计算》。2004年6月14日至16日在意大利米兰举行的2004年WMC第五届国际研讨会。修改选定和邀请的论文。柏林:施普林格出版社(ISBN 3-540-25080-8/pbk)。计算机科学讲座笔记3365126-145(2005)。MSC公司:68问题65 2012年第68季度 2010年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Andrei}等人,Lect。注释计算。科学。3365、126--145(2005年;Zbl 1117.68440) 全文: DOI程序