Congestion Games with Mixed Objectives
M. Feldotto, L. Leder, A. Skopalik, in: Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 2016, pp. 655--669.
LibreCat: /record/209
DOI: 10.1007/978-3-319-48749-6_47
arXiv: 1607.05143

Nibbler: Implementing a Turing machine to simulate the Busy Beaver problem
S. Heuchler, Nibbler: Implementing a Turing Machine to Simulate the Busy Beaver Problem, 2016.
LibreCat: /record/18025

SplayNet: Towards Locally Self-Adjusting Networks
S. Schmid, C. Avin, C. Scheideler, M. Borokhovich, B. Haeupler, Z. Lotker, IEEE/ACM Trans. Netw. (2016) 1421--1433.
LibreCat: /record/1835
DOI: 10.1109/TNET.2015.2410313

On the Runtime of Universal Coating for Programmable Matter
Z. Derakhshandeh, R. Gmyr, A. Porter, A. W. Richa, C. Scheideler, T.F. Strothmann, in: DNA Computing and Molecular Programming - 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016, Proceedings, 2016, pp. 148--164.
LibreCat: /record/1836
DOI: 10.1007/978-3-319-43994-5_10

Universal Shape Formation for Programmable Matter
Z. Derakhshandeh, R. Gmyr, A. W. Richa, C. Scheideler, T.F. Strothmann, in: Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016, ACM, 2016, pp. 289--299.
LibreCat: /record/1837
DOI: 10.1145/2935764.2935784

Learning to Aggregate Using Uninorms
V. Melnikov, E. Hüllermeier, in: Proceedings of the Joint European Conference on Machine Learning and Knowledge Discovery in Databases (ECML/PKDD 2016), 2016, pp. 756–771.
LibreCat: /record/184
DOI: 10.1007/978-3-319-46227-1_47

Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016
C. Scheideler, S. Gilbert, eds., Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016, 2016.
LibreCat: /record/1844
DOI: 10.1145/2935764

Jamming-Resistant MAC Protocols for Wireless Networks
A. W. Richa, C. Scheideler, in: Encyclopedia of Algorithms, 2016, pp. 999--1002.
LibreCat: /record/1845
DOI: 10.1007/978-1-4939-2864-4_593

Just test what you cannot verify!
M. Czech, M.-C. Jakobs, H. Wehrheim, in: U.Z. Jens Knoop (Ed.), Software Engineering 2016, 2016, pp. 17–18.
LibreCat: /record/186

An Overview of Service Specification Language and Matching in On-The-Fly Computing (.3)
M.C. Platenius, K. Josifovska, L. van Rooijen, S. Arifulina, M. Becker, G. Engels, W. Schäfer, An Overview of Service Specification Language and Matching in On-The-Fly Computing (.3), Universität Paderborn, 2016.
LibreCat: /record/221

An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip
T. Wiersema, A. Bockhorn, M. Platzner, Computers &; Electrical Engineering (2016) 112--122.
LibreCat: /record/222
DOI: 10.1016/j.compeleceng.2016.04.005

Aggregation in Overlay Networks
K. Hinnenthal, Aggregation in Overlay Networks, Universität Paderborn, 2016.
LibreCat: /record/223

A short survey on using software error localization for service compositions
J. Krämer, H. Wehrheim, in: Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016), 2016, pp. 248--262.
LibreCat: /record/224
DOI: 10.1007/978-3-319-44482-6_16

A Formal Approach to Error Localization and Correction in Service Compositions
J. Krämer, H. Wehrheim, in: Proceedings of the 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016), 2016, pp. 445--457.
LibreCat: /record/226
DOI: 10.1007/978-3-319-50230-4_35

A CEGAR Scheme for Information Flow Analysis
M. Töws, H. Wehrheim, in: Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016), 2016, pp. 466--483.
LibreCat: /record/227
DOI: 10.1007/978-3-319-47846-3_29

Einsatz- und Nutzenpotentiale von Augmented Reality im Kontext von Industrie 4.0
D. Röltgen, H. Anacker, R. Dumitrescu, in: VDE Kongress 2016 Internet of Things, Mannheim, Deutschland, 7. - 8. Nov. 2016, 2016.
LibreCat: /record/22870

 Einsatz von Leuchten zur Standortbestimmung in der Produktion
T. Falkowski, C. Fechtelpeter, C. Peitz, A. Kühn, R. Dumitrescu, in: VDE Kongress 2016, 7. - 8. Nov. 2016, 2016.
LibreCat: /record/22871

Reference Architecture and Maturity Levels for Cyber-Physical Systems
M. Westermann, H. Anacker, R. Dumitrescu, A.M. Czaja, in: 2nd IEEE International Symposium on Systems Engineering 2016, Edinburgh, Scotland, 4. - 5. Okt. 2016, 2016.
LibreCat: /record/22872

Reliability in MID - barriers, potentials, fields of action
C. Fechtelpeter, C. Jürgenhake, R. Dumitrescu, T. Mager, K.-P. Fritz, T. Grötzinger, H. Müller, P. Wild, A. Zimmermann, in: 12th International Congress on Molded Interconnect Devices, Conference Proceedings , 28. - 30. Sep. 2016, 2016.
LibreCat: /record/22873

Classification of MID-prototypes
C. Jürgenhake, T. Falkowski, R. Dumitrescu, in: 12th International Congress on Molded Interconnect Devices, Würzburg, 28. - 30. Sep. 2016, 2016.
LibreCat: /record/22874