1596 Publications
2015 | Conference Paper | LibreCat-ID: 275
Cord-Landwehr, A., & Lenzner, P. (2015). Network Creation Games: Think Global - Act Local. In Proceedings of the 40th Conference on Mathematical Foundations of Computer Science (MFCS) (pp. 248--260). https://doi.org/10.1007/978-3-662-48054-0_21
LibreCat
| Files available
| DOI
2015 | Mastersthesis | LibreCat-ID: 276
Hohenberger, T. (2015). Network Creation Games with Interest Groups. Universität Paderborn.
LibreCat
2015 | Bachelorsthesis | LibreCat-ID: 277
Kothe, N. (2015). Multilevel Netzwerk Spiele mit konstanten Entfernungen im Highspeed-Netzwerk. Universität Paderborn.
LibreCat
2015 | Mastersthesis | LibreCat-ID: 278
Feldmann, M. (2015). Monotonic Searchability for distributed sorted Lists and De Bruijn Graphs. Universität Paderborn.
LibreCat
2015 | Conference Paper | LibreCat-ID: 279
Platenius, M. C., Arifulina, S., & Schäfer, W. (2015). MatchBox: A Framework for Dynamic Configuration of Service Matching Processes. In Proceedings of the 18th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE’15) (pp. 75–84). https://doi.org/10.1145/2737166.2737174
LibreCat
| Files available
| DOI
2015 | Journal Article | LibreCat-ID: 1772
Torresen, J., Plessl, C., & Yao, X. (2015). Self-Aware and Self-Expressive Systems – Guest Editor’s Introduction. IEEE Computer, 48(7), 18–20. https://doi.org/10.1109/MC.2015.205
LibreCat
| Files available
| DOI
2015 | Bachelorsthesis | LibreCat-ID: 234
Menne, M. R. (2015). Verkaufsbeschränkungen auf Onlinemarktplätzen - Eine wettbewerbspolitische Analyse am Fallbeispiel der Adidas AG. Universität Paderborn.
LibreCat
2015 | Bachelorsthesis | LibreCat-ID: 235
Strotmeyer, S. (2015). Vergleichende Betrachtung von Software-Werkzeugen zur Geschäftsmodellentwicklung. Universität Paderborn.
LibreCat
2015 | Mastersthesis | LibreCat-ID: 236
Neumann, D. (2015). Vergleichende Betrachtung ausgewählter Ansätze zur Bewertung von Innovation Performance im Kontext von IT-gestützten Geschäftsmodellinnovationen im Automotive Bereich. Universität Paderborn.
LibreCat
2015 | Bachelorsthesis | LibreCat-ID: 237
Ochlast, K. (2015). Trust Me, I am Certified - Wie die Zertifizierung von Produkten und Verkäufern das Vertrauen von Kunden im Onlinehandel beeinflussen. Universität Paderborn.
LibreCat
2015 | Conference Paper | LibreCat-ID: 239
Heindorf, S., Potthast, M., Stein, B., & Engels, G. (2015). Towards Vandalism Detection in Knowledge Bases: Corpus Construction and Analysis. In Proceedings of the 38th International ACM Conference on Research and Development in Information Retrieval (SIGIR 15) (pp. 831--834). https://doi.org/10.1145/2766462.2767804
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 240
Li, S., Mäcker, A., Markarian, C., Meyer auf der Heide, F., & Riechers, S. (2015). Towards Flexible Demands in Online Leasing Problems. In Proceedings of the 21st Annual International Computing and Combinatorics Conference (COCOON) (pp. 277--288). https://doi.org/10.1007/978-3-319-21398-9_22
LibreCat
| Files available
| DOI
2015 | Bachelorsthesis | LibreCat-ID: 18003
Götte, T. (2015). Covering and Bridging im selbstorganisierenden Partikelsystem Amoebabot. Universität Paderborn.
LibreCat
2015 | Bachelorsthesis | LibreCat-ID: 18005
Korfmacher, C. (2015). Implementierung und Analyse von Cone-DHT. Universität Paderborn.
LibreCat
2015 | Bachelorsthesis | LibreCat-ID: 18006
Sundermeier, J. (2015). Implementierung eines selbststabilisierenden verteilten Stacks. Universität Paderborn.
LibreCat
2015 | Bachelorsthesis | LibreCat-ID: 18024
Knollmann, T. (2015). Implementierung einer selbststabilisierenden Datenstruktur für das längste gemeinsame Präfix. Universität Paderborn.
LibreCat
2015 | Journal Article | LibreCat-ID: 228
Fahr, R., & Mir Djawadi, B. (2015). “…and they are really lying”: Clean Evidence on the Pervasiveness of Cheating in Professional Contexts from a Field Experiment. Journal of Economic Psychology, 48–59. https://doi.org/10.1016/j.joep.2015.03.002
LibreCat
| Files available
| DOI
2015 | Bachelorsthesis | LibreCat-ID: 229
Schulz, H. (2015). Zur Verbreitung von Informationen in sozialen Netzwerken - eine wirtschaftspolitische Analyse. Universität Paderborn.
LibreCat
2015 | Conference Paper | LibreCat-ID: 230
John, T., & Kundisch, D. (2015). Why Fit Leads to Surprise: An Extension of Cognitive Fit Theory to Creative Problems. In Proceedings of the 36th International Conference on Information Systems (ICIS), Fort Worth, USA. Fort Worth, USA.
LibreCat
| Files available
2015 | Conference Paper | LibreCat-ID: 231
Geierhos, M., Schulze, S., & Bäumer, F. S. (2015). What did you mean? Facing the Challenges of User-generated Software Requirements. In S. Loiseau, J. Filipe, B. Duval, & J. van den Herik (Eds.), Proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART), Special Session on Partiality, Underspecification, and Natural Language Processing (PUaNLP 2015) (pp. 277–283). Setúbal, Portugal: SciTePress - Science and Technology Publications. https://doi.org/10.5220/0005346002770283
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 232
Monien, B., Mavronicolas, M., & Wagner, K. (2015). Weighted Boolean Formula Games. In the ´Festschrift´ Algorithms, Probability, Networks, and Games: Scientific Papers and Essays Dedicated to Paul G. Spirakis on the Occasion of His 60th Birthday (pp. 49–86). https://doi.org/10.1007/978-3-319-24024-4_6
LibreCat
| Files available
| DOI
2015 | Report | LibreCat-ID: 233 | 
Blömer, J., & Kohn, K. (2015). Voronoi Cells of Lattices with Respect to Arbitrary Norms. Universität Paderborn.
LibreCat
| Files available
| Download (ext.)
2015 | Mastersthesis | LibreCat-ID: 5930
Mikroökonomie, L. (2015). Bilateral matching and bargaining games. Universität Paderborn.
LibreCat
2015 | Journal Article | LibreCat-ID: 4792
Senge, R., & Hüllermeier, E. (2015). Fast Fuzzy Pattern Tree Learning for Classification. IEEE Transactions on Fuzzy Systems, 23(6), 2024–2033. https://doi.org/10.1109/tfuzz.2015.2396078
LibreCat
| Files available
| DOI
2015 | Journal Article | LibreCat-ID: 491
Buechel, B., & Röhl, N. (2015). Robust Equilibria in Location Games. European Journal of Operational Research, 240(2), 505–517. https://doi.org/10.1016/j.ejor.2014.07.019
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 743
Schwabe, A., & Karl, H. (2015). Topology model to generate realistic latency for simulations. In 2015 IEEE International Conference on Communications, ICC 2015, London, United Kingdom, June 8-12, 2015 (pp. 6122--6127). https://doi.org/10.1109/ICC.2015.7249298
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 986
Peuster, M., & Karl, H. (2015). An Architecture for Energy-aware On-demand Mobile Network Management. In Proceedings of the 5th Workshop on All Things Cellular: Operations, Applications and Challenges. London.
LibreCat
| Files available
| Download (ext.)
2015 | Journal Article | LibreCat-ID: 398
Monien, B., & Mavronicolas, M. (2015). Minimizing Expectation Plus Variance. Theory of Computing Systems, 57(3), 617–654. https://doi.org/10.1007/s00224-014-9542-z
LibreCat
| Files available
| DOI
2015 | Bachelorsthesis | LibreCat-ID: 5090
Streck, T. (2015). Praktikabilität des Adjusted Winner Verfahrens bei variablem Status Quo- Punkt und exogenen Einflüssen. Universität Paderborn.
LibreCat
2015 | Conference Paper | LibreCat-ID: 5207
Li, L., Bartel, A., Bissyande, T. F., Klein, J., Le Traon, Y., Arzt, S., … McDaniel, P. (2015). IccTA: Detecting Inter-Component Privacy Leaks in Android Apps. In 2015 International Conference on Software Engineering (ICSE) (pp. 280–291).
LibreCat
| Files available
| Download (ext.)
2015 | Mastersthesis | LibreCat-ID: 5413
Funke, L. (2015). An LLVM Based Toolchain for Transparent Acceleration of Digital Image Processing Applications using FPGA Overlay Architectures. Universität Paderborn.
LibreCat
2015 | Mastersthesis | LibreCat-ID: 5416
Löcke, T. (2015). Instance-Specific Computing in Hard- and Software for Faster Solving of Complex Problems. Universität Paderborn.
LibreCat
2015 | Mastersthesis | LibreCat-ID: 5419
Wallaschek, F. (2015). Accelerating Programmable Logic Controllers with the use of FPGAs. Universität Paderborn.
LibreCat
2015 | Bachelorsthesis | LibreCat-ID: 694
Stilow, G. (2015). Mobile Agenten in Netzwerken: Analyse von Hotspots. Universität Paderborn.
LibreCat
2015 | Bachelorsthesis | LibreCat-ID: 10714
Meißner, R. (2015). Konzept und Implementation einer Benutzeroberfläche zur Generierung virtueller FPGAs. Universität Paderborn.
LibreCat
2015 | Bachelorsthesis | LibreCat-ID: 5927
N, N. (2015). Simultane bilaterale Verhandlungen - Zur Zusammenstellung eines Sortiments. Universität Paderborn.
LibreCat
2015 | Bachelorsthesis | LibreCat-ID: 5928
N, N. (2015). Cournot-Nash-Bertrand Wettbewerb im serviceorientierten Internet. Universität Paderborn.
LibreCat
2015 | Bachelorsthesis | LibreCat-ID: 5929
N, N. (2015). Multilaterale Verhandlungen aus Produzentensicht. Universität Paderborn.
LibreCat
2015 | Bachelorsthesis | LibreCat-ID: 5925
N, N. (2015). Produktdifferenzierung und Verhandlungsposition im duopolistischen Wettbewerb. Universität Paderborn.
LibreCat
2015 | Bachelorsthesis | LibreCat-ID: 5923
N, N. (2015). Aggregating Online Reputation Feedback. Universität Paderborn.
LibreCat
2015 | Bachelorsthesis | LibreCat-ID: 5926
N, N. (2015). Verhandlungserfolg durch Reduktion von Verhandlungsasymmetrien - eine Analyse mit dem Adjusted-Winner-Verfahren. Universität Paderborn.
LibreCat
2015 | Conference Abstract | LibreCat-ID: 307
Herrmann, P., Kundisch, D., Zimmermann, S., & Nault, B. (2015). Different Sources of the Variance of Online Consumer Ratings and their Impact on Price and Demand. INFORMS Conference on Information Systems and Technology (CIST), Philadelphia, USA.
LibreCat
| Files available
2015 | Journal Article | LibreCat-ID: 296
Kenter, T., Schmitz, H., & Plessl, C. (2015). Exploring Tradeoffs between Specialized Kernels and a Reusable Overlay in a Stereo-Matching Case Study. International Journal of Reconfigurable Computing (IJRC), 2015, Article 859425. https://doi.org/10.1155/2015/859425
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 303 |
Damschen, M., & Plessl, C. (2015). Easy-to-Use On-The-Fly Binary Program Acceleration on Many-Cores. Proceedings of the 5th International Workshop on Adaptive Self-Tuning Computing Systems (ADAPT).
LibreCat
| Files available
| arXiv
2015 | Conference Paper | LibreCat-ID: 238
Damschen, M., Riebler, H., Vaz, G. F., & Plessl, C. (2015). Transparent offloading of computational hotspots from binary code to Xeon Phi. Proceedings of the 2015 Conference on Design, Automation and Test in Europe (DATE), 1078–1083. https://doi.org/10.7873/DATE.2015.1124
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 2522
Brangewitz, S., & Gamp, J.-P. (2014). Competitive outcomes and the inner core of NTU market games. Economic Theory, 57(3), 529–554. https://doi.org/10.1007/s00199-014-0846-7
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 329
Wette, P., Dräxler, M., Schwabe, A., Wallaschek, F., Zahraee, M. H., & Karl, H. (2014). MaxiNet: Distributed Emulation of Software-Defined Networks. In Proceedings of the 2014 IFIP Networking Conference (Networking 2014) (pp. 1–9). https://doi.org/10.1109/IFIPNetworking.2014.6857078
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 330
Drigalsky, L. (2014). Zur Ausbreitung und Behinderung von Epidemien - Eine Netzwerkanalyse. Universität Paderborn.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 331
Wu, S. (2014). Webcam application using virtual FPGA. Universität Paderborn.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 332
Lange, M. (2014). Was tun um Kunden von der Qualität seiner Produkte zu überzeugen - Möglichkeiten der Zertifizierung und von Reputationssystemen auf Onlinemärkten. Universität Paderborn.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 333
Osterbrink, S. (2014). Visualisierung von SMT-Solver-Ausgaben. Universität Paderborn.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 334
Wagener, P. (2014). Vertical Thread Migration in FPGA based Sound Localization. Universität Paderborn.
LibreCat
2014 | Conference Paper | LibreCat-ID: 336
Walther, S., & Wehrheim, H. (2014). Verified Service Compositions by Template-Based Construction. In I. Lanese & E. Madelaine (Eds.), Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS) (pp. 31–48). https://doi.org/10.1007/978-3-319-15317-9_3
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 337
Berkemeier, C. (2014). Verhandlungen vs Auktionen im Beschäftigungsmanagement. Universität Paderborn.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 338
Beck, H. (2014). Verhandlungen bei variablem status quo: Eine Modifikation des Adjustet Winner Verfahrens. Universität Paderborn.
LibreCat
2014 | Conference Paper | LibreCat-ID: 339
Wette, P., & Karl, H. (2014). Using Application Layer Knowledge in Routing and Wavelength Assignment Algorithms. In Proceedings of the IEEE International Conference on Communications 2014 (pp. 3270–3276). https://doi.org/10.1109/ICC.2014.6883825
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 340
Korth, P. (2014). Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs.” Universität Paderborn.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 341
Fang Cheng, T. (2014). Two-Sided Market and Game Console Vendors. Universität Paderborn.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 342
Klauke, C. (2014). Transformation graphischer Protokollspezifikationen in Model-Checker-Anfragen. Universität Paderborn.
LibreCat
2014 | Dissertation | LibreCat-ID: 343
Künsemöller, J. (2014). Tragedy of the Common Cloud - Game Theory on the Infrastructure-as-a-Service Market. Universität Paderborn.
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 344
Becker, M., Becker, S., Besova, G., Walther, S., & Wehrheim, H. (2014). Towards Systematic Configuration for Architecture Validation. In Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (Work in Progress Session).
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 345
Jungmann, A., & Kleinjohann, B. (2014). Towards Context-Sensitive Service Composition for Service-Oriented Image Processing. In Proceedings of the 6th International Conference on Cloud Computing Technology and Science (CloudCom) (pp. 755–758). https://doi.org/10.1109/CloudCom.2014.154
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 346
Brangewitz, S., Jungmann, A., Petrlic, R., & Platenius, M. C. (2014). Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services. In Proceedings of the 6th International Conferences on Advanced Service Computing (SERVICE COMPUTATION) (pp. 49–57).
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 347
Meisner, S., & Platzner, M. (2014). Thread Shadowing: Using Dynamic Redundancy on Hybrid Multi-cores for Error Detection. In D. Goehringer, M. Santambrogio, J. P. Cardoso, & K. Bertels (Eds.), Proceedings of the 10th International Symposium on Applied Reconfigurable Computing (ARC) (pp. 283–290). Springer. https://doi.org/10.1007/978-3-319-05960-0_30
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 348
Rüthing, C. (2014). The Xilinx Zynq Architecture as a Platform for Reconfigurable Heterogeneous Multi-Cores. Universität Paderborn.
LibreCat
2014 | Report | LibreCat-ID: 349
Sorge, C. (2014). The Legal Classification of Identity-Based Signatures.
LibreCat
| Files available
2014 | Report | LibreCat-ID: 350
Kaimann, D., & Cox, J. (2014). The Interaction of Signals: A Fuzzy set Analysis of the Video Game Industry. Universität Paderborn.
LibreCat
| Files available
2014 | Mastersthesis | LibreCat-ID: 351
Holzweißig, L. (2014). The Impact of Customer Reviews and Reputation on Hotel Prices. Universität Paderborn.
LibreCat
2014 | Dissertation | LibreCat-ID: 352
Scheel, F. (2014). The Economics of Individual Behavior in Competitive Environments: Empirical Evidence from Real-Life Tournaments. Universität Paderborn.
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 353
Mohr, F., & Walther, S. (2014). Template-based Generation of Semantic Services. In Proceedings of the 14th International Conference on Software Reuse (ICSR) (pp. 188–203). https://doi.org/10.1007/978-3-319-14130-5_14
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 354
Keller, M., Robbert, C., & Karl, H. (2014). Template Embedding: Using Application Architecture to Allocate Resources in Distributed Clouds. In Proceedings of 7th International Conference on Utility and Cloud Computing (UCC) (pp. 387--395). https://doi.org/10.1109/UCC.2014.49
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 355
Blömer, J., Günther, P., & Liske, G. (2014). Tampering attacks in pairing-based cryptography. In Proceedings of Fault Tolerance and Diagnosis in Cryptography(FDTC) (pp. 1--7). https://doi.org/10.1109/FDTC.2014.10
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 356
Blazovics, L., Lukovszki, T., & Forstner, B. (2014). Surrounding robots -- A discrete localized solution for the intruder problem. Journal of Advanced Computational Intelligence and Intelligent Informatics, (3), 315--319. https://doi.org/10.20965/jaciii.2014.p0315
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 357
Ebel, O. (2014). Struktur und algorithmische Bestimmung stabiler Matchings in one-to-one Matching Märkten. Universität Paderborn.
LibreCat
2014 | Dissertation | LibreCat-ID: 358
Röhl, N. (2014). Strategic and Cooperative Games in Network Economics. Universität Paderborn.
LibreCat
| Files available
2014 | Mastersthesis | LibreCat-ID: 359
Töws, M. (2014). Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen in SMT-LIB. Universität Paderborn.
LibreCat
2014 | Conference Paper | LibreCat-ID: 360 |
Dräxler, S., Keller, M., & Karl, H. (2014). Specifying and Placing Chains of Virtual Network Functions. In Proceedings of the 3rd International Conference on Cloud Networking (CloudNet) (pp. 7–13). https://doi.org/10.1109/CloudNet.2014.6968961
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 361
Roeske, D. (2014). Simulating load-dependent operation of picocells. Universität Paderborn.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 362
Kaiser, S. (2014). Signalisieren und Screening in Arbeitsmärkten - die Experimente von Brandts & Holt und Kübler et. al. Universität Paderborn.
LibreCat
2014 | Conference Paper | LibreCat-ID: 364
Arifulina, S., Becker, M., Platenius, M. C., & Walther, S. (2014). SeSAME: Modeling and Analyzing High-Quality Service Compositions. In Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014) (pp. 839–842). https://doi.org/10.1145/2642937.2648621
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 366
Petrlic, R., Jungmann, A., Platenius, M. C., Schäfer, W., & Sorge, C. (2014). Security and Privacy Challenges in On-The-Fly Computing. In Tagungsband der 4. Konferenz Software-Technologien und -Prozesse (STeP 2014) (pp. 131–142).
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 367
Janiuk, J., Mäcker, A., & Graffi, K. (2014). Secure Distributed Data Structures for Peer-to-Peer-based Social Networks. In Proceedings of the International Conference on Collaboration Technologies and Systems (CTS) (pp. 396–405). https://doi.org/10.1109/CTS.2014.6867595
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 368
Brinkmann, A., Kling, P., Meyer auf der Heide, F., Nagel, L., Riechers, S., & Suess, T. (2014). Scheduling Shared Continuous Resources on Many-Cores. Proceedings of the 26th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 128–137. https://doi.org/10.1145/2612669.2612698
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 369
Rath, T. (2014). RSA-Full Domain Hash Revisited. Universität Paderborn.
LibreCat
2014 | Conference Paper | LibreCat-ID: 370
Harks, T., Höfer, M., Schewior, K., & Skopalik, A. (2014). Routing Games with Progressive Filling. In Proceedings of the 33rd Annual IEEE International Conference on Computer Communications (INFOCOM’14) (pp. 352–360). https://doi.org/10.1109/TNET.2015.2468571
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 371
Scheideler, C., Setzer, A., & Eikel, M. (2014). RoBuSt: A Crash-Failure-Resistant Distributed Storage System. In Proceedings of the 18th International Conference on Principles of Distributed Systems (OPODIS) (pp. 107--122). https://doi.org/10.1007/978-3-319-14472-6_8
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 372
Keller, M., & Karl, H. (2014). Response Time-Optimized Distributed Cloud Resource Allocation. In Proceedings of the SIGCOMM workshop on Distributed cloud computing (pp. 47--52). https://doi.org/10.1145/2627566.2627570
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 373
Pahl, D. (2014). Reputationssysteme für zusammengesetzte Dienstleistungen. Universität Paderborn.
LibreCat
2014 | Conference Paper | LibreCat-ID: 374
Wold, A., Agne, A., & Torresen, J. (2014). Relocatable Hardware Threads in Run-Time Reconfigurable Systems. In D. Goehringer, M. Santambrogio, J. P. Cardoso, & K. Bertels (Eds.), Proceedings of the 10th International Symposium on Reconfigurable Computing: Architectures, Tools, and Applications (pp. 61–72). https://doi.org/10.1007/978-3-319-05960-0_6
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 375
von Detten, M., Platenius, M. C., & Becker, S. (2014). Reengineering Component-Based Software Systems with Archimetrix. Journal of Software and Systems Modeling, (4), 1239--1268. https://doi.org/10.1007/s10270-013-0341-9
LibreCat
| Files available
| DOI
2014 | Dissertation | LibreCat-ID: 376
Herlich, M. (2014). Reducing Energy Consumption of Radio Access Networks. Universität Paderborn.
LibreCat
| Files available
2014 | Journal Article | LibreCat-ID: 378
Kniesburges, S., Koutsopoulos, A., & Scheideler, C. (2014). Re-Chord: A Self-stabilizing Chord Overlay Network. Theory of Computing Systems, (3), 591–612. https://doi.org/10.1007/s00224-012-9431-2
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 379
Abshoff, S., Markarian, C., & Meyer auf der Heide, F. (2014). Randomized Online Algorithms for Set Cover Leasing Problems. In Proceedings of the 8th Annual International Conference on Combinatorial Optimization and Applications (COCOA) (pp. 25–34). https://doi.org/10.1007/978-3-319-12691-3_3
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 380
Cord-Landwehr, A., Mäcker, A., & Meyer auf der Heide, F. (2014). Quality of Service in Network Creation Games. In Proceedings of the 10th International Conference on Web and Internet Economics (WINE) (pp. 423–428). https://doi.org/10.1007/978-3-319-13129-0_34
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 382
Künsemöller, J., Brangewitz, S., Karl, H., & Haake, C.-J. (2014). Provider Competition in Infrastructure-as-a-Service. In Proceedings of the 2014 IEEE International Conference on Services Computing (SCC) (pp. 203–210). https://doi.org/10.1109/SCC.2014.35
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 383
Wonisch, D., Schremmer, A., & Wehrheim, H. (2014). Programs from Proofs -- Approach and Applications. In Proceedings of the Software Engineering Conference (SE) (pp. 67–68).
LibreCat
| Files available
| Download (ext.)
2014 | Conference Paper | LibreCat-ID: 384
Petrlic, R., Lutters, S., & Sorge, C. (2014). Privacy-Preserving Reputation Management. In Proceedings of the 29th Symposium On Applied Computing (SAC) (pp. 1712–1718). https://doi.org/10.1145/2554850.2554881
LibreCat
| Files available
| DOI
2014 | Dissertation | LibreCat-ID: 385
Petrlic, R. (2014). Privacy-Preserving Multiparty Digital Rights Management. Universität Paderborn.
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 386
Petrlic, R., & Sorge, C. (2014). Privacy-Preserving Digital Rights Management based on Attribute-based Encryption. In Proceedings of the Sixth IFIP International Conference on New Technologies, Mobility and Security (NTMS) (pp. 1–5). https://doi.org/10.1109/NTMS.2014.6814044
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 387
Awerbuch, B., Richa, A. W., Scheideler, C., Schmid, S., & Zhang, J. (2014). Principles of Robust Medium Access and an Application to Leader Election. Transactions on Algorithms, (4). https://doi.org/10.1145/2635818
LibreCat
| Files available
| DOI
2014 | Report | LibreCat-ID: 389
Stapel, F., & Suhl, L. (2014). Ontology-based Representation of Optimization Models. Universität Paderborn.
LibreCat
| Files available
2014 | Journal Article | LibreCat-ID: 390
Huma, Z., Gerth, C., & Engels, G. (2014). On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains. Computer Science - Research and Development, (3–4), 333–361. https://doi.org/10.1007/s00450-014-0254-z
LibreCat
| Files available
| DOI
2014 | Mastersthesis | LibreCat-ID: 391
Feldkord, B. (2014). On Variants of the Page Migration Problem. Universität Paderborn.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 18001
Luo, L. (2014). Ein selbst-stabilisierender Algorithmus für das Finite Sleep Problem in Skip+ Graphen. Universität Paderborn.
LibreCat
2014 | Conference Paper | LibreCat-ID: 441
Sorge, C., & Petrlic, R. (2014). Datenschutz im Future Internet: rechtliche Aspekte und technische Maßnahmen. In Tagungsband des 17. Internationalen Rechtsinformatik Symposions.
LibreCat
| Files available
2014 | Preprint | LibreCat-ID: 442 |
Blömer, J., & Liske, G. (2014). Constructing CCA-secure predicate encapsulation schemes from CPA-secure schemes and universal one-way hash functions. Universität Paderborn.
LibreCat
| Files available
| Download (ext.)
2014 | Report | LibreCat-ID: 443
Mauleon, A., Röhl, N., & Vannetelbosch, V. (2014). Constitutions and Social Networks. Universität Paderborn.
LibreCat
| Files available
2014 | Journal Article | LibreCat-ID: 444
Mir Djawadi, B., Fahr, R., & Turk, F. (2014). Conceptual Model and Economic Experiments to Explain Nonpersistence and Enable Mechanism Designs Fosterin Behavioral Change. Value in Health, (8), 814–822. https://doi.org/10.1016/j.jval.2014.08.2669
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 445
Brangewitz, S., & Gamp, J.-P. (2014). Competitive outcomes and the inner core of NTU market games. Economic Theory, (3), 529–554. https://doi.org/10.1007/s00199-014-0846-7
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 446
Ogierman, A., Richa, A. W., Scheideler, C., Schmid, S., & Zhang, J. (2014). Competitive MAC under adversarial SINR. In Proceedings of the 33rd Annual IEEE International Conference on Computer Communications (INFOCOM) (pp. 2751--2759). https://doi.org/10.1109/INFOCOM.2014.6848224
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 447
Jungmann, A., Mohr, F., & Kleinjohann, B. (2014). Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services. In Proceedings of the 10th World Congress on Services (SERVICES) (pp. 346–353). https://doi.org/10.1109/SERVICES.2014.68
LibreCat
| Files available
| DOI
2014 | Mastersthesis | LibreCat-ID: 448
Gao, Y. (2014). Combination of Service Matching Steps in Consideration of Efficiency and Fuzziness. Universität Paderborn.
LibreCat
2014 | Conference Paper | LibreCat-ID: 449
Becker, M., Platenius, M. C., & Becker, S. (2014). Cloud Computing Reduces Uncertainties in Quality-of-Service Matching! In Proceedings of the 2nd International Workshop on Cloud Service Brokerage (CSB) (pp. 153–159). https://doi.org/10.1007/978-3-319-14886-1_15
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 450
Jakobs, M.-C., & Wehrheim, H. (2014). Certification for Configurable Program Analysis. In Proceedings of the 21st International Symposium on Model Checking of Software (SPIN) (pp. 30–39). https://doi.org/10.1145/2632362.2632372
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 451
Drees, M., Riechers, S., & Skopalik, A. (2014). Budget-restricted utility games with ordered strategic decisions. In R. Lavi (Ed.), Proceedings of the 7th International Symposium on Algorithmic Game Theory (SAGT) (pp. 110–121). https://doi.org/10.1007/978-3-662-44803-8_10
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 452
Abshoff, S., Cord-Landwehr, A., Jung, D., & Skopalik, A. (2014). Brief Announcement: A Model for Multilevel Network Games. In R. Lavi (Ed.), Proceedings of the 7th International Symposium on Algorithmic Game Theory (SAGT) (p. 294).
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 453
Feldotto, M., Gairing, M., & Skopalik, A. (2014). 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) (pp. 30–43). https://doi.org/10.1007/978-3-319-13129-0_3
LibreCat
| Files available
| DOI
2014 | Mastersthesis | LibreCat-ID: 454
Heldt, W. (2014). Automated Service Composition: Adaption of the ASTRO Approach. Universität Paderborn.
LibreCat
2014 | Conference Paper | LibreCat-ID: 455
Hansknecht, C., Klimm, M., & Skopalik, A. (2014). Approximate pure Nash equilibria in weighted congestion games. In Proceedings of the 17th. International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (APPROX) (pp. 242–257). https://doi.org/10.4230/LIPIcs.APPROX-RANDOM.2014.242
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 456
Gairing, M., Kotsialou, G., & Skopalik, A. (2014). Approximate pure Nash equilibria in Social Context Congestion Games. In Proceedings of the 10th International Conference on Web and Internet Economics (WINE) (pp. 480–485). https://doi.org/10.1007/978-3-319-13129-0_43
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 457
Jungmann, A., Mohr, F., & Kleinjohann, B. (2014). Applying Reinforcement Learning for Resolving Ambiguity in Service Composition. In Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA) (pp. 105–112). https://doi.org/10.1109/SOCA.2014.48
LibreCat
| Files available
| DOI
2014 | Mastersthesis | LibreCat-ID: 458
Dreimann, P. (2014). Anticipatory Power Cycling of Mobile Network Equipment for High-Demand Multimedia Traffic. Universität Paderborn.
LibreCat
2014 | Conference Paper | LibreCat-ID: 459
Kniesburges, S., Markarian, C., Meyer auf der Heide, F., & Scheideler, C. (2014). Algorithmic Aspects of Resource Management in the Cloud. In Proceedings of the 21st International Colloquium on Structural Information and Communication Complexity (SIROCCO) (pp. 1–13). https://doi.org/10.1007/978-3-319-09620-9_1
LibreCat
| Files available
| DOI
2014 | Mastersthesis | LibreCat-ID: 460
Mittendorf, R. (2014). Advanced AES-key recovery from decayed RAM-dumps using multi-threading and FPGAs. Universität Paderborn.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 461
Dräxler, S. (2014). Adaptive Placement of Programmable Virtual Network Function Chains. Universität Paderborn.
LibreCat
2014 | Conference Paper | LibreCat-ID: 462
Feldotto, M., & Skopalik, A. (2014). 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) (pp. 625–630). https://doi.org/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. (2014). A Practical Second-Order Fault Attack against a Real-World Pairing Implementation. In Proceedings of Fault Tolerance and Diagnosis in Cryptography(FDTC) (pp. 123--136). https://doi.org/10.1109/FDTC.2014.22
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 464
Gall, D., Jacob, R., Richa, A. W., Scheideler, C., Schmid, S., & Täubig, H. (2014). A Note on the Parallel Runtime of Self-Stabilizing Graph Linearization. Theory of Computing Systems, (1), 110–135. https://doi.org/10.1007/s00224-013-9504-x
LibreCat
| Files available
| DOI
2014 | Report | LibreCat-ID: 465
Stapel, F., & Suhl, L. (2014). A MINLP Approach for Planning the Renewal of Pipes in Drinking Water Networks. Universität Paderborn.
LibreCat
| Files available
2014 | Mastersthesis | LibreCat-ID: 466
Brand, M. (2014). A generalized loop accelerator implemented as a coarse grained array. Universität Paderborn.
LibreCat
2014 | Journal Article | LibreCat-ID: 467
Künsemöller, J., & Karl, H. (2014). A Game-Theoretic Approach to the Financial Benefits of Infrastructure-as-a-Service. Future Generation Computer Systems, 44--52. https://doi.org/10.1016/j.future.2014.03.005
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 479
Sorge, C. (2014). The Legal Classification of Identity-Based Signatures. Computer Law & Security Review, 30(2), 126–136. https://doi.org/10.1016/j.clsr.2014.01.002
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 762
Schwabe, A., & Karl, H. (2014). 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 (pp. 115--120). https://doi.org/10.1145/2620728.2620730
LibreCat
| Files available
| DOI
2014 | Mastersthesis | LibreCat-ID: 392
Brummel, N. (2014). On the Relation between Innovation and Competion: The Case of Energy Industry. Universität Paderborn.
LibreCat
2014 | Conference Paper | LibreCat-ID: 393
Foreback, D., Koutsopoulos, A., Nesterenko, M., Scheideler, C., & Strothmann, T. F. (2014). On Stabilizing Departures in Overlay Networks. In Proceedings of the 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems (pp. 48--62). https://doi.org/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. (2014). Normalizing Heterogeneous Service Description Models with Generated QVT Transformations. In Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA) (pp. 180–195). https://doi.org/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. (2014). Multilevel Network Games. In Proceedings of the 10th International Conference on Web and Internet Economics (WINE) (pp. 435–440). https://doi.org/10.1007/978-3-319-13129-0_36
LibreCat
| Files available
| DOI
2014 | Mastersthesis | LibreCat-ID: 396
Bano, D. (2014). Modeling and Matching of Reputation of Services in On-The-Fly Computing. Universität Paderborn.
LibreCat
2014 | Conference Paper | LibreCat-ID: 397
Scheideler, C., Eikel, M., & Setzer, A. (2014). Minimum Linear Arrangement of Series-Parallel Graphs. In Proceedings of the 12th Workshop on Approximation and Online Algorithms (WAOA) (pp. 168--180).
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 399
Wiersema, T., Drzevitzky, S., & Platzner, M. (2014). Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring. In Proceedings of the International Conference on Field-Programmable Technology (FPT) (pp. 167–174). https://doi.org/10.1109/FPT.2014.7082771
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 400
Bunse, M. (2014). Measuring Transformation-induced Uncertainty in Service Matching: A Feasibility Study. Universität Paderborn.
LibreCat
2014 | Conference Paper | LibreCat-ID: 401
Platenius, M. C., Arifulina, S., Petrlic, R., & Schäfer, W. (2014). Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching. In Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet (pp. 6–17). https://doi.org/10.1007/978-3-319-14886-1_2
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 402
Arifulina, S., Platenius, M. C., Gerth, C., Becker, S., Engels, G., & Schäfer, W. (2014). Market-optimized Service Specification and Matching. In X. Franch, A. Ghose, G. Lewis, & S. Bhiri (Eds.), Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014) (pp. 543–550). https://doi.org/10.1007/978-3-662-45391-9_47
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 403
Martin Lohre, T. (2014). Machtverteilungen von Koalitionen im Fokus der politischen Realität. Universität Paderborn.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 404
van Straaten, D. (2014). Kooperative Verhandlungen im duopolistischen Wettbewerb - eine spieltheoretische Analyse. Universität Paderborn.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 405
Degraf, O. (2014). Koalitionsbildung bei mehrdimensionalen Verhandlungsproblemen. Universität Paderborn.
LibreCat
2014 | Conference Paper | LibreCat-ID: 407
Mohr, F. (2014). Issues of Automated Software Composition in AI Planning. In Proceedings of the 29th International Conference on Automated Software Engineering (ASE) (pp. 895--898). https://doi.org/10.1145/2642937.2653470
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 408
Jakobs, M.-C., Platzner, M., Wiersema, T., & Wehrheim, H. (2014). Integrating Software and Hardware Verification. In E. Albert & E. Sekerinski (Eds.), Proceedings of the 11th International Conference on Integrated Formal Methods (iFM) (pp. 307–322). https://doi.org/10.1007/978-3-319-10181-1_19
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 409
Platenius, M. C., Becker, S., & Schäfer, W. (2014). Integrating Service Matchers into a Service Market Architecture. In P. Avgeriou & U. Zdun (Eds.), Proceedings of the 8th European Conference on Software Architecture (ECSA 2014) (pp. 210–217). https://doi.org/10.1007/978-3-319-09970-5_19
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 410
Jungmann, A., Brangewitz, S., Petrlic, R., & Platenius, M. C. (2014). Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services. International Journal On Advances in Intelligent Systems (IntSys), 7(3&4), 572--594.
LibreCat
| Files available
| Download (ext.)
2014 | Mastersthesis | LibreCat-ID: 411
Taherinajafabadi, V. (2014). Improving Service Specifications for the Service Matching on a Service Market. Universität Paderborn.
LibreCat
2014 | Conference Paper | LibreCat-ID: 412
Feldotto, M., Scheideler, C., & Graffi, K. (2014). 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) (pp. 1–10). https://doi.org/10.1109/P2P.2014.6934300
LibreCat
| Files available
| DOI
| arXiv
2014 | Bachelorsthesis | LibreCat-ID: 413
Eusterholz, F. (2014). Horizontale Fusionen: Theorie und Praxis am Beispiel zweier Entscheidungen des Bundeskartellamtes. Universität Paderborn.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 414
Jochheim, J. (2014). Hiding software components using functional encryption. Universität Paderborn.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 415
Vijapurwala, S. (2014). Handling Incomplete Service Specifications using Fuzzy Matching. Universität Paderborn.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 416
Bemmann, P. (2014). Group Signature Schemes with Strong Exculpability. Universität Paderborn.
LibreCat
2014 | Conference Paper | LibreCat-ID: 417
Besova, G., Steenke, D., & Wehrheim, H. (2014). Grammar-based model transformations. In Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD) (pp. 1601–1610). https://doi.org/10.1016/j.cl.2015.05.003
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 418 |
Pauck, F. (2014). Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren. Universität Paderborn.
LibreCat
| Files available
2014 | Dissertation | LibreCat-ID: 419
Kolle, A. (2014). Gender and ethnic discrimination in hiring : evidence from field experiments in the German labor market. Universität Paderborn.
LibreCat
| Files available
2014 | Mastersthesis | LibreCat-ID: 420
Merschjohann, S. (2014). Fuzzy Matching of Service Price Specifications. Universität Paderborn.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 421
Lippert, J. (2014). Fujisaki-Okamoto Transformation. Universität Paderborn.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 422
Sanati, M. (2014). Formal Semantics of Probabilistic SMT Solving in Verification of Service Compositions. Universität Paderborn.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 423
Jojiju, S. (2014). Finding Optimal Self-Adaption Rules by Design-Space Exploration. Universität Paderborn.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 424
Finkensiep, C. (2014). Fast and Flexible Automatic Composition of Semantic Web Services. Universität Paderborn.
LibreCat
2014 | Conference Paper | LibreCat-ID: 425
Jungmann, A., Jatzkowski, J., & Kleinjohann, B. (2014). Evaluation of Color Spaces for Robust Image Segmentation. In Proceedings of the 9th International Conference on Computer Vision Theory and Applications (VISAPP) (pp. 648–655).
LibreCat
| Files available
2014 | Mastersthesis | LibreCat-ID: 426
Dornseifer, V. (2014). Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network. Universität Paderborn.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 427
Bulk, B. (2014). Evaluating the Influence of Different Abstraction Levels of Software Design on Performance prediction. Universität Paderborn.
LibreCat
2014 | Conference Paper | LibreCat-ID: 428
Mohr, F. (2014). Estimating Functional Reusability of Services. In Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC) (pp. 411–418).
LibreCat
| Files available
| Download (ext.)
2014 | Bachelorsthesis | LibreCat-ID: 429
Herbort, M. (2014). Entwicklung eines mathematischen Modells zur Optimierung der Struktur eines Trinkwasserbehälters. Universität Paderborn.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 430
Krakau, A. (2014). Entwicklung eines Konzepts zur Kodierung eines objektorientierten Typsystems in SMT. Universität Paderborn.
LibreCat
2014 | Dissertation | LibreCat-ID: 431
Kling, P. (2014). Energy-efficient Scheduling Algorithms. Universität Paderborn.
LibreCat
| Files available
2014 | Mastersthesis | LibreCat-ID: 432
Bredenbals, N. (2014). Energy-Efficient Queuing with Delayed Deactivation. Universität Paderborn.
LibreCat
2014 | Conference Paper | LibreCat-ID: 433
Wiersema, T., Bockhorn, A., & Platzner, M. (2014). Embedding FPGA Overlays into Configurable Systems-on-Chip: ReconOS meets ZUMA. In Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig) (pp. 1–6). https://doi.org/10.1109/ReConFig.2014.7032514
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 434
Luo, L. (2014). Ein selbst-stabilisierender Algorithmus für das Finite Sleep Problem in Skip+ Graphen. Universität Paderborn.
LibreCat
2014 | Conference Paper | LibreCat-ID: 435
Antoniadis, A., Barcelo, N., Consuegra, M., Kling, P., Nugent, M., Pruhs, K., & Scquizzato, M. (2014). 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) (pp. 63--74). https://doi.org/10.4230/LIPIcs.STACS.2014.63
LibreCat
| Files available
| DOI
2014 | Mastersthesis | LibreCat-ID: 436
Damschen, M. (2014). Easy-to-use on-the-fly binary program acceleration on many-cores. Universität Paderborn.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 437
Wemhöner, V. (2014). Die ökonomischen Auswirkungen der Kronzeugenregelung am Beispiel des Kaffeerösterkartells. Universität Paderborn.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 438
Kokoschka, A. (2014). Designing an Anonymous and Secure Reputation System Using a Group Signature Variant. Universität Paderborn.
LibreCat
2014 | Dissertation | LibreCat-ID: 440
Kaimann, D. (2014). Decision Making under Asymmetric Information in Markets for Experience Goods: Empirical Evidence of Signaling Effects on Consumer Perceptions. Universität Paderborn.
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 5189
Arzt, S., Rasthofer, S., Fritz, C., Bodden, E., Bartel, A., Klein, J., … McDaniel, P. (2014). 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. https://doi.org/10.1145/2594291.2594299
LibreCat
| Files available
| DOI
| Download (ext.)
2014 | Conference Paper | LibreCat-ID: 5190
Arzt, S., Rasthofer, S., Lovat, E., & Bodden, E. (2014). DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android. In International Conference on Availability, Reliability and Security (ARES 2014) (pp. 40–49). IEEE.
LibreCat
| Files available
| Download (ext.)
2014 | Book Chapter | LibreCat-ID: 335
Platzner, M., & Plessl, C. (2014). Verschiebungen an der Grenze zwischen Hardware und Software. In J. Künsemöller, N. O. Eke, L. Foit, & T. Kaerlein (Eds.), Logiken strukturbildender Prozesse: Automatismen (pp. 123–144). Wilhelm Fink.
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 388
Kenter, T., Vaz, G. F., & Plessl, C. (2014). Partitioning and Vectorizing Binary Applications for a Reconfigurable Vector Computer. Proceedings of the International Symposium on Reconfigurable Computing: Architectures, Tools, and Applications (ARC), 8405, 144–155. https://doi.org/10.1007/978-3-319-05960-0_13
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 363
Agne, A., Hangmann, H., Happe, M., Platzner, M., & Plessl, C. (2014). Seven Recipes for Setting Your FPGA on Fire – A Cookbook on Heat Generators. Microprocessors and Microsystems, 38(8, Part B), 911–919. https://doi.org/10.1016/j.micpro.2013.12.001
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 377
Riebler, H., Kenter, T., Plessl, C., & Sorge, C. (2014). Reconstructing AES Key Schedules from Decayed Memory with FPGAs. Proceedings of Field-Programmable Custom Computing Machines (FCCM), 222–229. https://doi.org/10.1109/FCCM.2014.67
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 365
Agne, A., Happe, M., Lösch, A., Plessl, C., & Platzner, M. (2014). Self-awareness as a Model for Designing and Operating Heterogeneous Multicores. ACM Transactions on Reconfigurable Technology and Systems (TRETS), 7(2), Article 13. https://doi.org/10.1145/2617596
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 328
Agne, A., Happe, M., Keller, A., Lübbers, E., Plattner, B., Platzner, M., & Plessl, C. (2014). ReconOS - An Operating System Approach for Reconfigurable Computing. IEEE Micro, 34(1), 60–71. https://doi.org/10.1109/MM.2013.110
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 439
Vaz, G. F., Riebler, H., Kenter, T., & Plessl, C. (2014). Deferring Accelerator Offloading Decisions to Application Runtime. Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), 1–8. https://doi.org/10.1109/ReConFig.2014.7032509
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 406
Kenter, T., Schmitz, H., & Plessl, C. (2014). Kernel-Centric Acceleration of High Accuracy Stereo-Matching. Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), 1–8. https://doi.org/10.1109/ReConFig.2014.7032535
LibreCat
| Files available
| DOI
2013 | Journal Article | LibreCat-ID: 2543
Brangewitz, S., & Gamp, J.-P. (2013). Asymmetric Nash bargaining solutions and competitive payoffs. Economics Letters, 121(2), 224–227. https://doi.org/10.1016/j.econlet.2013.08.013
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 18000
Blumentritt, F. (2013). Cliquenbildung in verteilten Systemen. Universität Paderborn.
LibreCat
2013 | Conference Paper | LibreCat-ID: 469
Wonisch, D., Schremmer, A., & Wehrheim, H. (2013). Zero Overhead Runtime Monitoring. In Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM) (pp. 244–258). https://doi.org/10.1007/978-3-642-40561-7_17
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 470
Wette, P., & Karl, H. (2013). Which Flows Are Hiding Behind My Wildcard Rule? Adding Packet Sampling to OpenFlow. In Proceedings of the ACM SIGCOMM ’13 (pp. 541–542). https://doi.org/10.1145/2486001.2491710
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 471
Tezer, A. (2013). Verteilte Erstellung und Aktualisierung von Schlüsselservern in identitätsbasierten Verschlüsselungssystemen. Universität Paderborn.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 472
Engelbrecht, M. (2013). Vergleichsstudie zur Ausdrucksstärke von SMT-Solvern. Universität Paderborn.
LibreCat
2013 | Conference Paper | LibreCat-ID: 473
Petrlic, R., & Sekula, S. (2013). Unlinkable content playbacks in a multiparty DRM system. In L. Wang & B. Shafiq (Eds.), Data and Applications Security and Privacy XXVII (pp. 289–296). https://doi.org/10.1007/978-3-642-39256-6_21
LibreCat
| Files available
| DOI
2013 | Report | LibreCat-ID: 474
Röhl, N. (2013). Two-Stage Allocation Procedures. Universität Paderborn.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 475
Joshi, N., & Petrlic, R. (2013). Towards practical privacy-preserving Digital Rights Management for Cloud Computing. In Proceedings of the 10th Annual IEEE Consumer Communications & Networking Conference (CCNC) (pp. 259–264). https://doi.org/10.1109/CCNC.2013.6488456
LibreCat
| Files available
| DOI
2013 | Journal Article | LibreCat-ID: 476
Kolman, P., & Scheideler, C. (2013). Towards Duality of Multicommodity Multiroute Cuts and Flows: Multilevel Ball-Growing. Theory of Computing Systems, (2), 341–363. https://doi.org/10.1007/s00224-013-9454-3
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 477
Abshoff, S., Benter, M., Cord-Landwehr, A., Malatyali, M., & Meyer auf der Heide, F. (2013). Token Dissemination in Geometric Dynamic Networks. In Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, {ALGOSENSORS} 2013, Sophia Antipolis, France, September 5-6, 2013, Revised Selected Papers (pp. 22–34). https://doi.org/10.1007/978-3-642-45346-5_3
LibreCat
| Files available
| DOI