Besova, Galina, et al. “Grammar-Based Model Transformations.”10.1016/j.cl.2015.05.003__Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD), 2014, pp. 1601–10, doi:10.1016/j.cl.2015.05.003.

Pauck, Felix. Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren. Universität Paderborn, 2014.

Lippert, Jan. Fujisaki-Okamoto Transformation. Universität Paderborn, 2014.

Dornseifer, Veit. Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network. Universität Paderborn, 2014.

Mohr, Felix. “Estimating Functional Reusability of Services.” Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC), 2014, pp. 411–18.

Kling, Peter. Energy-Efficient Scheduling Algorithms. Universität Paderborn, 2014.

Bredenbals, Nico. Energy-Efficient Queuing with Delayed Deactivation. Universität Paderborn, 2014.

Wiersema, Tobias, et al. “Embedding FPGA Overlays into Configurable Systems-on-Chip: ReconOS Meets ZUMA.”10.1109/ReConFig.2014.7032514__Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), 2014, pp. 1–6, doi:10.1109/ReConFig.2014.7032514.

Antoniadis, Antonios, et al. “Efficient Computation of Optimal Energy and Fractional Weighted Flow Trade-off Schedules.”10.4230/LIPIcs.STACS.2014.63__Proceedings of the 31st Symposium on Theoretical Aspects of Computer Science (STACS), 2014, pp. 63--74, doi:10.4230/LIPIcs.STACS.2014.63.

Arzt, Steven, et al. “FlowDroid: Precise Context, Flow, Field, Object-Sensitive and Lifecycle-Aware Taint Analysis for Android Apps.”10.1145/2594291.2594299__Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI ’14, ACM Press, 2014, doi:10.1145/2594291.2594299.

Arzt, Steven, et al. “DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android.” International Conference on Availability, Reliability and Security (ARES 2014), IEEE, 2014, pp. 40–49.

van Rooijen, Lorijn. A Combinatorial Approach to the Separation Problem for Regular Languages. (Une Approche Combinatoire Du Problème de Séparation Pour Les Langages Réguliers). University of Bordeaux, France, 2014.

Place, Thomas, et al. “On Separation by Locally Testable and Locally Threshold Testable Languages.”10.2168/lmcs-10(3:24)2014__Logical Methods in Computer Science, vol. 10, no. 3, Logical Methods in Computer Science e.V., 2014, doi:10.2168/lmcs-10(3:24)2014.

Bokermann, Dennis, et al. “Use Your Best Device! Enabling Device Changes at Runtime.”10.1007/978-3-319-10172-9_23__12th International Conference on Business Process Management (BPM 2014), vol. 8659, Springer International Publishing, 2014, pp. 357–65, doi:10.1007/978-3-319-10172-9_23.

Dräxler, Martin, and Holger Karl. “Feasibility of Base Station Coordination and Dynamic Backhaul Network Configuration in Backhaul Networks with Limited Capacity.” Proceedings of 20th European Wireless Conference , 2014.

Herlich, Matthias, and Holger Karl. “Analytic Quantification of Outage Probability and Radiated Power of Cooperative Base Stations.”10.1109/wiopt.2014.6850365__12th International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks (WiOpt) 2014, IEEE, 2014, doi:10.1109/wiopt.2014.6850365.

Arens, S., et al. Optimierte 3D Morphologiedarstellung Tomographischer Datensätze Des Herzens. 2014.

Flocchini, Paola, et al., editors. Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2013. Vol. 8243, Springer, 2014, doi:10.1007/978-3-642-45346-5.

Schaefers, Lars, and Marco Platzner. “A Novel Technique and Its Application to Computer Go.”10.1109/TCIAIG.2014.2346997__IEEE Transactions on Computational Intelligence and AI in Games, vol. 6, no. 3, 2014, pp. 361–74, doi:10.1109/TCIAIG.2014.2346997.

Giefers, Heiner, and Marco Platzner. “An FPGA-Based Reconfigurable Mesh Many-Core.”10.1109/TC.2013.174__IEEE Transactions on Computers, vol. 63, no. 12, 2014, pp. 2919–32, doi:10.1109/TC.2013.174.