Submissions from 2013
Applying Agile Methodology in Mobile Software Engineering: Android Application Development and its Challenges, Shakira Banu Kaleel and Ssowjanya Harishankar
SQLite Page Caching Algorithm, Jason V. Ma
Submissions from 2009
A Logic of Actions Revisited, Yilan Gu and Mikhail Soutchanski
Submissions from 2008
A Logic For Decidable Reasoning About Actions, Yilan Gu and Mikhail Soutchanski