548 Publications

2019 | Conference Paper | LibreCat-ID: 6856
Müller M, Gutt D. Heart over Heels? An Empirical Analysis of the Relationship between Emotions and Review Helpfulness for Experience and Credence Goods. In: Wirtschaftsinformatik Proceedings 2019. ; 2019.
LibreCat
 
2019 | Conference Paper | LibreCat-ID: 6976
Götte T, Vijayalakshmi VR, Scheideler C. Always be Two Steps Ahead of Your Enemy - Maintaining a Routable Overlay under Massive Churn with an Almost Up-to-date Adversary. In: Proceedings of the 2019 IEEE 33rd International Parallel  and Distributed Processing Symposium (IPDPS ’19). IEEE.
LibreCat | Files available
 
2019 | Journal Article | LibreCat-ID: 80
Endres AE, Recker S, Mir Djawadi B, Hoyer B. Network Formation and Disruption - An Experiment: Are equilibrium networks too complex? Journal of Economic Behavior and Organization . 2019;157:708-734. doi:10.1016/j.jebo.2018.11.004
LibreCat | Files available | DOI
 
2019 | Conference Paper | LibreCat-ID: 3287
Schneider SB, Sharma A, Karl H, Wehrheim H. Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets. In: 2019 IFIP/IEEE International Symposium on Integrated Network Management (IM). Washington, DC, USA; 2019.
LibreCat | Files available | Download (ext.)
 
2019 | Conference Paper | LibreCat-ID: 7626
Schubert P, Hermann B, Bodden E. PhASAR: An Inter-Procedural Static Analysis Framework for C/C++. In: Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2019). Vol II. ; 2019:393-410. doi:10.1007/978-3-030-17465-1\_22
LibreCat | Files available | DOI
 
2019 | Conference Paper | LibreCat-ID: 9261
Szopinski D. Jumping, dumping, and pumping: Three mental principles for idea generation to activate software-based tools in business model innovation. In: Proceedings of the Thirty-Second Bled EConference. ; 2019.
LibreCat | Files available
 
2019 | Conference Paper | LibreCat-ID: 8871
Augustine J, Ghaffari M, Gmyr R, et al. Distributed Computation in Node-Capacitated Networks. In: Proceedings of the 31st ACM Symposium on Parallelism in Algorithms and Architectures. ACM; 2019. doi:10.1145/3323165.3323195
LibreCat | DOI
 
2019 | Conference Paper | LibreCat-ID: 9778
Gutt D, Neumann J. The Virtues of Anonymity - An Empirical Investigation of the Relationship between B2B Online Ratings and Reviewer Self-Disclosure. In: Proceedings of the Twenty-Seventh European Conference on Information Systems (ECIS). ; 2019.
LibreCat
 
2019 | Journal Article | LibreCat-ID: 9824
Peuster M, Schneider SB, Zhao M, et al. Introducing Automated Verification and Validation for Virtualized Network Functions and Services. IEEE Communications Magazine. 2019:96-102. doi:10.1109/mcom.2019.1800873
LibreCat | Files available | DOI | Download (ext.)
 
2019 | Conference Paper | LibreCat-ID: 9850
Szopinski D. Can stimuli improve business model idea generation? Developing software-based tools for business model innovation. In: Proceedings of the ACM Creativity & Cognition 2019. ; 2019.
LibreCat | Files available
 
2019 | Conference Paper | LibreCat-ID: 8240
Dräxler S, Karl H. SPRING: Scaling, Placement, and Routing of Heterogeneous Services with Flexible Structures. In: 5th IEEE International Conference on Network Softwarization (NetSoft) 2019.
LibreCat
 
2019 | Journal Article | LibreCat-ID: 7689
Riebler H, Vaz GF, Kenter T, Plessl C. Transparent Acceleration for Heterogeneous Platforms with Compilation to OpenCL (to appear). ACM Trans Archit Code Optim (TACO). 2019.
LibreCat | Files available
 
2019 | Journal Article | LibreCat-ID: 8795
Peuster M, Küttner H, Karl H. A flow handover protocol to support state migration in softwarized networks. International Journal of Network Management. 2019. doi:10.1002/nem.2067
LibreCat | Files available | DOI | Download (ext.)
 
2019 | Journal Article | LibreCat-ID: 7413
Gutt D, Neumann J, Zimmermann S, Kundisch D, Chen J. Design of Review Systems – A Strategic Instrument to shape Online Reviewing Behavior and Economic Outcomes. Journal of Strategic Information Systems.
LibreCat | Files available
 
2019 | Conference Paper | LibreCat-ID: 6857
Poniatowski M, Neumann J, Görzen T, Kundisch D. A Semi-Automated Approach for Generating Online Review Templates, . In: Wirtschaftsinformatik Proceedings 2019. ; 2019.
LibreCat
 
2019 | Journal Article | LibreCat-ID: 8113
Peuster M, Dröge C, Boos C, Karl H. Joint testing and profiling of microservice-based network services using TTCN-3. ICT Express. 2019. doi:10.1016/j.icte.2019.02.001
LibreCat | Files available | DOI | Download (ext.)
 
2019 | Conference Paper | LibreCat-ID: 9779
Neumann J, Gutt D. He Who Pays the Piper Calls the Tune: Online Review Elicitation by Sellers and Third-Party Platforms in B2B Markets. In: Proceedings of the Twenty-Seventh European Conference on Information Systems (ECIS). ; 2019.
LibreCat
 
2019 | Conference Paper | LibreCat-ID: 9774
Neumann J, Gutt D. Money Makes the Reviewer Go Round – Ambivalent Effects of Online Review Elicitation in B2B Markets. In: Proceedings of the Twenty-Fifth Americas Conference on Information Systems (AMCIS). ; 2019.
LibreCat
 
2019 | Journal Article | LibreCat-ID: 8424
Bäumer FS, Kersting J, Geierhos M. Natural Language Processing in OTF Computing: Challenges and the Need for Interactive Approaches. Computers. 2019;8(1). doi:10.3390/computers8010022
LibreCat | DOI | Download (ext.)
 
2019 | Conference Paper | LibreCat-ID: 8866
Jansen K, Maack M, Mäcker A. Scheduling on (Un-)Related Machines with Setup Times. In: Proceedings of the 33rd IEEE International Parallel and Distributed Processing Symposium (IPDPS). ; 2019.
LibreCat
 
2019 | Report | LibreCat-ID: 8873
Heinzel JMJ. Credence Goods Markets with Fair and Opportunistic Experts. Vol 119. Paderborn University: CIE Working Paper Series; 2019.
LibreCat | Files available
 
2019 | Journal Article | LibreCat-ID: 6202
Szopinski D, Schoormann T, John T, Knackstedt R, Kundisch D. Software tools for business model innovation: Current state and future challenges. Electronic Markets. 2019.
LibreCat | Files available
 
2019 | Report | LibreCat-ID: 7630
Heinzel JMJ. Credence Goods Markets with Heterogeneous Experts. Vol 118. Paderborn University: CIE Working Paper Series; 2019.
LibreCat | Files available
 
2019 | Conference Paper | LibreCat-ID: 7635
Sharma A, Wehrheim H. Testing Machine Learning Algorithms for Balanced Data Usage. In: IEEE International Conference on Software Testing, Verification and Validation (ICST). Xi’an, China; 2019.
LibreCat
 
2019 | Conference Paper | LibreCat-ID: 9270
Schneider SB, Peuster M, Behnke D, Marcel M, Bök P-B, Karl H. Putting 5G into Production: Realizing a Smart Manufacturing Vertical Scenario. In: European Conference on Networks and Communications (EuCNC). Valencia, Spain: IEEE; 2019.
LibreCat | Files available
 
2019 | Conference Abstract | LibreCat-ID: 8854
Szopinski D. Activate software-based business model development tools: An exploratory study. In: 3rd Business Model Conference. ; 2019.
LibreCat | Files available
 
2019 | Conference Paper | LibreCat-ID: 9263
Szopinski D, Schoormann T, Kundisch D. Because your taxonomy is worth it: Towards a framework for taxonomy evaluation. In: Proceedings of the Twenty-Seventh European Conference on Information Systems (ECIS). ; 2019.
LibreCat | Files available
 
2019 | Conference Paper | LibreCat-ID: 9775
Neumann J, Gutt D, Görzen T, Kundisch D. When does Local Status Matter? – The Relationship between Reviewer Location and Perceived Usefulness of Online Reviews. In: Proceedings of the Twenty-Fifth Americas Conference on Information Systems (AMCIS). ; 2019.
LibreCat
 
2019 | Conference Paper | LibreCat-ID: 5471
Lazos P, Goldberg P, Skopalik A, Gerstgrasser M, de Keijzer B. Multi-unit Bilateral Trade. In: Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI).
LibreCat | Files available
 
2019 | Encyclopedia Article | LibreCat-ID: 8312
Bäumer FS, Geierhos M. Requirements Engineering in OTF-Computing. In: Encyclopedia.Pub. Basel, Switzerland: MDPI; 2019.
LibreCat | Download (ext.)
 
2019 | Conference Paper | LibreCat-ID: 8792
Peuster M, Schneider SB, Behnke D, Müller M, Bök P-B, Karl H. Prototyping and Demonstrating 5G Verticals: The Smart Manufacturing Case. In: 5th IEEE International Conference on Network Softwarization (NetSoft 2019). Paris; 2019.
LibreCat | Files available
 
2019 | Conference Paper | LibreCat-ID: 7636
Luo L, Scheideler C, Strothmann TF. MultiSkipGraph: A Self-stabilizing Overlay Network that Maintains Monotonic Searchability. In: Proceedings of the 2019 IEEE 33rd International Parallel and Distributed Processing Symposium (IPDPS ’19). ; 2019.
LibreCat | Files available
 
2019 | Conference Abstract | LibreCat-ID: 8956
Hetzer A, Wever MD, Mohr F, Hüllermeier E. Algorithm Selection as Recommendation: From Collaborative Filtering to Dyad Ranking. In: ; 2019.
LibreCat | Files available
 
2019 | Journal Article | LibreCat-ID: 2256
Hoyer B, Haller H. The Common Enemy Effect under Strategic Network Formation and  Disruption. Journal of Economic Behavior & Organization. 2019;162:146-163. doi:https://doi.org/10.1016/j.jebo.2019.03.011
LibreCat | DOI | Download (ext.)
 
2019 | Conference Abstract | LibreCat-ID: 9776
Poniatowski M, Neumann J, Kundisch D. Reviewing the Vendor or the Product – Analyzing Vendor versus Product Representation in B2B Review Systems. In: Proceedings of the Twenty-Fifth Americas Conference on Information Systems (AMCIS). ; 2019.
LibreCat
 
2019 | Journal Article | LibreCat-ID: 9853
Szopinski D. Squaring the circle: Business model teaching in large classroom settings. Journal of Business Models. 2019.
LibreCat | Files available
 
2019 | Conference Paper | LibreCat-ID: 8534
Feldmann M, Scheideler C. Skeap & Seap: Scalable Distributed Priority Queues for Constant and Arbitrary Priorities. In: Proceedings of the 31st ACM Symposium on Parallelism in Algorithms and Architectures (SPAA). ACM; 2019.
LibreCat | arXiv
 
2019 | Conference Paper | LibreCat-ID: 8856
Szopinski D, Schoormann T, Kundisch D. The Long Tail of Taxonomy Evaluation Criteria: A Structured Overview. In: ; 2019.
LibreCat | Files available
 
2019 | Conference Abstract | LibreCat-ID: 7752
Sharma A, Wehrheim H. Testing Balancedness of ML Algorithms. In: Software Engineering (SE). Stuttgart; 2019.
LibreCat
 
2019 | Conference Abstract | LibreCat-ID: 8868
Wever MD, Mohr F, Hüllermeier E, Hetzer A. Towards Automated Machine Learning for Multi-Label Classification. In: ; 2019.
LibreCat | Files available
 
2019 | Conference Paper | LibreCat-ID: 7668
Heindorf S, Scholten Y, Engels G, Potthast M. Debiasing Vandalism Detection Models at Wikidata. In: Proceedings of the 2019 World Wide Web Conference (WWW ’19). San Francisco, USA: ACM; 2019. doi:10.1145/3308558.3313507
LibreCat | Files available | DOI | Download (ext.)
 
2019 | Conference Paper | LibreCat-ID: 9777
Poniatowski M, Neumann J, Görzen T, Kundisch D. Organizing Their Thoughts – How Online Review Templates Affect the Review Text. In: Proceedings of the Twenty-Seventh European Conference on Information Systems (ECIS). ; 2019.
LibreCat
 
2018 | Conference Paper | LibreCat-ID: 2479
Mohr F, Wever MD, Hüllermeier E, Faez A. (WIP) Towards the Automated Composition of Machine Learning Services. In: SCC. San Francisco, CA, USA: IEEE; 2018. doi:10.1109/SCC.2018.00039
LibreCat | Files available | DOI | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 2481
Dräxler S, Schneider SB, Karl H. Scaling and Placing Bidirectional Services with Stateful Virtual and Physical Network Functions. In: 4th IEEE International Conference on Network Softwarization (NetSoft 2018).
LibreCat | Files available
 
2018 | Conference Paper | LibreCat-ID: 1046
John T, Szopinski D. Towards Explaining the Popularity of the Business Model Canvas: A Dual Coding Approach (Research-in-Progress). In: Proceedings of the Multikonferenz Wirtschaftsinformatik 2018 (MKWI), Lüneburg, Germany. ; 2018.
LibreCat | Files available
 
2018 | Conference Paper | LibreCat-ID: 1060
Neumann J, Gutt D, Kundisch D, van Straaten D. When Local Praise Becomes Cheap Talk - Analyzing the Relationship between Reviewer Location and Usefulness of Online Reviews. In: Proceedings of the Multikonferenz Wirtschaftsinformatik 2018 (MKWI), Lüneburg, Germany. ; 2018.
LibreCat | Files available
 
2018 | Book Chapter | LibreCat-ID: 1104
Geierhos M. Unschärfe bei der Interpretation natürlichsprachlicher Anforderungsbeschreibungen. In: Freitag S, Geierhos M, Asmani R, Haug JI, eds. Unschärfe - Der Umgang mit fehlender Eindeutigkeit. 1st ed. Nordrhein-Westfälische Akademie der Wissenschaften und der Künste - Junges Kolleg. Paderborn, Germany: Ferdinand Schöningh; 2018:111-128.
LibreCat | Files available
 
2018 | Journal Article | LibreCat-ID: 1173
Kaimann D, Stroh-Maraun N, Cox J. A Duration Model Analysis of Consumer Preferences and Determinants of Video Game Consumption. Journal of Consumer Behaviour. 2018;17(3):290-301. doi:10.1002/cb.1711
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 7570
Meyer auf der Heide F, Schaefer JS. Brief Announcement: Communication in Systems of Home Based Mobile Agents. In: Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures  - SPAA ’18. ACM Press; 2018. doi:10.1145/3210377.3210662
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 3345
Peuster M, Küttner H, Karl H. Let the state follow its flows: An SDN-based flow handover protocol to support state migration. In: 4th IEEE International Conference on Network Softwarization (NetSoft 2018). Montreal. doi:10.1109/NETSOFT.2018.8460007
LibreCat | Files available | DOI | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 3422
Robinson P, Scheideler C, Setzer A. Breaking the $\tilde\Omega(\sqrt{n})$ Barrier: Fast Consensus under a Late Adversary. In: Proceedings of the 30th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA). doi:10.1145/3210377.3210399
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 3852
Wever MD, Mohr F, Hüllermeier E. ML-Plan for Unlimited-Length Machine Learning Pipelines. In: ICML 2018 AutoML Workshop. ; 2018.
LibreCat | Files available | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 5985
Scheideler C. Relays: Towards a Link Layer for Robust and Secure Fog Computing. In: Proceedings of the 2018 Workshop on Theory and Practice for Integrated Cloud, Fog and Edge Computing Paradigms, TOPIC@PODC 2018, Egham, United Kingdom, July 27, 2018. ; 2018:1-2. doi:10.1145/3229774.3229781
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 6483
Peuster M, Schneider SB, Christ F, Karl H. A Prototyping Platform to Validate and Verify Network Service Header-based Service Chains. In: IEEE Conference on Network Function Virtualisation and Software Defined Networks (NFV-SDN) 5GNetApp. Verona: IEEE; 2018.
LibreCat | Files available
 
2018 | Journal Article | LibreCat-ID: 4627
Kaimann D. Ancillary market signaling: A two-stage model of economic reputation on ancillary market success. Applied Economics Letters. 2018.
LibreCat | Files available
 
2018 | Journal Article | LibreCat-ID: 4982
Hoyer B, Rosenkranz S. Determinants of Equilibrium Selection in Network Formation - An Experiment. Games. 2018;9(4).
LibreCat | Files available | Download (ext.)
 
2018 | Journal Article | LibreCat-ID: 4564
Haake C-J, Recker S. The Generalized Nash Bargaining Solution for Transfer Price Negotiations under Incomplete Information. Group Decision and Negotiation. 2018;27(6):905-932. doi:10.1007/s10726-018-9592-8
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 4999
Pauck F, Bodden E, Wehrheim H. Do Android taint analysis tools keep their promises? In: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering  - ESEC/FSE 2018. ACM Press; 2018. doi:10.1145/3236024.3236029
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 1096
Beyer D, Jakobs M-C, Lemberger T, Wehrheim H. Reducer-Based Construction of Conditional Verifiers. In: Proceedings of the 40th International Conference on Software Engineering (ICSE). ; 2018.
LibreCat | Files available
 
2018 | Conference Paper | LibreCat-ID: 3346
Peuster M, Kampmeyer J, Karl H. Containernet 2.0: A Rapid Prototyping Platform for Hybrid Service Function Chains. In: 4th IEEE International Conference on Network Softwarization (NetSoft 2018). Montreal. doi:10.1109/NETSOFT.2018.8459905
LibreCat | Files available | DOI | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 3550
Jazayeri B, Zimmermann O, Engels G, Küster J, Kundisch D, Szopinski D. Design Options of Store-Oriented Software Ecosystems: An Investigation of Business Decisions. In: Proceeding of International Symposium on Business Modeling and Software Design. Vol 319. Lecture Notes in Business Information Processing (LNBIP). Wien, Austria: Springer; 2018:390-400. doi:10.1007/978-3-319-94214-8_30
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 4351
Feldmann M, Kolb C, Scheideler C. Self-stabilizing Overlays for high-dimensional Monotonic Searchability. In: Proceedings of the 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS). Vol 11201. Lecture Notes in Computer Science. Springer, Cham; 2018:16-31. doi:10.1007/978-3-030-03232-6_2
LibreCat | Files available | DOI | arXiv
 
2018 | Journal Article | LibreCat-ID: 2331
Kim Y, Lee S, Dollmann M, Geierhos M. Improving Classifiers for Semantic Annotation of Software Requirements with Elaborate Syntactic Structure. International Journal of Advanced Science and Technology. 2018;112:123-136. doi:10.14257/ijast.2018.112.12
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 2379
Blömer J, Bobolz J. Delegatable Attribute-based Anonymous Credentials from Dynamically Malleable Signatures. In: ACNS 2018 Applied Cryptography & Network Security. LNCS.
LibreCat | Files available | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 2564
Gutt D. In the Eye of the Beholder? – Empirically Decomposing Different Economic Implications of the Online Rating Variance. In: Proceedings of the Twenty Fifth European Conference on Information Systems (ECIS). ; 2018.
LibreCat | Files available
 
