Organisation

Subdepartment of Computer Science

Pagina-navigatie:

Completed research

(the most recent research is at the top)
Collaboration	B@Home: the future of broadband, multimedia services in the home
Collaboration	Semi-automatic hypermedia presentation generation (Dynamo)
Secretariat	Reachability Problems in Scheduling and Planning
Secretariat	Exact algorithms for NP-hard problems
Secretariat	Skeletonization and Segmentation of Binary Voxel Shapes
Secretariat	Databases - SIKS
Secretariat	Distributed Real-Time Systems - IPA
Secretariat	SAMASC - Security Analysis for Multi-Applet Smart Cards
Secretariat	Mathematical models for improved wet pressing technology
Secretariat	Software Architecture = Components + Coordination
Secretariat	Practical Automaton proofs in PVS
Secretariat	Hypermedia Presentation of Volatile Multimedia Database Output
Secretariat	Use and Meaning of Open Terms in Interactive Formal Problem Solving
Secretariat	MMM: Meaningful Mathematical Messages
Secretariat	Separators in Graphs
Secretariat	Message Sequence Charts (MSCs) for Electronic Commerce
Secretariat	Graph Visualization
Secretariat	Modelling, Simulation and Verification of Hybrid Systems
Secretariat	Distributed real-time systems - BETA
Secretariat	Programming Methodology
Secretariat	Distributed Real-Time Systems
Secretariat	Databases and Hypermedia