Systems (FMICS 2010) Rüdiger Ehlers and Bernd Finkbeiner: On the Virtue of Patience: Minimizing Büchi Automata . 17th International SPIN Workshop on Model Checking of Software (SPIN 2010) Rüdiger Ehlers […] and Analysis of Timed Systems (FORMATS 2010) Rüdiger Ehlers: Symbolic Bounded Synthesis . 22nd International Conference on Computer Aided Verification (CAV 2010) Rüdiger Ehlers: Minimising Deterministic […] Satisfiability Testing (SAT 2010) Rüdiger Ehlers: Short Witnesses and Accepting Lassos in omega-automata . 4th Int'l Conference on Language, Automata Theory and Applications (LATA 2010) Kontakt Telefon: +49
Jürgen Dix was appointed full professor for Theory and Computational Intelligence. From 2005 until 2010 two colleagues joined our group: Prof. Barbara Hammer (machine learning, datamining, statistical and […] applications). From 2015 - 2016, Dr. Michaela Huhn joined as well. Dr. habil. Wojtek Jamroga (in 2010) and Dr. rer.-nat. Nils Bulling (2012) did their habilitations and remain permanent members of the
elektrischer Mittelspannungsnetze bei dezentraler Einspeisung und unvollständiger Messinfrastruktur 2010 - 2013 Projektentwickler am Energie-Forschungszentrum Niedersachsen, Goslar, Forschungsbereich En
elektrischer Mittelspannungsnetze bei dezentraler Einspeisung und unvollständiger Messinfrastruktur 2010 - 2013 Projektentwickler am Energie-Forschungszentrum Niedersachsen, Goslar, Forschungsbereich En
in den Bereichen Tagebau und Tiefbau (Bentonit, Steinkohle, Kalisalz, Salz, Endlagerbergbau) Seit 2010: Studentische Hilfskraft in den Bereichen Gleichstellung, Betriebsfestigkeit und Bergbau Ausbildung
Consultant Operations Research at ILOG 10/2008 - 09/2010 Researcher at Technische Universität Kaiserslautern , Department of Mathematics , AG Optimization 10/2010 - 06/2014 Assistant Professor for Mathematics
Ehrenprofessur und vom Moskauer Energetischen Institut (TU) mit der Ehrendoktorwürde ausgezeichnet. 2010 folgte die Verleihung des Titels Prof. h.c. durch die Technische Universität Cluj-Napoca.Im Rahmen
Jahr später rückte der Stahl-Experte zum Mitglied der Geschäftsführung (Ressort Technik) auf. Von 2010 bis 2013 war er Vorsitzender der Geschäftsführung der Salzgitter Flachstahl GmbH und Vorstandsmitglied
Dr. H. Schmidt | DFG Laufzeit: 2010-2013 Partner: Universität Hannover Die Leerstelle in Silizium Prof. Dr. H. Schmidt und Prof. H. Bracht (U Münster) | DFG Laufzeit: 2010-2012 Partner: Universität Mün […] a (FOR 1277 "molife") Prof. Dr. H. Schmidt und Prof. Dr. P. Heitjans (U Hannover) | DFG Laufzeit: 2010-2016 Partner: Universität Hannover Kinetik der Li Interkalation und De-Interkalation in Tantalcha […] und Eigenspannungen in nanokristallinen metallischen Schichten Prof. Dr. H. Schmidt | DFG Laufzeit: 2010-2015 Partner: Universität Potsdam/Helmholtz-Zentrum Dresden Rossendorf Isotopeneffekte bei der Se
