1.Formal Verification of Ring-based Leader Election Protocol Using Predicate Diagrams

作　　者：Cecilia E. Nugraheni

出　　处：International Journal of Computer Science and Network Security. 2009 ;9(8).

出版社：International Journal of Computer Science and Network Security

文章 ID：47217650

文章详细全文下载
2.Diagram-Based Verification of Real-Time Systems using Timed Predicate Diagrams

作　　者：Cecilia E. Nugraheni

出　　处：International Journal of Computer Science and Network Security. 2006 ;6(12):18-27.

出版社：International Journal of Computer Science and Network Security

文章 ID：46398580

文章详细全文下载
3.A Genetic Programming based Hyper-Heuristic for Production Scheduling in Apparel Industry

作　　者：Cecilia E. Nugraheni ;Luciana Abednego ;Maria Widyarini

出　　处：Computer Science & Information Technology. 2020 ;10(12):119-128.doi:10.5121/csit.2020.101212

出版社：Academy & Industry Research Collaboration Center (AIRCC)

文章 ID：259405111

文章详细全文下载
4.A STUDY ON AGENT SCHEDULING SCENARIOS IN MULTI-AGENT SYSTEMS

作　　者：CECILIA E. NUGRAHENI ;LUCIANA ABEDNEGO

出　　处：Journal of Theoretical and Applied Information Technology. 2015 ;76(2).

出版社：Journal of Theoretical and Applied

文章 ID：187140661

文章详细全文下载
5.Formal Verification of Ring-based Leader Election Protocol using Predicate Diagrams

作　　者：Cecilia E. Nugraheni

出　　处：International Journal of Computer Science and Network Security. 2009 ;9(8):1-8.

出版社：International Journal of Computer Science and Network Security

文章 ID：186858991

文章详细

	有本地全文	4篇
	有全文链接	1篇

	韩国	3篇
	印度	1篇
	巴基斯坦	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("CECILIA E. NUGRAHENI")))) )) ) )"

	Cecilia E. Nugraheni	4篇
	CECILIA E. NUGRAHENI	1篇
	LUCIANA ABEDNEGO	1篇
	Luciana Abednego	1篇
	Maria Widyarini	1篇

	International Journal of Computer Science and Network Security	3篇
	Computer Science & Information Technology	1篇
	Journal of Theoretical and Applied Information Technology	1篇

	2020	1篇
	2015	1篇
	2009	2篇
	2006	1篇