2018 | Conference Paper | LibreCat-ID: 2831
Feldotto M, Haake C-J, Skopalik A, Stroh-Maraun N. Disaggregating User Evaluations Using the Shapley Value. In: Proceedings of the 13th Workshop on Economics of Networks, Systems and Computation (NetEcon 2018). ; 2018:5:1-5:6. doi:10.1145/3230654.3230659
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 2850
Hamann H, Markarian C, Meyer auf der Heide F, Wahby M. Pick, Pack, & Survive: Charging Robots in a Modern Warehouse based on Online Connected Dominating Sets. In: Ninth International Conference on Fun with Algorithms (FUN). ; 2018. doi:10.4230/LIPIcs.FUN.2018.22
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 2862
Blömer J, Eidens F, Juhnke J. Practical, Anonymous, and Publicly Linkable Universally-Composable Reputation Systems. In: Topics in Cryptology - {CT-RSA} 2018 - The Cryptographers’ Track at the {RSA} Conference 2018, Proceedings. Cham: Springer International Publishing; 2018:470-490. doi:10.1007/978-3-319-76953-0_25
LibreCat | Files available | DOI | Download (ext.)
 
2018 | Journal Article | LibreCat-ID: 1047
Stummer C, Kundisch D, Decker R. Platform Launch Strategies. Business & Information Systems Engineering. 2018.
LibreCat | Files available
 
2018 | Conference Paper | LibreCat-ID: 1061
Gutt D. Sorting Out the Lemons - Identifying Product Failures in Online Reviews and their Relationship with Sales. In: Proceedings of the Multikonferenz Wirtschaftsinformatik 2018 (MKWI), Lüneburg, Germany. ; 2018.
LibreCat | Files available
 
2018 | Conference Paper | LibreCat-ID: 1181
Bäumer FS, Geierhos M. How to Deal with Inaccurate Service Requirements? Insights in Our Current Approach and New Ideas. In: Schmid K, Spoletini P, Ben Charrada E, et al., eds. Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track Co-Located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018). Vol 2075. CEUR Workshop Proceedings. CEUR-WS.org; 2018.
LibreCat | Files available | Download (ext.)
 
2018 | Journal Article | LibreCat-ID: 1369
Drees M, Feldotto M, Riechers S, Skopalik A. Pure Nash equilibria in restricted budget games. Journal of Combinatorial Optimization. 2018. doi:10.1007/s10878-018-0269-7
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 4565
Jung D, Kolb C, Scheideler C, Sundermeier J. Brief Announcement: Competitive Routing in Hybrid Communication Networks. In: Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures (SPAA). ACM Press; 2018. doi:10.1145/3210377.3210663
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 6016
Peuster M, Karl H. Understand your chains and keep your deadlines: Introducing time-constrained profiling for NFV. In: IEEE/IFIP 14th International Conference on Network and Service Management (CNSM). Rome: IEEE/IFIP.
LibreCat | Files available | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 6972
Schneider SB, Peuster M, Karl H. A Generic Emulation Framework for Reusing and Evaluating VNF Placement Algorithms. In: IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018). IEEE; 2018.
LibreCat | Files available
 
2018 | Journal Article | LibreCat-ID: 5330
Mir Djawadi B, Fahr R, Haake C-J, Recker S. Maintaining vs. Milking Good Reputation when Customer Feedback is Inaccurate. PLoS ONE. 2018;13(11). doi:10.1371/journal.pone.0207172
LibreCat | Files available | DOI
 
2018 | Book Chapter | LibreCat-ID: 3098
Trockel W, Haake C-J. Thoughts on Social Design. In: Laslier J-F, Moulin H, Sanver R, Zwicker W, eds. Studies in Economic Design. Vol (n.d.). Studies in Economic Design. Heidelberg: Springer.
LibreCat | Files available
 
2018 | Conference Abstract | LibreCat-ID: 2660
Neumann J, Gutt D, Kundisch D. The Traveling Reviewer Problem - Exploring the Relationship Between Offline Locations and Online Rating Behavior. In: Conference Abstracts of the Symposium on Statistical Challenges in Electronic Commerce Research (SCECR). ; 2018.
LibreCat | Files available
 
2018 | Conference Paper | LibreCat-ID: 5203
Krüger S, Späth J, Ali K, Bodden E, Mezini M. CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. In: European Conference on Object-Oriented Programming (ECOOP). ; 2018:10:1-10:27.
LibreCat | Files available | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 4577
Bohn N, Kundisch D. An Extended Perspective of Technology Pivots in Software Startups: Towards a Theoretical Model. In: Proceedings of the Thirty Ninth International Conference on Information Systems (ICIS). ; 2018.
LibreCat | Files available
 
2018 | Journal Article | LibreCat-ID: 2848
Li S, Markarian C, Meyer auf der Heide F. Towards Flexible Demands in Online Leasing Problems. . Algorithmica. 2018;80(5):1556–1574. doi:10.1007/s00453-018-0420-y
LibreCat | Files available | DOI
 
2018 | Journal Article | LibreCat-ID: 5772
Fanasch P, Frick B. What Makes Cooperatives Successful? Identifying the Determinants of Their Organizational Performance. Journal of Wine Economics. 2018:1-27. doi:10.1017/jwe.2018.28
LibreCat | Files available | DOI
 
2018 | Preprint | LibreCat-ID: 2711
Pauck F, Bodden E, Wehrheim H. Do Android Taint Analysis Tools Keep their Promises? arXiv:180402903. 2018.
LibreCat | Files available
 
2018 | Conference Paper | LibreCat-ID: 5222
Götte T, Scheideler C, Setzer A. On Underlay-Aware Self-Stabilizing Overlay Networks. In: Proceedings of the 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2018). Vol 11201. Lecture Notes in Computer Science. Springer; 2018:50-64.
LibreCat | Files available
 
2018 | Conference Paper | LibreCat-ID: 4375
Benter M, Knollmann T, Meyer auf der Heide F, Setzer A, Sundermeier J. A Peer-to-Peer based Cloud Storage supporting orthogonal Range Queries of arbitrary Dimension. In: Proceedings of the 4th International Symposium on Algorithmic Aspects of Cloud Computing (ALGOCLOUD). ; 2018. doi:10.1007/978-3-030-19759-9_4
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 3347
Peuster M, Marchetti M, Garcia de Blas G, Karl H. Emulation-based Smoke Testing of NFV Orchestrators in Large Multi-PoP Environments. In: European Conference on Networks and Communications (EuCNC). Ljubljana. doi:10.1109/EuCNC.2018.8442701
LibreCat | Files available | DOI | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 3373
Hansmeier T, Platzner M, Andrews D. An FPGA/HMC-Based Accelerator for Resolution Proof Checking. In: ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications. Vol 10824. Lecture Notes in Computer Science. Springer International Publishing; 2018:153-165. doi:10.1007/978-3-319-78890-6_13
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 3873
Blömer J, Eidens F, Juhnke J. Enhanced Security of Attribute-Based Signatures. In: The International Conference on Cryptology And Network Security (CANS). Vol 11124. Lecture Notes in Computer Science. Springer; 2018:235-255.
LibreCat | Files available | Download (ext.)
 
2018 | Journal Article | LibreCat-ID: 3936
Gutt D, Herrmann P, Rahman M. Crowd-Driven Competitive Intelligence: Understanding the Relationship between Local Market Competition and Online Rating Distributions. Information Systems Research. 2018.
LibreCat | Files available
 
2018 | Conference Paper | LibreCat-ID: 44
Bäumer FS, Geierhos M. Flexible Ambiguity Resolution and Incompleteness Detection in Requirements Descriptions via an Indicator-based Configuration of Text Analysis Pipelines. In: Proceedings of the 51st Hawaii International Conference on System Sciences. ; 2018:5746-5755. doi:10125/50609
LibreCat | Files available | DOI | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 2471
Mohr F, Wever MD, Hüllermeier E. On-The-Fly Service Construction with Prototypes. In: SCC. San Francisco, CA, USA: IEEE Computer Society; 2018. doi:10.1109/SCC.2018.00036
LibreCat | Files available | DOI | Download (ext.)
 
2018 | Report | LibreCat-ID: 2483
Dräxler S, Peuster M, Illian M, Karl H. Towards Predicting Resource Demands and Performance of Distributed Cloud Services. Wien, Darmstadt; 2018.
LibreCat | Files available | Download (ext.)
 
2018 | Working Paper | LibreCat-ID: 2565
Hoof S. Feedback Pareto Weights in Cooperative NTU Differential Games. Vol 112. CIE Working Paper Series, Paderborn University; 2018.
LibreCat | Files available
 
2018 | Journal Article | LibreCat-ID: 2685
Blömer J, Kohn K. Voronoi Cells of Lattices with Respect to Arbitrary Norms. SIAM Journal on Applied Algebra and Geometry. 2018;2(2):314-338. doi:10.1137/17M1132045
LibreCat | Files available | DOI
 
2018 | Working Paper | LibreCat-ID: 2933
Haake C-J, Qin C-Z. On Unification of Solutions to the Bargaining Problem. Vol 113. Paderborn University: CIE Working Paper Series, Paderborn University; 2018.
LibreCat | Files available
 
2018 | Journal Article | LibreCat-ID: 3152
Dräxler S, Karl H, Mann ZA. JASPER: Joint Optimization of Scaling, Placement, and Routing of Virtual Network Services. IEEE Transactions on Network and Service Management. 2018. doi:10.1109/TNSM.2018.2846572
LibreCat | Files available | DOI | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 3265
Bemmann K, Blömer J, Bobolz J, et al. Fully-Featured Anonymous Credentials with Reputation System. In: Proceedings of the 13th International Conference on Availability, Reliability and Security - ARES ’18. New York, NY, USA: ACM. doi:10.1145/3230833.3234517
LibreCat | Files available | DOI | Download (ext.)
 
2018 | Journal Article | LibreCat-ID: 1029
De Jaegher K, Hoyer B. Preemptive Repression: Deterrence, Backfiring, Iron Fists and Velvet Gloves. Journal of Conflict Resolution. 2018. doi:10.1177/0022002717750450
LibreCat | Files available | DOI
 
2018 | Journal Article | LibreCat-ID: 1031
Kaimann D, Stroh-Maraun N, Cox J. Variety in the video game industry: An empirical study of the Wundt curve. Managerial and Decision Economics. 2018;39(3):354-362. doi:10.1002/mde.2909
LibreCat | Files available | DOI
 
2018 | Journal Article | LibreCat-ID: 1043
Isenberg T, Jakobs M-C, Pauck F, Wehrheim H. Validity of Software Verification Results on Approximate Hardware. IEEE Embedded Systems Letters. 2018:22-25. doi:10.1109/LES.2017.2758200
LibreCat | Files available | DOI
 
2018 | Journal Article | LibreCat-ID: 107
Zimmermann S, Herrmann P, Kundisch D, Nault B. Decomposing the Variance of Consumer Ratings and the Impact on Price and Demand. Information Systems Research. 2018;29(4):984-1002. doi:10.1287/isre.2017.0764
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 1163
Feldmann M, Kolb C, Scheideler C, Strothmann TF. Self-Stabilizing Supervised Publish-Subscribe Systems. In: Proceedings of the 32nd IEEE International Parallel & Distributed Processing Symposium (IPDPS). IEEE; 2018. doi:10.1109/IPDPS.2018.00114
LibreCat | Files available | DOI | arXiv
 
2018 | Conference Paper | LibreCat-ID: 1182
Friesen E, Bäumer FS, Geierhos M. CORDULA: Software Requirements Extraction Utilizing Chatbot as Communication Interface. In: Schmid K, Spoletini P, Ben Charrada E, et al., eds. Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track Co-Located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018). Vol 2075. CEUR Workshop Proceedings. CEUR-WS.org; 2018.
LibreCat | Files available | Download (ext.)
 
2018 | Book Chapter | LibreCat-ID: 6423
Schäfer D, Hüllermeier E. Preference-Based Reinforcement Learning Using Dyad Ranking. In: Discovery Science. Cham: Springer International Publishing; 2018:161-175. doi:10.1007/978-3-030-01771-2_11
LibreCat | Files available | DOI
 
2018 | Journal Article | LibreCat-ID: 669
Feldotto M, Leder L, Skopalik A. Congestion games with mixed objectives. Journal of Combinatorial Optimization. 2018;36(4):1145-1167. doi:10.1007/s10878-017-0189-y
LibreCat | Files available | DOI | arXiv
 
2018 | Conference Paper | LibreCat-ID: 5216
Scheideler C, Setzer A. Relays: A New Approach for the Finite Departure Problem in Overlay Networks. In: Proceedings of the 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2018). ; 2018. doi:10.1007/978-3-030-03232-6_16
LibreCat | Files available | DOI
 
2018 | Conference Abstract | LibreCat-ID: 2490
Szopinski D, Kundisch D. Business model idea generation: An exploratory study on changing perspectives. In: 2nd Business Model Conference. ; 2018.
LibreCat | Files available
 
2018 | Journal Article | LibreCat-ID: 3551
König J, Mäcker A, Meyer auf der Heide F, Riechers S. Scheduling with interjob communication on parallel processors. Journal of Combinatorial Optimization. 2018;36(4):1356-1379. doi:10.1007/s10878-018-0325-3
LibreCat | Files available | DOI
 
2018 | Journal Article | LibreCat-ID: 2849
Abu-Khzam FN, Markarian C, Meyer auf der Heide F, Schubert M. Approximation and Heuristic Algorithms for Computing Backbones in Asymmetric Ad-hoc Networks. Theory of Computing Systems. 2018. doi:10.1007/s00224-017-9836-z
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 2109
Wever MD, Mohr F, Hüllermeier E. Ensembles of Evolved Nested Dichotomies for Classification. In: Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2018, Kyoto, Japan, July 15-19, 2018. Kyoto, Japan: ACM; 2018. doi:10.1145/3205455.3205562
LibreCat | Files available | DOI | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 3362
Lösch A, Wiens A, Platzner M. Ampehre: An Open Source Measurement Framework for Heterogeneous Compute Nodes. In: Proceedings of the International Conference on Architecture of Computing Systems (ARCS). Vol 10793. Lecture Notes in Computer Science. Cham: Springer International Publishing; 2018:73-84. doi:10.1007/978-3-319-77610-1_6
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 3552
Mohr F, Wever MD, Hüllermeier E. Reduction Stumps for Multi-Class Classification. In: Proceedings of the Symposium on Intelligent Data Analysis. ‘s-Hertogenbosch, the Netherlands. doi:10.1007/978-3-030-01768-2_19
LibreCat | Files available | DOI | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 2472
Auroux S, Karl H. Distributed Placement of Virtualized Control Applications in Mobile Backhaul Networks. In: Proc. of IEEE Wireless Communications and Networking Conference (WCNC); 2018. doi: 10.1109/WCNC.2018.8377335
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 2484
Feldkord B, Feldotto M, Gupta A, et al. Fully-Dynamic Bin Packing with Little Repacking. In: Chatzigiannakis I, Kaklamanis C, Marx D, Sannella D, eds. 45th International Colloquium on Automata, Languages, and Programming (ICALP 2018). Vol 107. Leibniz International Proceedings in Informatics (LIPIcs). Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik; 2018:51:1-51:24. doi:10.4230/LIPIcs.ICALP.2018.51
LibreCat | Files available | DOI | arXiv
 
2018 | Journal Article | LibreCat-ID: 2566
Haake C-J, Stroh-Maraun N. Outcome Equivalence in School Choice with Reciprocal Preferences. Economics Letters. 2018;170:39-41. doi:10.1016/j.econlet.2018.05.033
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 2857
Mohr F, Lettmann T, Hüllermeier E, Wever MD. Programmatic Task Network Planning. In: Proceedings of the 28th International Conference on Automated Planning and Scheduling. AAAI; 2018.
LibreCat | Files available | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 2965
Blömer J, Löken N. Cloud Architectures for Searchable Encryption. In: Proceedings of the 13th International Conference on Availability, Reliability and Security, ARES 2018. New York, NY, USA: ACM; :25:1--25:10. doi:10.1145/3230833.3230853
LibreCat | Files available | DOI
 
2018 | Journal Article | LibreCat-ID: 1063
Stroh-Maraun N, Kaimann D, Cox J. More than skills: A novel matching proposal for multiplayer video games. Entertainment Computing. 2018;25:26-36. doi:10.1016/j.entcom.2017.12.002
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 1164
Feldmann M, Scheideler C, Setzer A. Skueue: A Scalable and Sequentially Consistent Distributed Queue. In: Proceedings of the 32nd IEEE International Parallel & Distributed Processing Symposium (IPDPS). IEEE; 2018. doi:10.1109/IPDPS.2018.00113
LibreCat | Files available | DOI | arXiv
 
2018 | Conference Paper | LibreCat-ID: 1171
Müller M, Gutt D, Neumann J. Beschreib mir deine Wohnung und ich sag dir wer du bist - Eine explorative Analyse von Gastgeberpersönlichkeiten auf Airbnb. In: Multikonferenz Wirtschaftsinformatik (MKWI) 2018.
LibreCat | Files available
 
2018 | Conference Paper | LibreCat-ID: 1183
Caron M, Bäumer FS, Geierhos M. Back to Basics: Extracting Software Requirements with a Syntactic Approach. In: Schmid K, Spoletini P, Ben Charrada E, et al., eds. Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track Co-Located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018). Vol 2075. CEUR Workshop Proceedings. CEUR-WS.org; 2018.
LibreCat | Files available | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 6974
Schneider SB, Peuster M, Tavernier W, Karl H. A Fully Integrated Multi-Platform NFV SDK. In: IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018). IEEE; 2018.
LibreCat | Files available
 
2018 | Conference Paper | LibreCat-ID: 4339
Bäumer FS, Geierhos M. NLP in OTF Computing: Current Approaches and Open Challenges. In: Damaševičius R, Vasiljevienė G, eds. Proceedings of the 24th International Conference on Information and Software Technologies (ICIST 2018). Vol 920. Communications in Computer and Information Science. Cham, Switzerland: Springer; 2018:559-570. doi:10.1007/978-3-319-99972-2_46
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 4411
Knollmann T, Scheideler C. A Self-Stabilizing Hashed Patricia Trie. In: Izumi T, Kuznetsov P, eds. Proceedings of the 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS). Vol 11201. Lecture Notes of Computer Science. Springer, Cham; 2018. doi:10.1007/978-3-030-03232-6_1
LibreCat | Files available | DOI | arXiv
 
2018 | Working Paper | LibreCat-ID: 5820
Blömer J, Bobolz J, Scheideler C, Setzer A. Provably Anonymous Communication Based on Trusted Execution Environments.
LibreCat | Files available
 
2018 | Conference Paper | LibreCat-ID: 5774
Töws M, Wehrheim H. Information Flow Certificates. In: Theoretical Aspects of Computing – ICTAC 2018. Cham: Springer International Publishing; 2018:435-454. doi:10.1007/978-3-030-02508-3_23
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 2681
Görzen T, Laux F. Extracting the Wisdom from the Crowd: A Comparison of Approaches to Aggregating Collective Intelligence. In: Tagungsband Multikonferenz Wirtschaftsinformatik 2018 (MKWI). Lüneburg; 2018.
LibreCat | Files available
 
2018 | Conference Abstract | LibreCat-ID: 2491
Szopinski D. How to teach business model innovation to 300+ students: An experience report. In: 2nd Business Model Conference. ; 2018.
LibreCat | Files available
 
2018 | Book Chapter | LibreCat-ID: 3742
Hoof S. Dynamic Voluntary Provision of Public Goods: The Recursive Nash Bargaining Solution. In: Static & Dynamic Game Theory: Foundations & Applications. Cham: Springer International Publishing; 2018:13-23. doi:10.1007/978-3-319-92988-0_2
LibreCat | Files available | DOI
 
