Department Informatik

Publishing math lecture notes as linked data (2010) David C, Kohlhase M, Lange-Bever C, Zhiltsov N, Zholudev V Conference contribution, Original article Dimensions of formality: A case study for MKM in software engineering (2010) Kohlhase A, Kohlhase M, Lange-Bever C Conference contribution, Original article Improving platform-based system synthesis by satisfiability Modulo theories solving (2010) Teich J, Haubelt C, Eberl M, Reimann F, Glaß M Conference contribution, Conference Contribution Evolutionäre Informationssysteme im Gesundheitswesen. (2010) Lenz R Book chapter / Article in edited volumes STEX+: A system for flexible formalization of linked data (2010) Kohlhase M, Kohlhase A Conference contribution, Conference Contribution Scripting documents with XQuery: Virtual documents in TNTBase (2010) Kohlhase M, Zholudev V Conference contribution, Original article [Intelligibility of children with bilateral and unilateral cleft lip and palate]. (2009) Maier A, Holst A, Schuster M, Schützenberger A, Eysholdt U, Nöth E, Dames F, Stelzle F Journal article, Original article Role of microglia in neuronal degeneration and regeneration. (2009) Walter L Journal article, Review article Physics-based illuminant color estimation as an image semantics clue (2009) Riess C, Angelopoulou E Conference contribution, Original article A Common Framework for Ambient Illumination in the Dichromatic Reflectance Model (2009) Riess C, Jordan JM, Angelopoulou E Conference contribution, Conference Contribution