Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5947 Publications
2014 | Bachelorsthesis | LibreCat-ID: 416
Bemmann, Pascal. Group Signature Schemes with Strong Exculpability. Universität Paderborn, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 417
Besova, Galina, et al. “Grammar-Based Model Transformations.” Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD), 2014, pp. 1601–10, doi:10.1016/j.cl.2015.05.003.
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 418 | 
Pauck, Felix. Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren. Universität Paderborn, 2014.
LibreCat
| Files available
2014 | Bachelorsthesis | LibreCat-ID: 421
Lippert, Jan. Fujisaki-Okamoto Transformation. Universität Paderborn, 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 426
Dornseifer, Veit. Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network. Universität Paderborn, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 428
Mohr, Felix. “Estimating Functional Reusability of Services.” Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC), 2014, pp. 411–18.
LibreCat
| Files available
| Download (ext.)
2014 | Dissertation | LibreCat-ID: 431
Kling, Peter. Energy-Efficient Scheduling Algorithms. Universität Paderborn, 2014.
LibreCat
| Files available
2014 | Mastersthesis | LibreCat-ID: 432
Bredenbals, Nico. Energy-Efficient Queuing with Delayed Deactivation. Universität Paderborn, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 433
Wiersema, Tobias, et al. “Embedding FPGA Overlays into Configurable Systems-on-Chip: ReconOS Meets ZUMA.” Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), 2014, pp. 1–6, doi:10.1109/ReConFig.2014.7032514.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 435
Antoniadis, Antonios, et al. “Efficient Computation of Optimal Energy and Fractional Weighted Flow Trade-off Schedules.” Proceedings of the 31st Symposium on Theoretical Aspects of Computer Science (STACS), 2014, pp. 63--74, doi:10.4230/LIPIcs.STACS.2014.63.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 5189
Arzt, Steven, et al. “FlowDroid: Precise Context, Flow, Field, Object-Sensitive and Lifecycle-Aware Taint Analysis for Android Apps.” Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI ’14, ACM Press, 2014, doi:10.1145/2594291.2594299.
LibreCat
| Files available
| DOI
| Download (ext.)
2014 | Conference Paper | LibreCat-ID: 5190
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
| Files available
| Download (ext.)
2014 | Dissertation | LibreCat-ID: 6727
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
2014 | Journal Article | LibreCat-ID: 6728
Place, Thomas, et al. “On Separation by Locally Testable and Locally Threshold Testable Languages.” 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
| DOI
2014 | Conference Paper | LibreCat-ID: 6741
Bokermann, Dennis, et al. “Use Your Best Device! Enabling Device Changes at Runtime.” 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
| DOI
2014 | Conference Paper | LibreCat-ID: 1647
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.
LibreCat
| Files available
| Download (ext.)
2014 | Conference Paper | LibreCat-ID: 1654
Herlich, Matthias, and Holger Karl. “Analytic Quantification of Outage Probability and Radiated Power of Cooperative Base Stations.” 12th International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks (WiOpt) 2014, IEEE, 2014, doi:10.1109/wiopt.2014.6850365.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 16760
Arens, S., et al. Optimierte 3D Morphologiedarstellung Tomographischer Datensätze Des Herzens. 2014.
LibreCat
2014 | Book (Editor) | LibreCat-ID: 16870
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.
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 10602
Schaefers, Lars, and Marco Platzner. “A Novel Technique and Its Application to Computer Go.” IEEE Transactions on Computational Intelligence and AI in Games, vol. 6, no. 3, 2014, pp. 361–74, doi:10.1109/TCIAIG.2014.2346997.
LibreCat
| DOI