@inproceedingsScheideler_Eikel_Setzer_2014, series=LNCS, title=Minimum Linear Arrangement of Series-Parallel Graphs, booktitle=Proceedings of the 12th Workshop on Approximation and Online Algorithms (WAOA), author=Scheideler, Christian and Eikel, Martina and Setzer, Alexander, year=2014, pages=168--180, collection=LNCS 
LibreCat: /record/397

@inproceedingsWiersema_Drzevitzky_Platzner_2014, title=Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring, DOI=10.1109/FPT.2014.7082771, booktitle=Proceedings of the International Conference on Field-Programmable Technology (FPT), author=Wiersema, Tobias and Drzevitzky, Stephanie and Platzner, Marco, year=2014, pages=167–174 
LibreCat: /record/399
DOI: 10.1109/FPT.2014.7082771

@inproceedingsPlatenius_Arifulina_Petrlic_Schäfer_2014, series=Communications in Computer and Information Science, title=Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching, DOI=10.1007/978-3-319-14886-1_2, booktitle=Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet, author=Platenius, Marie Christin and Arifulina, Svetlana and Petrlic, Ronald and Schäfer, Wilhelm, year=2014, pages=6–17, collection=Communications in Computer and Information Science 
LibreCat: /record/401
DOI: 10.1007/978-3-319-14886-1_2

@inproceedingsArifulina_Platenius_Gerth_Becker_Engels_Schäfer_2014, series=LNCS, title=Market-optimized Service Specification and Matching, DOI=10.1007/978-3-662-45391-9_47, booktitle=Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014), author=Arifulina, Svetlana and Platenius, Marie Christin and Gerth, Christian and Becker, Steffen and Engels, Gregor and Schäfer, Wilhelm, editor=Franch, Xavier and Ghose, AdityaK. and Lewis, GraceA. and Bhiri, SamiEditors, year=2014, pages=543–550, collection=LNCS 
LibreCat: /record/402
DOI: 10.1007/978-3-662-45391-9_47

@inproceedingsJakobs_Platzner_Wiersema_Wehrheim_2014, series=LNCS, title=Integrating Software and Hardware Verification, DOI=10.1007/978-3-319-10181-1_19, booktitle=Proceedings of the 11th International Conference on Integrated Formal Methods (iFM), author=Jakobs, Marie-Christine and Platzner, Marco and Wiersema, Tobias and Wehrheim, Heike, editor=Albert, Elvira and Sekerinski, EmilEditors, year=2014, pages=307–322, collection=LNCS 
LibreCat: /record/408
DOI: 10.1007/978-3-319-10181-1_19

@inproceedingsPlatenius_Becker_Schäfer_2014, series=LNCS, title=Integrating Service Matchers into a Service Market Architecture, DOI=10.1007/978-3-319-09970-5_19, booktitle=Proceedings of the 8th European Conference on Software Architecture (ECSA 2014), author=Platenius, Marie Christin and Becker, Steffen and Schäfer, Wilhelm, editor=Avgeriou, Paris and Zdun, UweEditors, year=2014, pages=210–217, collection=LNCS 
LibreCat: /record/409
DOI: 10.1007/978-3-319-09970-5_19

@inproceedingsFeldotto_Scheideler_Graffi_2014, title=HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths, DOI=10.1109/P2P.2014.6934300, booktitle=Proceedings of the 14th IEEE International Conference on Peer-to-Peer Computing (P), author=Feldotto, Matthias and Scheideler, Christian and Graffi, Kalman, year=2014, pages=1–10 
LibreCat: /record/412
DOI: 10.1109/P2P.2014.6934300
arXiv: 1408.0395

@bookJochheim_2014, title=Hiding software components using functional encryption, publisher=Universität Paderborn, author=Jochheim, Janek, year=2014 
LibreCat: /record/414

@bookBemmann_2014, title=Group Signature Schemes with Strong Exculpability, publisher=Universität Paderborn, author=Bemmann, Pascal, year=2014 
LibreCat: /record/416

