10 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik
Klassifikation
Schliessen
Filter
1

Anomaly detection as a one-class problem in discrete event systems
Klerx, Timo ; Kleine Büning, Hans ; Hüllermeier, Eyke
Elektronische Ressource, Paderborn, 2017
Generierung typsicherer Implementierungen für Assoziationen in UML-Modellen
Travkin, Dietrich ; Schäfer, Wilhelm ; Kleine Büning, Hans
Elektronische Ressource, Paderborn, 2018
Identification of timed behavior models for diagnosis in production systems
Maier, Alexander
2015
Learning and coordination in sequential multiagent problems
Kemmerich, Thomas
2012
Learning shepherding behavior
Baumann, Michael ; Kleine Büning, Hans ; Hamann, Heiko
Elektronische Ressource, Paderborn, 2016
Local strategies for robot formation problems
Kempkes, Barbara
2012
Multi-criteria cooperation in multiagent systems by local adaptation
Eberling, Markus
2011
Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems
Timm, Nils
2013
Towards automated service composition under quality constraints
Mohr, Felix ; Kleine Büning, Hans
Elektronische Ressource, Paderborn, 2017
Verifying concurrent programs under weak memory models
Travkin, Oleg ; Wehrheim, Heike ; Kleine Büning, Hans ; Ngonga Ngomo, Axel-Cyrille ; Platzner, Marco ; Simon, Jens
Elektronische Ressource, Paderborn, 2017

Publizieren