851 Publications

2018 | Conference Paper | LibreCat-ID: 4411
Knollmann, T., & Scheideler, C. (2018). A Self-Stabilizing Hashed Patricia Trie. In T. Izumi & P. Kuznetsov (Eds.), Proceedings of the 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS) (Vol. 11201). Tokyo: Springer, Cham. https://doi.org/10.1007/978-3-030-03232-6_1
LibreCat | Files available | DOI | arXiv
 
2018 | Conference Abstract | LibreCat-ID: 4520
Neumann, J., Gutt, D., & Kundisch, D. (2018). The Traveling Reviewer Problem - Exploring the Relationship Between Offline Locations and Online Rating Behavior. In Workshop on IS Design and Economic Behavior (ISDEB). Lüneburg, Germany.
LibreCat | Files available
 
2018 | Conference Paper | LibreCat-ID: 4563
Jung, D., Kolb, C., Scheideler, C., & Sundermeier, J. (2018). Competitive Routing in Hybrid Communication Networks. In Proceedings of the 14th International Symposium on Algorithms and Experiments for Wireless Networks (ALGOSENSORS) . Helsinki: Springer.
LibreCat | Files available
 
2018 | Journal Article | LibreCat-ID: 4564
Haake, C.-J., & Recker, S. (2018). The Generalized Nash Bargaining Solution for Transfer Price Negotiations under Incomplete Information. Group Decision and Negotiation, 27(6), 905–932. https://doi.org/10.1007/s10726-018-9592-8
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 4565
Jung, D., Kolb, C., Scheideler, C., & Sundermeier, J. (2018). Brief Announcement: Competitive Routing in Hybrid Communication Networks. In Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures (SPAA). Wien: ACM Press. https://doi.org/10.1145/3210377.3210663
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 4577
Bohn, N., & Kundisch, D. (2018). An Extended Perspective of Technology Pivots in Software Startups: Towards a Theoretical Model. In Proceedings of the 39th International Conference on Information Systems (ICIS). San Francisco, USA.
LibreCat | Files available
 
2018 | Journal Article | LibreCat-ID: 4982 | OA
Hoyer, B., & Rosenkranz, S. (2018). Determinants of Equilibrium Selection in Network Formation - An Experiment. Games, 9(4).
LibreCat | Files available | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 7570
Meyer auf der Heide, F., & Schaefer, J. S. (2018). 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. Vienna: ACM Press. https://doi.org/10.1145/3210377.3210662
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 4339
Bäumer, F. S., & Geierhos, M. (2018). NLP in OTF Computing: Current Approaches and Open Challenges. In R. Damaševičius & G. Vasiljevienė (Eds.), Proceedings of the 24th International Conference on Information and Software Technologies (ICIST 2018) (Vol. 920, pp. 559–570). Cham, Switzerland: Springer. https://doi.org/10.1007/978-3-319-99972-2_46
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 4351
Feldmann, M., Kolb, C., & Scheideler, C. (2018). 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, pp. 16–31). Springer, Cham. https://doi.org/10.1007/978-3-030-03232-6_2
LibreCat | Files available | DOI | arXiv
 
2018 | Conference Abstract | LibreCat-ID: 4373
Szopinski, D. (2018). Towards software-based tools for business model development: Using external stimuli for business model idea generation. In Bosch Business Model Innovation Summit 2018. Renningen, Germany.
LibreCat | Files available
 
2018 | Conference Paper | LibreCat-ID: 4375
Benter, M., Knollmann, T., Meyer auf der Heide, F., Setzer, A., & Sundermeier, J. (2018). 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). Helsinki. https://doi.org/10.1007/978-3-030-19759-9_4
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 44 | OA
Bäumer, F. S., & Geierhos, M. (2018). 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 (pp. 5746–5755). Big Island, Waikoloa Village. https://doi.org/10125/50609
LibreCat | Files available | DOI | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 4999
Pauck, F., Bodden, E., & Wehrheim, H. (2018). 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. https://doi.org/10.1145/3236024.3236029
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 5203
Krüger, S., Späth, J., Ali, K., Bodden, E., & Mezini, M. (2018). CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. In European Conference on Object-Oriented Programming (ECOOP) (pp. 10:1-10:27).
LibreCat | Files available | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 5216
Scheideler, C., & Setzer, A. (2018). 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). Tokyo, Japan. https://doi.org/10.1007/978-3-030-03232-6_16
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 5222
Götte, T., Scheideler, C., & Setzer, A. (2018). 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, pp. 50–64). Tokyo, Japan: Springer.
LibreCat | Files available
 
2018 | Journal Article | LibreCat-ID: 5330
Mir Djawadi, B., Fahr, R., Haake, C.-J., & Recker, S. (2018). Maintaining vs. Milking Good Reputation when Customer Feedback is Inaccurate. PLoS ONE, 13(11). https://doi.org/10.1371/journal.pone.0207172
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 5530
Jazayeri, B., Zimmermann, O., Küster, J., Engels, G., Kundisch, D., & Szopinski, D. (2018). Patterns of Store-oriented Software Ecosystems: Detection, Classification, and Analysis of Design Options. In The Latin American Conference on Pattern Languages of Programs (SLPLoP). Valparaíso, Chile: ACM. To appear.
LibreCat | Files available
 
2018 | Conference Paper | LibreCat-ID: 5547
Lösch, A., & Platzner, M. (2018). 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). Milan, Italy: IEEE. https://doi.org/10.1109/asap.2018.8445098
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 6483 | OA
Peuster, M., Schneider, S. B., Christ, F., & Karl, H. (2018). 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.
LibreCat | Files available
 
2018 | Journal Article | LibreCat-ID: 669
Feldotto, M., Leder, L., & Skopalik, A. (2018). Congestion games with mixed objectives. Journal of Combinatorial Optimization, 36(4), 1145–1167. https://doi.org/10.1007/s10878-017-0189-y
LibreCat | Files available | DOI | arXiv
 
2018 | Conference Paper | LibreCat-ID: 6970 | OA
Schneider, S. B., Dräxler, S., & Karl, H. (2018). Trade-offs in Dynamic Resource Allocation in Network Function Virtualization. In IEEE Global Communications Conference (GLOBECOM 2018). Abu Dhabi, UAE: IEEE.
LibreCat | Files available
 
2018 | Conference Paper | LibreCat-ID: 6972 | OA
Schneider, S. B., Peuster, M., & Karl, H. (2018). 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). Verona, Italy: IEEE. https://doi.org/10.1109/NFV-SDN.2018.8725795
LibreCat | Files available | DOI | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 6974 | OA
Schneider, S. B., Peuster, M., Tavernier, W., & Karl, H. (2018). A Fully Integrated Multi-Platform NFV SDK. In IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018). Verona, Italy: IEEE. https://doi.org/10.1109/NFV-SDN.2018.8725794
LibreCat | Files available | DOI | Download (ext.)
 
2018 | Journal Article | LibreCat-ID: 1043
Isenberg, T., Jakobs, M.-C., Pauck, F., & Wehrheim, H. (2018). Validity of Software Verification Results on Approximate Hardware. IEEE Embedded Systems Letters, 22–25. https://doi.org/10.1109/LES.2017.2758200
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 1046
John, T., & Szopinski, D. (2018). Towards explaining the popularity of the Business Model Canvas: A dual coding approach. Proceedings of the Multikonferenz Wirtschaftsinformatik 2018 (MKWI), Lüneburg, Germany.
LibreCat | Files available
 
