Advances in Computing

Advances in Computing deals with the theoretical foundations of information and computation and their implementation and application in computer systems. It publishes regular papers and special issues on specific topics of interest to international audiences of educational researchers.

Rose Hafsah Ab. Rauf

Editorial Board Member of Advances in Computing

Lecturer, Mara University of Technology, Malaysia

Research Areas

Theory of Computation, Digital Forensic


2008Ph.D.University of Wales, Swansea, United Kingdom
1997Sarjana SainsUniversiti Kebangsaan Malaysia
1985B.Sc Universiti Sains Malaysia


Member of ACM

Publications: Conferences/Workshops/Symposiums/Journals/Books

[1]  A Provable Correct Translation of the λ-Calculus into a Mathematical Model of C++, Rose Hafsah Ab. Rauf, Ulrich Berger, Anton Setzer, Theory of Computational System, 43:298-321, Springer, 2008.
[2]  Integrating Functional Programming Into C++: Implementation and Verfication, Rose Hafsah Ab. Rauf, Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CIE 2006, Swansea, UK, Jun/Jul 2006
[3]  Functional Concepts in C++, Rose Hafsah Ab. Rauf, Ulrich Berger, Anton Setzer, In: Henrik Nilsson (Ed): Trends in Functional Programming, Intellect, Bristol & Chicago, 2007.
[4]  IT Kini, Zainab Abu Bakar, Rose Hafsah Ab. Rauf et. al., McGraw-Hill (Malaysia) Sdn. Bhd, 2003.
[5]  Panduan dan Sumber Pengkomputeran, Azizi NgahTasir, Rose Hafsah Ab. Rauf et. al, McGraw-Hill (Malaysia), 2002.
[6]  Asas Pengkomputeran, Azizi Ngah Tasir, Rose Hafsah Ab. Rauf et. al., ACE, McGraw-Hill (Malaysia), 2000.
[7]  Asas Pengkomputeran, Timothy J. O. Leary, Linda I. O' Leary, Rose Hafsah Ab.Rauf et. al., McGraw-Hill (Malaysia), 2000.
[8]  Computer Problem Solving: From Algorithm To Implementation book still in progress of writing.