@inproceedingsBesova_Steenke_Wehrheim_2014, title=Grammar-based model transformations, DOI=10.1016/j.cl.2015.05.003, booktitle=Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD), author=Besova, Galina and Steenke, Dominik and Wehrheim, Heike, year=2014, pages=1601–1610 
LibreCat: /record/417
DOI: 10.1016/j.cl.2015.05.003

@bookPauck_2014, title=Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren, publisher=Universität Paderborn, author=Pauck, Felix, year=2014 
LibreCat: /record/418

@bookLippert_2014, title=Fujisaki-Okamoto Transformation, publisher=Universität Paderborn, author=Lippert, Jan, year=2014 
LibreCat: /record/421

@bookDornseifer_2014, title=Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network, publisher=Universität Paderborn, author=Dornseifer, Veit, year=2014 
LibreCat: /record/426

@inproceedingsMohr_2014, series=LNCS, title=Estimating Functional Reusability of Services, booktitle=Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC), author=Mohr, Felix, year=2014, pages=411–418, collection=LNCS 
LibreCat: /record/428

@bookKling_2014, title=Energy-efficient Scheduling Algorithms, publisher=Universität Paderborn, author=Kling, Peter, year=2014 
LibreCat: /record/431

@inproceedingsGrynko_Zubko_2014, title=Light Scattering By Random Irregular Particles With Different Morphology, author=Grynko, Yevgen and Zubko, Evgenij, year=2014 
LibreCat: /record/4315

@bookBredenbals_2014, title=Energy-Efficient Queuing with Delayed Deactivation, publisher=Universität Paderborn, author=Bredenbals, Nico, year=2014 
LibreCat: /record/432

@inproceedingsWiersema_Bockhorn_Platzner_2014, title=Embedding FPGA Overlays into Configurable Systems-on-Chip: ReconOS meets ZUMA, DOI=10.1109/ReConFig.2014.7032514, booktitle=Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), author=Wiersema, Tobias and Bockhorn, Arne and Platzner, Marco, year=2014, pages=1–6 
LibreCat: /record/433
DOI: 10.1109/ReConFig.2014.7032514

@inproceedingsAntoniadis_Barcelo_Consuegra_Kling_Nugent_Pruhs_Scquizzato_2014, series=LIPIcs, title=Efficient Computation of Optimal Energy and Fractional Weighted Flow Trade-off Schedules, DOI=10.4230/LIPIcs.STACS.2014.63, booktitle=Proceedings of the 31st Symposium on Theoretical Aspects of Computer Science (STACS), author=Antoniadis, Antonios and Barcelo, Neal and Consuegra, Mario and Kling, Peer and Nugent, Michael and Pruhs, Kirk and Scquizzato, Michele, year=2014, pages=63--74, collection=LIPIcs 
LibreCat: /record/435
DOI: 10.4230/LIPIcs.STACS.2014.63

@inproceedingsArzt_Rasthofer_Fritz_Bodden_Bartel_Klein_Le Traon_Octeau_McDaniel_2014, title=FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps, DOI=10.1145/2594291.2594299, booktitle=Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI ’14, publisher=ACM Press, author=Arzt, Steven and Rasthofer, Siegfried and Fritz, Christian and Bodden, Eric and Bartel, Alexandre and Klein, Jacques and Le Traon, Yves and Octeau, Damien and McDaniel, Patrick, year=2014 
LibreCat: /record/5189
DOI: 10.1145/2594291.2594299

@inproceedingsArzt_Rasthofer_Lovat_Bodden_2014, title=DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android, booktitle=International Conference on Availability, Reliability and Security (ARES 2014), publisher=IEEE, author=Arzt, Steven and Rasthofer, Siegfried and Lovat, Enrico and Bodden, Eric, year=2014, pages=40–49 
LibreCat: /record/5190

@bookBause_Rautenberg_Feldmann_Claes_Henning_2014, place=DEGA-Symposium, Bad Honnef, title=Methoden zur Zeit-Frequenz-Analyse bei der Untersuchung dispersionsbehafteter Signale, volume=8, author=Bause, Fabian and Rautenberg, Jens and Feldmann, Nadine and Claes, Leander and Henning, Bernd, year=2014 
LibreCat: /record/6550

@inproceedingsOlfert_Claes_Henning_2014, title=Rekonstruktion der räumlichen Schallwechseldruckverteilung unter Berücksichtigung der Orthogonalität optischer und akustischer Achsen beim Schlierenverfahren, booktitle=Fortschritte der Akustik - DAGA 2014, author=Olfert, Sergei and Claes, Leander and Henning, Bernd, year=2014, pages=541–542 
LibreCat: /record/6574

@bookvan Rooijen_2014, title=A combinatorial approach to the separation problem for regular languages. (Une approche combinatoire du problème de séparation pour les langages réguliers), publisher=University of Bordeaux, France, author=van Rooijen, Lorijn, year=2014 
LibreCat: /record/6727

@articlePlace_van Rooijen_Zeitoun_2014, title=On Separation by Locally Testable and Locally Threshold Testable Languages, volume=10, DOI=10.2168/lmcs-10(3:24)2014, number=3, journal=Logical Methods in Computer Science, publisher=Logical Methods in Computer Science e.V., author=Place, Thomas and van Rooijen, Lorijn and Zeitoun, Marc, year=2014 
LibreCat: /record/6728
DOI: 10.2168/lmcs-10(3:24)2014

@inproceedingsBokermann_Gerth_Engels_2014, series=Lecture Notes in Computer Science, title=Use Your Best Device! Enabling Device Changes at Runtime, volume=8659, DOI=10.1007/978-3-319-10172-9_23, booktitle=12th International Conference on Business Process Management (BPM 2014), publisher=Springer International Publishing, author=Bokermann, Dennis and Gerth, Christian and Engels, Gregor, year=2014, pages=357–365, collection=Lecture Notes in Computer Science 
LibreCat: /record/6741
DOI: 10.1007/978-3-319-10172-9_23

@inproceedingsBouyraaman_Bendfeld_Krauter_2014, title=Integration of offshore wind energy into the grid system in Germany: Modelling of a market oriented energy provision, booktitle=14th IAEE European Energy Conference- Sustainable Energy Policy and Strategies in Europe, Rome, Italy, October 28-31, 2014, author=Bouyraaman, Yassin and Bendfeld, Jörg and Krauter, Stefan, year=2014 
LibreCat: /record/6927

@inproceedingsBouyraaman_Bendfeld_Krauter_Breymann_2014, title=Integration of wind energy in power systems: Modeling of a market-orientated energy concept, booktitle=Proceedings of the World Renewable Energy Congress WREC XIII, London, (UK), August 3-8, 2014 , author=Bouyraaman, Yassin and Bendfeld, Jörg and Krauter, Stefan and Breymann, P., year=2014 
LibreCat: /record/6928

@inproceedingsBouyraaman_Bendfeld_2014, title=Reduction of Offshore Wind farm power Feed-in û02uctuations via Power to Gas Storage Systems, booktitle=Solar 2014/Intersolar North America, San Francisco, July 6-10, 2014 , author=Bouyraaman, Yassin and Bendfeld, Jörg, year=2014 
LibreCat: /record/6929

@inproceedingsBendfeld_Balluff_2014, title=Advanced offshore Measurements for Windfarms, booktitle=Solar 2014/Intersolar North America, San Francisco, July 6-10, 2014, author=Bendfeld, Jörg and Balluff, Stefan, year=2014 
LibreCat: /record/6930

@bookKrauter_2014, place=Berlin, Heidelberg, New York (2014/15 – under preparation), title=Solar Electric Power Systems. Second Edition, publisher=Springer Verlag, author=Krauter, Stefan, year=2014 
LibreCat: /record/6931

@inproceedingsKrauter_2014, title=Measures to match load proû01le with actual PV generation to achieve an effective integration into the energy system, booktitle=Proceedings of the 6th World Conference of Photovoltaic Energy Conversion WCPEC 6, Kyoto (Japan), November 23-27, 2014 , author=Krauter, Stefan, year=2014 
LibreCat: /record/6932

@inproceedingsKrauter_2014, title=Identiû01cation and elimination of potential induced degradation (PID) at photovoltaic power plants, booktitle=Proceedings of the 6th World Conference of Photovoltaic Energy Conversion WCPEC 6, Kyoto (Japan), November 23-27, 2014, author=Krauter, Stefan, year=2014 
LibreCat: /record/6933