2018 | Journal Article | LibreCat-ID: 1047
Stummer, C., Kundisch, D., & Decker, R. (2018). Platform Launch Strategies. Business & Information Systems Engineering.
LibreCat | Files available
 
2018 | Conference Paper | LibreCat-ID: 1060
Neumann, J., Gutt, D., Kundisch, D., & van Straaten, D. (2018). 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.
LibreCat | Files available
 
2018 | Conference Paper | LibreCat-ID: 1061
Gutt, D. (2018). 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.
LibreCat | Files available
 
2018 | Journal Article | LibreCat-ID: 1063
Stroh-Maraun, N., Kaimann, D., & Cox, J. (2018). More than skills: A novel matching proposal for multiplayer video games. Entertainment Computing, 25, 26–36. https://doi.org/10.1016/j.entcom.2017.12.002
LibreCat | Files available | DOI
 
2018 | Journal Article | LibreCat-ID: 107
Zimmermann , S., Herrmann, P., Kundisch, D., & Nault, B. (2018). Decomposing the Variance of Consumer Ratings and the Impact on Price and Demand. Information Systems Research, 29(4), 984–1002. https://doi.org/10.1287/isre.2017.0764
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 1096
Beyer, D., Jakobs, M.-C., Lemberger, T., & Wehrheim, H. (2018). Reducer-Based Construction of Conditional Verifiers. In Proceedings of the 40th International Conference on Software Engineering (ICSE) (pp. 1182--1193). Gothenburg, Sweden: ACM.
LibreCat | Files available
 
2018 | Book Chapter | LibreCat-ID: 1104
Geierhos, M. (2018). Unschärfe bei der Interpretation natürlichsprachlicher Anforderungsbeschreibungen. In S. Freitag, M. Geierhos, R. Asmani, & J. I. Haug (Eds.), Unschärfe - Der Umgang mit fehlender Eindeutigkeit (1st ed., pp. 111–128). Paderborn, Germany: Ferdinand Schöningh.
LibreCat | Files available
 
2018 | Conference Paper | LibreCat-ID: 1171
Müller, M., Gutt, D., & Neumann, J. (n.d.). Beschreib mir deine Wohnung und ich sag dir wer du bist - Eine explorative Analyse von Gastgeberpersönlichkeiten auf Airbnb. In Multikonferenz Wirtschaftsinformatik (MKWI) 2018. Lüneburg.
LibreCat | Files available
 
2018 | Journal Article | LibreCat-ID: 1173
Kaimann, D., Stroh-Maraun, N., & Cox, J. (2018). A Duration Model Analysis of Consumer Preferences and Determinants of Video Game Consumption. Journal of Consumer Behaviour, 17(3), 290–301. https://doi.org/10.1002/cb.1711
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 1181 | OA
Bäumer, F. S., & Geierhos, M. (2018). How to Deal with Inaccurate Service Requirements? Insights in Our Current Approach and New Ideas. In K. Schmid, P. Spoletini, E. Ben Charrada, Y. Chisik, F. Dalpiaz, A. Ferrari, … A. Zamansky (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). Utrecht, The Netherlands: CEUR-WS.org.
LibreCat | Files available | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 1182 | OA
Friesen, E., Bäumer, F. S., & Geierhos, M. (2018). CORDULA: Software Requirements Extraction Utilizing Chatbot as Communication Interface. In K. Schmid, P. Spoletini, E. Ben Charrada, Y. Chisik, F. Dalpiaz, A. Ferrari, … A. Zamansky (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). Utrecht, The Netherlands: CEUR-WS.org.
LibreCat | Files available | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 1183 | OA
Caron, M., Bäumer, F. S., & Geierhos, M. (2018). Back to Basics: Extracting Software Requirements with a Syntactic Approach. In K. Schmid, P. Spoletini, E. Ben Charrada, Y. Chisik, F. Dalpiaz, A. Ferrari, … A. Zamansky (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). Utrecht, The Netherlands: CEUR-WS.org.
LibreCat | Files available | Download (ext.)
 
2018 | Working Paper | LibreCat-ID: 15206
Haake, C.-J., & Stroh-Maraun, N. (2018). A Note on Manipulability in School Choice with Reciprocal Preferences (Vol. 111). CIE Working Paper Series, Paderborn University.
LibreCat | Files available
 
2018 | Working Paper | LibreCat-ID: 15207
Duman, P. (2018). Does Informational Equivalence Preserve Strategic Behavior? An Experimental Study on Trockel’s Game (Vol. 117). CIE Working Paper Series, Paderborn University.
LibreCat | Files available
 
2018 | Journal Article | LibreCat-ID: 1029
De Jaegher, K., & Hoyer, B. (2018). Preemptive Repression: Deterrence, Backfiring, Iron Fists and Velvet Gloves. Journal of Conflict Resolution, 63(2), 502--527. https://doi.org/10.1177/0022002717750450
LibreCat | Files available | DOI
 
2018 | Journal Article | LibreCat-ID: 1031
Kaimann, D., Stroh-Maraun, N., & Cox, J. (2018). Variety in the video game industry: An empirical study of the Wundt curve. Managerial and Decision Economics, 39(3), 354–362. https://doi.org/10.1002/mde.2909
LibreCat | Files available | DOI
 
2018 | Journal Article | LibreCat-ID: 1369
Drees, M., Feldotto, M., Riechers, S., & Skopalik, A. (2018). Pure Nash equilibria in restricted budget games. Journal of Combinatorial Optimization. https://doi.org/10.1007/s10878-018-0269-7
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 11710
Chen, W.-F., Wachsmuth, H., Al Khatib, K., & Stein, B. (2018). Learning to Flip the Bias of News Headlines. Proceedings of the 11th International Conference on Natural Language Generation, 79–88.
LibreCat | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 14873
Chen, W.-F., Hagen, M., Stein, B., & Potthast, M. (2018). A User Study on Snippet Generation: Text Reuse vs. Paraphrases. Proceedings of the 41st International ACM SIGIR Conference on Research & Development in Information Retrieval, 1033–1036.
LibreCat | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 14885
Potthast, M., Chen, W.-F., Hagen, M., & Stein, B. (2018). A Plan for Ancillary Copyright: Original Snippets. Proceedings of the Second International Workshop on Recent Trends in News Information Retrieval, 3–5.
LibreCat | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 3873 | OA
Blömer, J., Eidens, F., & Juhnke, J. (2018). Enhanced Security of Attribute-Based Signatures. The International Conference on Cryptology And Network Security (CANS), 11124, 235–255. https://doi.org/10.1007/978-3-030-00434-7_12
LibreCat | Files available | DOI | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 2379 | OA
Blömer, J., & Bobolz, J. (n.d.). Delegatable Attribute-based Anonymous Credentials from Dynamically Malleable Signatures. ACNS 2018 Applied Cryptography & Network Security. The 16th International Conference on Applied Cryptography and Network Security, Leuven, Belgium. https://doi.org/10.1007/978-3-319-93387-0_12
LibreCat | Files available | DOI | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 1588
Kenter, T., Mahale, G., Alhaddad, S., Grynko, Y., Schmitt, C., Afzal, A., Hannig, F., Förstner, J., & Plessl, C. (2018). OpenCL-based FPGA Design to Accelerate the Nodal Discontinuous Galerkin Method for Unstructured Meshes. Proc. Int. Symp. on Field-Programmable Custom Computing Machines (FCCM). Proc. Int. Symp. on Field-Programmable Custom Computing Machines (FCCM). https://doi.org/10.1109/FCCM.2018.00037
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 1204
Riebler, H., Vaz, G. F., Kenter, T., & Plessl, C. (2018). Automated Code Acceleration Targeting Heterogeneous OpenCL Devices. Proc. ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP). https://doi.org/10.1145/3178487.3178534
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 2851
Markarian, C. (2017). Leasing with Uncertainty. In International Conference on Operations Research (OR). Berlin. https://doi.org/10.1007/978-3-319-89920-6_57
LibreCat | Files available | DOI
 
