Home
Publications
Selected Projects
Calendar
Links
This is a short index of past projects. Several of the links will redirect you to web sites of colleagues who are hosting pages on the project.
Graduate level projects:
On Weighted Labelled Transition Systems, Quantitative Relations and Logic
Mathematical Methods In Computer Science (Notes)
Slicing For Uppaal (Master Thesis)
Slicing and Predicate Abstraction for the Uppaal Modeling Language
Undergraduate level projects:
Modal Logic for Mobile Resources Calculus
A Distributed Database system
Nomad - Distributed Programming
Find vej
Bone's Bordbooking
IP Telefoni
Misc:
PhD. Studyplan
nbib2xml - a dirt simple ruby parser for bibtex
Portal Search - an open-source Google appliance based framework
Portal Files - an open-source GWT based web interface for a generic file storage system.
Kon-tec Backup - a backup system based on Portal Files.
SCM - a (ruby) management system for Aalborg storcenter