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.
9315 Publications
2018 | Journal Article | LibreCat-ID: 6828
@article{Derrick_Doherty_Dongol_Schellhorn_Travkin_Wehrheim_2018, title={Mechanized proofs of opacity: a comparison of two techniques}, volume={30}, DOI={10.1007/s00165-017-0433-3}, number={5}, journal={Formal Asp. Comput.}, author={Derrick, John and Doherty, Simon and Dongol, Brijesh and Schellhorn, Gerhard and Travkin, Oleg and Wehrheim, Heike}, year={2018}, pages={597–625} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6836
@inproceedings{Doherty_Dongol_Wehrheim_Derrick_2018, title={Making Linearizability Compositional for Partially Ordered Executions}, DOI={10.1007/978-3-319-98938-9\_7}, booktitle={Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings}, author={Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike and Derrick, John}, year={2018}, pages={110–129} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6838
@inproceedings{Doherty_Dongol_Wehrheim_Derrick_2018, title={Making Linearizability Compositional for Partially Ordered Executions}, DOI={10.1007/978-3-319-98938-9\_7}, booktitle={Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings}, author={Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike and Derrick, John}, year={2018}, pages={110–129} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6839
@inproceedings{Doherty_Dongol_Wehrheim_Derrick_2018, title={Brief Announcement: Generalising Concurrent Correctness to Weak Memory}, DOI={10.4230/LIPIcs.DISC.2018.45}, booktitle={32nd International Symposium on Distributed Computing, {DISC} 2018, New Orleans, LA, USA, October 15-19, 2018}, author={Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike and Derrick, John}, year={2018}, pages={45:1-45:3} }
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 6967
@article{Derakhshanmanesh_Ebert_Grieger_Engels_2018, title={Model-integrating development of software systems: a flexible component-based approach}, journal={Software & Systems Modeling}, author={Derakhshanmanesh, Mahdi and Ebert, Jürgen and Grieger, Marvin and Engels, Gregor}, year={2018}, pages={1–30} }
LibreCat
2018 | Conference Paper | LibreCat-ID: 6970 | 
@inproceedings{Schneider_Dräxler_Karl_2018, title={Trade-offs in Dynamic Resource Allocation in Network Function Virtualization}, booktitle={IEEE Global Communications Conference (GLOBECOM 2018)}, publisher={IEEE}, author={Schneider, Stefan Balthasar and Dräxler, Sevil and Karl, Holger}, year={2018} }
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 6972 |
@inproceedings{Schneider_Peuster_Karl_2018, title={A Generic Emulation Framework for Reusing and Evaluating VNF Placement Algorithms}, DOI={10.1109/NFV-SDN.2018.8725795}, booktitle={IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018)}, publisher={IEEE}, author={Schneider, Stefan Balthasar and Peuster, Manuel and Karl, Holger}, year={2018} }
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 6974 |
@inproceedings{Schneider_Peuster_Tavernier_Karl_2018, title={A Fully Integrated Multi-Platform NFV SDK}, DOI={10.1109/NFV-SDN.2018.8725794}, booktitle={IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018)}, publisher={IEEE}, author={Schneider, Stefan Balthasar and Peuster, Manuel and Tavernier, Wouter and Karl, Holger}, year={2018} }
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 16937
@inproceedings{Cunha_Fernandes_Kelleher_Mendes_Engels_2018, title={2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)}, DOI={10.1109/vl/hcc43341.2018}, booktitle={Proceedings of 2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Lisbon, Portugal, October 1-4, 2018}, publisher={IEEE}, author={Cunha, Jácome and Fernandes, Joao Paulo and Kelleher, Caitlin and Mendes, Jorge and Engels, Gregor}, year={2018} }
LibreCat
| DOI
2018 | Book Chapter | LibreCat-ID: 16938
@inbook{Engels_Maier_Ötting_Steffen_Teetz_2018, place={Berlin, Heidelberg}, title={Gerechtigkeit in flexiblen Arbeits- und Managementprozessen}, DOI={10.1007/978-3-662-49266-6_16}, booktitle={Zukunft der Arbeit – Eine praxisnahe Betrachtung}, publisher={Springer Verlag}, author={Engels, Gregor and Maier, Günter W. and Ötting, Sonja K. and Steffen, Eckhard and Teetz, Alexander}, editor={Wischmann, Steffen and Hartmann, Ernst AndreasEditors}, year={2018}, pages={221–231} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 1041
@inproceedings{Razzaghi Kouchaksaraei_Karl_2018, title={Joint Orchestration of Cloud-Based Microservices and Virtual Network Functions}, booktitle={The Ninth International Conference on Cloud Computing, GRIDs, and Virtualization CLOUD COMPUTING}, author={Razzaghi Kouchaksaraei, Hadi and Karl, Holger}, year={2018}, pages={153–154} }
LibreCat
2018 | Journal Article | LibreCat-ID: 1043
@article{Isenberg_Jakobs_Pauck_Wehrheim_2018, title={Validity of Software Verification Results on Approximate Hardware}, DOI={10.1109/LES.2017.2758200}, journal={IEEE Embedded Systems Letters}, publisher={Institute of Electrical and Electronics Engineers (IEEE)}, author={Isenberg, Tobias and Jakobs, Marie-Christine and Pauck, Felix and Wehrheim, Heike}, year={2018}, pages={22–25} }
LibreCat
| Files available
| DOI
2018 | Bachelorsthesis | LibreCat-ID: 1044
@book{Leer_2018, title={Measuring Performance of a Static Analysis Framework with an application to Immutability Analysis}, publisher={Universität Paderborn}, author={Leer, Richard}, year={2018} }
LibreCat
| Files available
2018 | Bachelorsthesis | LibreCat-ID: 1045
@book{Strüwer_2018, title={Interactive Data Visualization for Exploded Supergraphs}, publisher={Universität Paderborn}, author={Strüwer, Jan Niclas}, year={2018} }
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 1046
@inproceedings{John_Szopinski_2018, title={Towards explaining the popularity of the Business Model Canvas: A dual coding approach}, booktitle={Proceedings of the Multikonferenz Wirtschaftsinformatik 2018 (MKWI), Lüneburg, Germany}, author={John, Thomas and Szopinski, Daniel}, year={2018} }
LibreCat
| Files available
2018 | Journal Article | LibreCat-ID: 1047
@article{Stummer_Kundisch_Decker_2018, title={Platform Launch Strategies}, journal={Business & Information Systems Engineering}, publisher={Springer}, author={Stummer, Christian and Kundisch, Dennis and Decker, Reinhold}, year={2018} }
LibreCat
| Files available
2018 | Conference (Editor) | LibreCat-ID: 10591
@book{Abiteboul_Arenas_Barceló_Bienvenu_Calvanese_David_Hull_Hüllermeier_Kimelfeld_Libkin_et al._2018, title={Research Directions for Principles of Data Management}, volume={7}, number={1}, year={2018}, pages={1–29} }
LibreCat
2018 | Conference Paper | LibreCat-ID: 10598
@inproceedings{Awais_Ghasemzadeh Mohammadi_Platzner_2018, title={An MCTS-based Framework for Synthesis of Approximate Circuits}, DOI={10.1109/VLSI-SoC.2018.8645026}, booktitle={26th IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC)}, author={Awais, Muhammad and Ghasemzadeh Mohammadi, Hassan and Platzner, Marco}, year={2018}, pages={219–224} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 1060
@inproceedings{Neumann_Gutt_Kundisch_van Straaten_2018, title={When Local Praise Becomes Cheap Talk - Analyzing the Relationship between Reviewer Location and Usefulness of Online Reviews}, booktitle={Proceedings of the Multikonferenz Wirtschaftsinformatik 2018 (MKWI), Lüneburg, Germany}, author={Neumann, Jürgen and Gutt, Dominik and Kundisch, Dennis and van Straaten, Dirk}, year={2018} }
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 1061
@inproceedings{Gutt_2018, title={Sorting Out the Lemons - Identifying Product Failures in Online Reviews and their Relationship with Sales}, booktitle={Proceedings of the Multikonferenz Wirtschaftsinformatik 2018 (MKWI), Lüneburg, Germany}, author={Gutt, Dominik}, year={2018} }
LibreCat
| Files available