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.
9812 Publications
2014 | Conference Paper | LibreCat-ID: 408
M.-C. Jakobs, M. Platzner, T. Wiersema, and H. Wehrheim, “Integrating Software and Hardware Verification,” in Proceedings of the 11th International Conference on Integrated Formal Methods (iFM), 2014, pp. 307–322.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 409
M. C. Platenius, S. Becker, and W. Schäfer, “Integrating Service Matchers into a Service Market Architecture,” in Proceedings of the 8th European Conference on Software Architecture (ECSA 2014), 2014, pp. 210–217.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 412
M. Feldotto, C. Scheideler, and K. 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), 2014, pp. 1–10.
LibreCat
| Files available
| DOI
| arXiv
2014 | Mastersthesis | LibreCat-ID: 414
J. Jochheim, Hiding software components using functional encryption. Universität Paderborn, 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 416
P. Bemmann, Group Signature Schemes with Strong Exculpability. Universität Paderborn, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 417
G. Besova, D. Steenke, and H. Wehrheim, “Grammar-based model transformations,” in Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD), 2014, pp. 1601–1610.
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 418 | 
F. Pauck, Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren. Universität Paderborn, 2014.
LibreCat
| Files available
2014 | Bachelorsthesis | LibreCat-ID: 421
J. Lippert, Fujisaki-Okamoto Transformation. Universität Paderborn, 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 426
V. Dornseifer, Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network. Universität Paderborn, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 428
F. Mohr, “Estimating Functional Reusability of Services,” in Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC), 2014, pp. 411–418.
LibreCat
| Files available
| Download (ext.)
2014 | Dissertation | LibreCat-ID: 431
P. Kling, Energy-efficient Scheduling Algorithms. Universität Paderborn, 2014.
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 4315
Y. Grynko and E. Zubko, “Light Scattering By Random Irregular Particles With Different Morphology,” presented at the 10th International Conference on Laser-Light and Interactions with Particles, Marseille (France), 2014.
LibreCat
| Files available
2014 | Mastersthesis | LibreCat-ID: 432
N. Bredenbals, Energy-Efficient Queuing with Delayed Deactivation. Universität Paderborn, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 433
T. Wiersema, A. Bockhorn, and M. Platzner, “Embedding FPGA Overlays into Configurable Systems-on-Chip: ReconOS meets ZUMA,” in Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), 2014, pp. 1–6.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 435
A. Antoniadis 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), 2014, pp. 63--74.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 5189
S. Arzt 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, 2014.
LibreCat
| Files available
| DOI
| Download (ext.)
2014 | Conference Paper | LibreCat-ID: 5190
S. Arzt, S. Rasthofer, E. Lovat, and E. Bodden, “DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android,” in International Conference on Availability, Reliability and Security (ARES 2014), 2014, pp. 40–49.
LibreCat
| Files available
| Download (ext.)
2014 | Misc | LibreCat-ID: 6550
F. Bause, J. Rautenberg, N. Feldmann, L. Claes, and B. 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
S. Olfert, L. Claes, and B. Henning, “Rekonstruktion der räumlichen Schallwechseldruckverteilung unter Berücksichtigung der Orthogonalität optischer und akustischer Achsen beim Schlierenverfahren,” in Fortschritte der Akustik - DAGA 2014, 2014, pp. 541–542.
LibreCat
2014 | Dissertation | LibreCat-ID: 6727
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
2014 | Conference Paper | LibreCat-ID: 6927
Y. Bouyraaman, J. Bendfeld, and S. Krauter, “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
Y. Bouyraaman, J. Bendfeld, S. Krauter, and P. Breymann, “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
Y. Bouyraaman and J. Bendfeld, “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
J. Bendfeld and S. Balluff, “Advanced offshore Measurements for Windfarms,” in Solar 2014/Intersolar North America, San Francisco, July 6-10, 2014, 2014.
LibreCat
2014 | Book | LibreCat-ID: 6931
S. Krauter, Solar Electric Power Systems. Second Edition. Berlin, Heidelberg, New York (2014/15 – under preparation): Springer Verlag, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 6932
S. Krauter, “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
S. Krauter, “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
S. Krauter, J. Bendfeld, A. Gohardehi, and A. Sadati, “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
S. Krauter, Y. Bouyraaman, J. Bendfeld, and E. Japs, “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
S. Krauter, “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
A. Ameli, H. Ameli, S. Krauter, and R. Hanitsch, “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
E. Japs, S. Peters, G. Sonnenrein, and S. Krauter, “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
S. Krauter and E. Japs, “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
S. Krauter, “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
S. Krauter, “Integration Erneuerbarer Energien: Herausforderungen und Maßnahmen im Erzeugungssektor und Lastmanagement,” uwf Umwelt Wirtschafts Forum, vol. 22, no. 1, p. S. 37-44, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 1647
M. Dräxler and H. Karl, “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
M. Herlich and H. Karl, “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, 2014.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 16760
S. Arens, G. Domik, R. Weise, J. Holzinger, and W. Burchert, “Optimierte 3D Morphologiedarstellung tomographischer Datensätze des Herzens.” Hannover, 2014.
LibreCat
2014 | Book (Editor) | LibreCat-ID: 16870
P. Flocchini, J. Gao, E. Kranakis, and F. Meyer auf der Heide, 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.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 17045
T. Gail, S. Leyendecker, and S. Ober-Blöbaum, “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
S. Ober-Blöbaum and H. Lindhorst, “Variational formulation and structure-preserving discretization ofnonlinear electric circuits,” in 21st International Symposium on Mathematical Theory of Networks and Systems, 2014.
LibreCat