Jahresbericht 2008 - Fakultät für Elektrotechnik, Informatik und ...

Schulabteilung der Bezirksregierung, Detmold
Gemeinsame Aktivitäten und Projekte im Be -
reich bid-owl (Regionales Bildungsnetzwerk
Ostwestfalen-Lippe) und LARS („Lernen-auf-
Reisen“-Schule)
Prof. Dr. rer. nat.
Hans Kleine Büning
Personal
Sekretariat
Simone Auinger
Wissenschaftliche Mitarbeiter/innen
Dr. rer. pol. Theodor Lettmann
Mag. Angew. Math. und Inf. Natalia Akchurina
M. Sc. Isabela Anciutti
Dipl.-Wirt.-Inform. Heinrich Balzer
M. Sc. Uwe Bubeck
M. Sc. Markus Eberling
Dr. rer. nat. Oliver Kramer
Dr. rer. nat. Steffen Priesterjahn
Dipl.-Inf. Yuhen Yan
Technischer Mitarbeiter
Dipl.-Ing. Gerd Brakhane
Publikationen
Akchurina, N.: Multi-Agent Reinforcement
Learning Algorithm with Variable Optimistic-
Pessimistic Criterion. In Proceedings of the 18th
European Conference on Artificial Intelligence
(ECAI-2008), Patras, Greece, IOS Press, (2008),
pp. 433–437
Akchurina, N.: Optimistic-pessimistic Q-learning
algorithm for multi-agent systems. In R. Berg -
mann, G. Lindemann, S. Kirn, and M. Pechoucek
(Eds.): MATES. LNCS 5244, Springer (2008), pp.
13–24
Balzer, H.; Kohlweyer, M.; Nawratil, P.; Adam, V.:
Diagnoseverifikation in frühen Entwicklungs -
phasen – Beispiel einer automatischen Außen -
lichtsteuerung. Elektronik Automotive, 12 (2008)
Bubeck, U.; Kleine Büning, H.: Models and
Quantifier Elimination for Quantified Horn
Formulas. Journal of Discrete Applied
Mathematics 156 (2008), pp. 1606–1622
Bubeck, U.; Kleine Büning, H.: A New 3-CNF
Transformation by Parallel-Serial Graphs.
Information Processing Letters (accepted)
Kleine Büning, H.; Bubeck, U.: Theory of
Quantified Boolean Formulas. In Biere A.;
Heule, M.; van Maaren, H.; Walsh, T. (Eds.):
Handbook of Satisfiability, IOS Press (2008)
(in print)
Chen, Z.; Tao, Z.; Kleine Büning, H.; Wang, L.:
Applying Variable Minimal Unsatisfiability in
Model Checking. Journal of Software 19 (2008),
pp. 39–47
Kleine Büning, H.; Zhao, X.: Computational
Com plexity of Quantified Boolean Formulas
with Fixed Maximal Deficiency. Theoretical
Computer Science 407 (2008), pp. 448–457
Kleine Büning, H.; Zhao, X. (Eds.): Proceedings
of the 11th International Conference on Theory
and Applications of Satisfiability Testing (SAT
2008), LNCS 4996, Springer (2008)
Kleine Büning, H.; Kastens, U.: Modellierung:
Grundlagen und formale Methoden. 2. Auflage,
Hanser (2008)
Kramer, O.: Self-Adaptive Heuristics for
Evolutionary Computation. Reihe: Studies in
Computational Intelligence, Springer (2008)
Priesterjahn, S.; Eberling, M.: Imitation Learning
in Uncertain Environments. In Proceedings of
the 10th International Conference on Parallel
Problem Solving From Nature (PPSN’08),
Dortmund, Germany, LNCS 5199, Springer
(2008), pp. 950–960
Priesterjahn, S.; Weimer, A.; Eberling, M.: Real-
Time Imitation-Based Adaptation of Gaming
Behaviour in Modern Computer Games. In
Proceedings of the Genetic and Evolutionary
Computation Conference (GECCO’08), Atlanta,
USA, ACM (2008), pp. 1431–1432
Priesterjahn, S.: Imitation-Based Evolution of
Artificial Players in Modern Computer Games.
In Proceedings of the Genetic and Evolutionary
Computation Conference (GECCO’08), Atlanta,
USA, ACM (2008), pp. 1429–1430
Promotionen
Priesterjahn, Steffen
Online Imitation and Adaption in Modern
Computer Games, 11. März 2008
Kramer, Oliver
Self-Adaptive Heuristics for Evolutionary
Computation, 18. April 2008
Eingeladene Vorträge
NSA-DoD Workshop on Satisfiability: Assessing
the Progress, Baltimore, USA, März 2008,
„Expressive Power of Subclasses of Quantified
Boolean Formulas”
Tagungen, Seminare, Messen
11th International Conference on Theory and
Applications of Satisfiability Testing (SAT 2008),
Guangzhou, P.R.China, Mai 2008 (Chair)
Weitere Funktionen
Mitglied des Vorstandes der „International
Graduate School of Dynamic Intelligent
Systems“
Mitglied des Vorstandes des „Paderborn
Institute for Advanced Studies in Computer
Science and Engineering“ (PACE)
Mitglied des Vorstandes des „Software Quality
Lab“ (s-lab)
Mitglied des Editorial Board des zweisprachigen
chinesisch-englischen Journals „Studies in
Logic“, herausgegeben vom Institute of Logic
and Cognition, Sun Yat-sen University, P.R.China
Aktuelle Forschungsprojekte
DFG-Projekt: Quantifizierte Boolesche Formeln:
Komplexität und Modellierung
Projekt: Software-Qualitätssicherung in automotiven
Steuergeräte-Netzwerken
Aktuelle Kooperationen
Sun Yat-Sen University Guangzhou, P.R. China,
Prof. Zhao Xishun, DFG-Projekt „Quantifizierte
Boolsche Formeln“
Art Systems Software GmbH, Paderborn,
Projekt YANOS: Wissensbasierte Simulation
dynamischer Systeme auf Basis objektorientierter
Beschreibungen
Bauhaus-Universität Weimar, Prof. Dr. Benno
Stein und dSPACE GmbH, Paderborn, Projekt:
Software-Qualitätssicherung in automotiven
Steuergeräte-Netzwerken
Gastwissenschaftler/innen
Zhao, Xishun, Institute of Logic and Cognition,
Sun Yat-sen University, P.R.China, November
2008
Chen, Zhenyu, Dept. Mathematics, Nanjing
University, Nanjing, P.R. China, Januar–Februar
2008
Prof. Dr. Johann
S. Magenheim
Personal
Sekretariat
Vera Kühne
Wissenschaftliche Mitarbeiter
Dr. rer. nat. Leopold Lehner
OStR Michael Dohmen
Dipl.-Inf. Wolfgang Reinhardt
Dipl.-Inf. Tobias Nelkner
Thomas Rhode (Staatsexamen Informatik)
Publikationen
Bremes, T.; Scheuermann, L.: DyOgeneS:
Generierte Oberflächen in einem verteilten
automatisierten System. In Informatiktage
2008. Fachwissenschaftlicher Informatik-
Kongress, 14. und 15. März 2008, B-IT Bonn-
Aachen International Center for Information
Technology in Bonn, Volume S-6 of Lecture
Notes in Informatics, hrsg. v. Gesellschaft für
Informatik, S. 153–156
Costa, C.; Beham, G.; Reinhardt, W.; Sillaots,
M.: Microblogging in Technology Enhanced
Learning: A Use-Case Inspection of PPE
Summer School 2008. In Vuorikari, R,;
Kieslinger, B.; Klamma, R.; Duval, E. (eds.).
Proceedings of the 2nd SIRTEL’08 Workshop on
Social Information Retrieval for Technology
Enhanced Learning, Maastricht, Netherlands,
September 17, 2008, Volume 382 of CEUR
Workshop Proceedings, 2008
Döbbelin, S.; Gül, S.: MeduSA: Umgang mit Meta -
daten in dynamischen Softwareumge bungen In
143