2017 | Conference Abstract | LibreCat-ID: 2696
Zimmermann, S., Herrmann, P., Kundisch, D., & Nault, B. (2017). Decomposing the Variance of Online Consumer Ratings and the Impact on Price and Demand. In Workshop Theory in Economics of Information Systems (TEIS). Sonoma, USA.
LibreCat | Files available
 
2017 | Journal Article | LibreCat-ID: 3307
Frick, B., & Kaimann, D. (2017). The impact of customer reviews and advertisement efforts on the performance of experience goods in electronic markets. Applied Economics Letters, 24(17), 1237–1240. https://doi.org/10.1080/13504851.2016.1270399
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 3325
Melnikov, V., & Hüllermeier, E. (2017). 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. https://doi.org/10.5445/KSP/1000074341
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 2967 | OA
Blömer, J., & Liske, G. (2017). 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, pp. 438–453). Cham: Springer International Publishing. https://doi.org/10.1007/978-3-319-72453-9_35
LibreCat | Files available | DOI | Download (ext.)
 
2017 | Conference Paper | LibreCat-ID: 112
Feldotto, M., Leder, L., & Skopalik, A. (2017). Congestion Games with Complementarities. In Proceedings of the 10th International Conference on Algorithms and Complexity (CIAC) (pp. 222--233). https://doi.org/10.1007/978-3-319-57586-5_19
LibreCat | Files available | DOI | arXiv
 
2017 | Conference Paper | LibreCat-ID: 113
Feldotto, M., Gairing, M., Kotsialou, G., & Skopalik, A. (2017). Computing Approximate Pure Nash Equilibria in Shapley Value Weighted Congestion Games. In Proceedings of the 13th International Conference on Web and Internet Economics (WINE). https://doi.org/10.1007/978-3-319-71924-5_14
LibreCat | Files available | DOI | arXiv
 
2017 | Conference Paper | LibreCat-ID: 114
Jakobs, M.-C., & Wehrheim, H. (2017). Compact Proof Witnesses. In C. Barrett, M. Davies, & T. Kahsai (Eds.), NASA Formal Methods: 9th International Symposium (pp. 389–403). https://doi.org/10.1007/978-3-319-57288-8_28
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 115
Jakobs, M.-C., Krämer, J., van Straaten, D., & Lettmann, T. (2017). Certification Matters for Service Markets. In T. P. Marcelo De Barros, Janusz Klink,Tadeus Uhl (Ed.), The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION) (pp. 7–12).
LibreCat | Files available
 
2017 | Conference Paper | LibreCat-ID: 1767
Mavronicolas, M., & Monien, B. (2017). Conditional Value-at-Risk: Structure and Complexity of Equilibria. In Proceedings of the 10th International Symposium on Algorithmic Game Theory (SAGT 2017) (Vol. 10504, pp. 131--143). L’Aquila, Italy. https://doi.org/10.1007/978-3-319-66700-3_11
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 2344 | OA
Blömer, J., Günther, P., Krummel, V., & Löken, N. (2017). Attribute-Based Encryption as a Service for Access Control in Large-Scale Organizations. In Foundations and Practice of Security (pp. 3–17). Cham: Springer International Publishing. https://doi.org/10.1007/978-3-319-75650-9_1
LibreCat | Files available | DOI
 
2017 | Journal Article | LibreCat-ID: 2269
Mauleon, A., Roehl, N., & Vannetelbosch, V. (2017). Constitutions and groups. Games and Economic Behavior, 107, 135–152. https://doi.org/10.1016/j.geb.2017.10.022
LibreCat | Files available | DOI
 
2017 | Journal Article | LibreCat-ID: 90
Isenberg, T. (2017). Incremental Inductive Verification of Parameterized Timed Systems. ACM Transactions on Embedded Computing Systems, (2), 47:1-47:24. https://doi.org/10.1145/2984640
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 91
Szopinski, D., Schoormann, T., John, T., Knackstedt, R., & Kundisch, D. (2017). How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools. In Proceedings of the 23rd Americas Conference on Information Systems (AMCIS). Boston, USA.
LibreCat | Files available
 
2017 | Conference Abstract | LibreCat-ID: 92
Szopinski, D., Schoormann, T., John, T., Knackstedt, R., & Kundisch, D. (2017). How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools. In Bosch Business Model Innovation Summit 2017. Renningen, Germany.
LibreCat | Files available
 
2017 | Book Chapter | LibreCat-ID: 93
Geierhos, M., & Bäumer, F. S. (2017). Guesswork? Resolving Vagueness in User-Generated Software Requirements. In H. Christiansen, M. D. Jiménez-López, R. Loukanova, & L. S. Moss (Eds.), Partiality and Underspecification in Information, Languages, and Knowledge (1st ed., pp. 65–108). Newcastle upon Tyne, UK: Cambridge Scholars Publishing.
LibreCat | Files available
 
2017 | Encyclopedia Article | LibreCat-ID: 95
Kundisch, D., & John, T. (2017). Geschäftsmodell-Modellierungssprache/Business Model Modeling Language. In Enzyklopädie der Wirtschaftsinformatik, GITO.
LibreCat | Files available
 
2017 | Conference Paper | LibreCat-ID: 77
Szopinski, D., Jazayeri, B., Engels, G., & Kundisch, D. (2017). 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 (pp. 2059–2066). GI.
LibreCat | Files available
 
2017 | Conference Paper | LibreCat-ID: 78
Jazayeri, B., & Schwichtenberg, S. (2017). On-The-Fly Computing Meets IoT Markets - Towards a Reference Architecture. In Proceedings of the International Conference on Software Architecture (ICSA) IoT-ASAP Workshop (pp. 120--127). Gothenburg, Sweden: IEEE. https://doi.org/10.1109/ICSAW.2017.59
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 79
Mäcker, A., Malatyali, M., Meyer auf der Heide, F., & Riechers, S. (2017). 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, pp. 207–222). Springer. https://doi.org/10.1007/978-3-319-89441-6
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 82
Abu-Khzam, F. N., Li, S., Markarian, C., Meyer auf der Heide, F., & Podlipyan, P. (2017). Modular-Width: An Auxiliary Parameter for Parameterized Parallel Complexity. In Proceedings of the 11th International Workshop on Frontiers in Algorithmics (FAW) (pp. 139–150). https://doi.org/10.1007/978-3-319-59605-1_13
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 5695
Jazayeri, B., & Schwichtenberg, S. (2017). 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.
LibreCat | Files available
 
2017 | Conference Paper | LibreCat-ID: 57
Bäumer, F. S., Dollmann, M., & Geierhos, M. (2017). Studying Software Descriptions in SourceForge and App Stores for a better Understanding of real-life Requirements. In F. Sarro, E. Shihab, M. Nagappan, M. C. Platenius, & D. Kaimann (Eds.), Proceedings of the 2nd ACM SIGSOFT International Workshop on App Market Analytics (pp. 19–25). New York, NY, USA: ACM. https://doi.org/10.1145/3121264.3121269
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 5769
Töws, M., & Wehrheim, H. (2017). Policy Dependent and Independent Information Flow Analyses. In Formal Methods and Software Engineering - 19th International Conference  on Formal Engineering Methods (ICFEM 2017) (pp. 362–378). Springer International Publishing. https://doi.org/10.1007/978-3-319-68690-5_22
LibreCat | Files available | DOI
 
