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

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

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

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

Kling, Peter. Energy-Efficient Scheduling Algorithms. Universität Paderborn, 2014.
LibreCat: /record/431

Grynko, Yevgen, and Evgenij Zubko. Light Scattering By Random Irregular Particles With Different Morphology. 2014.
LibreCat: /record/4315

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

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.
LibreCat: /record/433
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.
LibreCat: /record/435
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.
LibreCat: /record/5189
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.
LibreCat: /record/5190

Bause, Fabian, et al. Methoden zur Zeit-Frequenz-Analyse bei der Untersuchung dispersionsbehafteter Signale. Vol. 8, 2014.
LibreCat: /record/6550

Olfert, Sergei, et al. “Rekonstruktion Der Räumlichen Schallwechseldruckverteilung Unter Berücksichtigung Der Orthogonalität Optischer Und Akustischer Achsen Beim Schlierenverfahren.” Fortschritte Der Akustik - DAGA 2014, 2014, pp. 541–42.
LibreCat: /record/6574

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.
LibreCat: /record/6727

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.
LibreCat: /record/6728
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.
LibreCat: /record/6741
DOI: 10.1007/978-3-319-10172-9_23

Bouyraaman, Yassin, et al. “Integration of Offshore Wind Energy into the Grid System in Germany: Modelling of a Market Oriented Energy Provision.” 14th IAEE European Energy Conference- Sustainable Energy Policy and Strategies in Europe, Rome, Italy, October 28-31, 2014, 2014.
LibreCat: /record/6927

Bouyraaman, Yassin, et al. “Integration of Wind Energy in Power Systems: Modeling of a Market-Orientated Energy Concept.” Proceedings of the World Renewable Energy Congress WREC XIII, London, (UK), August 3-8, 2014 , 2014.
LibreCat: /record/6928

Bouyraaman, Yassin, and Jörg Bendfeld. “Reduction of Offshore Wind Farm Power Feed-in FLuctuations via Power to Gas Storage Systems.” Solar 2014/Intersolar North America, San Francisco, July 6-10, 2014 , 2014.
LibreCat: /record/6929

Bendfeld, Jörg, and Stefan Balluff. “Advanced Offshore Measurements for Windfarms.” Solar 2014/Intersolar North America, San Francisco, July 6-10, 2014, 2014.
LibreCat: /record/6930