Department Informatik

Changing Labels in the Double-Pushout Approach Can Be Treated Categorically (2005) Schneider HJ Book chapter / Article in edited volumes Automated Generation and Evaluation of Dataflow-Based Test Data for Object-Oriented Software (2005) Oster N Conference contribution, Original article Partial Configuration Design and Implementation Challenges on Xilinx Virtex FPGAs (2005) Ahmadinia A, Bobda C, Majer M, Kurapati R, Niyonkuru A Conference contribution Performance of Scientific Applications on Modern Supercomputers (2005) Deserno F, Hager G, Brechtefeld F, Wellein G Conference contribution SPI-Workbench – Modellierung, Analyse und Optimierung eingebetteter Systeme (2005) Haubelt C, Jersak M, Richter K, Strehl K, Ziegenbein D, Ernst R, Teich J, Thiele L Book chapter / Article in edited volumes Anatomical accuracy of lesion localization (2005) Nömayr A, Römer W, Hothorn T, Pfahlberg A, Hornegger J, Bautz W, Kuwert T Journal article, Original article Menschliche und automatische Verständlichkeitsbewertung bei tracheoösophagealen Ersatzstimmen (2005) Haderlein T, Steidl S, Nöth E, Schuster M Conference contribution, Conference Contribution Sicherheitsbewertung verteilter komponentenbasierter Programme (2005) Schnitzer B Thesis Representing Models of Computation in SystemC (2005) Falk J, Haubelt C, Teich J Conference contribution SPiCE in der Praxis - Interpretationshilfe für Anwender und Assessoren (2005) Dittmann L, Hörmann K, Hindel B, Müller M Authored book, Monography