2018 | Book Chapter | LibreCat-ID: 2322
Bäumer FS, Geierhos M. How to Deal with Inaccurate Service Descriptions in On-The-Fly Computing: Open Challenges. In: Silberztein M, Atigui F, Kornyshova E, Métais E, Meziane F, eds. Proceedings of the 23rd International Conference on Natural Language and Information Systems. Vol 10859. Lecture Notes in Computer Science. Cham, Switzerland: Springer; 2018:509-513. doi:10.1007/978-3-319-91947-8_53
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 2480
Dräxler S, Peuster M, Illian M, Karl H. Generating Resource and Performance Models for Service Function Chains: The Video Streaming Case. In: 4th IEEE International Conference on Network Softwarization (NetSoft 2018). IEEE; 2018:318--322. doi:10.1109/NETSOFT.2018.8460029
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 2485
Feldkord B, Meyer auf der Heide F. Online Facility Location with Mobile Facilities. In: Proceedings of the 30th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA). ACM; 2018:373-381. doi:10.1145/3210377.3210389
LibreCat | Files available | DOI
 
2018 | Journal Article | LibreCat-ID: 2834
Gutt D, von Rechenberg T, Kundisch D. Goal Achievement, Subsequent User Effort and the Moderating Role of Goal Difficulty. Journal of Business Research. 2018. doi:10.1016/j.jbusres.2018.06.019
LibreCat | Files available | DOI
 
2018 | Journal Article | LibreCat-ID: 3402
Melnikov V, Hüllermeier E. On the effectiveness of heuristics for learning nested dichotomies: an empirical analysis. Machine Learning. 2018. doi:10.1007/s10994-018-5733-1
LibreCat | Files available | DOI
 
2018 | Journal Article | LibreCat-ID: 3510
Mohr F, Wever MD, Hüllermeier E. ML-Plan: Automated Machine Learning via Hierarchical Planning. Machine Learning. 2018. doi:10.1007/s10994-018-5735-z
LibreCat | Files available | DOI | Download (ext.)
 
2018 | Journal Article | LibreCat-ID: 1139
Kaimann D, Hoyer B. Price competition and the Bertrand model: The paradox of the German mobile discount market. Applied Economics Letters. 2018;26(1):54-57. doi:10.1080/13504851.2018.1436141
LibreCat | Files available | DOI | Download (ext.)
 
2018 | Preprint | LibreCat-ID: 1165
Witschen L, Wiersema T, Platzner M. Making the Case for Proof-carrying Approximate Circuits. 4th Workshop On Approximate Computing (WAPCO 2018). 2018.
LibreCat | Files available
 
2018 | Conference Paper | LibreCat-ID: 1588
Kenter T, Mahale G, Alhaddad S, et al. OpenCL-based FPGA Design to Accelerate the Nodal Discontinuous Galerkin Method for Unstructured Meshes. In: Proc. Int. Symp. on Field-Programmable Custom Computing Machines (FCCM). IEEE; 2018. doi:10.1109/FCCM.2018.00037
LibreCat | Files available | DOI
 
2018 | Journal Article | LibreCat-ID: 5984
Scheideler C. Preface. Theor Comput Sci. 2018;751:1. doi:10.1016/j.tcs.2018.11.004
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 6970
Schneider SB, Dräxler S, Karl H. Trade-offs in Dynamic Resource Allocation in Network Function Virtualization. In: IEEE Global Communications Conference (GLOBECOM 2018). IEEE; 2018.
LibreCat | Files available
 
2018 | Conference Paper | LibreCat-ID: 4563
Jung D, Kolb C, Scheideler C, Sundermeier J. Competitive Routing in Hybrid Communication Networks. In: Proceedings of the 14th International Symposium on Algorithms and Experiments for Wireless Networks (ALGOSENSORS) . Springer; 2018.
LibreCat | Files available
 
2018 | Conference Paper | LibreCat-ID: 5530
Jazayeri B, Zimmermann O, Küster J, Engels G, Kundisch D, Szopinski D. Patterns of Store-oriented Software Ecosystems: Detection, Classification, and Analysis of Design Options. In: The Latin American Conference on Pattern Languages of Programs (SLPLoP). To appear. Valparaíso, Chile: ACM. To appear; 2018.
LibreCat | Files available
 
2018 | Conference Paper | LibreCat-ID: 5547
Lösch A, Platzner M. A Highly Accurate Energy Model for Task Execution on Heterogeneous Compute Nodes. In: 2018 IEEE 29th International Conference on Application-Specific Systems, Architectures and Processors (ASAP). IEEE; 2018. doi:10.1109/asap.2018.8445098
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 1204
Riebler H, Vaz GF, Kenter T, Plessl C. Automated Code Acceleration Targeting Heterogeneous OpenCL Devices. In: Proc. ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP). ACM; 2018. doi:10.1145/3178487.3178534
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 3414
Börding P, Haltermann J, Jakobs M-C, Wehrheim H. JMCTest: Automatically Testing Inter-Method Contracts in Java. In: Proceedings of the IFIP International Conference on Testing Software and Systems (ICTSS 2018).
LibreCat | Files available
 
2018 | Conference Abstract | LibreCat-ID: 4520
Neumann J, Gutt D, Kundisch D. The Traveling Reviewer Problem - Exploring the Relationship Between Offline Locations and Online Rating Behavior. In: Workshop on IS Design and Economic Behavior (ISDEB). ; 2018.
LibreCat | Files available
 
2018 | Conference Abstract | LibreCat-ID: 4373
Szopinski D. Towards software-based tools for business model development: Using external stimuli for business model idea generation. In: Bosch Business Model Innovation Summit 2018. ; 2018.
LibreCat | Files available
 
2018 | Preprint | LibreCat-ID: 1177
Karl H, Kundisch D, Meyer auf der Heide F, Wehrheim H. A Case for a New IT Ecosystem: On-The-Fly Computing. 2018.
LibreCat | Files available | Download (ext.)
 
2017 | Conference Paper | LibreCat-ID: 2967
Blömer J, Liske G. Subtleties in Security Definitions for Predicate Encryption with Public Index. In: Proceedings of the International Conference of Mathematical Aspects of Computer and Information Sciences (MACIS). Vol 10693. Lecture Notes in Computer Science. Cham: Springer International Publishing; 2017:438-453. doi:10.1007/978-3-319-72453-9_35
LibreCat | Files available | DOI | Download (ext.)
 
2017 | Conference Paper | LibreCat-ID: 105
Gmyr R, Hinnenthal K, Scheideler C, Sohler C. Distributed Monitoring of Network Properties: The Power of Hybrid Networks. In: Proceedings of the 44th International Colloquium on Automata, Languages, and Programming (ICALP). Leibniz International Proceedings in Informatics (LIPIcs). ; 2017:137:1--137:15. doi:10.4230/LIPIcs.ICALP.2017.137
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 112
Feldotto M, Leder L, Skopalik A. Congestion Games with Complementarities. In: Proceedings of the 10th International Conference on Algorithms and Complexity (CIAC). LNCS. ; 2017:222--233. doi:10.1007/978-3-319-57586-5_19
LibreCat | Files available | DOI | arXiv
 
2017 | Conference Paper | LibreCat-ID: 1180
Wever MD, Mohr F, Hüllermeier E. Automatic Machine Learning: Hierachical Planning Versus Evolutionary Optimization. In: 27th Workshop Computational Intelligence. Dortmund; 2017.
LibreCat | Files available | Download (ext.)
 
2017 | Conference Paper | LibreCat-ID: 124
Jazayeri B, Zimmermann O, Engels G, Kundisch D. A Variability Model for Store-oriented Software Ecosystems: An Enterprise Perspective. In: Proceedings of the 15th International Conference on Service Oriented Computing (ICSOC). Vol 10601. Lecture Notes in Computer Science (LNCS). Málaga, Spain: Springer; 2017. doi:10.1007/978-3-319-69035-3_42
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 1767
Mavronicolas M, Monien B. Conditional Value-at-Risk: Structure and Complexity of Equilibria. In: Proceedings of the 10th International Symposium on Algorithmic Game Theory (SAGT 2017). Vol 10504. LNCS. ; 2017:131--143. doi:10.1007/978-3-319-66700-3_11
LibreCat | Files available | DOI
 
2017 | Journal Article | LibreCat-ID: 706
Mäcker A, Malatyali M, Meyer auf der Heide F, Riechers S. Cost-efficient Scheduling on Machines from the Cloud. Journal of Combinatorial Optimization. 2017;36(4):1168-1194. doi:10.1007/s10878-017-0198-x
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 73
Jakobs M-C. PART_PW: From Partial Analysis Results to a Proof Witness. In: Cimatti A, Sirjani M, eds. Software Engineering and Formal Methods. Lecture Notes in Computer Science. ; 2017:120-135. doi:10.1007/978-3-319-66197-1_8
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 78
Jazayeri B, Schwichtenberg S. On-The-Fly Computing Meets IoT Markets - Towards a Reference Architecture. In: Proceedings of the International Conference on Software Architecture (ICSA) IoT-ASAP Workshop. Gothenburg, Sweden: IEEE; 2017:120--127. doi:10.1109/ICSAW.2017.59
LibreCat | Files available | DOI
 
2017 | Journal Article | LibreCat-ID: 3307
Frick B, Kaimann D. The impact of customer reviews and advertisement efforts on the performance of experience goods in electronic markets. Applied Economics Letters. 2017;24(17):1237-1240. doi:10.1080/13504851.2016.1270399
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 66
Drees M, Feldotto M, Riechers S, Skopalik A. Pure Nash Equilibria in Restricted Budget Games. In: Proceedings of the 23rd International Computing and Combinatorics Conference (COCOON). LNCS. ; 2017:175--187. doi:10.1007/978-3-319-62389-4_15
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 97
van Rooijen L, Bäumer FS, Platenius MC, Geierhos M, Hamann H, Engels G. From User Demand to Software Service: Using Machine Learning to Automate the Requirements Specification Process. In: 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW). Piscataway, NJ, USA: IEEE; 2017:379-385. doi:10.1109/REW.2017.26
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 5769
Töws M, Wehrheim H. Policy Dependent and Independent Information Flow Analyses. In: Formal Methods and Software Engineering - 19th International Conference  on Formal Engineering Methods (ICFEM 2017). Springer International Publishing; 2017:362-378. doi:10.1007/978-3-319-68690-5_22
LibreCat | Files available | DOI
 
2017 | Conference Abstract | LibreCat-ID: 92
Szopinski D, Schoormann T, John T, Knackstedt R, Kundisch D. How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools. In: Bosch Business Model Innovation Summit 2017. ; 2017.
LibreCat | Files available
 
2017 | Conference Abstract | LibreCat-ID: 54
Neumann J, Gutt D, Kundisch D. The Traveling Reviewer Problem – Exploring the Relationship between Offline Locations and Online Rating Behavior. In: INFORMS Annual Meeting. ; 2017.
LibreCat | Files available
 
2017 | Conference (Editor) | LibreCat-ID: 5980
Scheideler C, Taghi Hajiaghayi M, eds. Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2017, Washington DC, USA, July 24-26, 2017. {ACM}; 2017. doi:10.1145/3087556
LibreCat | DOI
 
2017 | Conference Paper | LibreCat-ID: 59
Kling P, Mäcker A, Riechers S, Skopalik A. Sharing is Caring: Multiprocessor Scheduling with a Sharable Resource. In: Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA). ; 2017:123--132. doi:10.1145/3087556.3087578
LibreCat | Files available | DOI
 
2017 | Journal Article | LibreCat-ID: 1054
Brosig-Koch J, Hehenkamp B, Kokot J. The effects of competition on medical service provision. Health Economics. 2017;26(53):6-20. doi:10.1002/hec.3583
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 113
Feldotto M, Gairing M, Kotsialou G, Skopalik A. Computing Approximate Pure Nash Equilibria in Shapley Value Weighted Congestion Games. In: Proceedings of the 13th International Conference on Web and Internet Economics (WINE). ; 2017. doi:10.1007/978-3-319-71924-5_14
LibreCat | Files available | DOI | arXiv
 
2017 | Conference Paper | LibreCat-ID: 125
Feldmann M, Scheideler C. A Self-Stabilizing General De Bruijn Graph. In: Proceedings of the 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS). Vol 10616. Lecture Notes in Computer Science. Springer, Cham; 2017:250-264. doi:10.1007/978-3-319-69084-1_17
LibreCat | Files available | DOI | arXiv
 
2017 | Conference Paper | LibreCat-ID: 1592
Kenter T, Förstner J, Plessl C. Flexible FPGA design for FDTD using OpenCL. In: Proc. Int. Conf. on Field Programmable Logic and Applications (FPL). IEEE; 2017. doi:10.23919/FPL.2017.8056844
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 79
Mäcker A, Malatyali M, Meyer auf der Heide F, Riechers S. Non-Clairvoyant Scheduling to Minimize Max Flow Time on a Machine with Setup Times. In: Proceedings of the 15th Workshop on Approximation and Online Algorithms (WAOA). Vol 10787. Lecture Notes in Computer Science. Springer; 2017:207-222. doi:10.1007/978-3-319-89441-6
LibreCat | Files available | DOI
 
2017 | Book Chapter | LibreCat-ID: 48
Kundisch D, Gutt D. Was bedeutet die Transformation der Märkte im digitalen Zeitalter? Ökonomische Grundlagen. In: Hannappel S, Rehm R, eds. Digitale Ökonomie - Wie verändern sich die Märkte?. ; 2017.
LibreCat | Files available
 
2017 | Conference Paper | LibreCat-ID: 55
Feldkord B, Meyer auf der Heide F. The Mobile Server Problem. In: Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA). ; 2017:313-319. doi:10.1145/3087556.3087575
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 5695
Jazayeri B, Schwichtenberg S. On the Necessity of an Architecture Framework for On-The-Fly Computing. In: Proceedings of Softwaretechnik-Trends Workshops. Vol 37. Bad Honnef, Germany: Gesellschaft für Informatik eV, Fachgruppe PARS; 2017.
LibreCat | Files available
 
2017 | Book Chapter | LibreCat-ID: 93
Geierhos M, Bäumer FS. Guesswork? Resolving Vagueness in User-Generated Software Requirements. In: Christiansen H, Jiménez-López MD, Loukanova R, Moss LS, eds. Partiality and Underspecification in Information, Languages, and Knowledge. 1st ed. Newcastle upon Tyne, UK: Cambridge Scholars Publishing; 2017:65-108.
LibreCat | Files available
 
2017 | Conference Paper | LibreCat-ID: 98
Schwichtenberg S, Gerth C, Engels G. From Open API to Semantic Specifications and Code Adapters. In: Proceedings of the 24th IEEE International Conference on Web Services (ICWS). ; 2017:484--491.
LibreCat | Files available
 
2017 | Conference Abstract | LibreCat-ID: 2696
Zimmermann S, Herrmann P, Kundisch D, Nault B. Decomposing the Variance of Online Consumer Ratings and the Impact on Price and Demand. In: Workshop Theory in Economics of Information Systems (TEIS). ; 2017.
LibreCat | Files available
 
2017 | Conference Paper | LibreCat-ID: 120
Wever MD, van Rooijen L, Hamann H. Active Coevolutionary Learning of Requirements Specifications from Examples. In: Proceedings of the Genetic and Evolutionary Computation Conference (GECCO). ; 2017:1327--1334. doi:10.1145/3071178.3071258
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 2344
Blömer J, Günther P, Krummel V, Löken N. Attribute-Based Encryption as a Service for Access Control in Large-Scale Organizations. In: Foundations and Practice of Security. Cham: Springer International Publishing; 2017:3-17. doi:10.1007/978-3-319-75650-9_1
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 2851
Markarian C. Leasing with Uncertainty. In: International Conference on Operations Research (OR). ; 2017. doi:10.1007/978-3-319-89920-6_57
LibreCat | Files available | DOI
 
2017 | Report | LibreCat-ID: 1055
Hehenkamp B, Kaarboe O. Location Choice and Quality Competition in Mixed Hospital Markets. Universität Paderborn; 2017.
LibreCat | Files available
 
2017 | Journal Article | LibreCat-ID: 1098
Kim Y-S, Lee S-W, Dollmann M, Geierhos M. Semantic Annotation of Software Requirements with Language Frame. International Journal of Software Engineering for Smart Device. 2017;4(2):1-6.
LibreCat | Files available
 
2017 | Conference Paper | LibreCat-ID: 121
Schlangenotto D, Kundisch D. Achieving more by saying less? On the Moderating Effect of Information Cues in Paid Search. In: Proceedings of the 50th Annual Hawaii International Conference on System Sciences (HICSS), Waikoloa Village, HI, USA. ; 2017.
LibreCat | Files available
 
2017 | Conference Paper | LibreCat-ID: 126
Neumann J, Gutt D. A Homeowner’s Guide to Airbnb: Theory and Empirical Evidence for Optimal Pricing Conditional on Online Ratings. In: Proceedings of the Twenty Fifth Conference on Information Systems (ECIS), Guimaraes. ; 2017.
LibreCat | Files available
 
2017 | Journal Article | LibreCat-ID: 18
Riebler H, Lass M, Mittendorf R, Löcke T, Plessl C. Efficient Branch and Bound on FPGAs Using Work Stealing and Instance-Specific Designs. ACM Transactions on Reconfigurable Technology and Systems (TRETS). 2017;10(3):24:1-24:23. doi:10.1145/3053687
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 82
Abu-Khzam FN, Li S, Markarian C, Meyer auf der Heide F, Podlipyan P. Modular-Width: An Auxiliary Parameter for Parameterized Parallel Complexity. In: Proceedings of the 11th International Workshop on Frontiers in Algorithmics (FAW). LNCS. ; 2017:139-150. doi:10.1007/978-3-319-59605-1_13
LibreCat | Files available | DOI
 
2017 | Journal Article | LibreCat-ID: 63
Althaus E, Brinkmann A, Kling P, et al. Scheduling Shared Continuous Resources on Many-Cores. Journal of Scheduling. 2017. doi:10.1007/s10951-017-0518-0
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 70
Feldkord B, Markarian C, Meyer auf der Heide F. Price Fluctuations in Online Leasing. In: Proceedings of the 11th Annual International Conference on Combinatorial Optimization and Applications (COCOA). ; 2017:17-31. doi:10.1007/978-3-319-71147-8_2
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 49
John T, Kundisch D, Szopinski D. Visual Languages for Modeling Business Models: A Critical Review and Future Research Directions. In: Proceedings of the Thirty Eighth International Conference on Information Systems (ICIS), Seoul, South Korea. ; 2017.
LibreCat | Files available
 
2017 | Conference Paper | LibreCat-ID: 87
Dräxler S, Karl H, Mann ZA. Joint Optimization of Scaling and Placement of Virtual Network Services. In: Proceedings of the 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2017). ; 2017. doi:10.1109/CCGRID.2017.25
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 981
Peuster M, Karl H. Profile Your Chains, Not Functions. Automated Network Service Profiling in DevOps Environments. In: IEEE Conference on Network Function Virtualisation and Software Defined Networks (NFV-SDN). Berlin; 2017. doi:10.1109/NFV-SDN.2017.8169826
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 99
Wehrheim H. Fault localization in service compositions. In: Proceedings of the 14th International Conference on Formal Aspects of Component Software (FACS). LNCS. ; 2017.
LibreCat | Files available
 