2017 | Journal Article | LibreCat-ID: 58 | OA
Dräxler, S., & Karl, H. (2017). Specification, Composition, and Placement of Network Services with Flexible Structures. International Journal of Network Management, (2), 1--16. https://doi.org/10.1002/nem.1963
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 59
Kling, P., Mäcker, A., Riechers, S., & Skopalik, A. (2017). Sharing is Caring: Multiprocessor Scheduling with a Sharable Resource. In Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA) (pp. 123--132). https://doi.org/10.1145/3087556.3087578
LibreCat | Files available | DOI
 
2017 | Conference (Editor) | LibreCat-ID: 5980
Scheideler, C., & Taghi Hajiaghayi, M. (Eds.). (2017). Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2017, Washington DC, USA, July 24-26, 2017. ACM. https://doi.org/10.1145/3087556
LibreCat | DOI
 
2017 | Journal Article | LibreCat-ID: 64
Keller, M., & Karl, H. (2017). 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, (1), 121--135. https://doi.org/10.1109/TNSM.2016.2611590
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 45
Gutt, D., Schlangenotto, D., & Kundisch, D. (2017). You can’t buy my rating! On the pivotal effect of an unconditional gift on rating behavior. In Wirtschaftsinformatik Proceedings, St. Gallen, Switzerland.
LibreCat | Files available
 
2017 | Book Chapter | LibreCat-ID: 48
Kundisch, D., & Gutt, D. (2017). Was bedeutet die Transformation der Märkte im digitalen Zeitalter? Ökonomische Grundlagen. In S. Hannappel & R. Rehm (Eds.), Digitale Ökonomie - Wie verändern sich die Märkte?
LibreCat | Files available
 
2017 | Conference Paper | LibreCat-ID: 49
John, T., Kundisch, D., & Szopinski, D. (2017). Visual Languages for Modeling Business Models: A Critical Review and Future Research Directions. In Proceedings of the 38th International Conference on Information Systems (ICIS), Seoul, South Korea.
LibreCat | Files available
 
2017 | Conference Paper | LibreCat-ID: 70
Feldkord, B., Markarian, C., & Meyer auf der Heide, F. (2017). Price Fluctuations in Online Leasing. In Proceedings of the 11th Annual International Conference on Combinatorial Optimization and Applications (COCOA) (pp. 17–31). https://doi.org/10.1007/978-3-319-71147-8_2
LibreCat | Files available | DOI
 
2017 | Journal Article | LibreCat-ID: 706
Mäcker, A., Malatyali, M., Meyer auf der Heide, F., & Riechers, S. (2017). Cost-efficient Scheduling on Machines from the Cloud. Journal of Combinatorial Optimization, 36(4), 1168–1194. https://doi.org/10.1007/s10878-017-0198-x
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 71
Czech, M., Hüllermeier, E., Jakobs, M.-C., & Wehrheim, H. (2017). Predicting Rankings of Software Verification Tools. In Proceedings of the 3rd International Workshop on Software Analytics (pp. 23–26). https://doi.org/10.1145/3121257.3121262
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 717 | OA
Dräxler, S., Karl, H., Peuster, M., Razzaghi Kouchaksaraei, H., Bredel, M., Lessmann, J., … Xilouris, G. (2017). SONATA: Service programming and orchestration for virtualized software networks. In 2017 IEEE International Conference on Communications Workshops (ICC Workshops). Paris, France: IEEE. https://doi.org/10.1109/iccw.2017.7962785
LibreCat | Files available | DOI | Download (ext.)
 
2017 | Report | LibreCat-ID: 72
Czech, M., Hüllermeier, E., Jakobs, M.-C., & Wehrheim, H. (2017). Predicting Rankings of Software Verification Competitions.
LibreCat | Files available
 
2017 | Conference Paper | LibreCat-ID: 73
Jakobs, M.-C. (2017). PART_PW: From Partial Analysis Results to a Proof Witness. In A. Cimatti & M. Sirjani (Eds.), Software Engineering and Formal Methods (pp. 120–135). https://doi.org/10.1007/978-3-319-66197-1_8
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 84
Platenius, M. C., Arifulina, S., & Schäfer, W. (2017). MatchBox: A Framework for Dynamic Configuration of Service Matching Processes (Extended Abstract). In Tagungsband Software Engineering (pp. 81--82).
LibreCat | Files available
 
2017 | Conference Paper | LibreCat-ID: 87 | OA
Dräxler, S., Karl, H., & Mann, Z. A. (2017). 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). https://doi.org/10.1109/CCGRID.2017.25
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 97
van Rooijen, L., Bäumer, F. S., Platenius, M. C., Geierhos, M., Hamann, H., & Engels, G. (2017). 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) (pp. 379–385). Piscataway, NJ, USA: IEEE. https://doi.org/10.1109/REW.2017.26
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 98
Schwichtenberg, S., Gerth, C., & Engels, G. (2017). From Open API to Semantic Specifications and Code Adapters. In Proceedings of the 24th IEEE International Conference on Web Services (ICWS) (pp. 484--491).
LibreCat | Files available
 
2017 | Conference Paper | LibreCat-ID: 981 | OA
Peuster, M., & Karl, H. (2017). 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. https://doi.org/10.1109/NFV-SDN.2017.8169826
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 99
Wehrheim, H. (2017). Fault localization in service compositions. In Proceedings of the 14th International Conference on Formal Aspects of Component Software (FACS).
LibreCat | Files available
 
2017 | Conference Abstract | LibreCat-ID: 52
John, T., & Szopinski, D. (2017). Towards Explaining the Popularity of the Business Model Canvas: A Dual-coding Approach. In 1st Business Model Conference. Venice, Italy.
LibreCat | Files available
 
2017 | Conference Paper | LibreCat-ID: 5204
Späth, J., Ali, K., & Bodden, E. (2017). IDEal: Efficient and Precise Alias-aware Dataflow Analysis. In 2017 International Conference on Object-Oriented Programming, Languages and Applications (OOPSLA/SPLASH). ACM Press.
LibreCat | Files available | Download (ext.)
 
2017 | Journal Article | LibreCat-ID: 5209
Fischer, A., Fuhry, B., Kerschbaum, F., & Bodden, E. (2017). Computation on Encrypted Data using Data Flow Authentication. CoRR, abs/1710.00390.
LibreCat | Files available | Download (ext.)
 
2017 | Conference Paper | LibreCat-ID: 53
Neumann, J., Gutt, D., & Kundisch, D. (2017). The Traveling Reviewer Problem – Exploring the Relationship Between Offline Locations and Online Rating Behavior. In Proceedings of the 38th International Conference on Information Systems (ICIS). Seoul, South Korea.
LibreCat | Files available
 
2017 | Conference Abstract | LibreCat-ID: 54
Neumann, J., Gutt, D., & Kundisch, D. (2017). The Traveling Reviewer Problem – Exploring the Relationship between Offline Locations and Online Rating Behavior. In INFORMS Annual Meeting. Houston, USA.
LibreCat | Files available
 
2017 | Conference Paper | LibreCat-ID: 55
Feldkord, B., & Meyer auf der Heide, F. (2017). The Mobile Server Problem. In Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA) (pp. 313–319). https://doi.org/10.1145/3087556.3087575
LibreCat | Files available | DOI
 
2017 | Conference Abstract | LibreCat-ID: 56
John, T. (2017). Supporting Business Model Idea Generation Through Machine-generated Ideas: A Design Theory. In 1st Business Model Conference. Venice, Italy.
LibreCat | Files available
 
