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.
9785 Publications
2014 | Conference Paper | LibreCat-ID: 8554
Liebendörfer, Michael, Reinhard Hochmuth, Jana Kolter, and Stanislaw 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, edited by C. Nicol, S. Oesterle, Peter Liljedahl, and D. Allan, 6:153. Vancouver: PME, 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 8557
Liebendörfer, Michael. “Self-Determination and Interest Development of First-Year Mathematics Students.” Oberwolfach Reports 11, no. 4 (2014): 3132–35.
LibreCat
2014 | Book Chapter | LibreCat-ID: 8561
Liebendörfer, Michael, Reinhard Hochmuth, Stephan Schreiber, Robin Göller, Jana Kolter, Rolf Biehler, Jörg Kortemeyer, and Laura Ostsieker. “Vorstellung Eines Fragebogens Zur Erfassung von Lernstrategien in Mathematikhaltigen Studiengängen.” In Beiträge Zum Mathematikunterricht 2014, edited by Jürgen Roth and J. Ames, 739–42. Münster: WTM-Verlag, 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 8842
Jovanovikj, Ivan. Detection and Resolution of Data-Flow Differences in Business Process Models, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 393
Foreback, Dianne, Andreas Koutsopoulos, Mikhail Nesterenko, Christian Scheideler, and Thim Frederik Strothmann. “On Stabilizing Departures in Overlay Networks.” In Proceedings of the 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems, 48--62. LNCS, 2014. https://doi.org/10.1007/978-3-319-11764-5_4.
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 3937
Hoekstra, Hugo J. W. M., and Manfred Hammer. “General Relation for Group Delay and the Relevance of Group Delay for Refractometric Sensing.” Journal of the Optical Society of America B 31, no. 7 (2014). https://doi.org/10.1364/josab.31.001561.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 394
Schwichtenberg, Simon, Christian Gerth, Zille Huma, and Gregor Engels. “Normalizing Heterogeneous Service Description Models with Generated QVT Transformations.” In Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA), 180–95. LNCS, 2014. https://doi.org/10.1007/978-3-319-09195-2_12.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 395
Abshoff, Sebastian, Andreas Cord-Landwehr, Daniel Jung, and Alexander Skopalik. “Multilevel Network Games.” In Proceedings of the 10th International Conference on Web and Internet Economics (WINE), 435–40. LNCS, 2014. https://doi.org/10.1007/978-3-319-13129-0_36.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 397
Scheideler, Christian, Martina Eikel, and Alexander Setzer. “Minimum Linear Arrangement of Series-Parallel Graphs.” In Proceedings of the 12th Workshop on Approximation and Online Algorithms (WAOA), 168--180. LNCS, 2014.
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 399
Wiersema, Tobias, Stephanie Drzevitzky, and Marco Platzner. “Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring.” In Proceedings of the International Conference on Field-Programmable Technology (FPT), 167–74, 2014. https://doi.org/10.1109/FPT.2014.7082771.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 401
Platenius, Marie Christin, Svetlana Arifulina, Ronald Petrlic, and Wilhelm 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, 6–17. Communications in Computer and Information Science, 2014. https://doi.org/10.1007/978-3-319-14886-1_2.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 402
Arifulina, Svetlana, Marie Christin Platenius, Christian Gerth, Steffen Becker, Gregor Engels, and Wilhelm Schäfer. “Market-Optimized Service Specification and Matching.” In Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014), edited by Xavier Franch, AdityaK. Ghose, GraceA. Lewis, and Sami Bhiri, 543–50. LNCS, 2014. https://doi.org/10.1007/978-3-662-45391-9_47.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 408
Jakobs, Marie-Christine, Marco Platzner, Tobias Wiersema, and Heike Wehrheim. “Integrating Software and Hardware Verification.” In Proceedings of the 11th International Conference on Integrated Formal Methods (IFM), edited by Elvira Albert and Emil Sekerinski, 307–22. LNCS, 2014. https://doi.org/10.1007/978-3-319-10181-1_19.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 409
Platenius, Marie Christin, Steffen Becker, and Wilhelm Schäfer. “Integrating Service Matchers into a Service Market Architecture.” In Proceedings of the 8th European Conference on Software Architecture (ECSA 2014), edited by Paris Avgeriou and Uwe Zdun, 210–17. LNCS, 2014. https://doi.org/10.1007/978-3-319-09970-5_19.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 412
Feldotto, Matthias, Christian Scheideler, and Kalman 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), 1–10, 2014. https://doi.org/10.1109/P2P.2014.6934300.
LibreCat
| Files available
| DOI
| arXiv
2014 | Mastersthesis | LibreCat-ID: 414
Jochheim, Janek. Hiding Software Components Using Functional Encryption. Universität Paderborn, 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 416
Bemmann, Pascal. Group Signature Schemes with Strong Exculpability. Universität Paderborn, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 417
Besova, Galina, Dominik Steenke, and Heike Wehrheim. “Grammar-Based Model Transformations.” In Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD), 1601–10, 2014. https://doi.org/10.1016/j.cl.2015.05.003.
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 418 | 
Pauck, Felix. Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren. Universität Paderborn, 2014.
LibreCat
| Files available
2014 | Bachelorsthesis | LibreCat-ID: 421
Lippert, Jan. Fujisaki-Okamoto Transformation. Universität Paderborn, 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 426
Dornseifer, Veit. Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network. Universität Paderborn, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 428
Mohr, Felix. “Estimating Functional Reusability of Services.” In Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC), 411–18. LNCS, 2014.
LibreCat
| Files available
| Download (ext.)
2014 | Dissertation | LibreCat-ID: 431
Kling, Peter. Energy-Efficient Scheduling Algorithms. Universität Paderborn, 2014.
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 4315
Grynko, Yevgen, and Evgenij Zubko. “Light Scattering By Random Irregular Particles With Different Morphology,” 2014.
LibreCat
| Files available
2014 | Mastersthesis | LibreCat-ID: 432
Bredenbals, Nico. Energy-Efficient Queuing with Delayed Deactivation. Universität Paderborn, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 433
Wiersema, Tobias, Arne Bockhorn, and Marco Platzner. “Embedding FPGA Overlays into Configurable Systems-on-Chip: ReconOS Meets ZUMA.” In Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), 1–6, 2014. https://doi.org/10.1109/ReConFig.2014.7032514.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 435
Antoniadis, Antonios, Neal Barcelo, Mario Consuegra, Peer Kling, Michael Nugent, Kirk Pruhs, and Michele Scquizzato. “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), 63--74. LIPIcs, 2014. https://doi.org/10.4230/LIPIcs.STACS.2014.63.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 5189
Arzt, Steven, Siegfried Rasthofer, Christian Fritz, Eric Bodden, Alexandre Bartel, Jacques Klein, Yves Le Traon, Damien Octeau, and Patrick McDaniel. “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. https://doi.org/10.1145/2594291.2594299.
LibreCat
| Files available
| DOI
| Download (ext.)
2014 | Conference Paper | LibreCat-ID: 5190
Arzt, Steven, Siegfried Rasthofer, Enrico Lovat, and Eric Bodden. “DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android.” In International Conference on Availability, Reliability and Security (ARES 2014), 40–49. IEEE, 2014.
LibreCat
| Files available
| Download (ext.)
2014 | Misc | LibreCat-ID: 6550
Bause, Fabian, Jens Rautenberg, Nadine Feldmann, Leander Claes, and Bernd 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
Olfert, Sergei, Leander Claes, and Bernd Henning. “Rekonstruktion Der Räumlichen Schallwechseldruckverteilung Unter Berücksichtigung Der Orthogonalität Optischer Und Akustischer Achsen Beim Schlierenverfahren.” In Fortschritte Der Akustik - DAGA 2014, 541–42, 2014.
LibreCat
2014 | Dissertation | LibreCat-ID: 6727
Rooijen, Lorijn van. 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, Thomas, Lorijn van Rooijen, and Marc Zeitoun. “On Separation by Locally Testable and Locally Threshold Testable Languages.” Logical Methods in Computer Science 10, no. 3 (2014). https://doi.org/10.2168/lmcs-10(3:24)2014.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 6741
Bokermann, Dennis, Christian Gerth, and Gregor Engels. “Use Your Best Device! Enabling Device Changes at Runtime.” In 12th International Conference on Business Process Management (BPM 2014), 8659:357–65. Lecture Notes in Computer Science. Springer International Publishing, 2014. https://doi.org/10.1007/978-3-319-10172-9_23.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 6927
Bouyraaman, Yassin, Jörg Bendfeld, and Stefan 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
Bouyraaman, Yassin, Jörg Bendfeld, Stefan 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
Bouyraaman, Yassin, and Jörg 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
Bendfeld, Jörg, and Stefan 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
Krauter, Stefan. 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, Stefan. “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, Stefan. “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, Stefan, Jörg 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
Krauter, Stefan, Yassin Bouyraaman, Jörg Bendfeld, and Ewald 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
Krauter, Stefan. “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, Ali, H. Ameli, Stefan Krauter, and Rolf 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
Japs, Ewald, S. Peters, Gerrit Sonnenrein, and Stefan 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
Krauter, Stefan, and Ewald 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
Krauter, Stefan. “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, Stefan. “Integration Erneuerbarer Energien: Herausforderungen und Maßnahmen im Erzeugungssektor und Lastmanagement.” uwf Umwelt Wirtschafts Forum 22, no. 1 (2014): S. 37-44.
LibreCat
2014 | Conference Paper | LibreCat-ID: 1647
Dräxler, Martin, and Holger 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.)