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.

12211 Publications


2018 | Conference Paper | LibreCat-ID: 6839
Doherty, Simon, et al. “Brief Announcement: Generalising Concurrent Correctness to Weak Memory.” 32nd International Symposium on Distributed Computing, {DISC} 2018, New Orleans, LA, USA, October 15-19, 2018, 2018, pp. 45:1-45:3, doi:10.4230/LIPIcs.DISC.2018.45.
LibreCat | DOI
 

2018 | Journal Article | LibreCat-ID: 6967
Derakhshanmanesh, Mahdi, et al. “Model-Integrating Development of Software Systems: A Flexible Component-Based Approach.” Software & Systems Modeling, 2018, pp. 1–30.
LibreCat
 

2018 | Conference Paper | LibreCat-ID: 6970 | OA
Schneider, Stefan Balthasar, et al. “Trade-Offs in Dynamic Resource Allocation in Network Function Virtualization.” IEEE Global Communications Conference (GLOBECOM 2018), IEEE, 2018.
LibreCat | Files available
 

2018 | Conference Paper | LibreCat-ID: 6972 | OA
Schneider, Stefan Balthasar, et al. “A Generic Emulation Framework for Reusing and Evaluating VNF Placement Algorithms.” 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 | OA
Schneider, Stefan Balthasar, et al. “A Fully Integrated Multi-Platform NFV SDK.” 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ácome, et al. “2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC).” 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, Gregor, et al. “Gerechtigkeit in Flexiblen Arbeits- Und Managementprozessen.” Zukunft Der Arbeit – Eine Praxisnahe Betrachtung, edited by Steffen Wischmann and Ernst Andreas Hartmann, Springer Verlag, 2018, pp. 221–31, doi:10.1007/978-3-662-49266-6_16.
LibreCat | DOI
 

2018 | Journal Article | LibreCat-ID: 1043
Isenberg, Tobias, et al. “Validity of Software Verification Results on Approximate Hardware.” IEEE Embedded Systems Letters, Institute of Electrical and Electronics Engineers (IEEE), 2018, pp. 22–25, doi: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., et al., editors. Research Directions for Principles of Data Management. Vol. 7, no. 1, 2018, pp. 1–29.
LibreCat
 

2018 | Conference Paper | LibreCat-ID: 10598
Awais, Muhammad, et al. “An MCTS-Based Framework for Synthesis of Approximate Circuits.” 26th IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC), 2018, pp. 219–24, doi:10.1109/VLSI-SoC.2018.8645026.
LibreCat | DOI
 

2018 | Journal Article | LibreCat-ID: 1063
Stroh-Maraun, Nadja, et al. “More than Skills: A Novel Matching Proposal for Multiplayer Video Games.” Entertainment Computing, vol. 25, Elsevier, 2018, pp. 26–36, doi:10.1016/j.entcom.2017.12.002.
LibreCat | Files available | DOI
 

2018 | Bachelorsthesis | LibreCat-ID: 1064
Rumert, Luis. Zu den Anreizwirkungen der Kronzeugenregelung - eine wettbewerbspolitische Analyse des Bierkartells. Universität Paderborn, 2018.
LibreCat
 

2018 | Mastersthesis | LibreCat-ID: 1066
Arfeen, Muhammad Fahad. How Effective Are Leniency Programs in Cartel Deterrence - An Overview of the Empirical and Experimental Literature. Universität Paderborn, 2018.
LibreCat
 

2018 | Bachelorsthesis | LibreCat-ID: 1067
Kersting, Florian. Die Deutsche Fußball Liga GmbH - ein Syndikat? Die Zentralvermarktung der Live-TV-Übertragungsrechte aus wettbewerbspolitischer Sicht. Universität Paderborn, 2018.
LibreCat
 

2018 | Bachelorsthesis | LibreCat-ID: 1068
Beichl, Philipp. Das Zusammenschlussvorhaben der REWE Markt GmbH und Coop eG - eine wettbewerbspolitische Analyse. Universität Paderborn, 2018.
LibreCat
 

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.” Frontiers in Computational Intelligence, edited by Sanaz Mostaghim et al., Springer, 2018, pp. 31–46.
LibreCat
 

2018 | Conference Paper | LibreCat-ID: 1096
Beyer, Dirk, et al. “Reducer-Based Construction of Conditional Verifiers.” Proceedings of the 40th International Conference on Software Engineering (ICSE), ACM, 2018, pp. 1182--1193.
LibreCat | Files available
 

Filters and Search Terms

isbn%3D978-3-642-53741-7

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed