1.Termination in a Pi-calculus with Subtyping

作　　者：Ioana Cristescu ;Daniel Hirschkoff

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;64:44-58.doi:10.4204/EPTCS.64.4

出版社：Open Publishing Association

文章 ID：83120278

文章详细全文下载
2.Certification of Software Reliability in Collaborative Systems

作　　者：Marian Pompiliu CRISTESCU ;Ciprian CUCU ;Corina Ioana CRISTESCU 等

出　　处：Journal of Applied Collaborative Systems. 2010 ;2(2):49.

出版社：Journal of Applied Collaborative Systems

文章 ID：86836147

文章详细全文下载
3.The Cost Influence on Reliability and Security of the Software Systems

作　　者：Marian Pompiliu Cristescu ;Corina Ioana Cristescu ;Laura Cacovean 等

出　　处：Journal of Mobile, Embedded and Distributed Systems. 2010 ;2(2):69-73.

出版社：Journal of Mobile, Embedded and Distributed Systems

文章 ID：100175814

文章详细全文下载
4.Open Source Software Reliability. Features and Tendence

作　　者：Marian-Pompiliu CRISTESCU ;Corina-Ioana CRISTESCU

出　　处：Open Source Science Journal. 2009 ;1(1):163.

出版社：Open Source Science Journal

文章 ID：84157731

文章详细全文下载
5.The Cost Influence on Reliability and Security of the Software Systems

作　　者：Marian Pompiliu Cristescu ;Corina Ioana Cristescu ;Laura Cacovean 等

出　　处：Journal of Mobile, Embedded and Distributed Systems. 2010 ;2(2):69-73.

出版社：Journal of Mobile, Embedded and Distributed Systems

文章 ID：203585927

文章详细
6.How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation

作　　者：Clment Aubert ;Ioana Cristescu

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:7:1-7:23.doi:10.4230/LIPIcs.CONCUR.2020.7

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：255822866

文章详细全文下载
7.Interactions between Causal Structures in Graph Rewriting Systems

作　　者：Ioana Cristescu ;Walter Fontana ;Jean Krivine

出　　处：Electronic Proceedings in Theoretical Computer Science. 2019 ;286:65-78.doi:10.4204/EPTCS.286.6

出版社：Open Publishing Association

文章 ID：1034734576

文章详细

	有本地全文	5篇
	有全文链接	2篇

	Ioana Cristescu	3篇
	Corina Ioana Cristescu	2篇
	Florin Martin	2篇
	Laura Cacovean	2篇
	Marian Pompiliu Cristescu	2篇

	Ciprian CUCU	1篇
	Clment Aubert	1篇
	Corina Ioana CRISTESCU	1篇
	Corina-Ioana CRISTESCU	1篇
	Daniel Hirschkoff	1篇
	Jean Krivine	1篇
	Laurentiu CIOVICA	1篇
	Marian Pompiliu CRISTESCU	1篇
	Marian-Pompiliu CRISTESCU	1篇
	Walter Fontana	1篇

	罗马尼亚	4篇
	澳大利亚	2篇
	德国	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Ioana Cristescu")))) )) ) )"

	Electronic Proceedings in Theoretical Computer Science	2篇
	Journal of Mobile, Embedded and Distributed Systems	2篇
	Journal of Applied Collaborative Systems	1篇
	LIPIcs : Leibniz International Proceedings in Informatics	1篇
	Open Source Science Journal	1篇

	2020	1篇
	2019	1篇
	2011	1篇
	2010	3篇
	2009	1篇