2017 | Conference Paper | LibreCat-ID: 5204
Späth J, Ali K, Bodden E. IDEal: Efficient and Precise Alias-aware Dataflow Analysis. In: 2017 International Conference on Object-Oriented Programming, Languages and Applications (OOPSLA/SPLASH). ACM Press; 2017.
LibreCat | Files available | Download (ext.)
 
2017 | Conference Abstract | LibreCat-ID: 56
John T. Supporting Business Model Idea Generation Through Machine-generated Ideas: A Design Theory. In: 1st Business Model Conference. ; 2017.
LibreCat | Files available
 
2017 | Journal Article | LibreCat-ID: 5209
Fischer A, Fuhry B, Kerschbaum F, Bodden E. Computation on Encrypted Data using Data Flow Authentication. CoRR. 2017;abs/1710.00390.
LibreCat | Files available | Download (ext.)
 
2017 | Journal Article | LibreCat-ID: 68
Isenberg T, Platzner M, Wehrheim H, Wiersema T. Proof-Carrying Hardware via Inductive Invariants. ACM Transactions on Design Automation of Electronic Systems. 2017;(4):61:1--61:23. doi:10.1145/3054743
LibreCat | Files available | DOI
 
2017 | Journal Article | LibreCat-ID: 1062
Frick B, Gergaud O, Winter P. The revenue potential of product differentiation: Empirical evidence fro the Croation restaurant industry. Gastronomy and Tourism. 2017;2(4):259-271(13). doi:10.3727/216929717X15046207899410
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 114
Jakobs M-C, Wehrheim H. Compact Proof Witnesses. In: Barrett C, Davies M, Kahsai T, eds. NASA Formal Methods: 9th International Symposium. Lecture Notes in Computer Science. ; 2017:389-403. doi:10.1007/978-3-319-57288-8_28
LibreCat | Files available | DOI
 
2017 | Report | LibreCat-ID: 1056
Gu Y, Hehenkamp B, Leininger W. Evolutionary Equilibrium in Stochastic Contests - Entry, Effort, and Overdissipation. Universität Paderborn; 2017.
LibreCat | Files available
 
2017 | Conference Paper | LibreCat-ID: 122
Schlangenotto D, Kundisch D, Gutt D. Achieving More by Paying Less? How Bricks-and-Mortar Retailers Can Benefit by Bidding Less Aggressively in Paid Search. In: Proceedings of the Thirty Eighth International Conference on Information Systems (ICIS), Seoul, South Korea. ; 2017.
LibreCat | Files available
 
2017 | Conference Paper | LibreCat-ID: 45
Gutt D, Schlangenotto D, Kundisch D. You can’t buy my rating! On the pivotal effect of an unconditional gift on rating behavior. In: Wirtschaftsinformatik Proceedings, St. Gallen, Switzerland. ; 2017.
LibreCat | Files available
 
2017 | Conference Paper | LibreCat-ID: 57
Bäumer FS, Dollmann M, Geierhos M. Studying Software Descriptions in SourceForge and App Stores for a better Understanding of real-life Requirements. In: Sarro F, Shihab E, Nagappan M, Platenius MC, Kaimann D, eds. Proceedings of the 2nd ACM SIGSOFT International Workshop on App Market Analytics. New York, NY, USA: ACM; 2017:19-25. doi:10.1145/3121264.3121269
LibreCat | Files available | DOI
 
2017 | Journal Article | LibreCat-ID: 64
Keller M, Karl H. Response-Time-Optimised Service Deployment: MILP Formulations of Piece-wise Linear Functions Approximating Non-linear Bivariate Mixed-integer Functions. IEEE Transactions on Network and Service Management. 2017;(1):121--135. doi:10.1109/TNSM.2016.2611590
LibreCat | Files available | DOI
 
2017 | Encyclopedia Article | LibreCat-ID: 95
Kundisch D, John T. Geschäftsmodell-Modellierungssprache/Business Model Modeling Language. In: Enzyklopädie der Wirtschaftsinformatik, GITO. ; 2017.
LibreCat | Files available
 
2017 | Journal Article | LibreCat-ID: 69
Jakobs M-C, Wehrheim H. Programs from Proofs: A Framework for the Safe Execution of Untrusted Software. ACM Transactions on Programming Languages and Systems. 2017;(2):7:1-7:56. doi:10.1145/3014427
LibreCat | Files available | DOI
 
2017 | Journal Article | LibreCat-ID: 90
Isenberg T. Incremental Inductive Verification of Parameterized Timed Systems. ACM Transactions on Embedded Computing Systems. 2017;(2):47:1-47:24. doi:10.1145/2984640
LibreCat | Files available | DOI
 
2017 | Conference Abstract | LibreCat-ID: 127
Neumann J, Gutt D, Kundisch D. A Homeowner’s Guide to Airbnb: Theory and Empirical Evidence for Optimal Pricing Conditional on Online Ratings. In: INFORMS Conference on Information Systems and Technology (CIST). ; 2017.
LibreCat | Files available
 
2017 | Conference Abstract | LibreCat-ID: 52
John T, Szopinski D. Towards Explaining the Popularity of the Business Model Canvas: A Dual-coding Approach. In: 1st Business Model Conference. ; 2017.
LibreCat | Files available
 
2017 | Journal Article | LibreCat-ID: 110
Antoniadis A, Kling P, Ott S, Riechers S. Continuous Speed Scaling with Variability: A Simple and Direct Approach. Theoretical Computer Science. 2017:1-13. doi:10.1016/j.tcs.2017.03.021
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 71
Czech M, Hüllermeier E, Jakobs M-C, Wehrheim H. Predicting Rankings of Software Verification Tools. In: Proceedings of the 3rd International Workshop on Software Analytics. SWAN’17. ; 2017:23-26. doi:10.1145/3121257.3121262
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 115
Jakobs M-C, Krämer J, van Straaten D, Lettmann T. Certification Matters for Service Markets. In: Marcelo De Barros, Janusz Klink,Tadeus Uhl TP, ed. The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION). ; 2017:7-12.
LibreCat | Files available
 
2017 | Journal Article | LibreCat-ID: 2269
Mauleon A, Roehl N, Vannetelbosch V. Constitutions and groups. Games and Economic Behavior. 2017;107:135-152. doi:10.1016/j.geb.2017.10.022
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 3325
Melnikov V, Hüllermeier E. Optimizing the Structure of Nested Dichotomies: A Comparison of Two Heuristics. In: Proceedings. 27. Workshop Computational Intelligence, Dortmund, 23. - 24. November 2017. KIT Scientific Publishing; 2017. doi:10.5445/KSP/1000074341
LibreCat | Files available | DOI
 
2017 | Working Paper | LibreCat-ID: 1083
Hoyer B, Stroh-Maraun N. Matching Strategies of Heterogeneous Agents under Incomplete Information in a University Clearinghouse. Vol 110. CIE Working Paper Series, Paderborn University; 2017.
LibreCat | Files available | Download (ext.)
 
2017 | Conference Paper | LibreCat-ID: 77
Szopinski D, Jazayeri B, Engels G, Kundisch D. On-The-Fly Computing: Ein Referenzmodell für individualisierte IT-Dienstleistungen in dynamischen Märkten. In: Proceedings of the Workshop Enterprise Architecture Management in Forschung Und Praxis, INFORMATIK 2017, Chemnitz, Germany. Lecture Notes in Informatics (LNI). GI; 2017:2059-2066.
LibreCat | Files available
 
2017 | Conference Paper | LibreCat-ID: 717
Dräxler S, Karl H, Peuster M, et al. SONATA: Service programming and orchestration for virtualized software networks. In: 2017 IEEE International Conference on Communications Workshops (ICC Workshops). IEEE; 2017. doi:10.1109/iccw.2017.7962785
LibreCat | Files available | DOI | Download (ext.)
 
2017 | Conference Paper | LibreCat-ID: 53
Neumann J, Gutt D, Kundisch D. The Traveling Reviewer Problem – Exploring the Relationship Between Offline Locations and Online Rating Behavior. In: Proceedings of the Thirty Eighth International Conference on Information Systems (ICIS). ; 2017.
LibreCat | Files available
 
2017 | Journal Article | LibreCat-ID: 58
Dräxler S, Karl H. Specification, Composition, and Placement of Network Services with Flexible Structures. International Journal of Network Management. 2017;(2):1--16. doi:10.1002/nem.1963
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 84
Platenius MC, Arifulina S, Schäfer W. MatchBox: A Framework for Dynamic Configuration of Service Matching Processes (Extended Abstract). In: Tagungsband Software Engineering. Lecture Notes in Informatics (LNI). ; 2017:81--82.
LibreCat | Files available
 
2017 | Conference Paper | LibreCat-ID: 91
Szopinski D, Schoormann T, John T, Knackstedt R, Kundisch D. How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools. In: Proceedings of the Twenty-Third Americas Conference on Information Systems (AMCIS). ; 2017.
LibreCat | Files available
 
2017 | Report | LibreCat-ID: 72
Czech M, Hüllermeier E, Jakobs M-C, Wehrheim H. Predicting Rankings of Software Verification Competitions.; 2017.
LibreCat | Files available
 
2017 | Report | LibreCat-ID: 123
Jazayeri B, Zimmermann O, Engels G, Kundisch D. A Variability Model for Store-Oriented Software Ecosystems: An Enterprise Perspective (Supplementary Material). Universität Paderborn; 2017.
LibreCat | Files available
 
2017 | Report | LibreCat-ID: 1057
Sürücü O, Mir Djawadi B, Brangewitz S. Asymmetric Dominance Effect with Multiple Decoys for Low- and High-Variance Lotteries. Universität Paderborn; 2017.
LibreCat | Files available
 
2017 | Conference Paper | LibreCat-ID: 65
Lösch A, Platzner M. reMinMin: A Novel Static Energy-Centric List Scheduling Approach Based on Real Measurements. In: Proceedings of the 28th Annual IEEE International Conference on Application-Specific Systems, Architectures and Processors (ASAP). ; 2017. doi:10.1109/ASAP.2017.7995272
LibreCat | Files available | DOI
 
2016 | Journal Article | LibreCat-ID: 193
von Rechenberg T, Gutt D, Kundisch D. Goals as Reference Points: Empirical Evidence from a Virtual Reward System. Decision Analysis. 2016;(2):153--171. doi:10.1287/deca.2016.0331
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 218
Jungmann A, Kleinjohann B. Automatic Composition of Service-based Image Processing Applications. In: Proceedings of the 13th IEEE International Conference on Services Computing (SCC). ; 2016:106--113. doi:10.1109/SCC.2016.21
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 225
Jungmann A, Kleinjohann B. A Holistic and Adaptive Approach for Automated Prototyping of Image Processing Functionality. In: Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA). ; 2016:1--8. doi:10.1109/ETFA.2016.7733522
LibreCat | Files available | DOI
 
2016 | Working Paper | LibreCat-ID: 2570
Manegold J. Stackelberg Competition among Intermediaries in a Differentiated Duopoly with Product Innovation. Vol 98. CIE Working Paper Series, Paderborn University; 2016.
LibreCat | Files available
 
2016 | Conference Paper | LibreCat-ID: 143
Abu-Khzam FN, Li S, Markarian C, Meyer auf der Heide F, Podlipyan P. The Monotone Circuit Value Problem with Bounded Genus Is in NC. In: Proceedings of the 22nd International Conference on Computing and Combinatorics (COCOON). LNCS. ; 2016:92-102. doi:10.1007/978-3-319-42634-1_8
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 148
John T. Supporting Business Model Idea Generation Through Machine-generated Ideas: A Design Theory. In: Proceedings of the Thirty Seventh International Conference on Information Systems (ICIS), Dublin, Ireland. ; 2016.
LibreCat | Files available | Download (ext.)
 
2016 | Conference Paper | LibreCat-ID: 155
Gmyr R, Lefèvre J, Scheideler C. Self-stabilizing Metric Graphs. In: Proceedings of the 18th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS). LNCS. ; 2016:248--262. doi:10.1007/978-3-319-49259-9_20
LibreCat | Files available | DOI
 
2016 | Conference Abstract | LibreCat-ID: 206
Herrmann P, Gutt D, Rahman M. Crowd-Driven Competitive Intelligence: Understanding the Relationship between Local Market Structure and Online Rating Distributions. In: NBER Summer Institute on the Economics of Information Technology and Digitization. ; 2016.
LibreCat | Files available
 
2016 | Conference Abstract | LibreCat-ID: 4374
Zimmermann S, Herrmann P, Kundisch D, Nault B. How do different Sources of the Variance of Online Consumer Ratings matter? In: Workshop on IS Design and Economic Behavior (ISDEB). ; 2016.
LibreCat | Files available
 
2016 | Report | LibreCat-ID: 198
Jazayeri B, Platenius MC, Engels G, Kundisch D. Features of IT Service Markets: A Systematic Literature Review (Supplementary Material). Universität Paderborn; 2016.
LibreCat | Files available
 
2016 | Conference Paper | LibreCat-ID: 186
Czech M, Jakobs M-C, Wehrheim H. Just test what you cannot verify! In: Jens Knoop UZ, ed. Software Engineering 2016. Lecture Notes in Informatics. ; 2016:17-18.
LibreCat | Files available
 
2016 | Conference Paper | LibreCat-ID: 207
Mäcker A, Malatyali M, Meyer auf der Heide F, Riechers S. Cost-efficient Scheduling on Machines from the Cloud. In: Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA). ; 2016:578--592. doi:10.1007/978-3-319-48749-6_42
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 219
Jazayeri B. Architectural Management of On-The-Fly Computing Markets. In: Proceedings of the 10th European Conference on Software Architecture (ECSA Workshops). Copenhagen, Denmark: ACM; 2016:42. doi:10.1145/2993412.3010821
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 24
Kenter T, Plessl C. Microdisk Cavity FDTD Simulation on FPGA using OpenCL. In: Proc. Workshop on Heterogeneous High-Performance Reconfigurable Computing (H2RC). ; 2016.
LibreCat | Files available
 
2016 | Journal Article | LibreCat-ID: 2540
Brangewitz S, Brockhoff S. Sustainability of coalitional equilibria within repeated tax competition. European Journal of Political Economy. 2016;49:1-23. doi:10.1016/j.ejpoleco.2016.11.003
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 31
Riebler H, Vaz GF, Plessl C, Trainiti EMG, Durelli GC, Bolchini C. Using Just-in-Time Code Generation for Transparent Resource Management in Heterogeneous Systems. In: Proc. HiPEAC Workshop on Reonfigurable Computing (WRC). ; 2016.
LibreCat | Files available
 
2016 | Journal Article | LibreCat-ID: 144
Monien B, Mavronicolas M. The complexity of equilibria for risk-modeling valuations. Theoretical Computer Science. 2016;634:67-96. doi:10.1016/j.tcs.2016.04.013
LibreCat | Files available | DOI
 
2016 | Book Chapter | LibreCat-ID: 156
Agne A, Happe M, Lösch A, Plessl C, Platzner M. Self-aware Compute Nodes. In: Self-Aware Computing Systems. Natural Computing Series (NCS). Cham: Springer International Publishing; 2016:145-165. doi:10.1007/978-3-319-39675-0_8
LibreCat | Files available | DOI
 
2016 | Conference (Editor) | LibreCat-ID: 163
Dressler F, Meyer auf der Heide F, eds. Proceedings of the 17th ACM International Symposium on Mobile Ad Hoc Networking and Computing (MobiHoc). ACM; 2016. doi:10.1145/2942358
LibreCat | DOI
 
2016 | Conference Paper | LibreCat-ID: 168
Lösch A, Beisel T, Kenter T, Plessl C, Platzner M. Performance-centric scheduling with task migration for a heterogeneous compute node in the data center. In: Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE). EDA Consortium / IEEE; 2016:912-917.
LibreCat | Files available
 
2016 | Conference Paper | LibreCat-ID: 170
Jakobs M-C, Töws M, Pauck F. PAndA 2 : Analyzing Permission Use and Interplay in Android Apps (Tool Paper). In: Ishikawa F, Romanovsky A TE, ed. Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems. School of Computing Science Technical Report Series. ; 2016.
LibreCat | Files available
 
2016 | Special Issue | LibreCat-ID: 187
Meyer auf der Heide F, ed. Introduction to the Special Issue on SPAA 2014.; 2016. doi:10.1145/2936716
LibreCat | Files available | DOI
 
2016 | Journal Article | LibreCat-ID: 726
Wette P, Karl H. DCT2Gen: A traffic generator for data centers. Computer Communications. 2016:45--58. doi:10.1016/j.comcom.2015.12.001
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 738
Peuster M, Karl H, van Rossem S. MeDICINE: Rapid Prototyping of Production-Ready Network Services in Multi-PoP Environments. In: IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN). ; 2016. doi:10.1109/NFV-SDN.2016.7919490
LibreCat | Files available | DOI | Download (ext.)
 
2016 | Journal Article | LibreCat-ID: 175
Walther S, Wehrheim H. On-The-Fly Construction of Provably Correct Service Compositions - Templates and Proofs. Science of Computer Programming. 2016:2--23. doi:10.1016/j.scico.2016.04.002
LibreCat | Files available | DOI
 
2016 | Report | LibreCat-ID: 221
Platenius MC, Josifovska K, van Rooijen L, et al. An Overview of Service Specification Language and Matching in On-The-Fly Computing (v0.3). Universität Paderborn; 2016.
LibreCat | Files available
 
2016 | Conference Paper | LibreCat-ID: 199
Jazayeri B, Platenius M, Engels G, Kundisch D. Features of IT Service Markets: A Systematic Literature Review. In: Proceedings of the 14th International Conference on Service Oriented Computing (ICSOC). Vol 9936. Lecture Notes in Computer Science (LNCS). Banff, Canada: Springer; 2016:301-316. doi:10.1007/978-3-319-46295-0_19
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 149
Drees M, Feldkord B, Skopalik A. Strategic Online Facility Location. In: Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA). LNCS. ; 2016:593--607. doi:10.1007/978-3-319-48749-6_43
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 226
Krämer J, Wehrheim H. A Formal Approach to Error Localization and Correction in Service Compositions. In: Proceedings of the 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016). LNCS. ; 2016:445--457. doi:10.1007/978-3-319-50230-4_35
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 132
Wiersema T, Platzner M. Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules using Proof-Carrying Hardware. In: Proceedings of the 11th International Symposium on Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC 2016). ; 2016:1--8. doi:10.1109/ReCoSoC.2016.7533910
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 137
Heindorf S, Potthast M, Stein B, Engels G. Vandalism Detection in Wikidata. In: Proceedings of the 25th International Conference on Information and Knowledge Management (CIKM 2016). ; 2016:327--336. doi:10.1145/2983323.2983740
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 208
Blömer J, Liske G. Construction of Fully CCA-Secure Predicate Encryptions from Pair Encoding Schemes. In: Proceedings of the CT-RSA 2016. LNCS. ; 2016:431-447. doi:10.1007/978-3-319-29485-8_25
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 215
Drees M, Gmyr R, Scheideler C. Churn- and DoS-resistant Overlay Networks Based on Network Reconfiguration. In: Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA). ; 2016:417--427. doi:10.1145/2935764.2935783
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 3157
Beringer S, Wehrheim H. Verification of AUTOSAR Software Architectures with Timed Automata. In: H. ter Beek M, Gnesi S, Knapp A, eds. Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings. Lecture Notes in Computer Science. ; 2016:189--204. doi:10.1007/978-3-319-45943-1_13
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 138
Riebler H, Vaz GF, Plessl C, et al. Using Just-in-Time Code Generation for Transparent Resource Management in Heterogeneous Systems. In: Proceedings of International Forum on Research and Technologies for Society and Industry (RTSI). IEEE; 2016:1-5. doi:10.1109/RTSI.2016.7740545
LibreCat | Files available | DOI
 
