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
Feldotto M, Skopalik A. A Simulation Framework for Analyzing Complex Infinitely Repeated Games. In: Proceedings of the 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2014). ; 2014:625-630. doi:10.5220/0005110406250630
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 463
Blömer J, Gomes da Silva R, Günther P, Krämer J, Seifert J-P. A Practical Second-Order Fault Attack against a Real-World Pairing Implementation. In: Proceedings of Fault Tolerance and Diagnosis in Cryptography(FDTC). ; 2014:123--136. doi:10.1109/FDTC.2014.22
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 464
Gall D, Jacob R, Richa AW, Scheideler C, Schmid S, Täubig H. A Note on the Parallel Runtime of Self-Stabilizing Graph Linearization. Theory of Computing Systems. 2014;(1):110-135. doi:10.1007/s00224-013-9504-x
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 467
Künsemöller J, Karl H. A Game-Theoretic Approach to the Financial Benefits of Infrastructure-as-a-Service. Future Generation Computer Systems. 2014:44--52. doi:10.1016/j.future.2014.03.005
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 7268
Klenke M, Grieger M. Forms2ADF mal anders: Wie aus einer Oracle-Vision Praxis wird. DOAG News. 2014;(3):38-42.
LibreCat
2014 | Journal Article | LibreCat-ID: 7269
Grieger M, Fazal-Baqaie M, Sauer S, Klenke M. A Method to Systematically Improve the Effectiveness and Efficiency of the Semi-Automatic Migration of Legacy Systems. Softwaretechnik-Trends, Proceedings of the 16th Workshop Software-Reengineering (WSRE). 2014;34(2):77-78.
LibreCat
2014 | Journal Article | LibreCat-ID: 7270
Grieger M, Sauer S, Klenke M. Architectural Restructuring by Semi-Automatic Clustering to Facilitate Migration towards a Service-oriented Architecture. Softwaretechnik-Trends, Proceedings of the 2nd Workshop Model-Based and Model-Driven Software Modernization (MMSM). 2014;34(2):44-45.
LibreCat
2014 | Journal Article | LibreCat-ID: 753
Beister F, Dräxler M, Aelken J, Karl H. Power model design for ICT systems -- A generic approach. Computer Communications. 2014:77--85. doi:10.1016/j.comcom.2014.02.007
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 754
Azeem M. Khan R, Karl H. MAC Protocols for Cooperative Diversity in Wireless LANs and Wireless Sensor Networks. IEEE Communications Surveys and Tutorials. 2014;(1):46--63. doi:10.1109/SURV.2013.042313.00067
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 759
Dräxler M, Dreimann P, Karl H. Anticipatory power cycling of mobile network equipment for high demand multimedia traffic. In: IEEE Online Conference on Green Communications, OnlineGreenComm 2014, November 12-14, 2014. ; 2014:1--7. doi:10.1109/OnlineGreenCom.2014.7114415
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 760
Auroux S, Karl H. Flow processing-aware controller placement in wireless DenseNets. In: 25th IEEE Annual International Symposium on Personal, Indoor, and Mobile Radio Communication, {PIMRC} 2014, Washington DC, USA, September 2-5, 2014. ; 2014:1294--1299. doi:10.1109/PIMRC.2014.7136368
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 762
Schwabe A, Karl H. Using MAC addresses as efficient routing labels in data centers. In: Proceedings of the Third Workshop on Hot Topics in Software Defined Networking, HotSDN ’14, Chicago, Illinois, USA, August 22, 2014. ; 2014:115--120. doi:10.1145/2620728.2620730
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 763
Blanckenstein J, Karl H. Energy-efficient clock synchronization using wake-up receivers. In: 22nd International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2014, Split, Croatia, September 17-19, 2014. ; 2014:408--413. doi:10.1109/SOFTCOM.2014.7039090
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 765
Beister F, Karl H. Predicting mobile video inter-download times with Hidden Markov Models. In: IEEE 10th International Conference on Wireless and Mobile Computing, Networking and Communications, WiMob 2014, Larnaca, Cyprus, October 8-10, 2014. ; 2014:359--364. doi:10.1109/WiMOB.2014.6962195
LibreCat
| DOI
2014 | Preprint | LibreCat-ID: 766
Mehraghdam S, Keller M, Karl H. Specifying and Placing Chains of Virtual Network Functions. CoRR. 2014.
LibreCat
2014 | Preprint | LibreCat-ID: 767
Wette P, Karl H. DCT2Gen: A Versatile TCP Traffic Generator for Data Centers. CoRR. 2014.
LibreCat
2014 | Preprint | LibreCat-ID: 768
Schwabe A, Karl H. Adding Geographical Embedding to AS Topology Generation. CoRR. 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 8842
Jovanovikj I. Detection and Resolution of Data-Flow Differences in Business Process Models.; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 393
Foreback D, Koutsopoulos A, Nesterenko M, Scheideler C, Strothmann TF. On Stabilizing Departures in Overlay Networks. In: Proceedings of the 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems. LNCS. ; 2014:48--62. doi:10.1007/978-3-319-11764-5_4
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 394
Schwichtenberg S, Gerth C, Huma Z, Engels G. Normalizing Heterogeneous Service Description Models with Generated QVT Transformations. In: Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA). LNCS. ; 2014:180-195. doi:10.1007/978-3-319-09195-2_12
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 395
Abshoff S, Cord-Landwehr A, Jung D, Skopalik A. Multilevel Network Games. In: Proceedings of the 10th International Conference on Web and Internet Economics (WINE). LNCS. ; 2014:435-440. doi:10.1007/978-3-319-13129-0_36
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 397
Scheideler C, Eikel M, Setzer A. Minimum Linear Arrangement of Series-Parallel Graphs. In: Proceedings of the 12th Workshop on Approximation and Online Algorithms (WAOA). LNCS. ; 2014:168--180.
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 399
Wiersema T, Drzevitzky S, Platzner M. Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring. In: Proceedings of the International Conference on Field-Programmable Technology (FPT). ; 2014:167-174. doi:10.1109/FPT.2014.7082771
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 401
Platenius MC, Arifulina S, Petrlic R, Schäfer W. Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching. In: Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet. Communications in Computer and Information Science. ; 2014:6-17. doi:10.1007/978-3-319-14886-1_2
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 402
Arifulina S, Platenius MC, Gerth C, Becker S, Engels G, Schäfer W. Market-optimized Service Specification and Matching. In: Franch X, Ghose A, Lewis G, Bhiri S, eds. Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014). LNCS. ; 2014:543-550. doi:10.1007/978-3-662-45391-9_47
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 408
Jakobs M-C, Platzner M, Wiersema T, Wehrheim H. Integrating Software and Hardware Verification. In: Albert E, Sekerinski E, eds. Proceedings of the 11th International Conference on Integrated Formal Methods (IFM). LNCS. ; 2014:307-322. doi:10.1007/978-3-319-10181-1_19
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 409
Platenius MC, Becker S, Schäfer W. Integrating Service Matchers into a Service Market Architecture. In: Avgeriou P, Zdun U, eds. Proceedings of the 8th European Conference on Software Architecture (ECSA 2014). LNCS. ; 2014:210-217. doi:10.1007/978-3-319-09970-5_19
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 412
Feldotto M, Scheideler C, Graffi K. 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). ; 2014:1-10. doi:10.1109/P2P.2014.6934300
LibreCat
| Files available
| DOI
| arXiv
2014 | Mastersthesis | LibreCat-ID: 414
Jochheim J. Hiding Software Components Using Functional Encryption. Universität Paderborn; 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 416
Bemmann P. Group Signature Schemes with Strong Exculpability. Universität Paderborn; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 417
Besova G, Steenke D, Wehrheim H. Grammar-based model transformations. In: Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD). ; 2014:1601-1610. doi:10.1016/j.cl.2015.05.003
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 418 | 
Pauck F. Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren. Universität Paderborn; 2014.
LibreCat
| Files available
2014 | Bachelorsthesis | LibreCat-ID: 421
Lippert J. Fujisaki-Okamoto Transformation. Universität Paderborn; 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 426
Dornseifer V. Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network. Universität Paderborn; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 428
Mohr F. Estimating Functional Reusability of Services. In: Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC). LNCS. ; 2014:411-418.
LibreCat
| Files available
| Download (ext.)
2014 | Dissertation | LibreCat-ID: 431
Kling P. Energy-Efficient Scheduling Algorithms. Universität Paderborn; 2014.
LibreCat
| Files available
2014 | Mastersthesis | LibreCat-ID: 432
Bredenbals N. Energy-Efficient Queuing with Delayed Deactivation. Universität Paderborn; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 433
Wiersema T, Bockhorn A, Platzner M. Embedding FPGA Overlays into Configurable Systems-on-Chip: ReconOS meets ZUMA. In: Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig). ; 2014:1-6. doi:10.1109/ReConFig.2014.7032514
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 435
Antoniadis A, Barcelo N, Consuegra M, et al. 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). LIPIcs. ; 2014:63--74. doi:10.4230/LIPIcs.STACS.2014.63
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 5189
Arzt S, Rasthofer S, Fritz C, et al. 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. doi:10.1145/2594291.2594299
LibreCat
| Files available
| DOI
| Download (ext.)
2014 | Conference Paper | LibreCat-ID: 5190
Arzt S, Rasthofer S, Lovat E, Bodden E. DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android. In: International Conference on Availability, Reliability and Security (ARES 2014). IEEE; 2014:40-49.
LibreCat
| Files available
| Download (ext.)
2014 | Dissertation | LibreCat-ID: 6727
van Rooijen L. 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 T, van Rooijen L, Zeitoun M. On Separation by Locally Testable and Locally Threshold Testable Languages. Logical Methods in Computer Science. 2014;10(3). doi:10.2168/lmcs-10(3:24)2014
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 6741
Bokermann D, Gerth C, Engels G. Use Your Best Device! Enabling Device Changes at Runtime. In: 12th International Conference on Business Process Management (BPM 2014). Vol 8659. Lecture Notes in Computer Science. Springer International Publishing; 2014:357-365. doi:10.1007/978-3-319-10172-9_23
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 1647
Dräxler M, Karl H. 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.)
2014 | Conference Paper | LibreCat-ID: 1654
Herlich M, Karl H. Analytic quantification of outage probability and radiated power of cooperative base stations. In: 12th International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks (WiOpt) 2014. IEEE; 2014. doi:10.1109/wiopt.2014.6850365
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 16760
Arens S, Domik G, Weise R, Holzinger J, Burchert W. Optimierte 3D Morphologiedarstellung tomographischer Datensätze des Herzens. 2014.
LibreCat
2014 | Book (Editor) | LibreCat-ID: 16870
Flocchini P, Gao J, Kranakis E, Meyer auf der Heide F, eds. Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, {ALGOSENSORS} 2013. Vol 8243. Berlin, Heidelberg: Springer; 2014. doi:10.1007/978-3-642-45346-5
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 10602
Schaefers L, Platzner M. A Novel Technique and its Application to Computer Go. IEEE Transactions on Computational Intelligence and AI in Games. 2014;6(3):361-374. doi:10.1109/TCIAIG.2014.2346997
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 10603
Giefers H, Platzner M. An FPGA-based Reconfigurable Mesh Many-Core. IEEE Transactions on Computers. 2014;63(12):2919-2932. doi:10.1109/TC.2013.174
LibreCat
| DOI