Predicate diagrams as basis for the verification of reactive systems. - Cecilia E. Nugraheni (Hieronymus, 2004)

Universal Properties Verification of Parameterized Parallel Systems. - Cecilia E. Nugraheni (ICCSA (3), 2005)

Forex Trading Robot with Technical and Fundamental Analysis. - Luciana Abednego; Cecilia E. Nugraheni; Irvan Rinaldy (J. Comput., 2018)

On the Development of Production Scheduling Application for Micro and Small Medium Enterprises in Apparel Industry. - Cecilia E. Nugraheni; Chandra Wijaya; Raymond C. Putra; Dimas Kurniawan (DMI, 2023)