2016 | Journal Article | LibreCat-ID: 145
Feldotto M, Graffi K. Systematic evaluation of peer-to-peer systems using PeerfactSim.KOM. Concurrency and Computation: Practice and Experience. 2016;28(5):1655-1677. doi:10.1002/cpe.3716
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 157
König J, Mäcker A, Meyer auf der Heide F, Riechers S. Scheduling with Interjob Communication on Parallel Processors. In: Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA). LNCS. ; 2016:563--577. doi:10.1007/978-3-319-48749-6_41
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 171
Kenter T, Vaz GF, Riebler H, Plessl C. Opportunities for deferring application partitioning and accelerator synthesis to runtime (extended abstract). In: Workshop on Reconfigurable Computing (WRC). ; 2016.
LibreCat | Files available
 
2016 | Conference Paper | LibreCat-ID: 176
Dollmann M, Geierhos M. On- and Off-Topic Classification and Semantic Annotation of User-Generated Software Requirements. In: Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing (EMNLP). Austin, TX, USA: Association for Computational Linguistics (ACL); 2016:1807-1816.
LibreCat | Files available | Download (ext.)
 
2016 | Conference Paper | LibreCat-ID: 227
Töws M, Wehrheim H. A CEGAR Scheme for Information Flow Analysis. In: Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016). LNCS. ; 2016:466--483. doi:10.1007/978-3-319-47846-3_29
LibreCat | Files available | DOI
 
2016 | Journal Article | LibreCat-ID: 190
Platenius MC, Shaker A, Becker M, Hüllermeier E, Schäfer W. Imprecise Matching of Requirements Specifications for Software Services using Fuzzy Logic. IEEE Transactions on Software Engineering (TSE), presented at ICSE 2017. 2016;(8):739-759. doi:10.1109/TSE.2016.2632115
LibreCat | Files available | DOI
 
2016 | Journal Article | LibreCat-ID: 222
Wiersema T, Bockhorn A, Platzner M. An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip. Computers & Electrical Engineering. 2016:112--122. doi:10.1016/j.compeleceng.2016.04.005
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 203
Brangewitz S, Hoof S. Economic Aspects of Service Composition: Price Negotiations and Quality Investments. In: Marco Aiello, Einar Broch Johnsen SD, Georgievski I, eds. Service-Oriented and Cloud Computing: 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings. Cham; 2016:201-215. doi:10.1007/978-3-319-44482-6_13
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 169
Kühne T, Hamann H, Arifulina S, Engels G. Patterns for Constructing Mutation Operators: Limiting the Search Space in a Software Engineering Application. In: Proceedings of the 19th European Conference on Genetic Programming (EuroGP 2016). LNCS 9594. ; 2016:278--293. doi:10.1007/978-3-319-30668-1_18
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 191
Geierhos M, Bäumer FS. How to Complete Customer Requirements: Using Concept Expansion for Requirement Refinement. In: Métais E, Meziane F, Saraee M, Sugumaran V, Vadera S, eds. Proceedings of the 21st International Conference on Applications of Natural Language to Information Systems (NLDB). Vol 9612. Lecture Notes in Computer Science. Cham, Switzerland: Springer; 2016:37-47. doi:10.1007/978-3-319-41754-7_4
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 209
Feldotto M, Leder L, Skopalik A. Congestion Games with Mixed Objectives. In: Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA). LNCS. ; 2016:655--669. doi:10.1007/978-3-319-48749-6_47
LibreCat | Files available | DOI | arXiv
 
2016 | Journal Article | LibreCat-ID: 211
Brangewitz S, Manegold J. Competition of Intermediaries in a Differentiated Duopoly. Theoretical Economics Letters. 2016;6(6):1341-1362. doi:10.4236/tel.2016.66124
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 216
von Rechenberg T, Gutt D. Challenge Accepted! - The Impcat of Goal Achievement on Subsequent User Effort and Implications of a Goal’s Difficulty. In: Proceedings of the Twenty Fourth Conference on Information Systems (ECIS), Istanbul. ; 2016.
LibreCat | Files available
 
2016 | Journal Article | LibreCat-ID: 139
Abshoff S, Kling P, Markarian C, Meyer auf der Heide F, Pietrzyk P. Towards the price of leasing online. Journal of Combinatorial Optimization. 2016;(4):1197--1216. doi:10.1007/s10878-015-9915-5
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 158
Bäumer FS, Geierhos M. Running out of Words: How Similar User Stories Can Help to Elaborate Individual Natural Language Requirement Descriptions. In: Dregvaite G, Damasevicius R, eds. Proceedings of the 22nd International Conference on Information and Software Technologies (ICIST). Vol 639. Communications in Computer and Information Science. Cham, Switzerland: Springer; 2016:549-558. doi:10.1007/978-3-319-46254-7_44
LibreCat | Files available | DOI
 
2016 | Journal Article | LibreCat-ID: 165
Vaz GF, Riebler H, Kenter T, Plessl C. Potential and Methods for Embedding Dynamic Offloading Decisions into Application Code. Computers and Electrical Engineering. 2016;55:91-111. doi:10.1016/j.compeleceng.2016.04.021
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 177
Abu-Khzam FN, Li S, Markarian C, Meyer auf der Heide F, Podlipyan P. On the Parameterized Parallel Complexity and the Vertex Cover Problem. In: Proceedings of the 10th International Conference on Combinatorial Optimization and Applications (COCOA). LNCS. ; 2016:477-488. doi:10.1007/978-3-319-48749-6_35
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 730
Peuster M, Karl H. Understand Your Chains: Towards Performance Profile-Based Network Service Management. In: Fifth European Workshop on Software-Defined Networks, EWSDN 2016, Den Haag, The Netherlands, October 10-11, 2016. ; 2016:7--12. doi:10.1109/EWSDN.2016.9
LibreCat | Files available | DOI | Download (ext.)
 
2016 | Journal Article | LibreCat-ID: 5762
Strothmann TF. The Impact of Communication Patterns on Distributed Self-Adjusting Binary Search Tree. Journal of Graph Algorithms and Applications. 2016;20(1):79-100. doi:10.7155/jgaa.00385
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 5205
Späth J, Nguyen Quang Do L, Ali K, Bodden E. Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java. In: European Conference on Object-Oriented Programming (ECOOP). ; 2016.
LibreCat | Files available | Download (ext.)
 
2016 | Conference Paper | LibreCat-ID: 184
Melnikov V, Hüllermeier E. Learning to Aggregate Using Uninorms. In: Proceedings of the Joint European Conference on Machine Learning and Knowledge Discovery in Databases (ECML/PKDD 2016). LNCS. ; 2016:756-771. doi:10.1007/978-3-319-46227-1_47
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 160
van Rooijen L, Hamann H. Requirements Specification-by-Example Using a Multi-Objective Evolutionary Algorithm. In: Proceedings of 24th IEEE International Requirements Engineering Conference (RE 2016). ; 2016:3--9. doi:10.1109/REW.2016.015
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 142
Scheideler C, Setzer A, Strothmann TF. Towards a Universal Approach for Monotonic Searchability in Self-stabilizing Overlay Networks. In: Proceedings of the 30th International Symposium on Distributed Computing (DISC). LNCS. ; 2016:71--84. doi:10.1007/978-3-662-53426-7_6
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 166
Dräxler S, Karl H. Placement of Services with Flexible Structures Specified by a YANG Data Model. In: Proceedings of the 2nd International IEEE Conference on Network Softwarization (NetSoft). ; 2016:184--192. doi:10.1109/NETSOFT.2016.7502412
LibreCat | Files available | DOI | Download (ext.)
 
2016 | Conference Paper | LibreCat-ID: 180
Gutt D, Kundisch D. Money Talks (Even) in the Sharing Economy: Empirical Evidence for Price Effects in Online Ratings as Quality Signals. In: Proceedings of the Thirty Seventh International Conference on Information Systems (ICIS), Dublin, Ireland. ; 2016.
LibreCat | Files available
 
2016 | Conference Paper | LibreCat-ID: 731
Peuster M, Karl H, Enrico Redondi A, Capone A. Demonstrating on-demand cell switching with a two-layer mobile network testbed. In: IEEE Conference on Computer Communications Workshops, INFOCOM Workshops 2016, San Francisco, CA, USA, April 10-14, 2016. ; 2016:1015--1016. doi:10.1109/INFCOMW.2016.7562232
LibreCat | Files available | DOI | Download (ext.)
 
2016 | Conference Abstract | LibreCat-ID: 205
Herrmann P, Gutt D, Rahman M. Crowd-Driven Competitive Intelligence: Understanding the Relationship between Local Market Structure and Online Rating Distributions. In: INFORMS Annual Meeting. ; 2016.
LibreCat | Files available
 
2016 | Journal Article | LibreCat-ID: 3318
Melnikov V, Hüllermeier E, Kaimann D, Frick B, Gupta Pritha . Pairwise versus Pointwise Ranking: A Case Study. Schedae Informaticae. 2016;25. doi:10.4467/20838476si.16.006.6187
LibreCat | Files available | DOI
 
2016 | Conference Abstract | LibreCat-ID: 135
Strotmeyer S, John T, Kundisch D. Vergleichende Betrachtung von Software-Werkzeugen zur Geschäftsmodellentwicklung. In: Multikonferenz Wirtschaftsinformatik (MKWI). ; 2016.
LibreCat | Files available
 
2016 | Journal Article | LibreCat-ID: 159
Harks T, Höfer M, Schewior K, Skopalik A. Routing Games With Progressive Filling. IEEE/ACM Transactions on Networking. 2016;(4):2553-2562. doi:10.1109/TNET.2015.2468571
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 217
Schwichtenberg S. Automatized Derivation of Comprehensive Specifications for Black-box Services. In: Proceedings of the 38th International Conference on Software Engineering Companion (ICSE). ; 2016:815-818. doi:10.1145/2889160.2889271
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 224
Krämer J, Wehrheim H. A short survey on using software error localization for service compositions. In: Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016). LNCS. ; 2016:248--262. doi:10.1007/978-3-319-44482-6_16
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 232
Monien B, Mavronicolas M, Wagner K. 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. LNCS. ; 2015:49-86. doi:10.1007/978-3-319-24024-4_6
LibreCat | Files available | DOI
 
2015 | Journal Article | LibreCat-ID: 244
Monien B, Mavronicolas M. The complexity of pure equilibria in mix-weighted congestion games on parallel links. Information Processing Letters. 2015;115(12):927-931. doi:10.1016/j.ipl.2015.07.012
LibreCat | Files available | DOI | Download (ext.)
 
2015 | Working Paper | LibreCat-ID: 249
Brangewitz S, Haake C-J, Möhlmeier P. Strategic Formation of Customer Relationship Networks. Vol 91. Universität Paderborn; 2015.
LibreCat | Files available
 
2015 | Journal Article | LibreCat-ID: 263
Hallmann C, Suhl L. Optimizing Water Tanks in Water Distribution Systems by combining Network Reduction, Mathematical Optimization and Hydraulic Simulation. OR Spectrum. 2015:1-19. doi:10.1007/s00291-015-0403-1
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 287
Wette P, Karl H. HybridTE: Traffic Engineering for Very Low-Cost Software-Defined Data-Center Networks. In: Proceedings of the 4th European Workshop on Software Defined Networks (EWSDN 2015). ; 2015:1--7. doi:10.1109/EWSDN.2015.57
LibreCat | Files available | DOI
 
2015 | Journal Article | LibreCat-ID: 3162
Ziegert S, Wehrheim H. Temporal plans for software architecture reconfiguration. Computer Science - R & D. 2015;(3-4):303--320. doi:10.1007/s00450-014-0259-7
LibreCat | Files available | DOI
 
2015 | Journal Article | LibreCat-ID: 4792
Senge R, Hüllermeier E. Fast Fuzzy Pattern Tree Learning for Classification. IEEE Transactions on Fuzzy Systems. 2015;23(6):2024-2033. doi:10.1109/tfuzz.2015.2396078
LibreCat | Files available | DOI
 
2015 | Journal Article | LibreCat-ID: 491
Buechel B, Röhl N. Robust Equilibria in Location Games. European Journal of Operational Research. 2015;240(2):505-517. doi:10.1016/j.ejor.2014.07.019
LibreCat | Files available | DOI
 
2015 | Conference Abstract | LibreCat-ID: 307
Herrmann P, Kundisch D, Zimmermann S, Nault B. Different Sources of the Variance of Online Consumer Ratings and their Impact on Price and Demand. In: INFORMS Conference on Information Systems and Technology (CIST). ; 2015.
LibreCat | Files available
 
2015 | Conference Paper | LibreCat-ID: 5207
Li L, Bartel A, Bissyande TF, et al. IccTA: Detecting Inter-Component Privacy Leaks in Android Apps. In: 2015 International Conference on Software Engineering (ICSE). ; 2015:280-291.
LibreCat | Files available | Download (ext.)
 
2015 | Report | LibreCat-ID: 314
Brangewitz S, Manegold J. Competition and Product Innovation of Intermediaries in a Differentiated Duopoly. Universität Paderborn; 2015.
LibreCat | Files available
 
2015 | Conference Paper | LibreCat-ID: 275
Cord-Landwehr A, Lenzner P. Network Creation Games: Think Global - Act Local. In: Proceedings of the 40th Conference on Mathematical Foundations of Computer Science (MFCS). LNCS. ; 2015:248--260. doi:10.1007/978-3-662-48054-0_21
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 319
Mohr F, Jungmann A, Kleine Büning H. Automated Online Service Composition. In: Proceedings of the 12th IEEE International Conference on Services Computing (SCC). ; 2015:57--64. doi:10.1109/SCC.2015.18
LibreCat | Files available | DOI
 
2015 | Report | LibreCat-ID: 233
Blömer J, Kohn K. Voronoi Cells of Lattices with Respect to Arbitrary Norms. Universität Paderborn; 2015.
LibreCat | Files available | Download (ext.)
 
2015 | Conference Paper | LibreCat-ID: 238
Damschen M, Riebler H, Vaz GF, Plessl C. Transparent offloading of computational hotspots from binary code to Xeon Phi. In: Proceedings of the 2015 Conference on Design, Automation and Test in Europe (DATE). EDA Consortium / IEEE; 2015:1078-1083. doi:10.7873/DATE.2015.1124
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 240
Li S, Mäcker A, Markarian C, Meyer auf der Heide F, Riechers S. Towards Flexible Demands in Online Leasing Problems. In: Proceedings of the 21st Annual International Computing and Combinatorics Conference (COCOON). Lecture Notes in Computer Science. ; 2015:277--288. doi:10.1007/978-3-319-21398-9_22
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 245
Becker M, Lehrig S, Becker S. Systematically Deriving Quality Metrics for Cloud Computing Systems. In: Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering. ICPE ’15. New York, NY, USA; 2015:169--174. doi:10.1145/2668930.2688043
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 271
Drees M, Feldotto M, Riechers S, Skopalik A. On Existence and Properties of Approximate Pure Nash Equilibria in Bandwidth Allocation Games. In: Proceedings of the 8th International Symposium on Algorithmic Game Theory (SAGT). Lecture Notes in Computer Science. ; 2015:178-189. doi:10.1007/978-3-662-48433-3_14
LibreCat | Files available | DOI | arXiv
 
2015 | Conference Paper | LibreCat-ID: 303
Damschen M, Plessl C. Easy-to-Use On-The-Fly Binary Program Acceleration on Many-Cores. In: Proceedings of the 5th International Workshop on Adaptive Self-Tuning Computing Systems (ADAPT). ; 2015.
LibreCat | Files available
 
2015 | Conference Paper | LibreCat-ID: 315
Jungmann A, Jatzkowski J, Kleinjohann B. Combining Service-oriented Computing with Embedded Systems - A Robotics Case Study. In: Proceedings of the 5th IFIP International Embedded Systems Symposium. ; 2015.
LibreCat | Files available
 
2015 | Conference Paper | LibreCat-ID: 322
Blömer J, Juhnke J, Kolb C. Anonymous and Publicly Linkable Reputation Systems. In: Proceedings of the 18th International Conference on Financial Cryptography and Data Security (FC). LNCS. ; 2015:478--488. doi:10.1007/978-3-662-47854-7_29
LibreCat | Files available | DOI | Download (ext.)
 
2015 | Journal Article | LibreCat-ID: 327
Kniesburges S, Koutsopoulos A, Scheideler C. A deterministic worst-case message complexity optimal solution for resource discovery. Theoretical Computer Science. 2015:67-79. doi:10.1016/j.tcs.2014.11.027
LibreCat | Files available | DOI
 
2015 | Journal Article | LibreCat-ID: 288
Cox J, Kaimann D. How do reviews from professional critics interact with other signals of product quality? Evidence from the video game industry. Journal of Consumer Behaviour. 2015;(6):366-377. doi:10.1002/cb.1553
LibreCat | Files available | DOI
 
2015 | Journal Article | LibreCat-ID: 290
Besova G, Steenken D, Wehrheim H. Grammar-based model transformations: Definition, execution, and quality properties. Computer Languages, Systems & Structures. 2015:116-138. doi:10.1016/j.cl.2015.05.003
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 283
Czech M, Jakobs M-C, Wehrheim H. Just test what you cannot verify! In: Egyed A, Schaefer I, eds. Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science. ; 2015:100-114. doi:10.1007/978-3-662-46675-9_7
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 269
Wiersema T, Wu S, Platzner M. On-The-Fly Verification of Reconfigurable Image Processing Modules based on a Proof-Carrying Hardware Approach. In: Proceedings of the International Symposium in Reconfigurable Computing (ARC). LNCS. ; 2015:365--372. doi:10.1007/978-3-319-16214-0_32
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 241
Scheideler C, Setzer A, Strothmann TF. Towards Establishing Monotonic Searchability in Self-Stabilizing Data Structures. In: Proceedings of the 19th International Conference on Principles of Distributed Systems (OPODIS). Leibniz International Proceedings in Informatics (LIPIcs). ; 2015. doi:10.4230/LIPIcs.OPODIS.2015.24
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 253
Blömer J, Juhnke J, Löken N. Short Group Signatures with Distributed Traceability. In: Proceedings of the Sixth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS). LNCS. ; 2015:166-180. doi:10.1007/978-3-319-32859-1_14
LibreCat | Files available | DOI
 
2015 | Journal Article | LibreCat-ID: 260
Brosig F, Meier P, Becker S, Koziolek A, Koziolek H, Kounev S. Quantitative Evaluation of Model-Driven Performance Analysis and Simulation of Component-based Architectures. Transactions on Software Engineering. 2015;(2):157--175. doi:10.1109/TSE.2014.2362755
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 272
Jungmann A. On Adaptivity for Automated Composition of Service Functionality. In: Proceedings of the IEEE 11th World Congress on Services (SERVICES). ; 2015:329--332. doi:10.1109/SERVICES.2015.57
LibreCat | Files available | DOI
 
2015 | Journal Article | LibreCat-ID: 284
Eikel M, Scheideler C. IRIS: A Robust Information System Against Insider DoS Attacks. Transactions on Parallel Computing. 2015;(3):18:1--18:33. doi:10.1145/2809806
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 289
Herrmann P, Kundisch D, Zimmermann S, Nault B. How do Different Sources of the Variance of Consumer Ratings Matter? In: Proceedings of the Thirty Sixth International Conference on Information Systems (ICIS), Fort Worth. ; 2015.
LibreCat | Files available
 
