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

Schmid, Stefan, et al. “SplayNet: Towards Locally Self-Adjusting Networks.”10.1109/TNET.2015.2410313__IEEE/ACM Trans. Netw., no. 3, 2016, pp. 1421--1433, doi:10.1109/TNET.2015.2410313.
LibreCat: /record/1835
DOI: 10.1109/TNET.2015.2410313

Derakhshandeh, Zahra, et al. “On the Runtime of Universal Coating for Programmable Matter.”10.1007/978-3-319-43994-5_10__DNA Computing and Molecular Programming - 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016, Proceedings, vol. 9818, 2016, pp. 148--164, doi:10.1007/978-3-319-43994-5_10.
LibreCat: /record/1836
DOI: 10.1007/978-3-319-43994-5_10

Derakhshandeh, Zahra, et al. “Universal Shape Formation for Programmable Matter.”10.1145/2935764.2935784__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, doi:10.1145/2935764.2935784.
LibreCat: /record/1837
DOI: 10.1145/2935764.2935784

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

Scheideler, Christian, and Seth Gilbert, editors. 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, doi:10.1145/2935764.
LibreCat: /record/1844
DOI: 10.1145/2935764

W. Richa, Andrea, and Christian Scheideler. “Jamming-Resistant MAC Protocols for Wireless Networks.”10.1007/978-1-4939-2864-4_593__Encyclopedia of Algorithms, 2016, pp. 999--1002, doi:10.1007/978-1-4939-2864-4_593.
LibreCat: /record/1845
DOI: 10.1007/978-1-4939-2864-4_593

Czech, Mike, et al. “Just Test What You Cannot Verify!” Software Engineering 2016, edited by Uwe Zdun Jens Knoop, 2016, pp. 17–18.
LibreCat: /record/186

Platenius, Marie Christin, et al. An Overview of Service Specification Language and Matching in On-The-Fly Computing (.3). Universität Paderborn, 2016.
LibreCat: /record/221

Wiersema, Tobias, et al. “An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip.”10.1016/j.compeleceng.2016.04.005__Computers &; Electrical Engineering, Elsevier, 2016, pp. 112--122, doi:10.1016/j.compeleceng.2016.04.005.
LibreCat: /record/222
DOI: 10.1016/j.compeleceng.2016.04.005

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

Krämer, Julia, and Heike Wehrheim. “A Short Survey on Using Software Error Localization for Service Compositions.”10.1007/978-3-319-44482-6_16__Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016), 2016, pp. 248--262, doi:10.1007/978-3-319-44482-6_16.
LibreCat: /record/224
DOI: 10.1007/978-3-319-44482-6_16

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

Töws, Manuel, and Heike Wehrheim. “A CEGAR Scheme for Information Flow Analysis.”10.1007/978-3-319-47846-3_29__Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016), 2016, pp. 466--483, doi:10.1007/978-3-319-47846-3_29.
LibreCat: /record/227
DOI: 10.1007/978-3-319-47846-3_29

Röltgen, Daniel, et al. “Einsatz- und Nutzenpotentiale von Augmented Reality im Kontext von Industrie 4.0.” VDE Kongress 2016 Internet of Things, Mannheim, Deutschland, 7. - 8. Nov. 2016, 2016.
LibreCat: /record/22870

Falkowski, Tommy, et al. “Einsatz von Leuchten zur Standortbestimmung in der Produktion.” VDE Kongress 2016, 7. - 8. Nov. 2016, 2016.
LibreCat: /record/22871

Westermann, Matthias, et al. “Reference Architecture and Maturity Levels for Cyber-Physical Systems.” 2nd IEEE International Symposium on Systems Engineering 2016, Edinburgh, Scotland, 4. - 5. Okt. 2016, 2016.
LibreCat: /record/22872

Fechtelpeter, Christian, et al. “Reliability in MID - Barriers, Potentials, Fields of Action.” 12th International Congress on Molded Interconnect Devices, Conference Proceedings , 28. - 30. Sep. 2016, 2016.
LibreCat: /record/22873

Jürgenhake, Christoph, et al. “Classification of MID-Prototypes.” 12th International Congress on Molded Interconnect Devices, Würzburg, 28. - 30. Sep. 2016, 2016.
LibreCat: /record/22874

Jürgenhake, Christoph, and Roman Dumitrescu. “Systematic for Function-Oriented Development of Spatial Integrated Circuit Carriers.” International Design Conference - Design 2016, 16. - 19. Mai 2016, 2016.
LibreCat: /record/22876