@inproceedings{435, abstract = {{We give a polynomial time algorithm to compute an optimal energy and fractional weighted flow trade-off schedule for a speed-scalable processor with discrete speeds.Our algorithm uses a geometric approach that is based on structural properties obtained from a primal-dual formulation of the problem.}}, author = {{Antoniadis, Antonios and Barcelo, Neal and Consuegra, Mario and Kling, Peer and Nugent, Michael and Pruhs, Kirk and Scquizzato, Michele}}, booktitle = {{Proceedings of the 31st Symposium on Theoretical Aspects of Computer Science (STACS)}}, pages = {{63----74}}, title = {{{Efficient Computation of Optimal Energy and Fractional Weighted Flow Trade-off Schedules}}}, doi = {{10.4230/LIPIcs.STACS.2014.63}}, year = {{2014}}, } @inproceedings{5189, 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}}, booktitle = {{Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14}}, isbn = {{9781450327848}}, publisher = {{ACM Press}}, title = {{{FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps}}}, doi = {{10.1145/2594291.2594299}}, year = {{2014}}, } @inproceedings{5190, author = {{Arzt, Steven and Rasthofer, Siegfried and Lovat, Enrico and Bodden, Eric}}, booktitle = {{International Conference on Availability, Reliability and Security (ARES 2014)}}, pages = {{40--49}}, publisher = {{IEEE}}, title = {{{DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android}}}, year = {{2014}}, } @misc{6550, author = {{Bause, Fabian and Rautenberg, Jens and Feldmann, Nadine and Claes, Leander and Henning, Bernd}}, title = {{{Methoden zur Zeit-Frequenz-Analyse bei der Untersuchung dispersionsbehafteter Signale}}}, volume = {{8}}, year = {{2014}}, } @inproceedings{6574, author = {{Olfert, Sergei and Claes, Leander and Henning, Bernd}}, booktitle = {{Fortschritte der Akustik - DAGA 2014}}, pages = {{541--542}}, title = {{{Rekonstruktion der räumlichen Schallwechseldruckverteilung unter Berücksichtigung der Orthogonalität optischer und akustischer Achsen beim Schlierenverfahren}}}, year = {{2014}}, } @phdthesis{6727, author = {{van Rooijen, Lorijn}}, publisher = {{University of Bordeaux, France}}, 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)}}}, year = {{2014}}, } @article{6728, author = {{Place, Thomas and van Rooijen, Lorijn and Zeitoun, Marc}}, issn = {{1860-5974}}, journal = {{Logical Methods in Computer Science}}, number = {{3}}, publisher = {{Logical Methods in Computer Science e.V.}}, title = {{{On Separation by Locally Testable and Locally Threshold Testable Languages}}}, doi = {{10.2168/lmcs-10(3:24)2014}}, volume = {{10}}, year = {{2014}}, } @inproceedings{6741, author = {{Bokermann, Dennis and Gerth, Christian and Engels, Gregor}}, booktitle = {{12th International Conference on Business Process Management (BPM 2014)}}, isbn = {{9783319101712}}, issn = {{0302-9743}}, pages = {{357--365}}, publisher = {{Springer International Publishing}}, title = {{{Use Your Best Device! Enabling Device Changes at Runtime}}}, doi = {{10.1007/978-3-319-10172-9_23}}, volume = {{8659}}, year = {{2014}}, } @inproceedings{6927, author = {{Bouyraaman, Yassin and Bendfeld, Jörg and Krauter, Stefan}}, booktitle = {{14th IAEE European Energy Conference- Sustainable Energy Policy and Strategies in Europe, Rome, Italy, October 28-31, 2014}}, title = {{{Integration of offshore wind energy into the grid system in Germany: Modelling of a market oriented energy provision}}}, year = {{2014}}, } @inproceedings{6928, author = {{Bouyraaman, Yassin and Bendfeld, Jörg and Krauter, Stefan and Breymann, P.}}, booktitle = {{Proceedings of the World Renewable Energy Congress WREC XIII, London, (UK), August 3-8, 2014 }}, title = {{{Integration of wind energy in power systems: Modeling of a market-orientated energy concept}}}, year = {{2014}}, } @inproceedings{6929, author = {{Bouyraaman, Yassin and Bendfeld, Jörg}}, booktitle = {{Solar 2014/Intersolar North America, San Francisco, July 6-10, 2014 }}, title = {{{Reduction of Offshore Wind farm power Feed-in fluctuations via Power to Gas Storage Systems}}}, year = {{2014}}, } @inproceedings{6930, author = {{Bendfeld, Jörg and Balluff, Stefan}}, booktitle = {{Solar 2014/Intersolar North America, San Francisco, July 6-10, 2014}}, title = {{{Advanced offshore Measurements for Windfarms}}}, year = {{2014}}, } @book{6931, author = {{Krauter, Stefan}}, publisher = {{Springer Verlag}}, title = {{{Solar Electric Power Systems. Second Edition}}}, year = {{2014}}, } @inproceedings{6932, author = {{Krauter, Stefan}}, booktitle = {{Proceedings of the 6th World Conference of Photovoltaic Energy Conversion WCPEC 6, Kyoto (Japan), November 23-27, 2014 }}, title = {{{Measures to match load profile with actual PV generation to achieve an effective integration into the energy system}}}, year = {{2014}}, } @inproceedings{6933, author = {{Krauter, Stefan}}, booktitle = {{Proceedings of the 6th World Conference of Photovoltaic Energy Conversion WCPEC 6, Kyoto (Japan), November 23-27, 2014}}, title = {{{Identification and elimination of potential induced degradation (PID) at photovoltaic power plants}}}, year = {{2014}}, } @inproceedings{6934, author = {{Krauter, Stefan and Bendfeld, Jörg and Gohardehi, A. and Sadati, A.}}, booktitle = {{Proceedings of the 6th World Conference of Photovoltaic Energy Conversion WCPEC 6, Kyoto (Japan), November 23-27, 2014}}, title = {{{Performance and Yield Comparison of seven different Micro-Inverters.}}}, year = {{2014}}, } @inproceedings{6935, author = {{Krauter, Stefan and Bouyraaman, Yassin and Bendfeld, Jörg and Japs, Ewald}}, booktitle = {{Proceedings of the 6th World Conference of Photovoltaic Energy Conversion WCPEC 6, Kyoto (Japan), November 23-27, 2014}}, title = {{{Micro combined heat and power plants (micro-CHP) in combination with photovoltaics for autonomous local power and heat supply.}}}, year = {{2014}}, } @inproceedings{6936, author = {{Krauter, Stefan}}, booktitle = {{Proceedings of the World Renewable Energy Congress WREC XIII, London, (UK), August 3-8, 2014 }}, title = {{{Photovoltaics and the Energy System: Adaptation of layout and load}}}, year = {{2014}}, } @inproceedings{6937, author = {{Ameli, Ali and Ameli, H. and Krauter, Stefan and Hanitsch, Rolf}}, booktitle = {{Proceedings of the MES-BREG 2014 Symposium “Innovating Energy Access for Remote Areas: Discovering untapped resources”, UC Berkeley (USA), April 10-12, 2014 }}, title = {{{An Optimized Load Frequency Control of a De-centralized Energy System Using Plug-in Electric Vehicles}}}, year = {{2014}}, } @inproceedings{6938, author = {{Japs, Ewald and Peters, S. and Sonnenrein, Gerrit and Krauter, Stefan}}, booktitle = {{Proceedings of the 40th IEEE Photovoltaic Specialists Conference, Denver (USA), June 8-13, 2014 }}, title = {{{Energy-economic comparison of photovoltaic modules equipped with a layer of conventional and improved phase-change material}}}, year = {{2014}}, }