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: 462
@inproceedings{Feldotto_Skopalik_2014, title={A Simulation Framework for Analyzing Complex Infinitely Repeated Games}, DOI={10.5220/0005110406250630}, booktitle={Proceedings of the 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2014)}, author={Feldotto, Matthias and Skopalik, Alexander}, year={2014}, pages={625–630} }
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 463
@inproceedings{Blömer_Gomes da Silva_Günther_Krämer_Seifert_2014, title={A Practical Second-Order Fault Attack against a Real-World Pairing Implementation}, DOI={10.1109/FDTC.2014.22}, booktitle={Proceedings of Fault Tolerance and Diagnosis in Cryptography(FDTC)}, author={Blömer, Johannes and Gomes da Silva, Ricardo and Günther, Peter and Krämer, Juliane and Seifert, Jean-Pierre}, year={2014}, pages={123--136} }
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 464
@article{Gall_Jacob_Richa_Scheideler_Schmid_Täubig_2014, title={A Note on the Parallel Runtime of Self-Stabilizing Graph Linearization}, DOI={10.1007/s00224-013-9504-x}, number={1}, journal={Theory of Computing Systems}, publisher={Springer}, author={Gall, Dominik and Jacob, Riko and Richa, Andrea W. and Scheideler, Christian and Schmid, Stefan and Täubig, Hanjo }, year={2014}, pages={110–135} }
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 467
@article{Künsemöller_Karl_2014, title={A Game-Theoretic Approach to the Financial Benefits of Infrastructure-as-a-Service}, DOI={10.1016/j.future.2014.03.005}, journal={Future Generation Computer Systems}, publisher={Elsevier}, author={Künsemöller, Jörn and Karl, Holger}, year={2014}, pages={44--52} }
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 7268
@article{Klenke_Grieger_2014, title={Forms2ADF mal anders: Wie aus einer Oracle-Vision Praxis wird}, number={3}, journal={DOAG News}, author={Klenke, Markus and Grieger, Marvin}, year={2014}, pages={38–42} }
LibreCat
2014 | Journal Article | LibreCat-ID: 7269
@article{Grieger_Fazal-Baqaie_Sauer_Klenke_2014, title={A Method to Systematically Improve the Effectiveness and Efficiency of the Semi-Automatic Migration of Legacy Systems}, volume={34}, number={2}, journal={Softwaretechnik-Trends, Proceedings of the 16th Workshop Software-Reengineering (WSRE)}, author={Grieger, Marvin and Fazal-Baqaie, Masud and Sauer, Stefan and Klenke, Markus}, year={2014}, pages={77–78} }
LibreCat
2014 | Journal Article | LibreCat-ID: 7270
@article{Grieger_Sauer_Klenke_2014, title={Architectural Restructuring by Semi-Automatic Clustering to Facilitate Migration towards a Service-oriented Architecture}, volume={34}, number={2}, journal={Softwaretechnik-Trends, Proceedings of the 2nd Workshop Model-Based and Model-Driven Software Modernization (MMSM)}, author={Grieger, Marvin and Sauer, Stefan and Klenke, Markus}, year={2014}, pages={44–45} }
LibreCat
2014 | Journal Article | LibreCat-ID: 753
@article{Beister_Dräxler_Aelken_Karl_2014, title={Power model design for ICT systems -- A generic approach}, DOI={10.1016/j.comcom.2014.02.007}, journal={Computer Communications}, author={Beister, Frederic and Dräxler, Martin and Aelken, J. and Karl, Holger}, year={2014}, pages={77--85} }
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 754
@article{Azeem M. Khan_Karl_2014, title={MAC Protocols for Cooperative Diversity in Wireless LANs and Wireless Sensor Networks}, DOI={10.1109/SURV.2013.042313.00067}, number={1}, journal={IEEE Communications Surveys and Tutorials}, author={Azeem M. Khan, Rana and Karl, Holger}, year={2014}, pages={46--63} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 759
@inproceedings{Dräxler_Dreimann_Karl_2014, title={Anticipatory power cycling of mobile network equipment for high demand multimedia traffic}, DOI={10.1109/OnlineGreenCom.2014.7114415}, booktitle={IEEE Online Conference on Green Communications, OnlineGreenComm 2014, November 12-14, 2014}, author={Dräxler, Martin and Dreimann, Philipp and Karl, Holger}, year={2014}, pages={1--7} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 760
@inproceedings{Auroux_Karl_2014, title={Flow processing-aware controller placement in wireless DenseNets}, DOI={10.1109/PIMRC.2014.7136368}, booktitle={25th IEEE Annual International Symposium on Personal, Indoor, and Mobile Radio Communication, {PIMRC} 2014, Washington DC, USA, September 2-5, 2014}, author={Auroux, Sebastien and Karl, Holger}, year={2014}, pages={1294--1299} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 762
@inproceedings{Schwabe_Karl_2014, title={Using MAC addresses as efficient routing labels in data centers}, DOI={10.1145/2620728.2620730}, booktitle={Proceedings of the third workshop on Hot topics in software defined networking, HotSDN ’14, Chicago, Illinois, USA, August 22, 2014}, author={Schwabe, Arne and Karl, Holger}, year={2014}, pages={115--120} }
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 763
@inproceedings{Blanckenstein_Karl_2014, title={Energy-efficient clock synchronization using wake-up receivers}, DOI={10.1109/SOFTCOM.2014.7039090}, booktitle={22nd International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2014, Split, Croatia, September 17-19, 2014}, author={Blanckenstein, Johannes and Karl, Holger}, year={2014}, pages={408--413} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 765
@inproceedings{Beister_Karl_2014, title={Predicting mobile video inter-download times with Hidden Markov Models}, DOI={10.1109/WiMOB.2014.6962195}, booktitle={IEEE 10th International Conference on Wireless and Mobile Computing, Networking and Communications, WiMob 2014, Larnaca, Cyprus, October 8-10, 2014}, author={Beister, Frederic and Karl, Holger}, year={2014}, pages={359--364} }
LibreCat
| DOI
2014 | Preprint | LibreCat-ID: 766
@article{Mehraghdam_Keller_Karl_2014, title={Specifying and Placing Chains of Virtual Network Functions}, journal={CoRR}, author={Mehraghdam, Sevil and Keller, Matthias and Karl, Holger}, year={2014} }
LibreCat
2014 | Preprint | LibreCat-ID: 767
@article{Wette_Karl_2014, title={DCT2Gen: A Versatile TCP Traffic Generator for Data Centers}, journal={CoRR}, author={Wette, Philip and Karl, Holger}, year={2014} }
LibreCat
2014 | Preprint | LibreCat-ID: 768
@article{Schwabe_Karl_2014, title={Adding Geographical Embedding to AS Topology Generation}, journal={CoRR}, author={Schwabe, Arne and Karl, Holger}, year={2014} }
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 | 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 | 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