2017 | Conference Paper | LibreCat-ID: 65
Lösch, A., & Platzner, M. (2017). 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). https://doi.org/10.1109/ASAP.2017.7995272
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 66
Drees, M., Feldotto, M., Riechers, S., & Skopalik, A. (2017). Pure Nash Equilibria in Restricted Budget Games. In Proceedings of the 23rd International Computing and Combinatorics Conference (COCOON) (pp. 175--187). https://doi.org/10.1007/978-3-319-62389-4_15
LibreCat | Files available | DOI
 
2017 | Journal Article | LibreCat-ID: 68
Isenberg, T., Platzner, M., Wehrheim, H., & Wiersema, T. (2017). Proof-Carrying Hardware via Inductive Invariants. ACM Transactions on Design Automation of Electronic Systems, (4), 61:1--61:23. https://doi.org/10.1145/3054743
LibreCat | Files available | DOI
 
2017 | Journal Article | LibreCat-ID: 69
Jakobs, M.-C., & Wehrheim, H. (2017). Programs from Proofs: A Framework for the Safe Execution of Untrusted Software. ACM Transactions on Programming Languages and Systems, (2), 7:1-7:56. https://doi.org/10.1145/3014427
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 105
Gmyr, R., Hinnenthal, K., Scheideler, C., & Sohler, C. (2017). Distributed Monitoring of Network Properties: The Power of Hybrid Networks. In Proceedings of the 44th International Colloquium on Automata, Languages, and Programming (ICALP) (pp. 137:1--137:15). https://doi.org/10.4230/LIPIcs.ICALP.2017.137
LibreCat | Files available | DOI
 
2017 | Journal Article | LibreCat-ID: 1054
Brosig-Koch, J., Hehenkamp, B., & Kokot, J. (2017). The effects of competition on medical service provision. Health Economics, 26(53), 6–20. https://doi.org/10.1002/hec.3583
LibreCat | Files available | DOI
 
2017 | Report | LibreCat-ID: 1055
Hehenkamp, B., & Kaarboe, O. (2017). Location Choice and Quality Competition in Mixed Hospital Markets. Universität Paderborn.
LibreCat | Files available
 
2017 | Report | LibreCat-ID: 1056
Gu, Y., Hehenkamp, B., & Leininger, W. (2017). Evolutionary Equilibrium in Stochastic Contests - Entry, Effort, and Overdissipation. Universität Paderborn.
LibreCat | Files available
 
2017 | Report | LibreCat-ID: 1057
Sürücü, O., Mir Djawadi, B., & Brangewitz, S. (2017). Asymmetric Dominance Effect with Multiple Decoys for Low- and High-Variance Lotteries. Universität Paderborn.
LibreCat | Files available
 
2017 | Journal Article | LibreCat-ID: 1062
Frick, B., Gergaud, O., & Winter, P. (2017). The revenue potential of product differentiation: Empirical evidence fro the Croation restaurant industry. Gastronomy and Tourism, 2(4), 259-271(13). https://doi.org/10.3727/216929717X15046207899410
LibreCat | Files available | DOI
 
2017 | Working Paper | LibreCat-ID: 1083 | OA
Hoyer, B., & Stroh-Maraun, N. (2017). Matching Strategies of Heterogeneous Agents under Incomplete Information in a University Clearinghouse (Vol. 110). CIE Working Paper Series, Paderborn University.
LibreCat | Files available | Download (ext.)
 
2017 | Journal Article | LibreCat-ID: 1098
Kim, Y.-S., Lee, S.-W., Dollmann, M., & Geierhos, M. (2017). Semantic Annotation of Software Requirements with Language Frame. International Journal of Software Engineering for Smart Device, 4(2), 1–6.
LibreCat | Files available
 
2017 | Journal Article | LibreCat-ID: 110
Antoniadis, A., Kling, P., Ott, S., & Riechers, S. (2017). Continuous Speed Scaling with Variability: A Simple and Direct Approach. Theoretical Computer Science, 1–13. https://doi.org/10.1016/j.tcs.2017.03.021
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 1180 | OA
Wever, M. D., Mohr, F., & Hüllermeier, E. (2017). Automatic Machine Learning: Hierachical Planning Versus Evolutionary Optimization. In 27th Workshop Computational Intelligence. Dortmund.
LibreCat | Files available | Download (ext.)
 
2017 | Conference Paper | LibreCat-ID: 120
Wever, M. D., van Rooijen, L., & Hamann, H. (2017). Active Coevolutionary Learning of Requirements Specifications from Examples. In Proceedings of the Genetic and Evolutionary Computation Conference (GECCO) (pp. 1327--1334). https://doi.org/10.1145/3071178.3071258
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 121
Schlangenotto, D., & Kundisch, D. (2017). 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.
LibreCat | Files available
 
2017 | Conference Paper | LibreCat-ID: 122
Schlangenotto, D., Kundisch, D., & Gutt, D. (2017). Achieving More by Paying Less? How Bricks-and-Mortar Retailers Can Benefit by Bidding Less Aggressively in Paid Search. In Proceedings of the 38th International Conference on Information Systems (ICIS), Seoul, South Korea. Seoul, South Korea.
LibreCat | Files available
 
2017 | Report | LibreCat-ID: 123
Jazayeri, B., Zimmermann, O., Engels, G., & Kundisch, D. (2017). A Variability Model for Store-oriented Software Ecosystems: An Enterprise Perspective (Supplementary Material). Universität Paderborn.
LibreCat | Files available
 
2017 | Conference Paper | LibreCat-ID: 124
Jazayeri, B., Zimmermann, O., Engels, G., & Kundisch, D. (2017). 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). Málaga, Spain: Springer. https://doi.org/10.1007/978-3-319-69035-3_42
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 125
Feldmann, M., & Scheideler, C. (2017). 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, pp. 250–264). Springer, Cham. https://doi.org/10.1007/978-3-319-69084-1_17
LibreCat | Files available | DOI | arXiv
 
2017 | Conference Paper | LibreCat-ID: 126
Neumann, J., & Gutt, D. (2017). A Homeowner’s Guide to Airbnb: Theory and Empirical Evidence for Optimal Pricing Conditional on Online Ratings. In Proceedings of the 25th Conference on Information Systems (ECIS). Guimaraes, Portugal.
LibreCat | Files available
 
2017 | Conference Abstract | LibreCat-ID: 127
Neumann, J., Gutt, D., & Kundisch, D. (2017). A Homeowner’s Guide to Airbnb: Theory and Empirical Evidence for Optimal Pricing Conditional on Online Ratings. INFORMS Conference on Information Systems and Technology (CIST), Houston, USA.
LibreCat | Files available
 
2017 | Journal Article | LibreCat-ID: 18
Riebler, H., Lass, M., Mittendorf, R., Löcke, T., & Plessl, C. (2017). Efficient Branch and Bound on FPGAs Using Work Stealing and Instance-Specific Designs. ACM Transactions on Reconfigurable Technology and Systems (TRETS), 10(3), 24:1-24:23. https://doi.org/10.1145/3053687
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 1592
Kenter, T., Förstner, J., & Plessl, C. (2017). Flexible FPGA design for FDTD using OpenCL. Proc. Int. Conf. on Field Programmable Logic and Applications (FPL). https://doi.org/10.23919/FPL.2017.8056844
LibreCat | Files available | DOI
 
