Statistisches Planen in einem realen Roboterszenario
C. Rasche, M. Bieshaar, A. Jungmann, L. Kleinjohann, B. Kleinjohann, in: Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 310, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2013, pp. 133–146.
LibreCat: /record/25574

Architecture for Adaptive Resource Assignment to Virtualized Mixed-Criticality Real-Time Systems
S. Grösbrink, D. Baldin, S. Oberthür, in: ACM SIGBED Review, Band 10, ACM, 2013.
LibreCat: /record/25575

SystemC Verification Components - An enhanced OVM/UVM for SystemC
C. Kuznik, M. F. S. Oliveira, W. Müller, in: EdaWorkshop 13, 2013.
LibreCat: /record/25606

Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen
F. Mischkalla, W. Müller, in: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013.
LibreCat: /record/25612

SC OVM: An Advanced SystemC Library for OVM-based Verification
C. Kuznik, M. F. S. Oliveira, W. Müller, in: Open SANITAS SystemC Verification Workshop, 2013.
LibreCat: /record/25614

 Informationstechnik spart Ressourcen
G. Engels, C. Gerth, L. Kleinjohann, B. Kleinjohann, W. Müller, ForschungsForum Paderborn  (2013).
LibreCat: /record/25615

Basics of Virtual Machine Migration on Heterogeneous Architectures for Self-optimizing Mechatronic Systems - Necessary Conditions and Implementation Issues
S. Grösbrink, Production Engineering Research &; Development 7(1) (2013) 69–79.
LibreCat: /record/25616

Learning Service Recommendations
A. Jungmann, B. Kleinjohann, L. Kleinjohann, International Journal of Business Process Integration and Management 6(4) (2013) 284–297.
LibreCat: /record/25618

Systematic Application of UCIS to Improve the Automation on Verification Closure
C. Kuznik, M.F. Oliveira, B. Defo, W. Müller, in: Proceedings of DVCON, 2013.
LibreCat: /record/25620

A 3D Path Planning Approach Extended by Bifurcation Theory for Formation Flights
C. Rasche, C. Stern, L. Kleinjohann, B. Kleinjohann, in: G. Sen Gupta, D. Bailey, S. Demidenko, D. Carnegie (Eds.), Recent Advances in Robotics and Automation, Studies in Computational Intelligence, Band 480, Springer , Berlin Heidelberg, 2013, pp. 103–113.
LibreCat: /record/25625

Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks
K. Klobedanz, J. Jatzkowski, A. Rettberg, W. Müller, in: International Embedded Systems Symposium (IESS) 2013, Springer, 2013.
LibreCat: /record/25632

Automatic Reconstruction of Polygonal Room Models from 3D Point Clouds
B. Mertsching, M. Divband Soorati, T. Kotthauser, IEEE International Conference on Robotics and Biomimetics (ROBIO) (2013) 661–667.
LibreCat: /record/19981

Time delay implies cost on task switching: A model to investigate the efficiency of task partitioning
H. Hamann, I. Karsai, T. Schmickl, Bulletin of Mathematical Biology 75 (2013) 1181–1206.
LibreCat: /record/20148
DOI: 10.1007/s11538-013-9851-4 

Algorithmic Requirements for Swarm Intelligence in Differently Coupled Collective Systems
H. Hamann, T. Schmickl, J. Stradner, K. Crailsheim, R. Thenius, P. Zahadat, Chaos, Solitons &; Fractals 50 (2013) 100–114.
LibreCat: /record/20150
DOI: 10.1016/j.chaos.2013.01.011

Virtual Spatiality in Agent Controllers: Encoding Compartmentalization
H. Hamann, T. Schmickl, J. Stradner, C. Schwarzer, N.K. Michiels, A.I. Esparcia-Alcazar, in: Applications of Evolutionary Computation - 16th European Conference (EvoApplications 2013), 2013, pp. 579–588.
LibreCat: /record/20151
DOI: 10.1007/978-3-642-37192-9_58

A Reductionist Approach to Hypothesis-Catching for the Analysis of Self-Organizing Decision-Making Systems
H. Hamann, in: 7th IEEE Int. Conf. on Self-Adaptive and Self-Organizing Systems (SASO 2013), IEEE Press, 2013, pp. 227–236.
LibreCat: /record/20160
DOI: 10.1109/SASO.2013.10

Speciation Dynamics: Generating Selective Pressure Towards Diversity
H. Hamann, P. Lio, O. Miglino, G. Nicosia, S. Nolfi, M. Pavone, in: 12th European Conference on Artificial Life (ECAL 2013), MIT Press, 2013.
LibreCat: /record/20161

Towards Swarm Calculus: Urn Models of Collective Decisions and Universal Properties of Swarm Performance
H. Hamann, Swarm Intelligence 7 (2013) 145–172.
LibreCat: /record/20162
DOI: 10.1007/s11721-013-0080-0

Themenmodellierung zur Identifikation und Gruppierung von Spam-Webseiten
S. Laudemann, Themenmodellierung Zur Identifikation Und Gruppierung von Spam-Webseiten, 2013.
LibreCat: /record/2868

Nichtapproximierbarkeitsresultate zu Radius- und Durchmesserclustering unter Verwendung von L_p-Metriken
L. Leder, Nichtapproximierbarkeitsresultate Zu Radius- Und Durchmesserclustering Unter Verwendung von L_p-Metriken, 2013.
LibreCat: /record/2869