Computer Science Honors Theses
Improving the JMLE Tool's Constraint Solving on Sets
Pain Management: Development of a Formally Verified Android Application Using EventB2SQL
Pathfinder in CUDA
Secure and Lightweight Communication in Heterogeneous IoT Environments
Self-Adaptive Chaotic Mutation Operators in Evolutionary Computation
Translating B Machines To Java Modeling Language Specification
Whiteboard Scanning Using Super-Resolution