@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

@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

@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

@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

@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

@articleSchaefers_Platzner_2014, title=A Novel Technique and its Application to Computer Go, volume=6, DOI=10.1109/TCIAIG.2014.2346997, number=3, journal=IEEE Transactions on Computational Intelligence and AI in Games, author=Schaefers, Lars and Platzner, Marco, year=2014, pages=361–374 
LibreCat: /record/10602
DOI: 10.1109/TCIAIG.2014.2346997

@articleGiefers_Platzner_2014, title=An FPGA-based Reconfigurable Mesh Many-Core, volume=63, DOI=10.1109/TC.2013.174, number=12, journal=IEEE Transactions on Computers, author=Giefers, Heiner and Platzner, Marco, year=2014, pages=2919–2932 
LibreCat: /record/10603
DOI: 10.1109/TC.2013.174