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: 450
Jakobs, Marie-Christine, and Heike Wehrheim. “Certification for Configurable Program Analysis.” In Proceedings of the 21st International Symposium on Model Checking of Software (SPIN), 30–39. SPIN 2014, 2014. https://doi.org/10.1145/2632362.2632372.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 451
Drees, Maximilian, Sören Riechers, and Alexander Skopalik. “Budget-Restricted Utility Games with Ordered Strategic Decisions.” In Proceedings of the 7th International Symposium on Algorithmic Game Theory (SAGT), edited by Ron Lavi, 110–21. Lecture Notes in Computer Science, 2014. https://doi.org/10.1007/978-3-662-44803-8_10.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 452
Abshoff, Sebastian, Andreas Cord-Landwehr, Daniel Jung, and Alexander Skopalik. “Brief Announcement: A Model for Multilevel Network Games.” In Proceedings of the 7th International Symposium on Algorithmic Game Theory (SAGT), edited by Ron Lavi, 294. LNCS, 2014.
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 453
Feldotto, Matthias, Martin Gairing, and Alexander Skopalik. “Bounding the Potential Function in Congestion Games and Approximate Pure Nash Equilibria.” In Proceedings of the 10th International Conference on Web and Internet Economics (WINE), 30–43. LNCS, 2014. https://doi.org/10.1007/978-3-319-13129-0_3.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 455
Hansknecht, Christoph, Max Klimm, and Alexander Skopalik. “Approximate Pure Nash Equilibria in Weighted Congestion Games.” In Proceedings of the 17th. International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (APPROX), 242–57. LIPIcs, 2014. https://doi.org/10.4230/LIPIcs.APPROX-RANDOM.2014.242.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 456
Gairing, Martin, Grammateia Kotsialou, and Alexander Skopalik. “Approximate Pure Nash Equilibria in Social Context Congestion Games.” In Proceedings of the 10th International Conference on Web and Internet Economics (WINE), 480–85. LNCS, 2014. https://doi.org/10.1007/978-3-319-13129-0_43.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 457
Jungmann, Alexander, Felix Mohr, and Bernd Kleinjohann. “Applying Reinforcement Learning for Resolving Ambiguity in Service Composition.” In Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA), 105–12, 2014. https://doi.org/10.1109/SOCA.2014.48.
LibreCat
| Files available
| DOI
2014 | Mastersthesis | LibreCat-ID: 458
Dreimann, Philipp. Anticipatory Power Cycling of Mobile Network Equipment for High-Demand Multimedia Traffic. Universität Paderborn, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 459
Kniesburges, Sebastian, Christine Markarian, Friedhelm Meyer auf der Heide, and Christian Scheideler. “Algorithmic Aspects of Resource Management in the Cloud.” In Proceedings of the 21st International Colloquium on Structural Information and Communication Complexity (SIROCCO), 1–13. LNCS, 2014. https://doi.org/10.1007/978-3-319-09620-9_1.
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 461
Dräxler, Sevil. Adaptive Placement of Programmable Virtual Network Function Chains. Universität Paderborn, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 462
Feldotto, Matthias, and Alexander Skopalik. “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), 625–30, 2014. https://doi.org/10.5220/0005110406250630.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 463
Blömer, Johannes, Ricardo Gomes da Silva, Peter Günther, Juliane Krämer, and Jean-Pierre Seifert. “A Practical Second-Order Fault Attack against a Real-World Pairing Implementation.” In Proceedings of Fault Tolerance and Diagnosis in Cryptography(FDTC), 123--136, 2014. https://doi.org/10.1109/FDTC.2014.22.
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 464
Gall, Dominik, Riko Jacob, Andrea W. Richa, Christian Scheideler, Stefan Schmid, and Hanjo Täubig. “A Note on the Parallel Runtime of Self-Stabilizing Graph Linearization.” Theory of Computing Systems, no. 1 (2014): 110–35. https://doi.org/10.1007/s00224-013-9504-x.
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 467
Künsemöller, Jörn, and Holger Karl. “A Game-Theoretic Approach to the Financial Benefits of Infrastructure-as-a-Service.” Future Generation Computer Systems, 2014, 44--52. https://doi.org/10.1016/j.future.2014.03.005.
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 7268
Klenke, Markus, and Marvin Grieger. “Forms2ADF Mal Anders: Wie Aus Einer Oracle-Vision Praxis Wird.” DOAG News, no. 3 (2014): 38–42.
LibreCat
2014 | Journal Article | LibreCat-ID: 7269
Grieger, Marvin, Masud Fazal-Baqaie, Stefan Sauer, and Markus Klenke. “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) 34, no. 2 (2014): 77–78.
LibreCat
2014 | Journal Article | LibreCat-ID: 7270
Grieger, Marvin, Stefan Sauer, and Markus Klenke. “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) 34, no. 2 (2014): 44–45.
LibreCat
2014 | Journal Article | LibreCat-ID: 753
Beister, Frederic, Martin Dräxler, J. Aelken, and Holger Karl. “Power Model Design for ICT Systems -- A Generic Approach.” Computer Communications, 2014, 77--85. https://doi.org/10.1016/j.comcom.2014.02.007.
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 754
Azeem M. Khan, Rana, and Holger Karl. “MAC Protocols for Cooperative Diversity in Wireless LANs and Wireless Sensor Networks.” IEEE Communications Surveys and Tutorials, no. 1 (2014): 46--63. https://doi.org/10.1109/SURV.2013.042313.00067.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 759
Dräxler, Martin, Philipp Dreimann, and Holger Karl. “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, 1--7, 2014. https://doi.org/10.1109/OnlineGreenCom.2014.7114415.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 760
Auroux, Sebastien, and Holger Karl. “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, 1294--1299, 2014. https://doi.org/10.1109/PIMRC.2014.7136368.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 762
Schwabe, Arne, and Holger Karl. “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, 115--120, 2014. https://doi.org/10.1145/2620728.2620730.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 763
Blanckenstein, Johannes, and Holger Karl. “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, 408--413, 2014. https://doi.org/10.1109/SOFTCOM.2014.7039090.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 765
Beister, Frederic, and Holger Karl. “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, 359--364, 2014. https://doi.org/10.1109/WiMOB.2014.6962195.
LibreCat
| DOI
2014 | Preprint | LibreCat-ID: 766
Mehraghdam, Sevil, Matthias Keller, and Holger Karl. “Specifying and Placing Chains of Virtual Network Functions.” CoRR, 2014.
LibreCat
2014 | Preprint | LibreCat-ID: 767
Wette, Philip, and Holger Karl. “DCT2Gen: A Versatile TCP Traffic Generator for Data Centers.” CoRR, 2014.
LibreCat
2014 | Preprint | LibreCat-ID: 768
Schwabe, Arne, and Holger Karl. “Adding Geographical Embedding to AS Topology Generation.” CoRR, 2014.
LibreCat
2014 | Book Chapter | LibreCat-ID: 8550
Liebendörfer, Michael, and Laura Ostsieker. “Mathematik Als Werkzeug: Sicht- Und Arbeitsweisen von Studierenden Am Anfang Ihres Mathematikstudiums.” In Mit Werkzeugen Mathematik Und Stochastik Lernen – Using Tools for Learning Mathematics and Statistics, edited by Thomas Wassong, Daniel Frischemeier, Pascal R. Fischer, Reinhard Hochmuth, and Peter Bender, 453–62. Wiesbaden: Springer Fachmedien Wiesbaden, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 8554
Liebendörfer, Michael, Reinhard Hochmuth, Jana Kolter, and Stanislaw Schukajlow. “The Mathematical Beliefs and Interest Development of Pre-Service Primary Teachers.” In 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, edited by C. Nicol, S. Oesterle, Peter Liljedahl, and D. Allan, 6:153. Vancouver: PME, 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 8557
Liebendörfer, Michael. “Self-Determination and Interest Development of First-Year Mathematics Students.” Oberwolfach Reports 11, no. 4 (2014): 3132–35.
LibreCat
2014 | Book Chapter | LibreCat-ID: 8561
Liebendörfer, Michael, Reinhard Hochmuth, Stephan Schreiber, Robin Göller, Jana Kolter, Rolf Biehler, Jörg Kortemeyer, and Laura Ostsieker. “Vorstellung Eines Fragebogens Zur Erfassung von Lernstrategien in Mathematikhaltigen Studiengängen.” In Beiträge Zum Mathematikunterricht 2014, edited by Jürgen Roth and J. Ames, 739–42. Münster: WTM-Verlag, 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 8842
Jovanovikj, Ivan. Detection and Resolution of Data-Flow Differences in Business Process Models, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 393
Foreback, Dianne, Andreas Koutsopoulos, Mikhail Nesterenko, Christian Scheideler, and Thim Frederik Strothmann. “On Stabilizing Departures in Overlay Networks.” In Proceedings of the 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems, 48--62. LNCS, 2014. https://doi.org/10.1007/978-3-319-11764-5_4.
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 3937
Hoekstra, Hugo J. W. M., and Manfred Hammer. “General Relation for Group Delay and the Relevance of Group Delay for Refractometric Sensing.” Journal of the Optical Society of America B 31, no. 7 (2014). https://doi.org/10.1364/josab.31.001561.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 394
Schwichtenberg, Simon, Christian Gerth, Zille Huma, and Gregor Engels. “Normalizing Heterogeneous Service Description Models with Generated QVT Transformations.” In Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA), 180–95. LNCS, 2014. https://doi.org/10.1007/978-3-319-09195-2_12.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 395
Abshoff, Sebastian, Andreas Cord-Landwehr, Daniel Jung, and Alexander Skopalik. “Multilevel Network Games.” In Proceedings of the 10th International Conference on Web and Internet Economics (WINE), 435–40. LNCS, 2014. https://doi.org/10.1007/978-3-319-13129-0_36.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 397
Scheideler, Christian, Martina Eikel, and Alexander Setzer. “Minimum Linear Arrangement of Series-Parallel Graphs.” In Proceedings of the 12th Workshop on Approximation and Online Algorithms (WAOA), 168--180. LNCS, 2014.
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 399
Wiersema, Tobias, Stephanie Drzevitzky, and Marco Platzner. “Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring.” In Proceedings of the International Conference on Field-Programmable Technology (FPT), 167–74, 2014. https://doi.org/10.1109/FPT.2014.7082771.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 401
Platenius, Marie Christin, Svetlana Arifulina, Ronald Petrlic, and Wilhelm Schäfer. “Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching.” In Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet, 6–17. Communications in Computer and Information Science, 2014. https://doi.org/10.1007/978-3-319-14886-1_2.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 402
Arifulina, Svetlana, Marie Christin Platenius, Christian Gerth, Steffen Becker, Gregor Engels, and Wilhelm Schäfer. “Market-Optimized Service Specification and Matching.” In Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014), edited by Xavier Franch, AdityaK. Ghose, GraceA. Lewis, and Sami Bhiri, 543–50. LNCS, 2014. https://doi.org/10.1007/978-3-662-45391-9_47.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 408
Jakobs, Marie-Christine, Marco Platzner, Tobias Wiersema, and Heike Wehrheim. “Integrating Software and Hardware Verification.” In Proceedings of the 11th International Conference on Integrated Formal Methods (IFM), edited by Elvira Albert and Emil Sekerinski, 307–22. LNCS, 2014. https://doi.org/10.1007/978-3-319-10181-1_19.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 409
Platenius, Marie Christin, Steffen Becker, and Wilhelm Schäfer. “Integrating Service Matchers into a Service Market Architecture.” In Proceedings of the 8th European Conference on Software Architecture (ECSA 2014), edited by Paris Avgeriou and Uwe Zdun, 210–17. LNCS, 2014. https://doi.org/10.1007/978-3-319-09970-5_19.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 412
Feldotto, Matthias, Christian Scheideler, and Kalman Graffi. “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), 1–10, 2014. https://doi.org/10.1109/P2P.2014.6934300.
LibreCat
| Files available
| DOI
| arXiv
2014 | Mastersthesis | LibreCat-ID: 414
Jochheim, Janek. Hiding Software Components Using Functional Encryption. Universität Paderborn, 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 416
Bemmann, Pascal. Group Signature Schemes with Strong Exculpability. Universität Paderborn, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 417
Besova, Galina, Dominik Steenke, and Heike Wehrheim. “Grammar-Based Model Transformations.” In Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD), 1601–10, 2014. https://doi.org/10.1016/j.cl.2015.05.003.
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 418 | 
Pauck, Felix. Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren. Universität Paderborn, 2014.
LibreCat
| Files available
2014 | Bachelorsthesis | LibreCat-ID: 421
Lippert, Jan. Fujisaki-Okamoto Transformation. Universität Paderborn, 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 426
Dornseifer, Veit. Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network. Universität Paderborn, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 428
Mohr, Felix. “Estimating Functional Reusability of Services.” In Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC), 411–18. LNCS, 2014.
LibreCat
| Files available
| Download (ext.)