2015 | Journal Article | LibreCat-ID: 296
Kenter T, Schmitz H, Plessl C. Exploring Tradeoffs between Specialized Kernels and a Reusable Overlay in a Stereo-Matching Case Study. International Journal of Reconfigurable Computing (IJRC). 2015;2015. doi:10.1155/2015/859425
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 986
Peuster M, Karl H. An Architecture for Energy-aware On-demand Mobile Network Management. In: Proceedings of the 5th Workshop on All Things Cellular: Operations, Applications and Challenges. ; 2015.
LibreCat | Files available | Download (ext.)
 
2015 | Journal Article | LibreCat-ID: 323
Jungmann A, Mohr F. An approach towards adaptive service composition in markets of composed services. Journal of Internet Services and Applications. 2015;(1):1-18. doi:10.1186/s13174-015-0022-8
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 239
Heindorf S, Potthast M, Stein B, Engels G. 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). ; 2015:831--834. doi:10.1145/2766462.2767804
LibreCat | Files available | DOI
 
2015 | Journal Article | LibreCat-ID: 3343
Bubeck U, Kleine Büning H. Learning Boolean Specifications. Artificial Intelligence. 2015:246-257. doi:10.1016/j.artint.2015.09.003
LibreCat | Files available | DOI
 
2015 | Journal Article | LibreCat-ID: 398
Monien B, Mavronicolas M. Minimizing Expectation Plus Variance. Theory of Computing Systems. 2015;57(3):617-654. doi:10.1007/s00224-014-9542-z
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 230
John T, Kundisch D. Why Fit Leads to Surprise: An Extension of Cognitive Fit Theory to Creative Problems. In: Proceedings of the Thirty Sixth International Conference on Information Systems (ICIS), Fort Worth, USA. ; 2015.
LibreCat | Files available
 
2015 | Conference Paper | LibreCat-ID: 242
Koutsopoulos A, Scheideler C, Strothmann TF. Towards a Universal Approach for the Finite Departure Problem in Overlay Networks. In: Proceedings of the 17th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS). Lecture Notes in Computer Science. ; 2015:201-216. doi:10.1007/978-3-319-21741-3_14
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 247
Schwabe A, Karl H. SynRace: Decentralized Load-Adaptive Multi-path Routing without Collecting Statistics. In: Proceedings of the 4th European Workshop on Software Defined Networks (EWSDN 2015). ; 2015:37-42. doi:10.1109/EWSDN.2015.58
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 254
Gutt D, Herrmann P. Sharing Means Caring? Hosts’ Price Reactions to Rating Visibility. In: Proceedings of the Twenty Third European Conference on Information Systems (ECIS), Münster. ; 2015.
LibreCat | Files available
 
2015 | Conference Paper | LibreCat-ID: 266
Markarian C, Meyer auf der Heide F. Online Resource Leasing. In: Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing (PODC). ; 2015:343-344. doi:10.1145/2767386.2767454
LibreCat | Files available | DOI
 
2015 | Journal Article | LibreCat-ID: 1772
Torresen J, Plessl C, Yao X. Self-Aware and Self-Expressive Systems – Guest Editor’s Introduction. IEEE Computer. 2015;48(7):18-20. doi:10.1109/MC.2015.205
LibreCat | Files available | DOI
 
2015 | Conference Abstract | LibreCat-ID: 259
Gutt D, Kundisch D. Rating Aggregation in Multi-Dimensional Rating Systems: How Do Reviewers Form Overall Ratings? In: INFORMS Annual Meeting. ; 2015.
LibreCat | Files available
 
2015 | Journal Article | LibreCat-ID: 228
Fahr R, Mir Djawadi B. “…and they are really lying”: Clean Evidence on the Pervasiveness of Cheating in Professional Contexts from a Field Experiment. Journal of Economic Psychology. 2015:48-59. doi:10.1016/j.joep.2015.03.002
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 324
Mohr F. A Metric for Functional Reusability of Services. In: Proceedings of the 14th International Conference on Software Reuse (ICSR). LNCS. ; 2015:298--313. doi:10.1007/978-3-319-14130-5_21
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 280
Arifulina S, Platenius MC, Mohr F, Engels G, Schäfer W. Market-Specific Service Compositions: Specification and Matching. In: Proceedings of the IEEE 11th World Congress on Services (SERVICES), Visionary Track: Service Composition for the Future Internet. ; 2015:333--340. doi:10.1109/SERVICES.2015.58
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 285
Isenberg T. Incremental Inductive Verification of Parameterized Timed Systems. In: Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD). ; 2015:1-9. doi:10.1109/ACSD.2015.13
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 231
Geierhos M, Schulze S, Bäumer FS. What did you mean? Facing the Challenges of User-generated Software Requirements. In: Loiseau S, Filipe J, Duval B, van den Herik J, eds. Proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART), Special Session on Partiality, Underspecification, and Natural Language Processing (PUaNLP 2015). Setúbal, Portugal: SciTePress - Science and Technology Publications; 2015:277-283. doi:10.5220/0005346002770283
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 243
Strothmann TF. The impact of communication patterns on distributed locally self-adjusting binary search trees. In: Proceedings of the 9th International Workshop on Algorithms and Computation (WALCOM). LNCS. ; 2015:175--186. doi:10.1007/978-3-319-15612-5_16
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 274
Mäcker A, Malatyali M, Meyer auf der Heide F, Riechers S. Non-preemptive Scheduling on Machines with Setup Times. In: Dehne F, Sack JR, Stege U, eds. Algorithms and Data Structures: 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings. Lecture Notes in Computer Science. ; 2015:542--553. doi:10.1007/978-3-319-21840-3_45
LibreCat | Files available | DOI
 
2015 | Book Chapter | LibreCat-ID: 293
Geierhos M, Bäumer FS, Schulze S, Stuß V. Filtering Reviews by Random Individual Error. In: Ali M, Kwon YS, Lee C-H, Kim J, Kim Y, eds. Proceedings of the 28th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE 2015). Vol 9101. Lecture Notes in Artificial Intelligence. Cham, Switzerland: Springer; 2015:305-315. doi:10.1007/978-3-319-19066-2_30
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 743
Schwabe A, Karl H. Topology model to generate realistic latency for simulations. In: 2015 IEEE International Conference on Communications, ICC 2015, London, United Kingdom, June 8-12, 2015. ; 2015:6122--6127. doi:10.1109/ICC.2015.7249298
LibreCat | Files available | DOI
 
2015 | Conference Abstract | LibreCat-ID: 248
John T. Supporting Business Model Idea Generation Through Machine-generated Ideas - Towards a Design Theory. In: AIS SIGPRAG Pre-ICIS Workshop: Practice-Based Design and Innovation of Digital Artifacts. ; 2015.
LibreCat | Files available | Download (ext.)
 
2015 | Journal Article | LibreCat-ID: 320
Caragiannis I, Fanelli A, Gravin N, Skopalik A. Approximate Pure Nash Equilibria in Weighted Congestion Games: Existence, Efficient Computation, and Structure. Transactions on Economics and Computation. 2015;3(1). doi:10.1145/2614687
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 279
Platenius MC, Arifulina S, Schäfer W. 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). ; 2015:75-84. doi:10.1145/2737166.2737174
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 313
Börding P, Bruns M, Platenius MC. Comprehensive Service Matching with MatchBox. In: 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE’15). ; 2015:974--977. doi:10.1145/2786805.2803181
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 262
Jakobs M-C, Wehrheim H. Programs from Proofs of Predicated Dataflow Analyses. In: Proceedings of the 30th Annual ACM Symposium on Applied Computing. SAC ’15. ; 2015:1729-1736. doi:10.1145/2695664.2695690
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 250
Jakobs M-C. Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning. In: Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM). LNCS. ; 2015:159--174. doi:10.1007/978-3-319-22969-0_12
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 345
Jungmann A, Kleinjohann B. Towards Context-Sensitive Service Composition for Service-Oriented Image Processing. In: Proceedings of the 6th International Conference on Cloud Computing Technology and Science (CloudCom). ; 2014:755-758. doi:10.1109/CloudCom.2014.154
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 371
Scheideler C, Setzer A, Eikel M. RoBuSt: A Crash-Failure-Resistant Distributed Storage System. In: Proceedings of the 18th International Conference on Principles of Distributed Systems (OPODIS). LNCS. ; 2014:107--122. doi:10.1007/978-3-319-14472-6_8
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 388
Kenter T, Vaz GF, Plessl C. Partitioning and Vectorizing Binary Applications for a Reconfigurable Vector Computer. In: Proceedings of the International Symposium on Reconfigurable Computing: Architectures, Tools, and Applications (ARC). Vol 8405. Lecture Notes in Computer Science (LNCS). Cham: Springer International Publishing; 2014:144-155. doi:10.1007/978-3-319-05960-0_13
LibreCat | Files available | DOI
 
2014 | Journal Article | LibreCat-ID: 410
Jungmann A, Brangewitz S, Petrlic R, Platenius MC. Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services. International Journal On Advances in Intelligent Systems (IntSys). 2014;7(3&4):572--594.
LibreCat | Files available | Download (ext.)
 
2014 | Conference Paper | LibreCat-ID: 439
Vaz GF, Riebler H, Kenter T, Plessl C. Deferring Accelerator Offloading Decisions to Application Runtime. In: Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig). IEEE; 2014:1-8. doi:10.1109/ReConFig.2014.7032509
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 441
Sorge C, Petrlic R. Datenschutz im Future Internet: rechtliche Aspekte und technische Maßnahmen. In: Tagungsband Des 17. Internationalen Rechtsinformatik Symposions. ; 2014.
LibreCat | Files available
 
2014 | Conference Paper | LibreCat-ID: 446
Ogierman A, Richa AW, Scheideler C, Schmid S, Zhang J. Competitive MAC under adversarial SINR. In: Proceedings of the 33rd Annual IEEE International Conference on Computer Communications (INFOCOM). ; 2014:2751--2759. doi:10.1109/INFOCOM.2014.6848224
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 453
Feldotto M, Gairing M, Skopalik A. 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). LNCS. ; 2014:30-43. doi:10.1007/978-3-319-13129-0_3
LibreCat | Files available | DOI
 
2014 | Report | LibreCat-ID: 465
Stapel F, Suhl L. A MINLP Approach for Planning the Renewal of Pipes in Drinking Water Networks. Universität Paderborn; 2014.
LibreCat | Files available
 
2014 | Journal Article | LibreCat-ID: 390
Huma Z, Gerth C, Engels G. On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains. Computer Science - Research and Development. 2014;(3-4):333-361. doi:10.1007/s00450-014-0254-z
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: 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: 364
Arifulina S, Becker M, Platenius MC, Walther S. SeSAME: Modeling and Analyzing High-Quality Service Compositions. In: Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014). ; 2014:839-842. doi:10.1145/2642937.2648621
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 383
Wonisch D, Schremmer A, Wehrheim H. Programs from Proofs -- Approach and Applications. In: Proceedings of the Software Engineering Conference (SE). Lecture Notes in Informatics (LNI). ; 2014:67-68.
LibreCat | Files available | Download (ext.)
 
2014 | Conference Paper | LibreCat-ID: 339
Wette P, Karl H. Using Application Layer Knowledge in Routing and Wavelength Assignment Algorithms. In: Proceedings of the IEEE International Conference on Communications 2014. ; 2014:3270-3276. doi:10.1109/ICC.2014.6883825
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 360
Dräxler S, Keller M, Karl H. Specifying and Placing Chains of Virtual Network Functions. In: Proceedings of the 3rd International Conference on Cloud Networking (CloudNet). ; 2014:7-13. doi:10.1109/CloudNet.2014.6968961
LibreCat | Files available | DOI
 
2014 | Journal Article | LibreCat-ID: 365
Agne A, Happe M, Lösch A, Plessl C, Platzner M. Self-awareness as a Model for Designing and Operating Heterogeneous Multicores. ACM Transactions on Reconfigurable Technology and Systems (TRETS). 2014;7(2). doi:10.1145/2617596
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 372
Keller M, Karl H. Response Time-Optimized Distributed Cloud Resource Allocation. In: Proceedings of the SIGCOMM Workshop on Distributed Cloud Computing. ; 2014:47--52. doi:10.1145/2627566.2627570
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 377
Riebler H, Kenter T, Plessl C, Sorge C. Reconstructing AES Key Schedules from Decayed Memory with FPGAs. In: Proceedings of Field-Programmable Custom Computing Machines (FCCM). IEEE; 2014:222-229. doi:10.1109/FCCM.2014.67
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 384
Petrlic R, Lutters S, Sorge C. Privacy-Preserving Reputation Management. In: Proceedings of the 29th Symposium On Applied Computing (SAC). ; 2014:1712-1718. doi:10.1145/2554850.2554881
LibreCat | Files available | DOI
 
2014 | Report | LibreCat-ID: 389
Stapel F, Suhl L. Ontology-Based Representation of Optimization Models. Universität Paderborn; 2014.
LibreCat | Files available
 
2014 | Preprint | LibreCat-ID: 442
Blömer J, Liske G. Constructing CCA-secure predicate encapsulation schemes from CPA-secure schemes and universal one-way hash functions. 2014.
LibreCat | Files available | Download (ext.)
 
2014 | Conference Paper | LibreCat-ID: 459
Kniesburges S, Markarian C, Meyer auf der Heide F, Scheideler C. Algorithmic Aspects of Resource Management in the Cloud. In: Proceedings of the 21st International Colloquium on Structural Information and Communication Complexity (SIROCCO). LNCS. ; 2014:1-13. doi:10.1007/978-3-319-09620-9_1
LibreCat | Files available | DOI
 
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 | 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: 346
Brangewitz S, Jungmann A, Petrlic R, Platenius MC. 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). ; 2014:49-57.
LibreCat | Files available
 
2014 | Conference Paper | LibreCat-ID: 447
Jungmann A, Mohr F, Kleinjohann B. Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services. In: Proceedings of the 10th World Congress on Services (SERVICES). ; 2014:346-353. doi:10.1109/SERVICES.2014.68
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: 353
Mohr F, Walther S. Template-based Generation of Semantic Services. In: Proceedings of the 14th International Conference on Software Reuse (ICSR). LNCS. ; 2014:188-203. doi:10.1007/978-3-319-14130-5_14
LibreCat | Files available | DOI
 
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 | Book Chapter | LibreCat-ID: 335
Platzner M, Plessl C. Verschiebungen an der Grenze zwischen Hardware und Software. In: Künsemöller J, Eke NO, Foit L, Kaerlein T, eds. Logiken strukturbildender Prozesse: Automatismen. Schriftenreihe des Graduiertenkollegs “Automatismen.” Paderborn: Wilhelm Fink; 2014:123-144.
LibreCat | Files available
 
2014 | Conference Paper | LibreCat-ID: 354
Keller M, Robbert C, Karl H. Template Embedding: Using Application Architecture to Allocate Resources in Distributed Clouds. In: Proceedings of 7th International Conference on Utility and Cloud Computing (UCC). ; 2014:387--395. doi:10.1109/UCC.2014.49
LibreCat | Files available | DOI
 
2014 | Journal Article | LibreCat-ID: 378
Kniesburges S, Koutsopoulos A, Scheideler C. Re-Chord: A Self-stabilizing Chord Overlay Network. Theory of Computing Systems. 2014;(3):591-612. doi:10.1007/s00224-012-9431-2
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 380
Cord-Landwehr A, Mäcker A, Meyer auf der Heide F. Quality of Service in Network Creation Games. In: Proceedings of the 10th International Conference on Web and Internet Economics (WINE). ; 2014:423-428. doi:10.1007/978-3-319-13129-0_34
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: 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 | Journal Article | LibreCat-ID: 2522
Brangewitz S, Gamp J-P. Competitive outcomes and the inner core of NTU market games. Economic Theory. 2014;57(3):529-554. doi:10.1007/s00199-014-0846-7
LibreCat | Files available | DOI
 
2014 | Journal Article | LibreCat-ID: 328
Agne A, Happe M, Keller A, et al. ReconOS - An Operating System Approach for Reconfigurable Computing. IEEE Micro. 2014;34(1):60-71. doi:10.1109/MM.2013.110
LibreCat | Files available | DOI
 
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 | 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: 479
Sorge C. The Legal Classification of Identity-Based Signatures. Computer Law & Security Review. 2014;30(2):126-136. doi:10.1016/j.clsr.2014.01.002
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 | Report | LibreCat-ID: 443
Mauleon A, Röhl N, Vannetelbosch V. Constitutions and Social Networks. Universität Paderborn; 2014.
LibreCat | Files available
 
2014 | Conference Paper | LibreCat-ID: 347
Meisner S, Platzner M. Thread Shadowing: Using Dynamic Redundancy on Hybrid Multi-cores for Error Detection. In: Goehringer D, Santambrogio M, Cardoso JP, Bertels K, eds. Proceedings of the 10th International Symposium on Reconfigurable Computing: Architectures, Tools, and Applications. Lecture Notes in Computer Science. ; 2014:283-290. doi:10.1007/978-3-319-05960-0_30
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 455
Hansknecht C, Klimm M, Skopalik A. Approximate pure Nash equilibria in weighted congestion games. In: Proceedings of the 17th. International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (APPROX). LIPIcs. ; 2014:242-257. doi:10.4230/LIPIcs.APPROX-RANDOM.2014.242
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 450
Jakobs M-C, Wehrheim H. Certification for Configurable Program Analysis. In: Proceedings of the 21st International Symposium on Model Checking of Software (SPIN). SPIN 2014. ; 2014:30-39. doi:10.1145/2632362.2632372
LibreCat | Files available | DOI
 
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 | Conference Paper | LibreCat-ID: 366
Petrlic R, Jungmann A, Platenius MC, Schäfer W, Sorge C. Security and Privacy Challenges in On-The-Fly Computing. In: Tagungsband Der 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014). ; 2014:131-142.
LibreCat | Files available
 
2014 | Conference Paper | LibreCat-ID: 329
Wette P, Dräxler M, Schwabe A, Wallaschek F, Zahraee MH, Karl H. MaxiNet: Distributed Emulation of Software-Defined Networks. In: Proceedings of the 2014 IFIP Networking Conference (Networking 2014). ; 2014:1-9. doi:10.1109/IFIPNetworking.2014.6857078
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 355
Blömer J, Günther P, Liske G. Tampering attacks in pairing-based cryptography. In: Proceedings of Fault Tolerance and Diagnosis in Cryptography(FDTC). ; 2014:1--7. doi:10.1109/FDTC.2014.10
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 374
Wold A, Agne A, Torresen J. Relocatable Hardware Threads in Run-Time Reconfigurable Systems. In: Goehringer D, Santambrogio M, Cardoso JP, Bertels K, eds. Proceedings of the 10th International Symposium on Reconfigurable Computing: Architectures, Tools, and Applications. LNCS. ; 2014:61-72. doi:10.1007/978-3-319-05960-0_6
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 379
Abshoff S, Markarian C, Meyer auf der Heide F. Randomized Online Algorithms for Set Cover Leasing Problems. In: Proceedings of the 8th Annual International Conference on Combinatorial Optimization and Applications (COCOA). LNCS. ; 2014:25-34. doi:10.1007/978-3-319-12691-3_3
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 386
Petrlic R, Sorge C. 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). ; 2014:1-5. doi:10.1109/NTMS.2014.6814044
LibreCat | Files available | DOI
 
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: 406
Kenter T, Schmitz H, Plessl C. Kernel-Centric Acceleration of High Accuracy Stereo-Matching. In: Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig). IEEE; 2014:1-8. doi:10.1109/ReConFig.2014.7032535
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 425
Jungmann A, Jatzkowski J, Kleinjohann B. Evaluation of Color Spaces for Robust Image Segmentation. In: Proceedings of the 9th International Conference on Computer Vision Theory and Applications (VISAPP). ; 2014:648-655.
LibreCat | Files available
 
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: 444
Mir Djawadi B, Fahr R, Turk F. Conceptual Model and Economic Experiments to Explain Nonpersistence and Enable Mechanism Designs Fosterin Behavioral Change. Value in Health. 2014;(8):814-822. doi:10.1016/j.jval.2014.08.2669
LibreCat | Files available | DOI
 
