Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
9771 Publications
2018 | Misc | LibreCat-ID: 6596
Webersen, Manuel, Sarah Johannesmann, Tobias Brockschmidt, Friedhelm Rump, Leander Claes, and Bernd Henning. Einfluss mechanischer Vorspannung auf das mechanische Materialverhalten von Polymeren. Workshop “Messtechnische Anwendungen von Ultraschall”, Drübeck, 2018.
LibreCat
2018 | Dissertation | LibreCat-ID: 6597
Juhnke, Jakob. Models and Constructions for Secure Reputation Systems. Universität Paderborn, 2018. https://doi.org/10.17619/UNIPB/1-570.
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 669
Feldotto, Matthias, Lennart Leder, and Alexander Skopalik. “Congestion Games with Mixed Objectives.” Journal of Combinatorial Optimization 36, no. 4 (2018): 1145–67. https://doi.org/10.1007/s10878-017-0189-y.
LibreCat
| Files available
| DOI
| arXiv
2018 | Book | LibreCat-ID: 6738
Gruber, Hans, and Christian Harteis. Individual and Social Influences on Professional Learning. Cham: Springer International Publishing, 2018. https://doi.org/10.1007/978-3-319-97041-7.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6761
Jovanovikj, Ivan, Vishwak Narasimhan, Gregor Engels, and Stefan Sauer. “Context-Specific Quality Evaluation of Test Cases.” In Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, 594–601. SciTePress, 2018. https://doi.org/10.5220/0006724405940601.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6763
Jovanovikj, Ivan, Gregor Engels, Anthony Anjorin, and Stefan Sauer. “Model-Driven Test Case Migration: The Test Case Reengineering Horseshoe Model.” In Information Systems in the Big Data Era - CAiSE Forum 2018, Tallinn, Estonia, June 11-15, 2018, ProceedingIs, edited by Jan Mendling and Haralambos Mouratidis, 133–47. Cham: Springer International Publishing, 2018. https://doi.org/10.1007/978-3-319-92901-9_13.
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 6828
Derrick, John, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, and Heike Wehrheim. “Mechanized Proofs of Opacity: A Comparison of Two Techniques.” Formal Asp. Comput. 30, no. 5 (2018): 597–625. https://doi.org/10.1007/s00165-017-0433-3.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6836
Doherty, Simon, Brijesh Dongol, Heike Wehrheim, and John Derrick. “Making Linearizability Compositional for Partially Ordered Executions.” In Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, 110–29, 2018. https://doi.org/10.1007/978-3-319-98938-9\_7.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6838
Doherty, Simon, Brijesh Dongol, Heike Wehrheim, and John Derrick. “Making Linearizability Compositional for Partially Ordered Executions.” In Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, 110–29, 2018. https://doi.org/10.1007/978-3-319-98938-9\_7.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6970 | 
Schneider, Stefan Balthasar, Sevil Dräxler, and Holger Karl. “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: 6972 |
Schneider, Stefan Balthasar, Manuel Peuster, and Holger Karl. “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. https://doi.org/10.1109/NFV-SDN.2018.8725795.
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 6974 |
Schneider, Stefan Balthasar, Manuel Peuster, Wouter Tavernier, and Holger Karl. “A Fully Integrated Multi-Platform NFV SDK.” In IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018). IEEE, 2018. https://doi.org/10.1109/NFV-SDN.2018.8725794.
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 16937
Cunha, Jácome, Joao Paulo Fernandes, Caitlin Kelleher, Jorge Mendes, and Gregor Engels. “2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC).” In Proceedings of 2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Lisbon, Portugal, October 1-4, 2018. IEEE, 2018. https://doi.org/10.1109/vl/hcc43341.2018.
LibreCat
| DOI
2018 | Book Chapter | LibreCat-ID: 16938
Engels, Gregor, Günter W. Maier, Sonja K. Ötting, Eckhard Steffen, and Alexander Teetz. “Gerechtigkeit in Flexiblen Arbeits- Und Managementprozessen.” In Zukunft Der Arbeit – Eine Praxisnahe Betrachtung, edited by Steffen Wischmann and Ernst Andreas Hartmann, 221–31. Berlin, Heidelberg: Springer Verlag, 2018. https://doi.org/10.1007/978-3-662-49266-6_16.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 1041
Razzaghi Kouchaksaraei, Hadi, and Holger Karl. “Joint Orchestration of Cloud-Based Microservices and Virtual Network Functions.” In The Ninth International Conference on Cloud Computing, GRIDs, and Virtualization CLOUD COMPUTING, 153–54, 2018.
LibreCat
2018 | Journal Article | LibreCat-ID: 1043
Isenberg, Tobias, Marie-Christine Jakobs, Felix Pauck, and Heike Wehrheim. “Validity of Software Verification Results on Approximate Hardware.” IEEE Embedded Systems Letters, 2018, 22–25. https://doi.org/10.1109/LES.2017.2758200.
LibreCat
| Files available
| DOI
2018 | Bachelorsthesis | LibreCat-ID: 1044
Leer, Richard. Measuring Performance of a Static Analysis Framework with an Application to Immutability Analysis. Universität Paderborn, 2018.
LibreCat
| Files available
2018 | Bachelorsthesis | LibreCat-ID: 1045
Strüwer, Jan Niclas. Interactive Data Visualization for Exploded Supergraphs. Universität Paderborn, 2018.
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 1046
John, Thomas, and Daniel Szopinski. “Towards Explaining the Popularity of the Business Model Canvas: A Dual Coding Approach.” In Proceedings of the Multikonferenz Wirtschaftsinformatik 2018 (MKWI), Lüneburg, Germany, 2018.
LibreCat
| Files available
2018 | Journal Article | LibreCat-ID: 1047
Stummer, Christian, Dennis Kundisch, and Reinhold Decker. “Platform Launch Strategies.” Business & Information Systems Engineering, 2018.
LibreCat
| Files available