@inproceedingsKrauter_Bendfeld_Gohardehi_Sadati_2014, title=Performance and Yield Comparison of seven different Micro-Inverters., booktitle=Proceedings of the 6th World Conference of Photovoltaic Energy Conversion WCPEC 6, Kyoto (Japan), November 23-27, 2014, author=Krauter, Stefan and Bendfeld, Jörg and Gohardehi, A. and Sadati, A., year=2014 
LibreCat: /record/6934

@inproceedingsKrauter_Bouyraaman_Bendfeld_Japs_2014, title=Micro combined heat and power plants (micro-CHP) in combination with photovoltaics for autonomous local power and heat supply., booktitle=Proceedings of the 6th World Conference of Photovoltaic Energy Conversion WCPEC 6, Kyoto (Japan), November 23-27, 2014, author=Krauter, Stefan and Bouyraaman, Yassin and Bendfeld, Jörg and Japs, Ewald, year=2014 
LibreCat: /record/6935

@inproceedingsKrauter_2014, title=Photovoltaics and the Energy System: Adaptation of layout and load, booktitle=Proceedings of the World Renewable Energy Congress WREC XIII, London, (UK), August 3-8, 2014 , author=Krauter, Stefan, year=2014 
LibreCat: /record/6936

@inproceedingsAmeli_Ameli_Krauter_Hanitsch_2014, title=An Optimized Load Frequency Control of a De-centralized Energy System Using Plug-in Electric Vehicles, booktitle=Proceedings of the MES-BREG 2014 Symposium “Innovating Energy Access for Remote Areas: Discovering untapped resources”, UC Berkeley (USA), April 10-12, 2014 , author=Ameli, Ali and Ameli, H. and Krauter, Stefan and Hanitsch, Rolf, year=2014 
LibreCat: /record/6937

@inproceedingsJaps_Peters_Sonnenrein_Krauter_2014, title=Energy-economic comparison of photovoltaic modules equipped with a layer of conventional and improved phase-change material, booktitle=Proceedings of the 40th IEEE Photovoltaic Specialists Conference, Denver (USA), June 8-13, 2014 , author=Japs, Ewald and Peters, S. and Sonnenrein, Gerrit and Krauter, Stefan, year=2014 
LibreCat: /record/6938

@inproceedingsKrauter_Japs_2014, title=Integration of PV into the Energy System: Challenges and Measures for Generation and Load Management, booktitle=Proceedings of the 40th IEEE Photovoltaic Specialists Conference, Denver (USA), June 8-13, 2014, author=Krauter, Stefan and Japs, Ewald, year=2014 
LibreCat: /record/6939

@inproceedingsKrauter_2014, title=Plant layout modiû01cations and load adaptation to integrate Photovoltaics in the energy system., booktitle=Proceedings of the 29th European Photovoltaic Solar Energy Conference and Exhibition, Amsterdam (The Netherlands), September 22-16, 2014 , author=Krauter, Stefan, year=2014 
LibreCat: /record/6940

@articleKrauter_2014, title=Integration Erneuerbarer Energien: Herausforderungen und Maßnahmen im Erzeugungssektor und Lastmanagement, volume=22, number=1, journal=uwf Umwelt Wirtschafts Forum, author=Krauter, Stefan, year=2014, pages=S. 37-44 
LibreCat: /record/6942

@inproceedingsDräxler_Karl_2014, title=Feasibility of Base Station Coordination and Dynamic Backhaul Network Configuration in Backhaul Networks with Limited Capacity, booktitle=Proceedings of 20th European Wireless Conference , author=Dräxler, Martin and Karl, Holger, year=2014 
LibreCat: /record/1647

@inproceedingsHerlich_Karl_2014, title=Analytic quantification of outage probability and radiated power of cooperative base stations, DOI=10.1109/wiopt.2014.6850365, booktitle=12th International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks (WiOpt) 2014, publisher=IEEE, author=Herlich, Matthias and Karl, Holger, year=2014 
LibreCat: /record/1654
DOI: 10.1109/wiopt.2014.6850365

