Department Informatik

Communities of practice in MKM: An extensional model (2006) Kohlhase A, Kohlhase M Conference contribution, Original article Cut-simulation in impredicative logics (2006) Kohlhase M, Brown C Conference contribution, Original article A search engine for mathematical formulae (2006) Kohlhase M, Sucan I Conference contribution, Original article Analysis of Dataflow Programs with Interval-limited Data-rates (2006) Bhattacharyya SS, Teich J Journal article A toolbox for different organic computing algorithms for marching pixels (2006) Fey D Other publication type Capturing the content of physics: Systems, observables, and experiments (2006) Hilf E, Kohlhase M, Stamerjohanns H Conference contribution, Original article Implementierung und Vergleich verschiedener Strategien zur Durchführung von Ethernet Performance Messungen (2006) Gernoth M Conference contribution Algebraic multigrid for general inconsistent linear systems: Preliminary results (2006) Popa C Other publication type Procedural Abstraction for ARM-Architectures (2006) Dreweke A Thesis Modellbasierte Generierung von Beherrschungsmechanismen für Inkonsistenzen in komponentenbasierten Systemen (2006) Jung M Thesis