Besova, G., Steenke, D., &; Wehrheim, H. (2014). Grammar-based model transformations. In Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD) (pp. 1601–1610).https://doi.org/10.1016/j.cl.2015.05.003 
LibreCat: /record/417
DOI: 10.1016/j.cl.2015.05.003

Pauck, F. (2014). Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren. Universität Paderborn.
LibreCat: /record/418

Lippert, J. (2014). Fujisaki-Okamoto Transformation. Universität Paderborn.
LibreCat: /record/421

Dornseifer, V. (2014). Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network. Universität Paderborn.
LibreCat: /record/426

Mohr, F. (2014). Estimating Functional Reusability of Services. In Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC) (pp. 411–418).
LibreCat: /record/428

Kling, P. (2014). Energy-efficient Scheduling Algorithms. Universität Paderborn.
LibreCat: /record/431

Bredenbals, N. (2014). Energy-Efficient Queuing with Delayed Deactivation. Universität Paderborn.
LibreCat: /record/432

Wiersema, T., Bockhorn, A., &; Platzner, M. (2014). Embedding FPGA Overlays into Configurable Systems-on-Chip: ReconOS meets ZUMA. In Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig) (pp. 1–6).https://doi.org/10.1109/ReConFig.2014.7032514 
LibreCat: /record/433
DOI: 10.1109/ReConFig.2014.7032514

Antoniadis, A., Barcelo, N., Consuegra, M., Kling, P., Nugent, M., Pruhs, K., &; Scquizzato, M. (2014). Efficient Computation of Optimal Energy and Fractional Weighted Flow Trade-off Schedules. In Proceedings of the 31st Symposium on Theoretical Aspects of Computer Science (STACS) (pp. 63--74).https://doi.org/10.4230/LIPIcs.STACS.2014.63 
LibreCat: /record/435
DOI: 10.4230/LIPIcs.STACS.2014.63

Arzt, S., Rasthofer, S., Fritz, C., Bodden, E., Bartel, A., Klein, J.,https://doi.org/10.1145/2594291.2594299__McDaniel, P. (2014). FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps. In Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI ’14. ACM Press.https://doi.org/10.1145/2594291.2594299 
LibreCat: /record/5189
DOI: 10.1145/2594291.2594299

Arzt, S., Rasthofer, S., Lovat, E., &; Bodden, E. (2014). DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android. In International Conference on Availability, Reliability and Security (ARES 2014) (pp. 40–49). IEEE.
LibreCat: /record/5190

van Rooijen, L. (2014). 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.
LibreCat: /record/6727

Place, T., van Rooijen, L., &; Zeitoun, M. (2014). On Separation by Locally Testable and Locally Threshold Testable Languages. Logical Methods in Computer Science, 10(3).https://doi.org/10.2168/lmcs-10(3:24)2014 
LibreCat: /record/6728
DOI: 10.2168/lmcs-10(3:24)2014

Bokermann, D., Gerth, C., &; Engels, G. (2014). Use Your Best Device! Enabling Device Changes at Runtime. In 12th International Conference on Business Process Management (BPM 2014) (Vol. 8659, pp. 357–365). Springer International Publishing.https://doi.org/10.1007/978-3-319-10172-9_23 
LibreCat: /record/6741
DOI: 10.1007/978-3-319-10172-9_23

Dräxler, M., &; Karl, H. (2014). Feasibility of Base Station Coordination and Dynamic Backhaul Network Configuration in Backhaul Networks with Limited Capacity. In Proceedings of 20th European Wireless Conference .
LibreCat: /record/1647

Herlich, M., &; Karl, H. (2014). Analytic quantification of outage probability and radiated power of cooperative base stations. In 12th International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks (WiOpt) 2014. IEEE.https://doi.org/10.1109/wiopt.2014.6850365 
LibreCat: /record/1654
DOI: 10.1109/wiopt.2014.6850365

Arens, S., Domik, G., Weise, R., Holzinger, J., &; Burchert, W. (2014). Optimierte 3D Morphologiedarstellung tomographischer Datensätze des Herzens. Presented at the 53 Jahrestagung der Deutschen Gesellschaft für Nuklearmedizin, Hannover.
LibreCat: /record/16760

Flocchini, P., Gao, J., Kranakis, E., &; Meyer auf der Heide, F. (Eds.). (2014). Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2013 (Vol. 8243). Berlin, Heidelberg: Springer.https://doi.org/10.1007/978-3-642-45346-5 
LibreCat: /record/16870
DOI: 10.1007/978-3-642-45346-5

Schaefers, L., &; Platzner, M. (2014). A Novel Technique and its Application to Computer Go. IEEE Transactions on Computational Intelligence and AI in Games, 6(3), 361–374.https://doi.org/10.1109/TCIAIG.2014.2346997 
LibreCat: /record/10602
DOI: 10.1109/TCIAIG.2014.2346997

Giefers, H., &; Platzner, M. (2014). An FPGA-based Reconfigurable Mesh Many-Core. IEEE Transactions on Computers, 63(12), 2919–2932.https://doi.org/10.1109/TC.2013.174 
LibreCat: /record/10603
DOI: 10.1109/TC.2013.174