@inbookDellnitz_Dumitrescu_Flaßkamp_Gausemeier_Hartmann_Iwanek_Korf_Krüger_Ober-Blöbaum_Porrmann_et al._2014, place=Berlin, Heidelberg, title=The Paradigm of Self-optimization, DOI=10.1007/978-3-642-45435-6_1, booktitle=Lecture Notes in Mechanical Engineering, author=Dellnitz, Michael and Dumitrescu, Roman and Flaßkamp, Kathrin and Gausemeier, Jürgen and Hartmann, Philip and Iwanek, Peter and Korf, Sebastian and Krüger, Martin and Ober-Blöbaum, Sina and Porrmann, Mario and et al., year=2014 
LibreCat: /record/16577
DOI: 10.1007/978-3-642-45435-6_1

@inproceedingsFlasskamp_Ober-Blobaum_Schneider_Bocker_2014, title=Optimal control of a switched reluctance drive by a direct method using a discrete variational principle, DOI=10.1109/cdc.2013.6761075, booktitle=52nd IEEE Conference on Decision and Control, author=Flasskamp, Kathrin and Ober-Blobaum, Sina and Schneider, Tobias and Bocker, Joachim, year=2014 
LibreCat: /record/16596
DOI: 10.1109/cdc.2013.6761075

@articleFlaßkamp_Timmermann_Ober-Blöbaum_Trächtler_2014, title=Control strategies on stable manifolds for energy-efficient swing-ups of double pendula, DOI=10.1080/00207179.2014.893450, journal=International Journal of Control, author=Flaßkamp, Kathrin and Timmermann, Julia and Ober-Blöbaum, Sina and Trächtler, Ansgar, year=2014, pages=1886–1905 
LibreCat: /record/16597
DOI: 10.1080/00207179.2014.893450

@inbookAnacker_Dellnitz_Flaßkamp_Groesbrink_Hartmann_Heinzemann_Horenkamp_Kleinjohann_Kleinjohann_Korf_et al._2014, place=Berlin, Heidelberg, title=Methods for the Design and Development, DOI=10.1007/978-3-642-45435-6_5, booktitle=Lecture Notes in Mechanical Engineering, author=Anacker, Harald and Dellnitz, Michael and Flaßkamp, Kathrin and Groesbrink, Stefan and Hartmann, Philip and Heinzemann, Christian and Horenkamp, Christian and Kleinjohann, Bernd and Kleinjohann, Lisa and Korf, Sebastian and et al., year=2014 
LibreCat: /record/16679
DOI: 10.1007/978-3-642-45435-6_5

@articleArens_Domik_Weise_Holzinger_Burchert_2014, place=Hannover, series=53. Jahrestagung der Deutschen Gesellschaft für Nuklearmedizin, title=Optimierte 3D Morphologiedarstellung tomographischer Datensätze des Herzens, author=Arens, S. and Domik, Gitta and Weise, R. and Holzinger, J.  and Burchert, W., year=2014, collection=53. Jahrestagung der Deutschen Gesellschaft für Nuklearmedizin 
LibreCat: /record/16760

@bookFlocchini_Gao_Kranakis_Meyer auf der Heide_2014, place=Berlin, Heidelberg, series=Lecture Notes in Computer Science, title=Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2013, volume=8243, DOI=10.1007/978-3-642-45346-5, publisher=Springer, year=2014, collection=Lecture Notes in Computer Science 
LibreCat: /record/16870
DOI: 10.1007/978-3-642-45346-5

@articleBaier_Dellnitz_Hessel-von Molo_Sertl_Kevrekidis_2014, title=The computation of convex invariant sets via Newton’s method, volume=1, DOI=10.3934/jcd.2014.1.39, number=1, journal=Journal of Computational Dynamics, author=Baier, Robert and Dellnitz, Michael and Hessel-von Molo, Mirko and Sertl, Stefan and Kevrekidis, Ioannis G., year=2014, pages=39–69 
LibreCat: /record/17043
DOI: 10.3934/jcd.2014.1.39