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.

9746 Publications


2014 | Book Chapter | LibreCat-ID: 8550
M. Liebendörfer and L. Ostsieker, “Mathematik als Werkzeug: Sicht- und Arbeitsweisen von Studierenden am Anfang ihres Mathematikstudiums,” in Mit Werkzeugen Mathematik und Stochastik lernen – Using Tools for Learning Mathematics and Statistics, T. Wassong, D. Frischemeier, P. R. Fischer, R. Hochmuth, and P. Bender, Eds. Wiesbaden: Springer Fachmedien Wiesbaden, 2014, pp. 453–462.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 8554
M. Liebendörfer, R. Hochmuth, J. Kolter, and S. Schukajlow, “The Mathematical Beliefs and Interest Development of Pre-Service Primary Teachers,” in Proceedings of the 38th Conference of the International Group for the Psychology of Mathematics Education an the 36th Conference of the North American Chapter of the Psychology of Mathematics Education, 2014, vol. 6, p. 153.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 8557
M. Liebendörfer, “Self-determination and interest development of first-year mathematics students,” Oberwolfach Reports, vol. 11, no. 4, pp. 3132–3135, 2014.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 8561
M. Liebendörfer et al., “Vorstellung eines Fragebogens zur Erfassung von Lernstrategien in mathematikhaltigen Studiengängen,” in Beiträge zum Mathematikunterricht 2014, J. Roth and J. Ames, Eds. Münster: WTM-Verlag, 2014, pp. 739–742.
LibreCat
 

2014 | Mastersthesis | LibreCat-ID: 8842
I. Jovanovikj, Detection and Resolution of Data-Flow Differences in Business Process Models. 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 393
D. Foreback, A. Koutsopoulos, M. Nesterenko, C. Scheideler, and T. F. Strothmann, “On Stabilizing Departures in Overlay Networks,” in Proceedings of the 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems, 2014, pp. 48--62.
LibreCat | Files available | DOI
 

2014 | Journal Article | LibreCat-ID: 3937
H. J. W. M. Hoekstra and M. Hammer, “General relation for group delay and the relevance of group delay for refractometric sensing,” Journal of the Optical Society of America B, vol. 31, no. 7, 2014.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 394
S. Schwichtenberg, C. Gerth, Z. Huma, and G. Engels, “Normalizing Heterogeneous Service Description Models with Generated QVT Transformations,” in Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA), 2014, pp. 180–195.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 395
S. Abshoff, A. Cord-Landwehr, D. Jung, and A. Skopalik, “Multilevel Network Games,” in Proceedings of the 10th International Conference on Web and Internet Economics (WINE), 2014, pp. 435–440.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 397
C. Scheideler, M. Eikel, and A. Setzer, “Minimum Linear Arrangement of Series-Parallel Graphs,” in Proceedings of the 12th Workshop on Approximation and Online Algorithms (WAOA), 2014, pp. 168--180.
LibreCat | Files available
 

2014 | Conference Paper | LibreCat-ID: 399
T. Wiersema, S. Drzevitzky, and M. Platzner, “Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring,” in Proceedings of the International Conference on Field-Programmable Technology (FPT), 2014, pp. 167–174.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 401
M. C. Platenius, S. Arifulina, R. Petrlic, and W. Schäfer, “Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching,” in Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet, 2014, pp. 6–17.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 402
S. Arifulina, M. C. Platenius, C. Gerth, S. Becker, G. Engels, and W. Schäfer, “Market-optimized Service Specification and Matching,” in Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014), 2014, pp. 543–550.
LibreCat | Files available | DOI
 

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 | OA
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 | Journal Article | LibreCat-ID: 6728
T. Place, L. van Rooijen, and M. Zeitoun, “On Separation by Locally Testable and Locally Threshold Testable Languages,” Logical Methods in Computer Science, vol. 10, no. 3, 2014.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 6741
D. Bokermann, C. Gerth, and G. Engels, “Use Your Best Device! Enabling Device Changes at Runtime,” in 12th International Conference on Business Process Management (BPM 2014), 2014, vol. 8659, pp. 357–365.
LibreCat | DOI
 

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
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed