This website is best viewed in a browser that supports web standards.

Skip to content or, if you would rather, Skip to navigation.

Northwest Missouri State University

Dr. Aziz Fellah

Dr. Aziz Fellah



2290 Colden Hall


660.562.1963 (fax)

Joined Northwest in 2016

Assistant Professor


  • Ph.D. Computer Science, Kent State University, Kent, Ohio, USA
  • M.S. Computer Science, Case Western Reserve University, Cleveland, Ohio, USA
  • B.S. Computer Science/Software Engineering (5-year degree), University of Constantine, Constantine, Algeria

Courses Taught

  • Computer Programming I
  • Foundations of Computer Science
  • Data Structures
  • Design and Analysis of Algorithms
  • Formal Languages and Automata
  • Theory of Computation
  • Compilers Design
  • Information Systems
  • Parallel Computing
  • Computer Networks
  • Digital Logical Design
  • Principles of Programming Languages
  • Professional Practice
  • Distributed Systems
  • Assembly Languages
  • Capstone/Senior Project
  • Computer Programming II
  • Operating Systems
  • Discrete Structures
  • Software Engineering
  • Database Management Systems
  • Symbolic Computations
  • Data Visualization
  • Web Application Development
  • Multimedia and Information Technology
  • Interconnection Networking
  • Computer Organization
  • Computer Architecture
  • Advanced Operating Systems
  • Programming for Engineers
  • Special Topics
  • Graduate Project

Academic Interests

  • Formal Languages & Automata
  • Programming Languages
  • Theoretical Computer Science & Algorithms
  • Software Engineering
  • Software Verification & Model Checking
  • Parallel Computing

Scholarly Activity

Selected Publications

  • "Real-Time Languages and Timed Temporal Logics: Relationships and Specifications", Procedia, Computer Science Journal, Elsevier Vol. 62, pp. 47-54, Sept. 2015.
  • "Real-Time Languages, Timed Alternating Automata, and Timed Temporal Logics: Relationships and Specifications", Int'l Conference on Soft Computing and Software Engineering (SCSE 2015), Berkeley, California, March 2015.
  • "Extended Timed Alternating Finite Automata: Revisited", Int'l Conference on Foundations of Computer Science, Las Vegas, USA, July 2013.
  • "A Domain Independent Methodology for Near-Duplicate Detection", with A. Maamir, Int'l Conference on Applied Computing, Madrid, Spain, pp. 139-146 Oct. 2012.
  • "Timed Event Systems and Automata", Int. Conference on Control and Applications, pp. 133-140, Jun 1-3, in Vancouver, BC, 2011.
  • "An Automata Based Framework to Software Model Checking", Annual ACM Symposium on Applied Computing (SAC), (Software Verification and Testing), pp. 2498-2502, Sierre, Switzerland, March 22-26, 2011.
  • "Timed State-Event Automata and Alternation for Software Model Checking", IADIS, Applied Computing, pp. 226{233, Rome, Italy, Nov. 19-22, 2009.
  • "Fine Granularity Access Rights for Information Flow Control in Object Oriented Systems", with A. Maamir and L. Salem, Int'l Journal of Security and its Applications, Vol. 2, No. 3, pp. 81-91, July 2008.
  • "Controlling Information Flow in Object Oriented Systems", with A. Maamir and L. Salem, Int'l Journal of Information and Security, Vol. 2, pp. 140-146, June 2008.
  • "Fine Granularity Access Rights for Information Flow Control", with A. Maamir and L. Salem Int'l Conference on Information Security and Assurance, Busan, Korea, pp. 122-128, April 2008.
  • "Efficient Page-Level Information Retrieval for Compressed Readable Documents", with M. Madi, Proc. of the IADIS Int'l Conference Applied Computing, Algarve, Portugal, pp. 156-163, April, 2008.
  • "Deterministic Timed AFA: A New Class of Timed Alternating Finite Automata", with Z. Friggstad and S. Noureddine, Journal of Computer Science, Vol. 5. No. 1, pp. 1-8, 2007.
  • "Alternation and Time for Concurrent Software Architectures and Distributed Timed-Related Web Services". Int'l Conference on Methodology Tools, Software Applications (M&S MTSA'06), pp. 103{110, Calgary, July 31-Aug. 2, 2006.
  • "Generalized Timed Alternating Finite Automata". 7th Int'l Workshop on Boolean Problems, Freiberg, Sachsen, Germany, pp. 159-164, Sept. 20-22, 2006.
  • "Some Succinctness Properties of Omega DTAFA", with Z. Friggstad and S. Noureddine, Int'l Conference on Software Engineering & Distributed Systems, pp. 500-506, Madrid, Spain, Feb. 15-17, 2006.
  • "Some Succinctness Properties of Omega DTAFA", with Z. Friggstad and S. Noureddine, Transactions on Computers, Vol. 5 (4), pp. 740-745, 2006.
  • "Boolean Web-Service Automata: A Parallel Model for Distributed Web Service Operations", IEEE Conference on Communications, Computers and Signal Processing (Pacrim), pp. 416-420, Victoria, BC., Canada, Aug. 24-26, 2005.
  • "Pinpointing the Real Zeros of Analytical Functions", with S. Noureddine. Chapter in High Performance Computational Science and Engineering (HPCSE) Kluwer Academic Publishers - Springer, 2005.
  • "On Deterministic Timed Alternating Finite Automata", Int'l Conference & Workshop on Boolean Problems, pp. 63-70, Freiberg, Germany, Sep. 2004.
  • "Language Equations for Timed Alternating Finite Automata", with C. Harding. Int'l Journal of Computer Mathematics, Vol. 80 (9), pp. 1075-1091, 2003.
  • "Adding Flexibility in Information Flow Control for Object-Oriented Systems Using Versions", with A. Maamir. Int'l Journal of Software Engineering and Knowledge Engineering, Vol. 13 (3), pp. 313-325, 2003.
  • "Distributed Multidimensional Suffix Arrays for String Search", with R. Mawson. IEEE Int'l Conference on Communications, Computers and Signal Processing (Pacrim), pp. 792-795, Victoria, BC, Canada, Aug. 2003.

Other Professional Experience

  • Substantial research funding, more than $200,000.
  • Peer reviewer for computer science conferences and journals.
  • ACM Regional and International Collegiate Programming Contest: Member, Co-Chair, Judge, Coach.
  • High School Provincial Programming Competition: Coordinator.
  • Middle School Provincial Scratch Programming Competition: Coordinator.
  • Extensive experience with computing accreditation (i.e., ABET, CSAC).
  • Multi-section computer science: Coordinator.
  • Committee member, supervisor/co-supervisor, and reviewer of theses and proposals.
  • Substantial involvement in various computing academic programs.