Department Informatik

Pattern Recognition in Medical and Health Engineering '10 (2010) Hornegger J, Höller KE, Spiegel M, Niedermeier HP Edited Volume A novel event insertion heuristic for creating feasible course timetables (2010) Wanka R, Mühlenthaler M Conference contribution, Conference Contribution Towards MKM in the large: Modular representation and scalable software architecture (2010) Kohlhase M, Rabe F, Zholudev V Conference contribution, Original article 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