2016 | Journal Article | LibreCat-ID: 2540
Brangewitz, S., & Brockhoff, S. (2016). Sustainability of coalitional equilibria within repeated tax competition. European Journal of Political Economy, 49, 1–23. https://doi.org/10.1016/j.ejpoleco.2016.11.003
LibreCat | Files available | DOI
 
2016 | Report | LibreCat-ID: 198
Jazayeri, B., Platenius, M. C., Engels, G., & Kundisch, D. (2016). Features of IT Service Markets: A Systematic Literature Review (Supplementary Material). Universität Paderborn.
LibreCat | Files available
 
2016 | Conference Paper | LibreCat-ID: 199
Jazayeri, B., Platenius, M., Engels, G., & Kundisch, D. (2016). Features of IT Service Markets: A Systematic Literature Review. In Proceedings of the 14th International Conference on Service Oriented Computing (ICSOC) (Vol. 9936, pp. 301–316). Banff, Canada: Springer. https://doi.org/10.1007/978-3-319-46295-0_19
LibreCat | Files available | DOI
 
2016 | Working Paper | LibreCat-ID: 2570
Manegold, J. (2016). Stackelberg Competition among Intermediaries in a Differentiated Duopoly with Product Innovation (Vol. 98). CIE Working Paper Series, Paderborn University.
LibreCat | Files available
 
2016 | Journal Article | LibreCat-ID: 3318
Melnikov, V., Hüllermeier, E., Kaimann, D., Frick, B., & Gupta, Pritha . (2016). Pairwise versus Pointwise Ranking: A Case Study. Schedae Informaticae, 25. https://doi.org/10.4467/20838476si.16.006.6187
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 3157
Beringer, S., & Wehrheim, H. (2016). Verification of AUTOSAR Software Architectures with Timed Automata. In M. H. ter Beek, S. Gnesi, & A. Knapp (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 (pp. 189--204). https://doi.org/10.1007/978-3-319-45943-1_13
LibreCat | Files available | DOI
 
2016 | Journal Article | LibreCat-ID: 211
Brangewitz, S., & Manegold, J. (2016). Competition of Intermediaries in a Differentiated Duopoly. Theoretical Economics Letters, 6(6), 1341–1362. https://doi.org/10.4236/tel.2016.66124
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 215
Drees, M., Gmyr, R., & Scheideler, C. (2016). Churn- and DoS-resistant Overlay Networks Based on Network Reconfiguration. In Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA) (pp. 417--427). https://doi.org/10.1145/2935764.2935783
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 216
von Rechenberg, T., & Gutt, D. (2016). Challenge Accepted! - The Impcat of Goal Achievement on Subsequent User Effort and Implications of a Goal’s Difficulty. In Proceedings of the 24th Conference on Information Systems (ECIS), Istanbul. Istanbul, Turkey.
LibreCat | Files available
 
2016 | Journal Article | LibreCat-ID: 175
Walther, S., & Wehrheim, H. (2016). On-The-Fly Construction of Provably Correct Service Compositions - Templates and Proofs. Science of Computer Programming, 2--23. https://doi.org/10.1016/j.scico.2016.04.002
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 176 | OA
Dollmann, M., & Geierhos, M. (2016). 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) (pp. 1807–1816). Austin, TX, USA: Association for Computational Linguistics (ACL).
LibreCat | Files available | Download (ext.)
 
2016 | Conference Paper | LibreCat-ID: 177
Abu-Khzam, F. N., Li, S., Markarian, C., Meyer auf der Heide, F., & Podlipyan, P. (2016). On the Parameterized Parallel Complexity and the Vertex Cover Problem. In Proceedings of the 10th International Conference on Combinatorial Optimization and Applications (COCOA) (pp. 477–488). https://doi.org/10.1007/978-3-319-48749-6_35
LibreCat | Files available | DOI
 
2016 | Special Issue | LibreCat-ID: 187
Meyer auf der Heide, F. (Ed.). (2016). Introduction to the Special Issue on SPAA 2014. Transactions on Parallel Computing (TOPC). https://doi.org/10.1145/2936716
LibreCat | Files available | DOI
 
2016 | Journal Article | LibreCat-ID: 190
Platenius, M. C., Shaker, A., Becker, M., Hüllermeier, E., & Schäfer, W. (2016). Imprecise Matching of Requirements Specifications for Software Services using Fuzzy Logic. IEEE Transactions on Software Engineering (TSE), Presented at ICSE 2017, (8), 739–759. https://doi.org/10.1109/TSE.2016.2632115
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 191
Geierhos, M., & Bäumer, F. S. (2016). How to Complete Customer Requirements: Using Concept Expansion for Requirement Refinement. In E. Métais, F. Meziane, M. Saraee, V. Sugumaran, & S. Vadera (Eds.), Proceedings of the 21st International Conference on Applications of Natural Language to Information Systems (NLDB) (Vol. 9612, pp. 37–47). Cham, Switzerland: Springer. https://doi.org/10.1007/978-3-319-41754-7_4
LibreCat | Files available | DOI
 
2016 | Journal Article | LibreCat-ID: 193
von Rechenberg, T., Gutt, D., & Kundisch, D. (2016). Goals as Reference Points: Empirical Evidence from a Virtual Reward System. Decision Analysis, (2), 153--171. https://doi.org/10.1287/deca.2016.0331
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 203
Brangewitz, S., & Hoof, S. (2016). Economic Aspects of Service Composition: Price Negotiations and Quality Investments. In S. D. Marco Aiello, Einar Broch Johnsen & I. Georgievski (Eds.), Service-Oriented and Cloud Computing: 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings (pp. 201–215). Cham. https://doi.org/10.1007/978-3-319-44482-6_13
LibreCat | Files available | DOI
 
2016 | Conference Abstract | LibreCat-ID: 205
Herrmann, P., Gutt, D., & Rahman, M. (2016). Crowd-Driven Competitive Intelligence: Understanding the Relationship between Local Market Structure and Online Rating Distributions. In INFORMS Annual Meeting. Nashville, USA.
LibreCat | Files available
 
2016 | Conference Abstract | LibreCat-ID: 206
Herrmann, P., Gutt, D., & Rahman, M. (2016). 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. Cambridge, MA, USA.
LibreCat | Files available
 
2016 | Conference Paper | LibreCat-ID: 207
Mäcker, A., Malatyali, M., Meyer auf der Heide, F., & Riechers, S. (2016). Cost-efficient Scheduling on Machines from the Cloud. In Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA) (pp. 578--592). https://doi.org/10.1007/978-3-319-48749-6_42
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 208
Blömer, J., & Liske, G. (2016). Construction of Fully CCA-Secure Predicate Encryptions from Pair Encoding Schemes. In Proceedings of the CT-RSA 2016 (pp. 431–447). https://doi.org/10.1007/978-3-319-29485-8_25
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 209
Feldotto, M., Leder, L., & Skopalik, A. (2016). Congestion Games with Mixed Objectives. In Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA) (pp. 655--669). https://doi.org/10.1007/978-3-319-48749-6_47
LibreCat | Files available | DOI | arXiv
 
2016 | Conference Paper | LibreCat-ID: 180
Gutt, D., & Kundisch, D. (2016). Money Talks (Even) in the Sharing Economy: Empirical Evidence for Price Effects in Online Ratings as Quality Signals. In Proceedings of the 37th International Conference on Information Systems (ICIS), Dublin, Ireland. Dublin, Ireland.
LibreCat | Files available
 
