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.
9931 Publications
2014 | Bachelorsthesis | LibreCat-ID: 416
Group Signature Schemes with Strong Exculpability
P. Bemmann, Group Signature Schemes with Strong Exculpability, Universität Paderborn, 2014.
LibreCat
P. Bemmann, Group Signature Schemes with Strong Exculpability, Universität Paderborn, 2014.
2014 | Conference Paper | LibreCat-ID: 417
Grammar-based model transformations
G. Besova, D. Steenke, H. Wehrheim, in: Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD), 2014, pp. 1601–1610.
LibreCat
| Files available
| DOI
G. Besova, D. Steenke, H. Wehrheim, in: Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD), 2014, pp. 1601–1610.
2014 | Bachelorsthesis | LibreCat-ID: 418 |
![Open access file OA](https://ris.uni-paderborn.de/images/access_open.png)
Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren
F. Pauck, Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren, Universität Paderborn, 2014.
LibreCat
| Files available
F. Pauck, Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren, Universität Paderborn, 2014.
2014 | Bachelorsthesis | LibreCat-ID: 421
Fujisaki-Okamoto Transformation
J. Lippert, Fujisaki-Okamoto Transformation, Universität Paderborn, 2014.
LibreCat
J. Lippert, Fujisaki-Okamoto Transformation, Universität Paderborn, 2014.
2014 | Mastersthesis | LibreCat-ID: 426
Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network
V. Dornseifer, Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network, Universität Paderborn, 2014.
LibreCat
V. Dornseifer, Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network, Universität Paderborn, 2014.
2014 | Conference Paper | LibreCat-ID: 428
Estimating Functional Reusability of Services
F. Mohr, in: Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC), 2014, pp. 411–418.
LibreCat
| Files available
| Download (ext.)
F. Mohr, in: Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC), 2014, pp. 411–418.
2014 | Dissertation | LibreCat-ID: 431
Energy-efficient Scheduling Algorithms
P. Kling, Energy-Efficient Scheduling Algorithms, Universität Paderborn, 2014.
LibreCat
| Files available
P. Kling, Energy-Efficient Scheduling Algorithms, Universität Paderborn, 2014.
2014 | Conference Paper | LibreCat-ID: 4315
Light Scattering By Random Irregular Particles With Different Morphology
Y. Grynko, E. Zubko, in: 2014.
LibreCat
| Files available
Y. Grynko, E. Zubko, in: 2014.
2014 | Mastersthesis | LibreCat-ID: 432
Energy-Efficient Queuing with Delayed Deactivation
N. Bredenbals, Energy-Efficient Queuing with Delayed Deactivation, Universität Paderborn, 2014.
LibreCat
N. Bredenbals, Energy-Efficient Queuing with Delayed Deactivation, Universität Paderborn, 2014.
2014 | Conference Paper | LibreCat-ID: 433
Embedding FPGA Overlays into Configurable Systems-on-Chip: ReconOS meets ZUMA
T. Wiersema, A. Bockhorn, M. Platzner, in: Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), 2014, pp. 1–6.
LibreCat
| Files available
| DOI
T. Wiersema, A. Bockhorn, M. Platzner, in: Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), 2014, pp. 1–6.
2014 | Conference Paper | LibreCat-ID: 435
Efficient Computation of Optimal Energy and Fractional Weighted Flow Trade-off Schedules
A. Antoniadis, N. Barcelo, M. Consuegra, P. Kling, M. Nugent, K. Pruhs, M. Scquizzato, in: Proceedings of the 31st Symposium on Theoretical Aspects of Computer Science (STACS), 2014, pp. 63--74.
LibreCat
| Files available
| DOI
A. Antoniadis, N. Barcelo, M. Consuegra, P. Kling, M. Nugent, K. Pruhs, M. Scquizzato, in: Proceedings of the 31st Symposium on Theoretical Aspects of Computer Science (STACS), 2014, pp. 63--74.
2014 | Conference Paper | LibreCat-ID: 5189
FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps
S. Arzt, S. Rasthofer, C. Fritz, E. Bodden, A. Bartel, J. Klein, Y. Le Traon, D. Octeau, P. McDaniel, in: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI ’14, ACM Press, 2014.
LibreCat
| Files available
| DOI
| Download (ext.)
S. Arzt, S. Rasthofer, C. Fritz, E. Bodden, A. Bartel, J. Klein, Y. Le Traon, D. Octeau, P. McDaniel, in: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI ’14, ACM Press, 2014.
2014 | Conference Paper | LibreCat-ID: 5190
DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android
S. Arzt, S. Rasthofer, E. Lovat, E. Bodden, in: International Conference on Availability, Reliability and Security (ARES 2014), IEEE, 2014, pp. 40–49.
LibreCat
| Files available
| Download (ext.)
S. Arzt, S. Rasthofer, E. Lovat, E. Bodden, in: International Conference on Availability, Reliability and Security (ARES 2014), IEEE, 2014, pp. 40–49.
2014 | Misc | LibreCat-ID: 6550
Methoden zur Zeit-Frequenz-Analyse bei der Untersuchung dispersionsbehafteter Signale
F. Bause, J. Rautenberg, N. Feldmann, L. Claes, B. Henning, Methoden zur Zeit-Frequenz-Analyse bei der Untersuchung dispersionsbehafteter Signale, DEGA-Symposium, Bad Honnef, 2014.
LibreCat
F. Bause, J. Rautenberg, N. Feldmann, L. Claes, B. Henning, Methoden zur Zeit-Frequenz-Analyse bei der Untersuchung dispersionsbehafteter Signale, DEGA-Symposium, Bad Honnef, 2014.
2014 | Conference Paper | LibreCat-ID: 6574
Rekonstruktion der räumlichen Schallwechseldruckverteilung unter Berücksichtigung der Orthogonalität optischer und akustischer Achsen beim Schlierenverfahren
S. Olfert, L. Claes, B. Henning, in: Fortschritte Der Akustik - DAGA 2014, 2014, pp. 541–542.
LibreCat
S. Olfert, L. Claes, B. Henning, in: Fortschritte Der Akustik - DAGA 2014, 2014, pp. 541–542.
2014 | Dissertation | LibreCat-ID: 6727
A combinatorial approach to the separation problem for regular languages. (Une approche combinatoire du problème de séparation pour les langages réguliers)
L. van Rooijen, 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
L. van Rooijen, 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.
2014 | Journal Article | LibreCat-ID: 6728
On Separation by Locally Testable and Locally Threshold Testable Languages
T. Place, L. van Rooijen, M. Zeitoun, Logical Methods in Computer Science 10 (2014).
LibreCat
| DOI
T. Place, L. van Rooijen, M. Zeitoun, Logical Methods in Computer Science 10 (2014).
2014 | Conference Paper | LibreCat-ID: 6741
Use Your Best Device! Enabling Device Changes at Runtime
D. Bokermann, C. Gerth, G. Engels, in: 12th International Conference on Business Process Management (BPM 2014), Springer International Publishing, 2014, pp. 357–365.
LibreCat
| DOI
D. Bokermann, C. Gerth, G. Engels, in: 12th International Conference on Business Process Management (BPM 2014), Springer International Publishing, 2014, pp. 357–365.
2014 | Conference Paper | LibreCat-ID: 6927
Integration of offshore wind energy into the grid system in Germany: Modelling of a market oriented energy provision
Y. Bouyraaman, J. Bendfeld, S. Krauter, in: 14th IAEE European Energy Conference- Sustainable Energy Policy and Strategies in Europe, Rome, Italy, October 28-31, 2014, 2014.
LibreCat
Y. Bouyraaman, J. Bendfeld, S. Krauter, in: 14th IAEE European Energy Conference- Sustainable Energy Policy and Strategies in Europe, Rome, Italy, October 28-31, 2014, 2014.
2014 | Conference Paper | LibreCat-ID: 6928
Integration of wind energy in power systems: Modeling of a market-orientated energy concept
Y. Bouyraaman, J. Bendfeld, S. Krauter, P. Breymann, in: Proceedings of the World Renewable Energy Congress WREC XIII, London, (UK), August 3-8, 2014 , 2014.
LibreCat
Y. Bouyraaman, J. Bendfeld, S. Krauter, P. Breymann, in: Proceedings of the World Renewable Energy Congress WREC XIII, London, (UK), August 3-8, 2014 , 2014.