- Logics and Meanings of Programs 5
- Mathematical Logic and Formal Languages 5
- Software Engineering 5
- Computation by Abstract Devices 3
- Programming Languages, Compilers, Interpreters 3
- Algorithm Analysis and Problem Complexity 2
- Artificial Intelligence 1
- Management of Computing and Information Systems 1
- Programming Techniques 1
- Simulation and Modeling 1