Abdullah N. Arslan;Johannes NowakEfficient approximate dictionary look-up for long words over small alphabets200717
Benjamin Hummel;Sven KosubAcyclic Type-of-Relationship Problems on the Internet: An Experimental Analysis200730
Celine LaurentAnalysis of the Survey:"IT-Platforms for Cooperation Projects"200737
Maria SpichkovaSteam Boiler: Extended FOCUS Specification and its Verification in Isabelle/HOL200720
Sven Kosub;Christopher M. HomanDichotomy Result for Fixed Point Counting in Boolean Dynamical Systems.200718
Stefan Eckhardt;Andreas Muehling;Johannes NowakFast Lowest Common Ancestor Computations in Dags200717
Sven KosubDichotomy Results for Fixed-Point Existence Problems for Boolean Dynamical Systems200719
Norbert Diernhofer;Thomas SchneiderVirtualisierungsloesungen fuer IT-Dienste20077
Ben GlockerDiscrete Optimization and Uncertainty Estimation in Non-rigid Image Registration200772
Bernd Bruegge;Korbinian Herrmann;Ivo Bonev;Florian SchneiderEntscheidungsunterstuetzungswerkzeug fuer Release Management200712