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.
9730 Publications
2014 | Mastersthesis | LibreCat-ID: 414
Jochheim J. Hiding Software Components Using Functional Encryption. Universität Paderborn; 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 416
Bemmann P. Group Signature Schemes with Strong Exculpability. Universität Paderborn; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 417
Besova G, Steenke D, Wehrheim H. Grammar-based model transformations. In: Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD). ; 2014:1601-1610. doi:10.1016/j.cl.2015.05.003
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 418 | 
Pauck F. Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren. Universität Paderborn; 2014.
LibreCat
| Files available
2014 | Bachelorsthesis | LibreCat-ID: 421
Lippert J. Fujisaki-Okamoto Transformation. Universität Paderborn; 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 426
Dornseifer V. Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network. Universität Paderborn; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 428
Mohr F. Estimating Functional Reusability of Services. In: Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC). LNCS. ; 2014:411-418.
LibreCat
| Files available
| Download (ext.)
2014 | Dissertation | LibreCat-ID: 431
Kling P. Energy-Efficient Scheduling Algorithms. Universität Paderborn; 2014.
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 4315
Grynko Y, Zubko E. Light Scattering By Random Irregular Particles With Different Morphology. In: ; 2014.
LibreCat
| Files available
2014 | Mastersthesis | LibreCat-ID: 432
Bredenbals N. Energy-Efficient Queuing with Delayed Deactivation. Universität Paderborn; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 433
Wiersema T, Bockhorn A, Platzner M. Embedding FPGA Overlays into Configurable Systems-on-Chip: ReconOS meets ZUMA. In: Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig). ; 2014:1-6. doi:10.1109/ReConFig.2014.7032514
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 435
Antoniadis A, Barcelo N, Consuegra M, et al. 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). LIPIcs. ; 2014:63--74. doi:10.4230/LIPIcs.STACS.2014.63
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 5189
Arzt S, Rasthofer S, Fritz C, et al. 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. doi:10.1145/2594291.2594299
LibreCat
| Files available
| DOI
| Download (ext.)
2014 | Conference Paper | LibreCat-ID: 5190
Arzt S, Rasthofer S, Lovat E, Bodden E. DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android. In: International Conference on Availability, Reliability and Security (ARES 2014). IEEE; 2014:40-49.
LibreCat
| Files available
| Download (ext.)
2014 | Misc | LibreCat-ID: 6550
Bause F, Rautenberg J, Feldmann N, Claes L, Henning B. 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 S, Claes L, Henning B. Rekonstruktion der räumlichen Schallwechseldruckverteilung unter Berücksichtigung der Orthogonalität optischer und akustischer Achsen beim Schlierenverfahren. In: Fortschritte Der Akustik - DAGA 2014. ; 2014:541-542.
LibreCat
2014 | Dissertation | LibreCat-ID: 6727
van Rooijen L. 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 T, van Rooijen L, Zeitoun M. On Separation by Locally Testable and Locally Threshold Testable Languages. Logical Methods in Computer Science. 2014;10(3). doi:10.2168/lmcs-10(3:24)2014
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 6741
Bokermann D, Gerth C, Engels G. Use Your Best Device! Enabling Device Changes at Runtime. In: 12th International Conference on Business Process Management (BPM 2014). Vol 8659. Lecture Notes in Computer Science. Springer International Publishing; 2014:357-365. doi:10.1007/978-3-319-10172-9_23
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 6927
Bouyraaman Y, Bendfeld J, Krauter S. Integration of offshore wind energy into the grid system in Germany: Modelling of a market oriented energy provision. In: 14th IAEE European Energy Conference- Sustainable Energy Policy and Strategies in Europe, Rome, Italy, October 28-31, 2014. ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 6928
Bouyraaman Y, Bendfeld J, Krauter S, Breymann P. Integration of wind energy in power systems: Modeling of a market-orientated energy concept. In: Proceedings of the World Renewable Energy Congress WREC XIII, London, (UK), August 3-8, 2014 . ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 6929
Bouyraaman Y, Bendfeld J. Reduction of Offshore Wind farm power Feed-in fluctuations via Power to Gas Storage Systems. In: Solar 2014/Intersolar North America, San Francisco, July 6-10, 2014 . ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 6930
Bendfeld J, Balluff S. Advanced offshore Measurements for Windfarms. In: Solar 2014/Intersolar North America, San Francisco, July 6-10, 2014. ; 2014.
LibreCat
2014 | Book | LibreCat-ID: 6931
Krauter S. Solar Electric Power Systems. Second Edition. Berlin, Heidelberg, New York (2014/15 – under preparation): Springer Verlag; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 6932
Krauter S. Measures to match load profile with actual PV generation to achieve an effective integration into the energy system. In: Proceedings of the 6th World Conference of Photovoltaic Energy Conversion WCPEC 6, Kyoto (Japan), November 23-27, 2014 . ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 6933
Krauter S. Identification and elimination of potential induced degradation (PID) at photovoltaic power plants. In: Proceedings of the 6th World Conference of Photovoltaic Energy Conversion WCPEC 6, Kyoto (Japan), November 23-27, 2014. ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 6934
Krauter S, Bendfeld J, Gohardehi A, Sadati A. Performance and Yield Comparison of seven different Micro-Inverters. In: Proceedings of the 6th World Conference of Photovoltaic Energy Conversion WCPEC 6, Kyoto (Japan), November 23-27, 2014. ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 6935
Krauter S, Bouyraaman Y, Bendfeld J, Japs E. Micro combined heat and power plants (micro-CHP) in combination with photovoltaics for autonomous local power and heat supply. In: Proceedings of the 6th World Conference of Photovoltaic Energy Conversion WCPEC 6, Kyoto (Japan), November 23-27, 2014. ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 6936
Krauter S. Photovoltaics and the Energy System: Adaptation of layout and load. In: Proceedings of the World Renewable Energy Congress WREC XIII, London, (UK), August 3-8, 2014 . ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 6937
Ameli A, Ameli H, Krauter S, Hanitsch R. An Optimized Load Frequency Control of a De-centralized Energy System Using Plug-in Electric Vehicles. In: Proceedings of the MES-BREG 2014 Symposium “Innovating Energy Access for Remote Areas: Discovering Untapped Resources”, UC Berkeley (USA), April 10-12, 2014 . ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 6938
Japs E, Peters S, Sonnenrein G, Krauter S. Energy-economic comparison of photovoltaic modules equipped with a layer of conventional and improved phase-change material. In: Proceedings of the 40th IEEE Photovoltaic Specialists Conference, Denver (USA), June 8-13, 2014 . ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 6939
Krauter S, Japs E. Integration of PV into the Energy System: Challenges and Measures for Generation and Load Management. In: Proceedings of the 40th IEEE Photovoltaic Specialists Conference, Denver (USA), June 8-13, 2014. ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 6940
Krauter S. Plant layout modifications and load adaptation to integrate Photovoltaics in the energy system. In: Proceedings of the 29th European Photovoltaic Solar Energy Conference and Exhibition, Amsterdam (The Netherlands), September 22-16, 2014 . ; 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 6942
Krauter S. Integration Erneuerbarer Energien: Herausforderungen und Maßnahmen im Erzeugungssektor und Lastmanagement. uwf Umwelt Wirtschafts Forum. 2014;22(1):S. 37-44.
LibreCat
2014 | Conference Paper | LibreCat-ID: 1647
Dräxler M, Karl H. Feasibility of Base Station Coordination and Dynamic Backhaul Network Configuration in Backhaul Networks with Limited Capacity. In: Proceedings of 20th European Wireless Conference . ; 2014.
LibreCat
| Files available
| Download (ext.)
2014 | Conference Paper | LibreCat-ID: 1654
Herlich M, Karl H. 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; 2014. doi:10.1109/wiopt.2014.6850365
LibreCat
| DOI
2014 | Book Chapter | LibreCat-ID: 16577
Dellnitz M, Dumitrescu R, Flaßkamp K, et al. The Paradigm of Self-optimization. In: Lecture Notes in Mechanical Engineering. Berlin, Heidelberg; 2014. doi:10.1007/978-3-642-45435-6_1
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 16596
Flasskamp K, Ober-Blobaum S, Schneider T, Bocker J. Optimal control of a switched reluctance drive by a direct method using a discrete variational principle. In: 52nd IEEE Conference on Decision and Control. ; 2014. doi:10.1109/cdc.2013.6761075
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 16597
Flaßkamp K, Timmermann J, Ober-Blöbaum S, Trächtler A. Control strategies on stable manifolds for energy-efficient swing-ups of double pendula. International Journal of Control. 2014:1886-1905. doi:10.1080/00207179.2014.893450
LibreCat
| DOI
2014 | Book Chapter | LibreCat-ID: 16679
Anacker H, Dellnitz M, Flaßkamp K, et al. Methods for the Design and Development. In: Lecture Notes in Mechanical Engineering. Berlin, Heidelberg; 2014. doi:10.1007/978-3-642-45435-6_5
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 16760
Arens S, Domik G, Weise R, Holzinger J, Burchert W. Optimierte 3D Morphologiedarstellung tomographischer Datensätze des Herzens. 2014.
LibreCat
2014 | Book (Editor) | LibreCat-ID: 16870
Flocchini P, Gao J, Kranakis E, Meyer auf der Heide F, eds. 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; 2014. doi:10.1007/978-3-642-45346-5
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 17043
Baier R, Dellnitz M, Hessel-von Molo M, Sertl S, Kevrekidis IG. The computation of convex invariant sets via Newton’s method. Journal of Computational Dynamics. 2014;1(1):39-69. doi:10.3934/jcd.2014.1.39
LibreCat
| DOI
2014 | Book Chapter | LibreCat-ID: 17044
Leitz T, Ober-Blöbaum S, Leyendecker S. Variational Lie Group Formulation of Geometrically Exact Beam Dynamics: Synchronous and Asynchronous Integration. In: Terze Z, ed. Multibody Dynamics. Cham: Springer; 2014. doi:10.1007/978-3-319-07260-9
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 17045
Gail T, Leyendecker S, Ober-Blöbaum S. On the role of quadrature rules and system dimensions in variational multirateintegrators. In: The 3rdJoint International Conference on Multibody System Dynamics. ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 17046
Ober-Blöbaum S, Lindhorst H. Variational formulation and structure-preserving discretization ofnonlinear electric circuits. In: 21st International Symposium on Mathematical Theory of Networks and Systems. ; 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 10602
Schaefers L, Platzner M. A Novel Technique and its Application to Computer Go. IEEE Transactions on Computational Intelligence and AI in Games. 2014;6(3):361-374. doi:10.1109/TCIAIG.2014.2346997
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 10603
Giefers H, Platzner M. An FPGA-based Reconfigurable Mesh Many-Core. IEEE Transactions on Computers. 2014;63(12):2919-2932. doi:10.1109/TC.2013.174
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 10621
Anwer J, Platzner M, Meisner S. FPGA Redundancy Configurations: An Automated Design Space Exploration. In: Reconfigurable Architectures Workshop (RAW). RAW. ; 2014. doi:10.1109/IPDPSW.2014.37
LibreCat
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 10627
Bockhorn A. Echtzeit Klassifikation von SEMG Signalen Mit Einem Low-Cost DSP Evaluation Board. Paderborn University; 2014.
LibreCat