Department Informatik

IP-based System Design within the PARADISE Design Environment (2000) Hardt W, Rammig F, Böke C, Stroop J, Rettberg A, Kleinjohann B, Teich J Journal article Model generation for discourse representation theory (2000) Kohlhase M Conference contribution, Original article Managing structural information by higher-order colored unification (2000) Hutter D, Kohlhase M Journal article, Original article Special Issue on Categorical Approaches to Computing by Graph Transformation (1999) Schneider HJ, Ehrig H Edited Volume Jumping to the Meta Level: Behavioural Reflection can be fast and flexible (1999) Golm M, Kleinöder J Conference contribution, Conference Contribution Ermüdungsverhalten des Hartmetalls G55 Co bei Raumtemperatur (1999) Deserno F Thesis Simulation of Neural Network: ... or the dark side of computational power (1999) Wilke P Conference contribution, Conference Contribution Optimized Software Synthesis for DSP Using Randomization Techniques (1999) Bhattacharyya SS, Teich J, Zitzler E Other publication type L'approche PURE pour des systemes d'exploitation embarques (1999) Schröder-Preikschat W, Spinczyk O Conference contribution Java Entwicklungsumgebungen im Vergleich (1999) Reinstorf T, Haumacher B, Philippsen M Other publication type