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.
5786 Publications
2018 | Conference Paper | LibreCat-ID: 6839
Doherty S, Dongol B, Wehrheim H, Derrick J. Brief Announcement: Generalising Concurrent Correctness to Weak Memory. In: 32nd International Symposium on Distributed Computing, {DISC} 2018, New Orleans, LA, USA, October 15-19, 2018. ; 2018:45:1-45:3. doi:10.4230/LIPIcs.DISC.2018.45
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 6967
Derakhshanmanesh M, Ebert J, Grieger M, Engels G. Model-integrating development of software systems: a flexible component-based approach. Software & Systems Modeling. 2018:1-30.
LibreCat
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: 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. doi:10.1109/NFV-SDN.2018.8725795
LibreCat
| Files available
| DOI
| 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. doi:10.1109/NFV-SDN.2018.8725794
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 16937
Cunha J, Fernandes JP, Kelleher C, Mendes J, Engels G. 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. doi:10.1109/vl/hcc43341.2018
LibreCat
| DOI
2018 | Book Chapter | LibreCat-ID: 16938
Engels G, Maier GW, Ötting SK, Steffen E, Teetz A. Gerechtigkeit in flexiblen Arbeits- und Managementprozessen. In: Wischmann S, Hartmann EA, eds. Zukunft Der Arbeit – Eine Praxisnahe Betrachtung. Berlin, Heidelberg: Springer Verlag; 2018:221-231. doi:10.1007/978-3-662-49266-6_16
LibreCat
| 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 | Bachelorsthesis | LibreCat-ID: 1044
Leer R. 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 JN. Interactive Data Visualization for Exploded Supergraphs. Universität Paderborn; 2018.
LibreCat
| Files available
2018 | Conference (Editor) | LibreCat-ID: 10591
Abiteboul S, Arenas M, Barceló P, et al., eds. Research Directions for Principles of Data Management. Vol 7.; 2018:1-29.
LibreCat
2018 | Conference Paper | LibreCat-ID: 10598
Awais M, Ghasemzadeh Mohammadi H, Platzner M. An MCTS-based Framework for Synthesis of Approximate Circuits. In: 26th IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC). ; 2018:219-224. doi:10.1109/VLSI-SoC.2018.8645026
LibreCat
| DOI
2018 | Mastersthesis | LibreCat-ID: 10782
Clausing L. Development of a Hardware / Software Codesign for Sonification of LIDAR-Based Sensor Data. Ruhr-University Bochum; 2018.
LibreCat
2018 | Book Chapter | LibreCat-ID: 10783
Couso I, Hüllermeier E. Statistical Inference for Incomplete Ranking Data: A Comparison of two likelihood-based estimators. In: Mostaghim S, Nürnberger A, Borgelt C, eds. Frontiers in Computational Intelligence. Springer; 2018:31-46.
LibreCat
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). ACM; 2018:1182--1193.
LibreCat
| Files available
2018 | Bachelorsthesis | LibreCat-ID: 1097
Jentzsch FP. Enforcing IP Core Connection Properties with Verifiable Security Monitors. Universität Paderborn; 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 11711
Ajjour Y, Wachsmuth H, Kiesel D, et al. Visualization of the Topic Space of Argument Search Results in args. me. In: Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing: System Demonstrations. ; 2018:60-65.
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 11712
El Baff R, Wachsmuth H, Al Khatib K, Stein B. Challenge or Empower: Revisiting Argumentation Quality in a News Editorial Corpus. In: Proceedings of the 22nd Conference on Computational Natural Language Learning. Association for Computational Linguistics; 2018:454-464.
LibreCat
| Download (ext.)
2018 | Mastersthesis | LibreCat-ID: 1186
Kemper A. Pure Nash Equilibria in Robust Congestion Games via Potential Functions. Universität Paderborn; 2018.
LibreCat
2018 | Bachelorsthesis | LibreCat-ID: 1187
Nachtigall M. Scenario-Driven Strategy Analysis in a n-Player Composition Game Model. Universität Paderborn; 2018.
LibreCat