2016 | Conference Paper | LibreCat-ID: 184
Melnikov, V., & Hüllermeier, E. (2016). Learning to Aggregate Using Uninorms. In Proceedings of the Joint European Conference on Machine Learning and Knowledge Discovery in Databases (ECML/PKDD 2016) (pp. 756–771). https://doi.org/10.1007/978-3-319-46227-1_47
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 186
Czech, M., Jakobs, M.-C., & Wehrheim, H. (2016). Just test what you cannot verify! In U. Z. Jens Knoop (Ed.), Software Engineering 2016 (pp. 17–18).
LibreCat | Files available
 
2016 | Report | LibreCat-ID: 221
Platenius, M. C., Josifovska, K., van Rooijen, L., Arifulina, S., Becker, M., Engels, G., & Schäfer, W. (2016). An Overview of Service Specification Language and Matching in On-The-Fly Computing (v0.3). Universität Paderborn.
LibreCat | Files available
 
2016 | Journal Article | LibreCat-ID: 222
Wiersema, T., Bockhorn, A., & Platzner, M. (2016). An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip. Computers & Electrical Engineering, 112--122. https://doi.org/10.1016/j.compeleceng.2016.04.005
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 224
Krämer, J., & Wehrheim, H. (2016). 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) (pp. 248--262). https://doi.org/10.1007/978-3-319-44482-6_16
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 225
Jungmann, A., & Kleinjohann, B. (2016). 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) (pp. 1--8). https://doi.org/10.1109/ETFA.2016.7733522
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 226
Krämer, J., & Wehrheim, H. (2016). 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) (pp. 445--457). https://doi.org/10.1007/978-3-319-50230-4_35
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 227
Töws, M., & Wehrheim, H. (2016). A CEGAR Scheme for Information Flow Analysis. In Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016) (pp. 466--483). https://doi.org/10.1007/978-3-319-47846-3_29
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 217
Schwichtenberg, S. (2016). Automatized Derivation of Comprehensive Specifications for Black-box Services. In Proceedings of the 38th International Conference on Software Engineering Companion (ICSE) (pp. 815–818). https://doi.org/10.1145/2889160.2889271
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 218
Jungmann, A., & Kleinjohann, B. (2016). Automatic Composition of Service-based Image Processing Applications. In Proceedings of the 13th IEEE International Conference on Services Computing (SCC) (pp. 106--113). https://doi.org/10.1109/SCC.2016.21
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 219
Jazayeri, B. (2016). Architectural Management of On-The-Fly Computing Markets. In Proceedings of the 10th European Conference on Software Architecture (ECSA Workshops) (p. 42). Copenhagen, Denmark: ACM. https://doi.org/10.1145/2993412.3010821
LibreCat | Files available | DOI
 
2016 | Journal Article | LibreCat-ID: 5762
Strothmann, T. F. (2016). The Impact of Communication Patterns on Distributed Self-Adjusting Binary Search Tree. Journal of Graph Algorithms and Applications, 20(1), 79–100. https://doi.org/10.7155/jgaa.00385
LibreCat | Files available | DOI
 
2016 | Journal Article | LibreCat-ID: 726
Wette, P., & Karl, H. (2016). DCT2Gen: A traffic generator for data centers. Computer Communications, 45--58. https://doi.org/10.1016/j.comcom.2015.12.001
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 730 | OA
Peuster, M., & Karl, H. (2016). 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 (pp. 7--12). Den Haag. https://doi.org/10.1109/EWSDN.2016.9
LibreCat | Files available | DOI | Download (ext.)
 
2016 | Conference Paper | LibreCat-ID: 731
Peuster, M., Karl, H., Enrico Redondi, A., & Capone, A. (2016). 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 (pp. 1015--1016). San Francisco. https://doi.org/10.1109/INFCOMW.2016.7562232
LibreCat | Files available | DOI | Download (ext.)
 
2016 | Conference Paper | LibreCat-ID: 738 | OA
Peuster, M., Karl, H., & van Rossem, S. (2016). 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). Palo Alto. https://doi.org/10.1109/NFV-SDN.2016.7919490
LibreCat | Files available | DOI | Download (ext.)
 
2016 | Conference Abstract | LibreCat-ID: 4374
Zimmermann, S., Herrmann, P., Kundisch, D., & Nault, B. (2016). How do different Sources of the Variance of Online Consumer Ratings matter? In Workshop on IS Design and Economic Behavior (ISDEB). Ilmenau, Germany.
LibreCat | Files available
 
2016 | Conference Paper | LibreCat-ID: 5205
Späth, J., Nguyen Quang Do, L., Ali, K., & Bodden, E. (2016). Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java. In European Conference on Object-Oriented Programming (ECOOP).
LibreCat | Files available | Download (ext.)
 
2016 | Conference Paper | LibreCat-ID: 166 | OA
Dräxler, S., & Karl, H. (2016). Placement of Services with Flexible Structures Specified by a YANG Data Model. In Proceedings of the 2nd International IEEE Conference on Network Softwarization (NetSoft) (pp. 184--192). https://doi.org/10.1109/NETSOFT.2016.7502412
LibreCat | Files available | DOI | Download (ext.)
 
2016 | Conference Paper | LibreCat-ID: 169
Kühne, T., Hamann, H., Arifulina, S., & Engels, G. (2016). 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) (pp. 278--293). https://doi.org/10.1007/978-3-319-30668-1_18
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 170
Jakobs, M.-C., Töws, M., & Pauck, F. (2016). PAndA 2 : Analyzing Permission Use and Interplay in Android Apps (Tool Paper). In T. E. Ishikawa F, Romanovsky A (Ed.), Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems.
LibreCat | Files available
 
2016 | Conference Paper | LibreCat-ID: 155
Gmyr, R., Lefèvre, J., & Scheideler, C. (2016). Self-stabilizing Metric Graphs. In Proceedings of the 18th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS) (pp. 248--262). https://doi.org/10.1007/978-3-319-49259-9_20
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 157
König, J., Mäcker, A., Meyer auf der Heide, F., & Riechers, S. (2016). Scheduling with Interjob Communication on Parallel Processors. In Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA) (pp. 563--577). https://doi.org/10.1007/978-3-319-48749-6_41
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 158
Bäumer, F. S., & Geierhos, M. (2016). Running out of Words: How Similar User Stories Can Help to Elaborate Individual Natural Language Requirement Descriptions. In G. Dregvaite & R. Damasevicius (Eds.), Proceedings of the 22nd International Conference on Information and Software Technologies (ICIST) (Vol. 639, pp. 549–558). Cham, Switzerland: Springer. https://doi.org/10.1007/978-3-319-46254-7_44
LibreCat | Files available | DOI
 
2016 | Journal Article | LibreCat-ID: 159
Harks, T., Höfer, M., Schewior, K., & Skopalik, A. (2016). Routing Games With Progressive Filling. IEEE/ACM Transactions on Networking, (4), 2553–2562. https://doi.org/10.1109/TNET.2015.2468571
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 148
John, T. (2016). Supporting Business Model Idea Generation Through Machine-generated Ideas: A Design Theory. In Proceedings of the 37th International Conference on Information Systems (ICIS), Dublin, Ireland. Dublin, Ireland.
LibreCat | Files available | Download (ext.)
 
2016 | Conference Paper | LibreCat-ID: 149
Drees, M., Feldkord, B., & Skopalik, A. (2016). Strategic Online Facility Location. In Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA) (pp. 593--607). https://doi.org/10.1007/978-3-319-48749-6_43
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 160
van Rooijen, L., & Hamann, H. (2016). Requirements Specification-by-Example Using a Multi-Objective Evolutionary Algorithm. In Proceedings of 24th IEEE International Requirements Engineering Conference (RE 2016) (pp. 3--9). https://doi.org/10.1109/REW.2016.015
LibreCat | Files available | DOI
 
