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.
5711 Publications
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 | 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 | 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: 1647
@inproceedings{Drä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
| Files available
| Download (ext.)
2014 | Conference Paper | LibreCat-ID: 1654
@inproceedings{Herlich_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
| DOI
2014 | Conference Paper | LibreCat-ID: 16760
@article{Arens_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
2014 | Book (Editor) | LibreCat-ID: 16870
@book{Flocchini_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
| DOI
2014 | Journal Article | LibreCat-ID: 10602
@article{Schaefers_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
| DOI
2014 | Journal Article | LibreCat-ID: 10603
@article{Giefers_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
| DOI
2014 | Conference Paper | LibreCat-ID: 10621
@inproceedings{Anwer_Platzner_Meisner_2014, series={RAW}, title={FPGA Redundancy Configurations: An Automated Design Space Exploration}, DOI={10.1109/IPDPSW.2014.37}, booktitle={Reconfigurable Architectures Workshop (RAW)}, author={Anwer, Jahanzeb and Platzner, Marco and Meisner, Sebastian}, year={2014}, collection={RAW} }
LibreCat
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 10627
@book{Bockhorn_2014, title={Echtzeit Klassifikation von sEMG Signalen mit einem low-cost DSP Evaluation Board}, publisher={Paderborn University}, author={Bockhorn, Arne}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 10632
@inproceedings{Boschmann_Platzner_2014, title={A computer vision-based approach to high density EMG pattern recognition using structural similarity}, booktitle={Proc. MyoElectric Controls Symposium (MEC)}, author={Boschmann, Alexander and Platzner, Marco}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 10633
@inproceedings{Boschmann_Platzner_2014, title={Towards robust HD EMG pattern recognition: Reducing electrode displacement effect using structural similarity}, booktitle={Proc. IEEE Int. Conf. Eng. Med. Biolog. (EMBC)}, author={Boschmann, Alexander and Platzner, Marco}, year={2014} }
LibreCat
2014 | Mastersthesis | LibreCat-ID: 10640
@book{Brand_2014, title={A Generalized Loop Accelerator Implemented as a Coarse-Grained Array}, publisher={Paderborn University}, author={Brand, Marcel}, year={2014} }
LibreCat
2014 | Mastersthesis | LibreCat-ID: 10645
@book{Damschen_2014, title={Easy-to-use-on-the-fly binary program acceleration on many-cores}, publisher={Paderborn University}, author={Damschen, Marvin}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 10654
@inproceedings{Glette_Kaufmann_2014, title={Lookup Table Partial Reconfiguration for an Evolvable Hardware Classifier System}, booktitle={IEEE Congress on Evolutionary Computation (CEC)}, author={Glette, Kyrre and Kaufmann, Paul}, year={2014} }
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 10665
@book{Hagedorn_2014, title={Entwicklung einer codegrößenoptimierten Softwarebibliothek für 8-Bit Mikrocontroller in netzunabhängigen Notleuchten}, publisher={Paderborn University}, author={Hagedorn, Christoph}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 10674
@inproceedings{Ho_Kaufmann_Platzner_2014, title={A hardware/software infrastructure for performance monitoring on LEON3 multicore platforms}, DOI={10.1109/FPL.2014.6927437}, booktitle={24th Intl. Conf. on Field Programmable Logic and Applications (FPL)}, author={Ho, Nam and Kaufmann, Paul and Platzner, Marco}, year={2014}, pages={1–4} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 10677
@inproceedings{Ho_Kaufmann_Platzner_2014, title={Towards self-adaptive caches: A run-time reconfigurable multi-core infrastructure}, DOI={10.1109/ICES.2014.7008719}, booktitle={2014 {IEEE} Intl. Conf. on Evolvable Systems (ICES)}, author={Ho, Nam and Kaufmann, Paul and Platzner, Marco}, year={2014}, pages={31–37} }
LibreCat
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 10679
@book{König_2014, title={EMG-basierte simultane und proportionale Online-Steuerung einer virtuellen Prothese}, publisher={Paderborn University}, author={König, Fabian}, year={2014} }
LibreCat
2014 | Mastersthesis | LibreCat-ID: 10701
@book{Koch_2014, title={Hardware Acceleration of Mechatronic Controllers on a Zynq Platform FPGA}, publisher={Paderborn University}, author={Koch, Benjamin}, year={2014} }
LibreCat
2014 | Mastersthesis | LibreCat-ID: 10715
@book{Mittendorf_2014, title={Advanced AES-key recovery from decayed RAM using multi-threading and FPGAs}, publisher={Paderborn University}, author={Mittendorf, Robert}, year={2014} }
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 10732
@book{Rüthing_2014, title={The Xilinx Zynq Architecture as a Platform for Reconfigurable Heterogeneous Multi-Cores}, publisher={Paderborn University}, author={Rüthing, Christoph}, year={2014} }
LibreCat
2014 | Dissertation | LibreCat-ID: 10733
@book{Schäfers_2014, place={Berlin}, title={Parallel Monte-Carlo Tree Search for HPC Systems and its Application to Computer Go}, publisher={Logos Verlag Berlin GmbH}, author={Schäfers, Lars}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 10738
@inproceedings{Shen_Kaufmann_Braun_2014, title={Optimizing the Generator Start-up Sequence After a Power System Blackout}, booktitle={IEEE Power and Energy Society General Meeting (IEEE GM)}, author={Shen, Cong and Kaufmann, Paul and Braun, Martin}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 10739
@inproceedings{Shen_Kaufmann_Braun_2014, title={A New Distribution Network Reconfiguration and Restoration Path Selection Algorithm}, booktitle={Power Systems Computation Conference (PSCC)}, publisher={IEEE}, author={Shen, Cong and Kaufmann, Paul and Braun, Martin}, year={2014} }
LibreCat
2014 | Mastersthesis | LibreCat-ID: 10744
@book{Surmund_2014, title={Multithreaded Parallelization of Mechatronic Controllers on a Zynq Platform FPGA}, publisher={Paderborn University}, author={Surmund, Sebastian}, year={2014} }
LibreCat
2014 | Book | LibreCat-ID: 10756
@book{I. Esparcia-Alc{\’a}zar_Eiben_Agapitos_Sim{\~o}es_G.B. Tettamanzi_Della Cioppa_M. Mora_Cotta_Tarantino_Haasdijk_et al._2014, place={Granada, Spain}, series={Lecture Notes in Computer Science}, title={Applications of Evolutionary Computation - 17th European Conference, EvoApplications}, volume={8602}, publisher={Springer}, author={I. Esparcia-Alc{\’a}zar, Anna and Eiben, A.E. and Agapitos, Alexandros and Sim{\~o}es, Anabela and G.B. Tettamanzi, Andrea and Della Cioppa, Antonio and M. Mora, Antonio and Cotta, Carlos and Tarantino, Ernesto and Haasdijk, Evert and et al.}, year={2014}, collection={Lecture Notes in Computer Science} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 10764
@inproceedings{Anwer_Platzner_2014, title={Analytic reliability evaluation for fault-tolerant circuit structures on FPGAs}, DOI={10.1109/DFT.2014.6962108}, booktitle={IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT)}, publisher={IEEE}, author={Anwer, Jahanzeb and Platzner, Marco}, year={2014}, pages={177–184} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 10773
@inproceedings{Ghasemzadeh Mohammadi_Gaillardon_Yazdani_De Micheli_2014, title={Fast process variation analysis in nano-scaled technologies using column-wise sparse parameter selection}, DOI={10.1109/NANOARCH.2014.6880479}, booktitle={2014 IEEE/ACM International Symposium on Nanoscale Architectures (NANOARCH)}, publisher={IEEE}, author={Ghasemzadeh Mohammadi, Hassan and Gaillardon, Pierre-Emmanuel and Yazdani, Majid and De Micheli, Giovanni}, year={2014}, pages={163–168} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 11974
@inproceedings{Berger_Erlacher_Sommer_Dressler_2014, title={Adaptive load allocation for combining Anomaly Detectors using controlled skips}, DOI={10.1109/iccnc.2014.6785438}, booktitle={2014 International Conference on Computing, Networking and Communications (ICNC)}, author={Berger, Mario and Erlacher, Felix and Sommer, Christoph and Dressler, Falko}, year={2014} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 11978
@inproceedings{Bloessl_Segata_Sommer_Dressler_2014, title={Towards an Open Source IEEE 802.11p stack: A full SDR-based transceiver in GNU Radio}, DOI={10.1109/vnc.2013.6737601}, booktitle={2013 IEEE Vehicular Networking Conference}, author={Bloessl, Bastian and Segata, Michele and Sommer, Christoph and Dressler, Falko}, year={2014} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 11979
@inproceedings{Bloessl_Puschmann_Sommer_Dressler_2014, title={Timings matter}, DOI={10.1145/2643230.2643240}, booktitle={Proceedings of the 9th ACM international workshop on Wireless network testbeds, experimental evaluation and characterization - WiNTECH ’14}, author={Bloessl, Bastian and Puschmann, Andre and Sommer, Christoph and Dressler, Falko}, year={2014} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 11994
@inproceedings{Dressler_Handle_Sommer_2014, title={Towards a vehicular cloud - using parked vehicles as a temporary network and storage infrastructure}, DOI={10.1145/2633661.2633671}, booktitle={Proceedings of the 2014 ACM international workshop on Wireless and mobile technologies for smart cities - WiMobCity ’14}, author={Dressler, Falko and Handle, Philipp and Sommer, Christoph}, year={2014} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 11996
@inproceedings{Eckert_Sommer_Eckhoff_2014, title={Towards a simulation framework for paraglider networks}, DOI={10.1145/2653481.2655754}, booktitle={Proceedings of the 11th ACM symposium on Performance evaluation of wireless ad hoc, sensor, & ubiquitous networks - PE-WASUN ’14}, author={Eckert, Juergen and Sommer, Christoph and Eckhoff, David}, year={2014} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 12002
@inproceedings{Eckhoff_Dressler_Sommer_2014, title={SmartRevoc: An efficient and privacy preserving revocation system using parked vehicles}, DOI={10.1109/lcn.2013.6761338}, booktitle={38th Annual IEEE Conference on Local Computer Networks}, author={Eckhoff, David and Dressler, Falko and Sommer, Christoph}, year={2014} }
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 12003
@article{Eckhoff_Sommer_2014, title={Driving for Big Data? Privacy Concerns in Vehicular Networking}, DOI={10.1109/msp.2014.2}, journal={IEEE Security & Privacy}, author={Eckhoff, David and Sommer, Christoph}, year={2014}, pages={77–79} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 12008
@inproceedings{Erlacher_Klingler_Sommer_Dressler_2014, title={On the impact of street width on 5.9 GHz radio signal propagation in vehicular networks}, DOI={10.1109/wons.2014.6814735}, booktitle={2014 11th Annual Conference on Wireless On-demand Network Systems and Services (WONS)}, author={Erlacher, Felix and Klingler, Florian and Sommer, Christoph and Dressler, Falko}, year={2014} }
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 12038
@article{Malandrino_Casetti_Chiasserini_Sommer_Dressler_2014, title={The Role of Parked Cars in Content Downloading for Vehicular Networks}, DOI={10.1109/tvt.2014.2316645}, journal={IEEE Transactions on Vehicular Technology}, author={Malandrino, Francesco and Casetti, Claudio and Chiasserini, Carla-Fabiana and Sommer, Christoph and Dressler, Falko}, year={2014}, pages={4606–4617} }
LibreCat
| DOI