2014 | Report | LibreCat-ID: 350
Kaimann D, Cox J. The Interaction of Signals: A Fuzzy Set Analysis of the Video Game Industry. Universität Paderborn; 2014.
LibreCat | Files available
 
2014 | Conference Paper | LibreCat-ID: 336
Walther S, Wehrheim H. Verified Service Compositions by Template-Based Construction. In: Lanese I, Madelaine E, eds. Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS). LNCS. ; 2014:31-48. doi:10.1007/978-3-319-15317-9_3
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: 451
Drees M, Riechers S, Skopalik A. Budget-restricted utility games with ordered strategic decisions. In: Lavi R, ed. Proceedings of the 7th International Symposium on Algorithmic Game Theory (SAGT). Lecture Notes in Computer Science. ; 2014:110-121. doi:10.1007/978-3-662-44803-8_10
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 367
Janiuk J, Mäcker A, Graffi K. Secure Distributed Data Structures for Peer-to-Peer-based Social Networks. In: Proceedings of the International Conference on Collaboration Technologies and Systems (CTS). ; 2014:396-405. doi:10.1109/CTS.2014.6867595
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 449
Becker M, Platenius MC, Becker S. Cloud Computing Reduces Uncertainties in Quality-of-Service Matching! In: Proceedings of the 2nd International Workshop on Cloud Service Brokerage (CSB). Communications in Computer and Information Science. ; 2014:153-159. doi:10.1007/978-3-319-14886-1_15
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 456
Gairing M, Kotsialou G, Skopalik A. Approximate pure Nash equilibria in Social Context Congestion Games. In: Proceedings of the 10th International Conference on Web and Internet Economics (WINE). LNCS. ; 2014:480-485. doi:10.1007/978-3-319-13129-0_43
LibreCat | Files available | DOI
 
2014 | Report | LibreCat-ID: 349
Sorge C. The Legal Classification of Identity-Based Signatures.; 2014.
LibreCat | Files available
 
2014 | Journal Article | LibreCat-ID: 356
Blazovics L, Lukovszki T, Forstner B. Surrounding robots -- A discrete localized solution for the intruder problem. Journal of Advanced Computational Intelligence and Intelligent Informatics. 2014;(3):315--319. doi:10.20965/jaciii.2014.p0315
LibreCat | Files available | DOI
 
2014 | Journal Article | LibreCat-ID: 363
Agne A, Hangmann H, Happe M, Platzner M, Plessl C. Seven Recipes for Setting Your FPGA on Fire – A Cookbook on Heat Generators. Microprocessors and Microsystems. 2014;38(8, Part B):911-919. doi:10.1016/j.micpro.2013.12.001
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 368
Brinkmann A, Kling P, Meyer auf der Heide F, Nagel L, Riechers S, Süss T. Scheduling Shared Continuous Resources on Many-Cores. In: Proceedings of the 26th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA). ; 2014:128-137. doi:10.1145/2612669.2612698
LibreCat | Files available | DOI
 
2014 | Journal Article | LibreCat-ID: 375
von Detten M, Platenius MC, Becker S. Reengineering Component-Based Software Systems with Archimetrix. Journal of Software and Systems Modeling. 2014;(4):1239--1268. doi:10.1007/s10270-013-0341-9
LibreCat | Files available | DOI
 
2014 | Journal Article | LibreCat-ID: 387
Awerbuch B, Richa AW, Scheideler C, Schmid S, Zhang J. Principles of Robust Medium Access and an Application to Leader Election. Transactions on Algorithms. 2014;(4). doi:10.1145/2635818
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 407
Mohr F. Issues of Automated Software Composition in AI Planning. In: Proceedings of the 29th International Conference on Automated Software Engineering (ASE). ; 2014:895--898. doi:10.1145/2642937.2653470
LibreCat | Files available | 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 | 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: 445
Brangewitz S, Gamp J-P. Competitive outcomes and the inner core of NTU market games. Economic Theory. 2014;(3):529-554. doi:10.1007/s00199-014-0846-7
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 452
Abshoff S, Cord-Landwehr A, Jung D, Skopalik A. Brief Announcement: A Model for Multilevel Network Games. In: Lavi R, ed. Proceedings of the 7th International Symposium on Algorithmic Game Theory (SAGT). LNCS. ; 2014:294.
LibreCat | Files available
 
2014 | Conference Paper | LibreCat-ID: 457
Jungmann A, Mohr F, Kleinjohann B. Applying Reinforcement Learning for Resolving Ambiguity in Service Composition. In: Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA). ; 2014:105-112. doi:10.1109/SOCA.2014.48
LibreCat | Files available | DOI
 
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: 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: 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: 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: 370
Harks T, Höfer M, Schewior K, Skopalik A. Routing Games with Progressive Filling. In: Proceedings of the 33rd Annual IEEE International Conference on Computer Communications (INFOCOM’14). ; 2014:352-360. doi:10.1109/TNET.2015.2468571
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 382
Künsemöller J, Brangewitz S, Karl H, Haake C-J. Provider Competition in Infrastructure-as-a-Service. In: Proceedings of the 2014 IEEE International Conference on Services Computing (SCC). ; 2014:203-210. doi:10.1109/SCC.2014.35
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 344
Becker M, Becker S, Besova G, Walther S, Wehrheim H. Towards Systematic Configuration for Architecture Validation. In: Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (Work in Progress Session). ; 2014.
LibreCat | Files available
 
2013 | Journal Article | LibreCat-ID: 561
Petrlic R, Sekula S, Sorge C. A privacy-friendly Architecture for future Cloud Computing. International Journal of Grid and Utility Computing. 2013;(4):265-277. doi:10.1504/IJGUC.2013.057120
LibreCat | Files available | DOI | Download (ext.)
 
2013 | Conference Paper | LibreCat-ID: 477
Abshoff S, Benter M, Cord-Landwehr A, Malatyali M, Meyer auf der Heide F. 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. Lecture Notes in Computer Science. ; 2013:22-34. doi:10.1007/978-3-642-45346-5_3
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 496
Benter M, Neumann F, Frey H. Reactive Planar Spanner Construction in Wireless Ad Hoc and Sensor Networks. In: Proceedings of the 32nd IEEE International Conference on Computer Communications (INFOCOM). ; 2013:2193-2201. doi:10.1109/INFCOM.2013.6567022
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 509
Autenrieth M, Frey H. On Greedy Routing in Degree-bounded Graphs over d-Dimensional Internet Coordinate Embeddings. In: Proceedings of the Conference on Networked Systems (NetSys). ; 2013:126-131. doi:10.1109/NetSys.2013.10
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 516
Jungmann A, Kleinjohann B. Learning Recommendation System for Automated Service Composition. In: Proceedings of the 10th IEEE International Conference on Services Computing (SCC). ; 2013:97-104. doi:10.1109/SCC.2013.66
LibreCat | Files available | DOI
 
2013 | Journal Article | LibreCat-ID: 523
Mavronicolas M, Monien B, Papadopoulou Lesta V. How many attackers can selfish defenders catch? Discrete Applied Mathematics. 2013;161(16-17):2563-2586. doi:10.1016/j.dam.2013.05.022
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 528
Riebler H, Kenter T, Sorge C, Plessl C. FPGA-accelerated Key Search for Cold-Boot Attacks against AES. In: Proceedings of the International Conference on Field-Programmable Technology (FPT). IEEE; 2013:386-389. doi:10.1109/FPT.2013.6718394
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 542
Kniesburges S, Koutsopoulos A, Scheideler C. CONE-DHT: A distributed self-stabilizing algorithm for a heterogeneous storage system. In: Proceedings of the 27th International Symposium on Distributed Computing (DISC). LNCS. ; 2013:537-549. doi:10.1007/978-3-642-41527-2_37
LibreCat | Files available | DOI
 
2013 | Journal Article | LibreCat-ID: 554
Brangewitz S, Gamp J-P. Asymmetric Nash bargaining solutions and competitive payoffs. Economics Letters. 2013;(2):224-227. doi:10.1016/j.econlet.2013.08.013
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 484
Platenius MC, von Detten M, Gerth C, Schäfer W, Engels G. Service Matching under Consideration of Explicitly Specified Service Variants. In: IEEE 20th International Conference on Web Services (ICWS 2013). ; 2013:613-614. doi:10.1109/ICWS.2013.98
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 559
Wette P, Graffi K. Adding Capacity-Aware Storage Indirection to Homogeneous Distributed Hash Tables. In: Proceedings of the Conference on Networked Systems (NetSys). ; 2013:35-42. doi:10.1109/NetSys.2013.9
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 473
Petrlic R, Sekula S. Unlinkable content playbacks in a multiparty DRM system. In: Wang L, Shafiq B, eds. Data and Applications Security and Privacy XXVII. Lecture Notes in Computer Science. ; 2013:289-296. doi:10.1007/978-3-642-39256-6_21
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 505
Happe M, Kling P, Plessl C, Platzner M, Meyer auf der Heide F. On-The-Fly Computing: A Novel Paradigm for Individualized IT Services. In: Proceedings of the 9th IEEE Workshop on Software Technology for Future Embedded and Ubiquitous Systems (SEUS). IEEE; 2013. doi:10.1109/ISORC.2013.6913232
LibreCat | Files available | DOI
 
2013 | Preprint | LibreCat-ID: 524
Meyer auf der Heide F, Swirkot K. Hierarchies in Local Distributed Decision. 2013.
LibreCat | Files available
 
2013 | Conference Paper | LibreCat-ID: 529
Heinzemann C, Becker S. Executing Reconfigurations in Hierarchical Component Architectures. In: Proceedings of the 16th International ACM SigSoft Symposium on Component-Based Software Engineering (CBSE). ; 2013:3-12. doi:10.1145/2465449.2465452
LibreCat | Files available | DOI
 
2013 | Journal Article | LibreCat-ID: 480
Frick B, Simmons R. The Impact of Individual and Collective Reputation on Wine Prices: Empirical Evidence from the Mosel Valley. Journal of Business Economics. 2013;83(2):101-119. doi:10.1007/s11573-013-0652-x
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 517
Walther S, Wehrheim H. Knowledge-Based Verification of Service Compositions - An SMT approach. In: Proceedings of the 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS). ; 2013:24-32. doi:10.1109/ICECCS.2013.14
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 562
Keller M, Pawlik S, Pietrzyk P, Karl H. A Local Heuristic for Latency-Optimized Distributed Cloud Deployment. In: Proceedings of the 6th International Conference on Utility and Cloud Computing (UCC) Workshop on Distributed Cloud Computing. ; 2013:429-434. doi:10.1109/UCC.2013.85
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 548
Graffi K, Klerx T. Bootstrapping Skynet: Calibration and Autonomic Self-Control of Structured Peer-to-Peer Networks. In: Proceedings of the International Conference on Peer-to-Peer Computing (P2P’13). ; 2013:1-5. doi:10.1109/P2P.2013.6688720
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 485
Mohr F, Kleine Büning H. Semi-Automated Software Composition Through Generated Components. In: Proceedings of the 15th International Conference on Information Integration and Web-Based Applications & Services (IiWAS). ; 2013:676-680. doi:10.1145/2539150.2539235
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 513
Avin C, Häupler B, Lotker Z, Scheideler C, Schmid S. Locally Self-Adjusting Tree Networks. In: Proceedings of the 27th IEEE International Parallel and Distributed Processing Symposium (IPDPS). ; 2013:395-406. doi:10.1109/IPDPS.2013.40
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 520
Wette P, Karl H. Incorporating feedback from application layer into routing and wavelength assignment algorithms. In: Proceedings of the 32nd IEEE International Conference on Computer Communications (INFOCOM). ; 2013:51-52. doi:10.1109/INFCOMW.2013.6970733
LibreCat | Files available | DOI | Download (ext.)
 
2013 | Conference Paper | LibreCat-ID: 544
Feldotto M, Graffi K. Comparative Evaluation of Peer-to-Peer Systems Using PeerfactSim.KOM. In: Proceedings of the International Conference on High Performance Computing and Simulation (HPCS’13). ; 2013:99-106. doi:10.1109/HPCSim.2013.6641399
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 563
Markarian C, Meyer auf der Heide F, Schubert M. A Distributed Approximation Algorithm for Strongly Connected Dominating-Absorbent Sets in Asymmetric Wireless Ad-Hoc Networks. In: Proceedings of the 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics (ALGOSENSORS). LNCS. ; 2013:217-227. doi:10.1007/978-3-642-45346-5_16
LibreCat | Files available | DOI
 
2013 | Working Paper | LibreCat-ID: 5146
Brangewitz S, Haake C-J. Cooperative Transfer Price Negotiations under Incomplete Information. Vol 64. CIE Working Paper Series, Paderborn University; 2013.
LibreCat | Files available
 
2013 | Report | LibreCat-ID: 474
Röhl N. Two-Stage Allocation Procedures. Universität Paderborn; 2013.
LibreCat | Files available
 
2013 | Conference Paper | LibreCat-ID: 506
Engels G. On-The-Fly Computing -- Das Entwicklungs- und Betriebsparadigma fürSoftwaresysteme der Zukunft. In: Proceedings of the Multikonferenz Sofware Engineering 2013 (SE 2013). LNI. ; 2013:17-18.
LibreCat | Files available
 
2013 | Conference Paper | LibreCat-ID: 551
Huma Z, Gerth C, Engels G, Juwig O. Automated Service Composition for On-the-Fly SOAs. In: Proceedings of the 11th International Conference on Service Oriented Computing (ICSOC’13). LNCS. ; 2013:524--532. doi:10.1007/978-3-642-45005-1_42
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 498
Wonisch D, Schremmer A, Wehrheim H. Programs from Proofs – A PCC Alternative. In: Proceedings of the 25th International Conference on Computer Aided Verification (CAV). LNCS. ; 2013:912-927. doi:10.1007/978-3-642-39799-8_65
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 481
Graffi K, Bremer L. Symbiotic Coupling of P2P and Cloud Systems: The Wikipedia Case. In: Proceedings of the International Conference on Communications (ICC’13). ; 2013:3444-3449. doi:10.1109/ICC.2013.6655082
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 470
Wette P, Karl H. Which Flows Are Hiding Behind My Wildcard Rule? Adding Packet Sampling to OpenFlow. In: Proceedings of the ACM SIGCOMM ’13. Digital Library. ; 2013:541-542. doi:10.1145/2486001.2491710
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 475
Joshi N, Petrlic R. Towards practical privacy-preserving Digital Rights Management for Cloud Computing. In: Proceedings of the 10th Annual IEEE Consumer Communications & Networking Conference (CCNC). ; 2013:259-264. doi:10.1109/CCNC.2013.6488456
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 502
Becker M, Luckey M, Becker S. Performance Analysis of Self-Adaptive Systems for Requirements Validation at Design-Time. In: Proceedings of the 9th ACM SigSoft International Conference on Quality of Software Architectures (QoSA’13). ; 2013:43-52. doi:10.1145/2465478.2465489
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 507
Abshoff S, Benter M, Malatyali M, Meyer auf der Heide F. On Two-Party Communication Through Dynamic Networks. In: Proceedings of the 17th International Conference on Principles of Distributed Systems (OPODIS). LNCS. ; 2013:11-22. doi:10.1007/978-3-319-03850-6_2
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 519
Eikel M, Scheideler C. IRIS: A Robust Information System Against Insider DoS-Attacks. In: Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA). ; 2013:119-129. doi:10.1145/2486159.2486186
LibreCat | Files available | DOI
 
2013 | Preprint | LibreCat-ID: 538
Blömer J, Liske G. Direct Chosen-Ciphertext Secure Attribute-Based Key Encapsulations without Random Oracles. 2013.
LibreCat | Files available | Download (ext.)
 
2013 | Report | LibreCat-ID: 557
Hallmann C. An Approach for a Decision Support Systems to Optimize Water Tanks in Water Supply Systems by Combining Network Reduction, Optimization and Simulation. Universität Paderborn; 2013.
LibreCat | Files available
 
2013 | Conference Paper | LibreCat-ID: 564
Kniesburges S, Koutsopoulos A, Scheideler C. A Deterministic Worst-Case Message Complexity Optimal Solution for Resource Discovery. In: Proceedings of 20th International Colloqium on Structural Information and Communication Complexity (SIROCCO). Lecture Notes in Computer Science. ; 2013:165-176. doi:10.1007/978-3-319-03578-9_14
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 499
Kling P, Pietrzyk P. Profitable Scheduling on Multiple Speed-Scalable Processors. In: Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA). ; 2013:251-260. doi:10.1145/2486159.2486183
LibreCat | Files available | DOI
 
2013 | Journal Article | LibreCat-ID: 2543
Brangewitz S, Gamp J-P. Asymmetric Nash bargaining solutions and competitive payoffs. Economics Letters. 2013;121(2):224-227. doi:10.1016/j.econlet.2013.08.013
LibreCat | Files available | DOI
 
2013 | Journal Article | LibreCat-ID: 476
Kolman P, Scheideler C. Towards Duality of Multicommodity Multiroute Cuts and Flows: Multilevel Ball-Growing. Theory of Computing Systems. 2013;(2):341-363. doi:10.1007/s00224-013-9454-3
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 483
Becker M, Becker S, Meyer J. SimuLizar: Design-Time modeling and Performance Analysis of Self-Adaptive Systems. In: Proceedings of the Software Engineering Conference (SE). Lecture Notes in Informatics (LNI). ; 2013:71-84.
LibreCat | Files available | Download (ext.)
 
2013 | Conference Paper | LibreCat-ID: 488
Blömer J, Günther P, Krummel V. Securing Critical Unattended Systems with Identity Based Cryptography - A Case Study. In: Proceedings of the 5th International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS). ; 2013:98-105.
LibreCat | Files available
 
2013 | Conference Paper | LibreCat-ID: 508
Wette P, Karl H. On the Quality of Selfish Virtual Topology Reconfiguration in IP-over-WDM Networks. In: Proceedings of the 19th IEEE International Workshop on Local and Metropolitan Area Networks (IEEE LANMAN). ; 2013:1-6. doi:10.1109/LANMAN.2013.6528271
LibreCat | Files available | DOI
 
2013 | Journal Article | LibreCat-ID: 515
Jungmann A, Kleinjohann B, Kleinjohann E. Learning Service Recommendations. International Journal of Business Process Integration and Management. 2013;(4):284-297. doi:10.1504/IJBPIM.2013.059135
LibreCat | Files available | DOI | Download (ext.)
 
2013 | Conference Paper | LibreCat-ID: 546
Graffi K, Benter M, Divband M, Kniesburges S, Koutsopoulos A. Ca-Re-Chord: A Churn Resistant Self-stabilizing Chord Overlay Network. In: Proceedings of the Conference on Networked Systems (NetSys). ; 2013:27-34. doi:10.1109/NetSys.2013.11
LibreCat | Files available | DOI
 
