Cecilia E. Nugraheni
TitleCited byYear
Formal verification of parameterized multi-agent systems using predicate diagrams*
CE Nugraheni
Computation tools, 2011
62011
Pembelajaran Pemrograman Dengan Pendekatan Game Based Learning
L Adhie, C Nugraheni
Prosiding Seminar Nasional Ilmu Komputer dan Aplikasinya 3 (1), C135-C139, 2008
52008
Obstacles avoidance for intelligent telepresence robot using interval Type-2 FLC
W Budiharto, B Kanigoro, M Ohyver, M Shodiq, C Nugraheni, R Lim, ...
CIC Express Lett 8 (3), 821-827, 2014
42014
Collaboration of multi-agent and hyper-heuristics systems for production scheduling problem
CE Nugraheni, L Abednego
International Journal of Computer, Electrical, Automation, Control and …, 2013
42013
Formal verification of ring-based leader election protocol using predicate diagrams
CE Nugraheni
Int. J. Comput. Sci. Netw. Secur 9 (8), 1-8, 2009
42009
Predicate diagrams as Basis for the verification of reactive systems
CE Nugraheni
lmu, 2004
42004
On the development of hyper heuristics based framework for scheduling problems in textile industry
CE Nugraheni, L Abednego
International Journal of Modeling and Optimization 6 (5), 272, 2016
32016
A comparison of heuristics for scheduling problems in textile industry
CE Nugraheni, L Abednego
Jurnal Teknologi 78 (6-6), 2016
32016
A Block World Problem Based Sudoku Solver
L Abednego, C Nugraheni
International Journal of Computer, Electrical, Automation. Control and …, 2014
32014
Diagram-based verification of parameterized systems
CE Nugraheni
JOURNAL OF COMBINATORIAL MATHEMATICS AND COMBINATORIAL COMPUTING 65, 91, 2008
32008
Optimasi expert advisor dengan analisis fundamental
L Abednego, CE Nugraheni
Lembaga Penelitian dan Pengabdian Kepada Masyarakat UNPAR, 2017
22017
Multi Agent Hyper-Heuristics based framework for production scheduling problem
CE Nugraheni, L Abednego
2016 International Conference on Informatics and Computing (ICIC), 309-313, 2016
22016
Pembangunan Expert Advisor dengan Analisis Fundamental
L Abednego, CE Nugraheni
Lembaga Penelitian dan Pengabdian Kepada Masyarakat UNPAR, 2016
22016
A Combined Meta-Heuristic with Hyper-Heuristic Approach to Single Machine Production Scheduling Problem
CE Nugraheni, L Abednego
International Journal of Computer, Control, Quantum and Information …, 2014
22014
Universal properties verification of parameterized parallel systems
CE Nugraheni
International Conference on Computational Science and Its Applications, 453-462, 2005
22005
Cellular automata based entrepreneurial growth model
CE Nugraheni, V Natali
Advanced Science Letters 24 (12), 9410-9413, 2018
12018
A Tabu-Search Based Constructive Hyper-heuristics for Scheduling Problems in Textile Industry
CE Nugraheni, L Abednego
Journal of Industrial and Intelligent Information Vol 5 (2), 2017
12017
A STUDY ON AGENT SCHEDULING SCENARIOS IN MULTI-AGENT SYSTEMS.
CE Nugraheni, L Abednego
Journal of Theoretical & Applied Information Technology 76 (2), 2015
12015
Modelling Sudoku Puzzles as Block-world Problems
C Nugraheni, L Abednego
Proceedings of World Academy of Science, Engineering and Technology, 814, 2013
12013
Perangkat lunak untuk penghitungan manfaat program pensiun normal di unpar
F Kristiani, CE Nugraheni
Lembaga Penelitian dan Pengabdian Kepada Masyarakat Universitas Katolik …, 2012
12012
The system can't perform the operation now. Try again later.
Articles 1–20