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.
5947 Publications
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: 6839
Doherty, Simon, Brijesh Dongol, Heike Wehrheim, and John Derrick. “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, 45:1-45:3, 2018. https://doi.org/10.4230/LIPIcs.DISC.2018.45.
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 6967
Derakhshanmanesh, Mahdi, Jürgen Ebert, Marvin Grieger, and Gregor Engels. “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, 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 | 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 (Editor) | LibreCat-ID: 10591
Abiteboul, S., M. Arenas, P. Barceló, M. Bienvenu, D. Calvanese, C. David, R. Hull, et al., eds. Research Directions for Principles of Data Management. Vol. 7, 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 10598
Awais, Muhammad, Hassan Ghasemzadeh Mohammadi, and Marco Platzner. “An MCTS-Based Framework for Synthesis of Approximate Circuits.” In 26th IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC), 219–24, 2018. https://doi.org/10.1109/VLSI-SoC.2018.8645026.
LibreCat
| DOI
2018 | Mastersthesis | LibreCat-ID: 10782
Clausing, Lennart. 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, Ines, and Eyke Hüllermeier. “Statistical Inference for Incomplete Ranking Data: A Comparison of Two Likelihood-Based Estimators.” In Frontiers in Computational Intelligence, edited by Sanaz Mostaghim, Andreas Nürnberger, and Christian Borgelt, 31–46. Springer, 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 1096
Beyer, Dirk, Marie-Christine Jakobs, Thomas Lemberger, and Heike Wehrheim. “Reducer-Based Construction of Conditional Verifiers.” In Proceedings of the 40th International Conference on Software Engineering (ICSE), 1182--1193. ACM, 2018.
LibreCat
| Files available
2018 | Bachelorsthesis | LibreCat-ID: 1097
Jentzsch, Felix Paul. Enforcing IP Core Connection Properties with Verifiable Security Monitors. Universität Paderborn, 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 11711
Ajjour, Yamen, Henning Wachsmuth, Dora Kiesel, Patrick Riehmann, Fan Fan, Giuliano Castiglia, Rosemary Adejoh, Bernd Fröhlich, and Benno Stein. “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, 60–65, 2018.
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 11712
El Baff, Roxanne, Henning Wachsmuth, Khalid Al Khatib, and Benno Stein. “Challenge or Empower: Revisiting Argumentation Quality in a News Editorial Corpus.” In Proceedings of the 22nd Conference on Computational Natural Language Learning, 454–64. Association for Computational Linguistics, 2018.
LibreCat
| Download (ext.)