Falzon, Kevin, and Eric Bodden. “Towards a Comprehensive Model of Isolation for Mitigating Illicit Channels.”10.1007/978-3-662-49635-0_7__Principles of Security and Trust: 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2--8, 2016, Proceedings, edited by Frank Piessens and Luca Vigan’o, Springer Berlin Heidelberg, 2016, pp. 116–38, doi:10.1007/978-3-662-49635-0_7.
LibreCat: /record/20726
DOI: 10.1007/978-3-662-49635-0_7

Rasthofer, Siegfried, et al. “Harvesting Runtime Values in Android Applications That Feature Anti-Analysis Techniques.” Network and Distributed System Security Symposium (NDSS), 2016.
LibreCat: /record/20727

Nadi, Sarah, et al. “Jumping Through Hoops: Why Do Java Developers Struggle With Cryptography APIs?” International Conference for Software Engineering (ICSE), 2016, pp. 935–46.
LibreCat: /record/20728

Arzt, Steven, and Eric Bodden. “StubDroid: Automatic Inference of Precise Data-Flow Summaries for the Android Framework.” International Conference for Software Engineering (ICSE), 2016.
LibreCat: /record/20729

Eling, N., et al. “Investigating Users’ Reaction to Fine-Grained Data Requests: A Market Experiment.”10.1109/HICSS.2016.458__2016 49th Hawaii International Conference on System Sciences (HICSS), 2016, pp. 3666–75, doi:10.1109/HICSS.2016.458.
LibreCat: /record/20730
DOI: 10.1109/HICSS.2016.458

Blömer, Johannes, and Gennadij Liske. “Construction of Fully CCA-Secure Predicate Encryptions from Pair Encoding Schemes.”10.1007/978-3-319-29485-8_25__Proceedings of the CT-RSA 2016, 2016, pp. 431–47, doi:10.1007/978-3-319-29485-8_25.
LibreCat: /record/208
DOI: 10.1007/978-3-319-29485-8_25

Dziwok, Stefan, et al. The MechatronicUML Design Method: Process and Language for Platform-Independent Modeling. 2016.
LibreCat: /record/20822

Holtmann, Jörg, et al. The MechatronicUML Requirements Engineering Method: Process and Language. 2016, doi:10.13140/RG.2.2.33223.29606.
LibreCat: /record/20823
DOI: 10.13140/RG.2.2.33223.29606

Greinert, Matthias, et al. “Anwendung von Methoden Der Produktentstehung Auf Basis Des Systemmodells Mechatronischer Systeme.”10.3139/9783446451414.008__Tag Des Systems Engineering 2016, Gesellschaft f\'22ur Systems Engineering e.V., 2016, pp. 77–86, doi:10.3139/9783446451414.008.
LibreCat: /record/20825
DOI: 10.3139/9783446451414.008

Schubert, David, et al. “Towards Safe Execution of Reconfigurations in Cyber-Physical Systems.” Proceedings of the 19th International ACM Sigsoft Symposium on Component-Based Software Engineering, ACM, 2016.
LibreCat: /record/20830

Feldotto, Matthias, et al. “Congestion Games with Mixed Objectives.”10.1007/978-3-319-48749-6_47__Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 2016, pp. 655--669, doi:10.1007/978-3-319-48749-6_47.
LibreCat: /record/209
DOI: 10.1007/978-3-319-48749-6_47
arXiv: 1607.05143

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