Drittmittelprojekte am Institut für Informatik
Verifikation von Steuerleitwerken
gefördert durch die Firma Siemens AG, Abteilung Transportation Systems Braunschweig von 2009-2011
[ mehr ... ]
Einführung eines Smartcard-gestützten Single Singn-On Lösung für Hochschulinformationssysteme
gefördert durch das Kultusministerium von 2009 - 2011
[ mehr ... ]
Algorithm Engineering für dynamische Graphenoptimierungsprobleme in konkreten Anwendungen
gefördert im Rahmen des Schwerpunktprogramms SPP 1307 Algorithm Engineering von der Deutschen Forschungsgemeinschaft von 2008-2010
[ mehr ... ]
On-the-fly-Migration und Sofort-Inbetriebnahme von automatisierten Systemen
gefördert von dem Bundesministerium für Wirtschaft und Technologie von 2008 - 2011
[ mehr ... ]
Auswirkung der Motivzusammensetzung auf das dynamische Verhalten von komplexen Netzwerken
gefördert durch die Volkswagen-Stiftung von 2007-2010
[ mehr ... ]
Neugestaltung der MDR SPUTNIK Community Plattform
gefördert von dem Mitteldeutschen Rundfunk von 2007 - 2010
[ mehr ... ]
MindMapAPS - Prozessorientierte Konzepte zur intuitiven Bedienung von Advanced Planning und Scheduling und ERP Systemen
Die Förderung erfolgte durch das Bundesministerium für Bildung und Forschung im Rahmen des Programms KMU-innovativ (2008-2010)
[ mehr ... ]
Code-Coverage von SPS-Software
gefördert durch die Siemens AG im Jahre 2007
Auf Toleranzen basierende Methoden zur Lösung des Handelsreisendenproblems
gefördert von der Deutschen Forschungsgemeinschaft von 2004 - 2009
[ mehr ... ]
Sammlung dynamischer, teilautomatisch korrigierbarer elektronischer Übungsaufgaben der Technischen Informatik
gefördert vom Kultusministerium des Landes Sachsen-Anhalt von 2003 - 2005
[ mehr ... ]
Studienverbund MM|VR-Produktion
gefördert durch das Kultusministerium des Landes Sachsen-Anhalt in den Jahren 2002 - 2006
[ mehr ... ]
Bioinformatik Centrum Gatersleben-Halle
gefördert durch das BMBF
[ mehr ... ]
Formale Synthese verteilter Steuerungen
gefördert von der Deutschen Forschungsgemeinschaft von 2005 - 2007
[ mehr ... ]
Validierbare Architekturen für Industrielle Automatisierungssysteme (VAIAS)
gefördert vom Bundesministerium für Bildung und Forschung und von den Industriepartnern ProSign GmbH und ifak system GmbH von 2004 – 2006
[ mehr ... ]
Energieautarke Aktor- und Sensorsysteme (ENAS)
gefördert durch das Bundesministerium für Wirtschaft und Industrie von 2006 – 2008
[ mehr ... ]
Integration of Scheduling Techniques into Compilers for Parallel Languages
Gefördert durch den Deutschen Akademischer Auslandsdienst im Rahmen von PROCOPE
Personenbezogener Austausch mit Forschungseinrichtungen in Frankreich (2003-2004)
[ mehr ... ]
Optimierung in Compilern für Gerätebeschreibungssprachen
Industrieprojekt gefördert durch Codewrights GmbH, Karlsruhe (2005-2006)
[ mehr ... ]
Zum Seitenanfang