2016 | Conference (Editor) | LibreCat-ID: 163
Dressler, F., & Meyer auf der Heide, F. (Eds.). (2016). Proceedings of the 17th ACM International Symposium on Mobile Ad Hoc Networking and Computing (MobiHoc). Presented at the MobiHoc, Paderborn, Germany: ACM. https://doi.org/10.1145/2942358
LibreCat | DOI
 
2016 | Journal Article | LibreCat-ID: 139
Abshoff, S., Kling, P., Markarian, C., Meyer auf der Heide, F., & Pietrzyk, P. (2016). Towards the price of leasing online. Journal of Combinatorial Optimization, (4), 1197--1216. https://doi.org/10.1007/s10878-015-9915-5
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 142
Scheideler, C., Setzer, A., & Strothmann, T. F. (2016). Towards a Universal Approach for Monotonic Searchability in Self-stabilizing Overlay Networks. In Proceedings of the 30th International Symposium on Distributed Computing (DISC) (pp. 71--84). https://doi.org/10.1007/978-3-662-53426-7_6
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 143
Abu-Khzam, F. N., Li, S., Markarian, C., Meyer auf der Heide, F., & Podlipyan, P. (2016). The Monotone Circuit Value Problem with Bounded Genus Is in NC. In Proceedings of the 22nd International Conference on Computing and Combinatorics (COCOON) (pp. 92–102). https://doi.org/10.1007/978-3-319-42634-1_8
LibreCat | Files available | DOI
 
2016 | Journal Article | LibreCat-ID: 144
Monien, B., & Mavronicolas, M. (2016). The complexity of equilibria for risk-modeling valuations. Theoretical Computer Science, 634, 67–96. https://doi.org/10.1016/j.tcs.2016.04.013
LibreCat | Files available | DOI
 
2016 | Journal Article | LibreCat-ID: 145
Feldotto, M., & Graffi, K. (2016). Systematic evaluation of peer-to-peer systems using PeerfactSim.KOM. Concurrency and Computation: Practice and Experience, 28(5), 1655–1677. https://doi.org/10.1002/cpe.3716
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 132
Wiersema, T., & Platzner, M. (2016). 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) (pp. 1--8). https://doi.org/10.1109/ReCoSoC.2016.7533910
LibreCat | Files available | DOI
 
2016 | Conference Abstract | LibreCat-ID: 135
Strotmeyer, S., John, T., & Kundisch, D. (2016). Vergleichende Betrachtung von Software-Werkzeugen zur Geschäftsmodellentwicklung. In Multikonferenz Wirtschaftsinformatik (MKWI). Ilmenau, Germany.
LibreCat | Files available
 
2016 | Conference Paper | LibreCat-ID: 137 | OA
Heindorf, S., Potthast, M., Stein, B., & Engels, G. (2016). Vandalism Detection in Wikidata. Proceedings of the 25th International Conference on Information and Knowledge Management (CIKM 2016), 327--336. https://doi.org/10.1145/2983323.2983740
LibreCat | Files available | DOI | Download (ext.)
 
2016 | Conference Paper | LibreCat-ID: 31
Riebler, H., Vaz, G. F., Plessl, C., Trainiti, E. M. G., Durelli, G. C., & Bolchini, C. (2016). Using Just-in-Time Code Generation for Transparent Resource Management in Heterogeneous Systems. Proc. HiPEAC Workshop on Reonfigurable Computing (WRC).
LibreCat | Files available
 
2016 | Conference Paper | LibreCat-ID: 24
Kenter, T., & Plessl, C. (2016). Microdisk Cavity FDTD Simulation on FPGA using OpenCL. Proc. Workshop on Heterogeneous High-Performance Reconfigurable Computing (H2RC).
LibreCat | Files available
 
2016 | Conference Paper | LibreCat-ID: 138
Riebler, H., Vaz, G. F., Plessl, C., Trainiti, E. M. G., Durelli, G. C., Del Sozzo, E., Santambrogio, M. D., & Bolchini, C. (2016). Using Just-in-Time Code Generation for Transparent Resource Management in Heterogeneous Systems. Proceedings of International Forum on Research and Technologies for Society and Industry (RTSI), 1–5. https://doi.org/10.1109/RTSI.2016.7740545
LibreCat | Files available | DOI
 
2016 | Book Chapter | LibreCat-ID: 156
Agne, A., Happe, M., Lösch, A., Plessl, C., & Platzner, M. (2016). Self-aware Compute Nodes. In Self-aware Computing Systems (pp. 145–165). Springer International Publishing. https://doi.org/10.1007/978-3-319-39675-0_8
LibreCat | Files available | DOI
 
2016 | Journal Article | LibreCat-ID: 165
Vaz, G. F., Riebler, H., Kenter, T., & Plessl, C. (2016). Potential and Methods for Embedding Dynamic Offloading Decisions into Application Code. Computers and Electrical Engineering, 55, 91–111. https://doi.org/10.1016/j.compeleceng.2016.04.021
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 168
Lösch, A., Beisel, T., Kenter, T., Plessl, C., & Platzner, M. (2016). Performance-centric scheduling with task migration for a heterogeneous compute node in the data center. Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE), 912–917.
LibreCat | Files available
 
2016 | Conference Paper | LibreCat-ID: 171
Kenter, T., Vaz, G. F., Riebler, H., & Plessl, C. (2016). Opportunities for deferring application partitioning and accelerator synthesis to runtime (extended abstract). Workshop on Reconfigurable Computing (WRC).
LibreCat | Files available
 
2015 | Conference Abstract | LibreCat-ID: 248
John, T. (2015). 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. Fort Worth, USA.
LibreCat | Files available | Download (ext.)
 
2015 | Working Paper | LibreCat-ID: 249
Brangewitz, S., Haake, C.-J., & Möhlmeier, P. (2015). Strategic Formation of Customer Relationship Networks (Vol. 91). Universität Paderborn.
LibreCat | Files available
 
2015 | Conference Paper | LibreCat-ID: 250
Jakobs, M.-C. (2015). Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning. In Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM) (pp. 159--174). https://doi.org/10.1007/978-3-319-22969-0_12
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 253
Blömer, J., Juhnke, J., & Löken, N. (2015). Short Group Signatures with Distributed Traceability. In Proceedings of the Sixth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS) (pp. 166–180). https://doi.org/10.1007/978-3-319-32859-1_14
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 254
Gutt, D., & Herrmann, P. (2015). Sharing Means Caring? Hosts’ Price Reactions to Rating Visibility. In Proceedings of the 23rd European Conference on Information Systems (ECIS), Münster. Münster, Germany.
LibreCat | Files available
 
2015 | Conference Paper | LibreCat-ID: 280
Arifulina, S., Platenius, M. C., Mohr, F., Engels, G., & Schäfer, W. (2015). 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 (pp. 333--340). https://doi.org/10.1109/SERVICES.2015.58
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 283
Czech, M., Jakobs, M.-C., & Wehrheim, H. (2015). Just test what you cannot verify! In A. Egyed & I. Schaefer (Eds.), Fundamental Approaches to Software Engineering (pp. 100–114). https://doi.org/10.1007/978-3-662-46675-9_7
LibreCat | Files available | DOI
 
2015 | Journal Article | LibreCat-ID: 284
Eikel, M., & Scheideler, C. (2015). IRIS: A Robust Information System Against Insider DoS Attacks. Transactions on Parallel Computing, (3), 18:1--18:33. https://doi.org/10.1145/2809806
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: APA

Export