Chapter
Are Students’ Evaluations of Auto-Graders Biased by Their Grades?
A Distributed Self-Reconfiguration Algorithm for Cylindrical Lattice-Based Modular Robots
Thread-aware logic programming for data-driven parallel programs
A parallel virtual machine for executing forward-chaining linear logic programs
Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs