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.
10473 Publications
2014 | Conference Paper | LibreCat-ID: 409
Platenius, Marie Christin, Steffen Becker, and Wilhelm Schäfer. “Integrating Service Matchers into a Service Market Architecture.” In Proceedings of the 8th European Conference on Software Architecture (ECSA 2014), edited by Paris Avgeriou and Uwe Zdun, 210–17. LNCS, 2014. https://doi.org/10.1007/978-3-319-09970-5_19.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 412
Feldotto, Matthias, Christian Scheideler, and Kalman Graffi. “HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths.” In Proceedings of the 14th IEEE International Conference on Peer-to-Peer Computing (P2P), 1–10, 2014. https://doi.org/10.1109/P2P.2014.6934300.
LibreCat
| Files available
| DOI
| arXiv
2014 | Mastersthesis | LibreCat-ID: 414
Jochheim, Janek. Hiding Software Components Using Functional Encryption. Universität Paderborn, 2014.
LibreCat
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, Dominik Steenke, and Heike Wehrheim. “Grammar-Based Model Transformations.” In Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD), 1601–10, 2014. https://doi.org/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.” In Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC), 411–18. LNCS, 2014.
LibreCat
| Files available
| Download (ext.)
2014 | Dissertation | LibreCat-ID: 431
Kling, Peter. Energy-Efficient Scheduling Algorithms. Universität Paderborn, 2014.
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 4315
Grynko, Yevgen, and Evgenij Zubko. “Light Scattering By Random Irregular Particles With Different Morphology,” 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, Arne Bockhorn, and Marco Platzner. “Embedding FPGA Overlays into Configurable Systems-on-Chip: ReconOS Meets ZUMA.” In Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), 1–6, 2014. https://doi.org/10.1109/ReConFig.2014.7032514.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 435
Antoniadis, Antonios, Neal Barcelo, Mario Consuegra, Peer Kling, Michael Nugent, Kirk Pruhs, and Michele Scquizzato. “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), 63--74. LIPIcs, 2014. https://doi.org/10.4230/LIPIcs.STACS.2014.63.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 5189
Arzt, Steven, Siegfried Rasthofer, Christian Fritz, Eric Bodden, Alexandre Bartel, Jacques Klein, Yves Le Traon, Damien Octeau, and Patrick McDaniel. “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, 2014. https://doi.org/10.1145/2594291.2594299.
LibreCat
| Files available
| DOI
| Download (ext.)
2014 | Conference Paper | LibreCat-ID: 5190
Arzt, Steven, Siegfried Rasthofer, Enrico Lovat, and Eric Bodden. “DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android.” In International Conference on Availability, Reliability and Security (ARES 2014), 40–49. IEEE, 2014.
LibreCat
| Files available
| Download (ext.)
2014 | Misc | LibreCat-ID: 6550
Bause, Fabian, Jens Rautenberg, Nadine Feldmann, Leander Claes, and Bernd Henning. Methoden zur Zeit-Frequenz-Analyse bei der Untersuchung dispersionsbehafteter Signale. Vol. 8. DEGA-Symposium, Bad Honnef, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 6574
Olfert, Sergei, Leander Claes, and Bernd Henning. “Rekonstruktion Der Räumlichen Schallwechseldruckverteilung Unter Berücksichtigung Der Orthogonalität Optischer Und Akustischer Achsen Beim Schlierenverfahren.” In Fortschritte Der Akustik - DAGA 2014, 541–42, 2014.
LibreCat
2014 | Dissertation | LibreCat-ID: 6727
Rooijen, Lorijn van. 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, Lorijn van Rooijen, and Marc Zeitoun. “On Separation by Locally Testable and Locally Threshold Testable Languages.” Logical Methods in Computer Science 10, no. 3 (2014). https://doi.org/10.2168/lmcs-10(3:24)2014.
LibreCat
| DOI