2013 | Conference (Editor) | LibreCat-ID: 558
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. Vol 8243. Springer; 2013. doi:10.1007/978-3-642-45346-5
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 560
Platenius M, von Detten M, Becker S, Schäfer W, Engels G. A Survey of Fuzzy Service Matching Approaches in the Context of On-The-Fly Computing. In: Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering. ; 2013:143-152. doi:10.1145/2465449.2465454
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 495
Mohr F, Lettmann T, Kleine Büning H. Reducing Nondeterminism in Automated Service Composition. In: Proceedings of the 6th International Conference on Service Oriented Computing and Applications (SOCA). ; 2013:154-161. doi:10.1109/SOCA.2013.25
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 469
Wonisch D, Schremmer A, Wehrheim H. Zero Overhead Runtime Monitoring. In: Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM). LNCS. ; 2013:244-258. doi:10.1007/978-3-642-40561-7_17
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 527
Christin Platenius M. Fuzzy Service Matching in On-The-Fly Computing. In: Proceedings of the Doctoral Symposium of the 9th Joint Meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE). ; 2013:715-718. doi:10.1145/2491411.2492405
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 541
Graffi K, Rapp V. Continuous Gossip-based Aggregation through Dynamic Information Aging. In: Proceedings of the International Conference on Computer Communications and Networks (ICCCN’13). ; 2013:1-7. doi:10.1109/ICCCN.2013.6614118
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 585
Petrlic R. Proxy Re-Encryption in a Privacy-Preserving Cloud Computing DRM Scheme. In: Proceedings of 4th International Symposium on Cyberspace Safety and Security (CSS). LNCS. ; 2012:194-211. doi:10.1007/978-3-642-35362-8_16
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 597
Mavronicolas M, Monien B. Minimizing Expectation Plus Variance. In: Proceedings of the 5th International Symposium on Algorithmic Game Theory (SAGT). LNCS. ; 2012:239-250. doi:10.1007/978-3-642-33996-7_21
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 612
Rüthing C, Happe M, Agne A, Plessl C. Exploration of Ring Oscillator Design Space for Temperature Measurements on FPGAs. In: Proceedings of the International Conference on Field Programmable Logic and Applications (FPL). IEEE; 2012:559-562. doi:10.1109/FPL.2012.6339370
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 617
Jungmann A, Kleinjohann B, Kleinjohann E, Bieshaar M. Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems. In: Proceedings of the Fourth International Conference on Resource Intensive Applications and Services (INTENSIVE). ; 2012:22-29.
LibreCat | Files available
 
2012 | Conference Paper | LibreCat-ID: 631
von Detten M. Archimetrix: A Tool for Deficiency-Aware Software Architecture Reconstruction. In: Proceedings of the 19th Working Conference on Reverse Engineering (WCRE). ; 2012:503-504. doi:10.1109/WCRE.2012.61
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 636
Meyer auf der Heide F, Pietrzyk P, Kling P. An Algorithm for Facility Leasing. In: Proceedings of the 19th International Colloquium on Structural Information & Communication Complexity (SIROCCO). LNCS. ; 2012:61-72. doi:10.1007/978-3-642-31104-8_6
LibreCat | Files available | DOI
 
2012 | Report | LibreCat-ID: 578
Brangewitz S, Brockhoff S. Stability of Coalitional Equilibria within Repeated Tax Competition. Universität Paderborn; 2012.
LibreCat | Files available
 
2012 | Conference Paper | LibreCat-ID: 580
Cord-Landwehr A, Kling P, Mallmann Trenn F. Slow Down & Sleep for Profit in Online Deadline Scheduling. In: Even G, Rawitz D, eds. Proceedings of the 1st Mediterranean Conference on Algorithms (MedAlg). LNCS. ; 2012:218-231. doi:10.1007/978-3-642-34862-4_17
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 573
Arifulina S. Towards a Framework for the Integration of Modeling Languages. In: W. Eisenecker U, Bucholdt C, eds. Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany (SLE (Doctoral Symposium)). CEUR Workshop Proceedings. ; 2012:23--26.
LibreCat | Files available
 
2012 | Journal Article | LibreCat-ID: 2519
Haake C-J, Martini JT. Negotiating Transfer Prices. Group Decision and Negotiation. 2012;22(4):657-680. doi:10.1007/s10726-012-9286-6
LibreCat | Files available | DOI
 
2012 | Journal Article | LibreCat-ID: 2521
Haake C-J, Krieger T, Minter S. On the institutional design of burden sharing when financing external border enforcement in the EU. International Economics and Economic Policy. 2012;10(4):583-612. doi:10.1007/s10368-012-0226-3
LibreCat | Files available | DOI
 
2012 | Journal Article | LibreCat-ID: 5183
Bodden E, Lam P, Hendren L. Partially Evaluating Finite-State Runtime Monitors Ahead of Time. ACM Transactions on Programming Languages and Systems. 2012;34(2):1-52. doi:10.1145/2220365.2220366
LibreCat | Files available | DOI | Download (ext.)
 
2012 | Conference Paper | LibreCat-ID: 567
Barrio P, Carreras C, Sierra R, Kenter T, Plessl C. Turning control flow graphs into function calls: Code generation for heterogeneous architectures. In: Proceedings of the International Conference on High Performance Computing and Simulation (HPCS). IEEE; 2012:559-565. doi:10.1109/HPCSim.2012.6266973
LibreCat | Files available | DOI
 
2012 | Journal Article | LibreCat-ID: 574
Clouser T, Nesterenko M, Scheideler C. Tiara: A self-stabilizing deterministic skip list and skip graph. Theoretical Computer Science. 2012:18-35. doi:10.1016/j.tcs.2011.12.079
LibreCat | Files available | DOI
 
2012 | Journal Article | LibreCat-ID: 579
Damerow V, Manthey B, Meyer auf der Heide F, et al. Smoothed analysis of left-to-right maxima with applications. Transactions on Algorithms. 2012;(3):30. doi:10.1145/2229163.2229174
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 581
Drees M, Hüllmann (married name: Eikel) M, Koutsopoulos A, Scheideler C. Self-Organizing Particle Systems. In: Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS). ; 2012:1272-1283. doi:10.1109/IPDPS.2012.116
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 625
Schmid S, Avin C, Scheideler C, Häupler B, Lotker Z. Brief Announcement: SplayNets - Towards Self-Adjusting Distributed Data Structures. In: Proceedings of the 26th International Symposium on Distributed Computing (DISC). LNCS. ; 2012:439-440. doi:10.1007/978-3-642-33651-5_47
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 632
Kolman P, Scheideler C. Approximate Duality of Multicommodity Multiroute Flows and Cuts: Single Source Case. In: Proceedings of the 23th ACM SIAM Symposium on Discrete Algorithms (SODA). ; 2012:800-810. doi:10.1137/1.9781611973099.64
LibreCat | Files available | DOI
 
2012 | Journal Article | LibreCat-ID: 570
Jacob R, Ritscher S, Scheideler C, Schmid S. Towards higher-dimensional topological self-stabilization: A distributed algorithm for Delaunay graphs. Theoretical Computer Science. 2012:137-148. doi:10.1016/j.tcs.2012.07.029
LibreCat | Files available | DOI
 
2012 | Journal Article | LibreCat-ID: 587
Plessl C, Platzner M, Agne A, Happe M, Lübbers E. Programming models for reconfigurable heterogeneous multi-cores. Self-Awareness in Autonomic Systems. 2012.
LibreCat | Files available
 
2012 | Conference Paper | LibreCat-ID: 619
Brandes P, Meyer auf der Heide F. Distributed Computing in Fault-Prone Dynamic Networks. In: Proceedings of the 4th Workshop on Theoretical Aspects of Dynamic Distributed Systems (TADDS). ICPS. ; 2012:9-14. doi:10.1145/2414815.2414818
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 626
Kniesburges S, Scheideler C. Brief Announcement: Hashed Predecessor Patricia Trie - A Data Structure for Efficient Predecessor Queries in Peer-to-Peer Systems. In: Proceedings of the 26th International Symposium on Distributed Computing (DISC). LNCS. ; 2012:435-436. doi:10.1007/978-3-642-33651-5_45
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 640
Kniesburges S, Koutsopoulos A, Scheideler C. A Self-Stabilization Process for Small-World Networks. In: Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS). ; 2012:1261--1271. doi:10.1109/IPDPS.2012.115
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 568
Jungmann A, Kleinjohann B. Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition. In: Proceedings of the 9th IEEE International Conference on Service Computing (SCC). ; 2012:701-702. doi:10.1109/SCC.2012.76
LibreCat | Files available | DOI
 
2012 | Report | LibreCat-ID: 602
Brangewitz S. Learning by Trading in Infinite Horizon Strategic Market Games with Default. Universität Paderborn; 2012.
LibreCat | Files available
 
2012 | Conference Paper | LibreCat-ID: 569
Becker S, Heinzemann C, Priesterjahn C. Towards Modeling Reconfiguration in Hierarchical Component Architectures. In: Proceedings of the 15th ACM SigSoft International Symposium on Component-Based Software Engineering (CBSE). ; 2012:23--28. doi:10.1145/2304736.2304742
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 571
Jungmann A, Kleinjohann B. Towards an Integrated Service Rating and Ranking Methodology for Quality Based Service Selection in Automatic Service Composition. In: Proceedings of the 4th International Conferences on Advanced Service Computing (SERVICE COMPUTATION). ; 2012:43-47.
LibreCat | Files available
 
2012 | Conference Paper | LibreCat-ID: 588
Petrlic R, Sorge C. Privacy-Preserving DRM for Cloud Computing. In: Proceedings of the 26th IEEE International Conference on Advanced Information Networking and Applications (AINA). ; 2012:1286-1291. doi:10.1109/WAINA.2012.92
LibreCat | Files available | DOI
 
2012 | Report | LibreCat-ID: 603
Wette P, Karl H. Introducing Feedback to Preemptive Routing and Wavelength Assignment Algorithms for Dynamic Traffic Scenarios. Universität Paderborn; 2012.
LibreCat | Files available
 
2012 | Conference Paper | LibreCat-ID: 615
Happe M, Hangmann H, Agne A, Plessl C. Eight Ways to put your FPGA on Fire – A Systematic Study of Heat Generators. In: Proceedings of the International Conference on Reconfigurable Computing and FPGAs (ReConFig). IEEE; 2012:1-8. doi:10.1109/ReConFig.2012.6416745
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 639
Huma Z, Gerth C, Engels G, Juwig O. A UML-based Rich Service Description for Automatic Service Discovery. In: Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering. CEUR Workshop Proceedings. ; 2012:90--97.
LibreCat | Files available
 
2012 | Conference Paper | LibreCat-ID: 622
Arifulina S, Engels G, Soltenborn C. Coverage Criteria for Testing DMM Specifications. In: Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT). Electronic Communications of the EASST. ; 2012. doi:10.14279/tuj.eceasst.47.718
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 608
Timm N, Wehrheim H, Czech M. Heuristic-Guided Abstraction Refinement for Concurrent Systems. In: Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM). LNCS. ; 2012:348-363. doi:10.1007/978-3-642-34281-3_25
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 590
Wonisch D, Wehrheim H. Predicate Analysis with Block-Abstraction Memoization. In: Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM). LNCS. ; 2012:332-347. doi:10.1007/978-3-642-34281-3_24
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 627
Wonisch D. Block Abstraction Memoization for CPAchecker. In: Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). LNCS. ; 2012:531-533. doi:10.1007/978-3-642-28756-5_41
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 591
Kenter T, Plessl C, Schmitz H. Pragma based parallelization - Trading hardware efficiency for ease of use? In: Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig). IEEE; 2012:1-8. doi:10.1109/ReConFig.2012.6416773
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 596
Becker M, Luckey M, Becker S. Model-Driven Performance Engineering of Self-Adaptive Systems: A Survey. In: Proceedings of the 8th ACM SigSoft International Conference on Quality of Software Architectures (QoSA’12). ; 2012:117-122. doi:10.1145/2304696.2304716
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 623
Richa AW, Scheideler C, Schmid S, Zhang J. Competitive and fair throughput for co-existing networks under adversarial interference. In: Proceedings of the 31st Annual ACM SIGACT-SIGOPS Symposium on Principles and Distributed Computing (PODC). ; 2012:291-300. doi:10.1145/2332432.2332488
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 635
Dohle (married name: Hallmann) C, Suhl L. An Optimization Model for the optimal Usage of Water Tanks in Water Supply Systems. In: Proceedings of the International Conference on Applied Mathematical Optimization and Modelling (APMOD). ; 2012:404-408.
LibreCat | Files available
 
2012 | Conference (Editor) | LibreCat-ID: 577
Richa AW, Scheideler C, eds. Stabilization, Safety, and Security of Distributed Systems.; 2012. doi:10.1007/978-3-642-33536-5
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 630
Platenius MC, von Detten M, Becker S. Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies. In: Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR). ; 2012:255-264. doi:10.1109/CSMR.2012.33
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 628
Cord-Landwehr A, Huellmann (married name: Eikel) M, Kling P, Setzer A. Basic Network Creation Games with Communication Interests. In: Proceedings of the 5th International Symposium on Algorithmic Game Theory (SAGT). LNCS. ; 2012:72--83. doi:10.1007/978-3-642-33996-7_7
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 572
Huma Z, Gerth C, Engels G, Juwig O. Towards an Automatic Service Discovery for UML-based Rich Service Descriptions. In: Proceedings of the ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems (MoDELS). LNCS. ; 2012:709--725. doi:10.1007/978-3-642-33666-9_45
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 609
Happe M, Agne A, Plessl C, Platzner M. Hardware/Software Platform for Self-aware Compute Nodes. In: Proceedings of the Workshop on Self-Awareness in Reconfigurable Computing Systems (SRCS). ; 2012:8-9.
LibreCat | Files available
 
2012 | Conference Paper | LibreCat-ID: 565
Besova G, Walther S, Wehrheim H, Becker S. Weaving-based configuration and modular transformation of multi-layer systems. In: Proceedings of the 15th International Conference on Model Driven Engineering Languages & Systems (MoDELS). LNCS. ; 2012:776-792. doi:10.1007/978-3-642-33666-9_49
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 589
Petrlic R. Privacy-Preserving Digital Rights Management in a Trusted Cloud Environment. In: Proceedings of the 11th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom). ; 2012:958-963. doi:10.1109/TrustCom.2012.225
LibreCat | Files available | DOI
 
2011 | Conference Paper | LibreCat-ID: 662
Nesterenko M, Mohd R, Scheideler C. Corona: A Stabilizing Deterministic Message-Passing Skip List. In: Proceedings of the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS). LNCS. ; 2011:356--370. doi:10.1007/978-3-642-24550-3_27
LibreCat | Files available | DOI
 
2011 | Conference (Editor) | LibreCat-ID: 667
Meyer auf der Heide F, Rajaraman R, eds. 23rd Annual ACM Symposium on Parallelism in Algorithms and Architectures.; 2011. doi:10.1145/1989493
LibreCat | DOI
 
2011 | Conference Paper | LibreCat-ID: 644
von Detten M. Towards Systematic, Comprehensive Trace Generation for Behavioral Pattern Detection through Symbolic Execution. In: Proceedings of the 10th ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE). ; 2011:17-20. doi:10.1145/2024569.2024573
LibreCat | Files available | DOI
 
2011 | Conference Paper | LibreCat-ID: 656
Happe M, Agne A, Plessl C. Measuring and Predicting Temperature Distributions on FPGAs at Run-Time. In: Proceedings of the 2011 International Conference on Reconfigurable Computing and FPGAs (ReConFig). IEEE; 2011:55-60. doi:10.1109/ReConFig.2011.59
LibreCat | Files available | DOI
 
2011 | Journal Article | LibreCat-ID: 649
Besova G, Wehrheim H, Wagner A. Reputation-based Reliability Prediction of Service Compositions. Electronic Notes in Theoretical Computer Science. 2011;(2):3-16. doi:10.1016/j.entcs.2011.11.008
LibreCat | Files available | DOI
 
2011 | Report | LibreCat-ID: 668
Kaimann D. “To Infinity and beyond!” - A Genre-Specific Film Analysis of Movie Success Mechanisms. Universität Paderborn; 2011.
LibreCat | Files available
 
2011 | Conference Paper | LibreCat-ID: 645
Doerr B, Goldberg LA, Minder L, Sauerwald T, Scheideler C. Stabilizing consensus with the power of two choices. In: Proceedings of the 23rd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA). ; 2011:149-158. doi:10.1145/1989493.1989516
LibreCat | Files available | DOI
 
2011 | Conference Paper | LibreCat-ID: 664
Gehweiler J, Kling P, Meyer auf der Heide F. An Experimental Comparison of Load Balancing Strategies in a Web Computing Environment. In: Proceedings of the 9th International Conference on Parallel Processing and Applied Mathematics (PPAM). LNCS. ; 2011:31--40. doi:10.1007/978-3-642-31500-8_4
LibreCat | Files available | DOI
 
2011 | Conference Paper | LibreCat-ID: 657
Abshoff S, Cord-Landwehr A, Degener B, Kempkes B, Pietrzyk P. Local Approximation Algorithms for the Uncapacitated Metric Facility Location Problem in Power-Aware Sensor Networks. In: Proceedings of the 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities (ALGOSENSORS). LNCS. ; 2011:13-27. doi:10.1007/978-3-642-28209-6_3
LibreCat | Files available | DOI
 
2011 | Conference Paper | LibreCat-ID: 652
Gerth C, Luckey M, Küster J, Engels G. Precise Mappings between Business Process Models in Versioning Scenarios. In: Proceedings of the IEEE 8th International Conference on Service Computingt (SCC). ; 2011:218--225. doi:10.1109/SCC.2011.65
LibreCat | Files available | DOI
 
2011 | Conference Paper | LibreCat-ID: 646
Richa AW, Scheideler C. Self-Stabilizing DeBruijn Networks. In: Proceedings of the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS). LNCS. ; 2011:416-430. doi:10.1007/978-3-642-24550-3_31
LibreCat | Files available | DOI
 
2011 | Conference Paper | LibreCat-ID: 653
Lehrig S, Zolynski T. Performance Prototyping with ProtoCom in a Virtualised Environment: A Case Study. In: Proceedings of the Palladio Days 2011. Karlsruhe Reports in Informatics. ; 2011:15-22. doi:10.5445/IR/1000025188
LibreCat | Files available | DOI
 
2011 | Journal Article | LibreCat-ID: 2512
Dimitrov D, Haake C-J. Proportionality and the power of unequal parties. International Journal of Economic Theory. 2011;7(2):189-200. doi:10.1111/j.1742-7363.2011.00158.x
LibreCat | Files available | DOI
 
2011 | Journal Article | LibreCat-ID: 647
Leuschel M, Wehrheim H. Selected papers on Integrated Formal Methods (iFM09). Science of Computer Programming. 2011;(10):835--836. doi:10.1016/j.scico.2011.01.009
LibreCat | Files available | DOI
 
2011 | Conference Paper | LibreCat-ID: 666
Drzevitzky S, Platzner M. Achieving Hardware Security for Reconfigurable Systems on Chip by a Proof-Carrying Code Approach. In: Proceedings of the 6th International Workshop on Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC). ; 2011:58-65. doi:10.1109/ReCoSoC.2011.5981499
LibreCat | Files available | DOI
 
2011 | Conference Paper | LibreCat-ID: 654
Graffi K. PeerfactSim.KOM: A PSP System Simulator - Experiences and Lessons Learned. In: Proceedings of the IEEE International Conference on Peer-to-Peer Computing (IEEE PsP). ; 2011:154-155. doi:10.1109/P2P.2011.6038673
LibreCat | Files available | DOI
 

Filters and Search Terms

project=1

(type<>bachelorsthesis AND type<>mastersthesis AND type <> dissertation)

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export