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
@inbook{Liebendörfer_Ostsieker_2014, place={Wiesbaden}, title={Mathematik als Werkzeug: Sicht- und Arbeitsweisen von Studierenden am Anfang ihres Mathematikstudiums}, booktitle={Mit Werkzeugen Mathematik und Stochastik lernen – Using Tools for Learning Mathematics and Statistics}, publisher={Springer Fachmedien Wiesbaden}, author={Liebendörfer, Michael and Ostsieker, Laura}, editor={Wassong, Thomas and Frischemeier, Daniel and Fischer, Pascal R. and Hochmuth, Reinhard and Bender, PeterEditors}, year={2014}, pages={453–462} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 8554
@inproceedings{Liebendörfer_Hochmuth_Kolter_Schukajlow_2014, place={Vancouver}, title={The Mathematical Beliefs and Interest Development of Pre-Service Primary Teachers}, volume={6}, booktitle={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}, publisher={PME}, author={Liebendörfer, Michael and Hochmuth, Reinhard and Kolter, Jana and Schukajlow, Stanislaw}, editor={Nicol, C. and Oesterle, S. and Liljedahl, Peter and Allan, D.Editors}, year={2014}, pages={153} }
LibreCat
2014 | Journal Article | LibreCat-ID: 8557
@article{Liebendörfer_2014, title={Self-determination and interest development of first-year mathematics students}, volume={11}, number={4}, journal={Oberwolfach Reports}, author={Liebendörfer, Michael}, year={2014}, pages={3132–3135} }
LibreCat
2014 | Book Chapter | LibreCat-ID: 8561
@inbook{Liebendörfer_Hochmuth_Schreiber_Göller_Kolter_Biehler_Kortemeyer_Ostsieker_2014, place={Münster}, title={Vorstellung eines Fragebogens zur Erfassung von Lernstrategien in mathematikhaltigen Studiengängen}, booktitle={Beiträge zum Mathematikunterricht 2014}, publisher={WTM-Verlag}, author={Liebendörfer, Michael and Hochmuth, Reinhard and Schreiber, Stephan and Göller, Robin and Kolter, Jana and Biehler, Rolf and Kortemeyer, Jörg and Ostsieker, Laura}, editor={Roth, Jürgen and Ames, J.Editors}, year={2014}, pages={739–742} }
LibreCat
2014 | Mastersthesis | LibreCat-ID: 8842
@book{Jovanovikj_2014, title={Detection and Resolution of Data-Flow Differences in Business Process Models}, author={Jovanovikj, Ivan}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 393
@inproceedings{Foreback_Koutsopoulos_Nesterenko_Scheideler_Strothmann_2014, series={LNCS}, title={On Stabilizing Departures in Overlay Networks}, DOI={10.1007/978-3-319-11764-5_4}, booktitle={Proceedings of the 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems}, author={Foreback, Dianne and Koutsopoulos, Andreas and Nesterenko, Mikhail and Scheideler, Christian and Strothmann, Thim Frederik}, year={2014}, pages={48--62}, collection={LNCS} }
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 3937
@article{Hoekstra_Hammer_2014, title={General relation for group delay and the relevance of group delay for refractometric sensing}, volume={31}, DOI={10.1364/josab.31.001561}, number={71561–1567}, journal={Journal of the Optical Society of America B}, publisher={The Optical Society}, author={Hoekstra, Hugo J. W. M. and Hammer, Manfred}, year={2014} }
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 394
@inproceedings{Schwichtenberg_Gerth_Huma_Engels_2014, series={LNCS}, title={Normalizing Heterogeneous Service Description Models with Generated QVT Transformations}, DOI={10.1007/978-3-319-09195-2_12}, booktitle={Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA)}, author={Schwichtenberg, Simon and Gerth, Christian and Huma, Zille and Engels, Gregor}, year={2014}, pages={180–195}, collection={LNCS} }
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 395
@inproceedings{Abshoff_Cord-Landwehr_Jung_Skopalik_2014, series={LNCS}, title={Multilevel Network Games}, DOI={10.1007/978-3-319-13129-0_36}, booktitle={Proceedings of the 10th International Conference on Web and Internet Economics (WINE)}, author={Abshoff, Sebastian and Cord-Landwehr, Andreas and Jung, Daniel and Skopalik, Alexander}, year={2014}, pages={435–440}, collection={LNCS} }
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 397
@inproceedings{Scheideler_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
| Files available
2014 | Conference Paper | LibreCat-ID: 399
@inproceedings{Wiersema_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
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 401
@inproceedings{Platenius_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
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 402
@inproceedings{Arifulina_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
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 408
@inproceedings{Jakobs_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
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 409
@inproceedings{Platenius_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
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 412
@inproceedings{Feldotto_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 (P2P)}, author={Feldotto, Matthias and Scheideler, Christian and Graffi, Kalman}, year={2014}, pages={1–10} }
LibreCat
| Files available
| DOI
| arXiv
2014 | Mastersthesis | LibreCat-ID: 414
@book{Jochheim_2014, title={Hiding software components using functional encryption}, publisher={Universität Paderborn}, author={Jochheim, Janek}, year={2014} }
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 416
@book{Bemmann_2014, title={Group Signature Schemes with Strong Exculpability}, publisher={Universität Paderborn}, author={Bemmann, Pascal}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 417
@inproceedings{Besova_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
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 418 | 
@book{Pauck_2014, title={Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren}, publisher={Universität Paderborn}, author={Pauck, Felix}, year={2014} }
LibreCat
| Files available
2014 | Bachelorsthesis | LibreCat-ID: 421
@book{Lippert_2014, title={Fujisaki-Okamoto Transformation}, publisher={Universität Paderborn}, author={Lippert, Jan}, year={2014} }
LibreCat
2014 | Mastersthesis | LibreCat-ID: 426
@book{Dornseifer_2014, title={Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network}, publisher={Universität Paderborn}, author={Dornseifer, Veit}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 428
@inproceedings{Mohr_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
| Files available
| Download (ext.)
2014 | Dissertation | LibreCat-ID: 431
@book{Kling_2014, title={Energy-efficient Scheduling Algorithms}, publisher={Universität Paderborn}, author={Kling, Peter}, year={2014} }
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 4315
@inproceedings{Grynko_Zubko_2014, title={Light Scattering By Random Irregular Particles With Different Morphology}, author={Grynko, Yevgen and Zubko, Evgenij}, year={2014} }
LibreCat
| Files available
2014 | Mastersthesis | LibreCat-ID: 432
@book{Bredenbals_2014, title={Energy-Efficient Queuing with Delayed Deactivation}, publisher={Universität Paderborn}, author={Bredenbals, Nico}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 433
@inproceedings{Wiersema_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
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 435
@inproceedings{Antoniadis_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
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 5189
@inproceedings{Arzt_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
| Files available
| DOI
| Download (ext.)
2014 | Conference Paper | LibreCat-ID: 5190
@inproceedings{Arzt_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
| Files available
| Download (ext.)
2014 | Misc | LibreCat-ID: 6550
@book{Bause_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
2014 | Conference Paper | LibreCat-ID: 6574
@inproceedings{Olfert_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
2014 | Dissertation | LibreCat-ID: 6727
@book{van 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
2014 | Journal Article | LibreCat-ID: 6728
@article{Place_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
| DOI
2014 | Conference Paper | LibreCat-ID: 6741
@inproceedings{Bokermann_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
| DOI
2014 | Conference Paper | LibreCat-ID: 6927
@inproceedings{Bouyraaman_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
2014 | Conference Paper | LibreCat-ID: 6928
@inproceedings{Bouyraaman_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
2014 | Conference Paper | LibreCat-ID: 6929
@inproceedings{Bouyraaman_Bendfeld_2014, title={Reduction of Offshore Wind farm power Feed-in fluctuations 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
2014 | Conference Paper | LibreCat-ID: 6930
@inproceedings{Bendfeld_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
2014 | Book | LibreCat-ID: 6931
@book{Krauter_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
2014 | Conference Paper | LibreCat-ID: 6932
@inproceedings{Krauter_2014, title={Measures to match load profile 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
2014 | Conference Paper | LibreCat-ID: 6933
@inproceedings{Krauter_2014, title={Identification 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
2014 | Conference Paper | LibreCat-ID: 6934
@inproceedings{Krauter_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
2014 | Conference Paper | LibreCat-ID: 6935
@inproceedings{Krauter_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
2014 | Conference Paper | LibreCat-ID: 6936
@inproceedings{Krauter_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
2014 | Conference Paper | LibreCat-ID: 6937
@inproceedings{Ameli_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
2014 | Conference Paper | LibreCat-ID: 6938
@inproceedings{Japs_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
2014 | Conference Paper | LibreCat-ID: 6939
@inproceedings{Krauter_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
2014 | Conference Paper | LibreCat-ID: 6940
@inproceedings{Krauter_2014, title={Plant layout modifications 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
2014 | Journal Article | LibreCat-ID: 6942
@article{Krauter_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