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.
9719 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 | Book Chapter | LibreCat-ID: 8550
Liebendörfer M, Ostsieker L. Mathematik als Werkzeug: Sicht- und Arbeitsweisen von Studierenden am Anfang ihres Mathematikstudiums. In: Wassong T, Frischemeier D, Fischer PR, Hochmuth R, Bender P, eds. Mit Werkzeugen Mathematik Und Stochastik Lernen – Using Tools for Learning Mathematics and Statistics. Wiesbaden: Springer Fachmedien Wiesbaden; 2014:453-462.
LibreCat
2014 | Conference Paper | LibreCat-ID: 8554
Liebendörfer M, Hochmuth R, Kolter J, Schukajlow S. The Mathematical Beliefs and Interest Development of Pre-Service Primary Teachers. In: Nicol C, Oesterle S, Liljedahl P, Allan D, eds. 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. Vol 6. Vancouver: PME; 2014:153.
LibreCat
2014 | Journal Article | LibreCat-ID: 8557
Liebendörfer M. Self-determination and interest development of first-year mathematics students. Oberwolfach Reports. 2014;11(4):3132-3135.
LibreCat
2014 | Book Chapter | LibreCat-ID: 8561
Liebendörfer M, Hochmuth R, Schreiber S, et al. Vorstellung eines Fragebogens zur Erfassung von Lernstrategien in mathematikhaltigen Studiengängen. In: Roth J, Ames J, eds. Beiträge Zum Mathematikunterricht 2014. Münster: WTM-Verlag; 2014:739-742.
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 | Journal Article | LibreCat-ID: 3937
Hoekstra HJWM, Hammer M. General relation for group delay and the relevance of group delay for refractometric sensing. Journal of the Optical Society of America B. 2014;31(7). doi:10.1364/josab.31.001561
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 | Conference Paper | LibreCat-ID: 4315
Grynko Y, Zubko E. Light Scattering By Random Irregular Particles With Different Morphology. In: ; 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 | Misc | LibreCat-ID: 6550
Bause F, Rautenberg J, Feldmann N, Claes L, Henning B. Methoden zur Zeit-Frequenz-Analyse bei der Untersuchung dispersionsbehafteter Signale. Vol 8. DEGA-Symposium, Bad Honnef; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 6574
Olfert S, Claes L, Henning B. Rekonstruktion der räumlichen Schallwechseldruckverteilung unter Berücksichtigung der Orthogonalität optischer und akustischer Achsen beim Schlierenverfahren. In: Fortschritte Der Akustik - DAGA 2014. ; 2014:541-542.
LibreCat
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