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.

10546 Publications


2018 | Journal Article | LibreCat-ID: 3152 | OA
Dräxler, Sevil, et al. “JASPER: Joint Optimization of Scaling, Placement, and Routing of Virtual Network Services.” IEEE Transactions on Network and Service Management, IEEE, 2018, doi:10.1109/TNSM.2018.2846572.
LibreCat | Files available | DOI | Download (ext.)
 

2018 | Journal Article | LibreCat-ID: 3153
Doherty, Simon, et al. “Causal Linearizability: Compositionality for Partially Ordered Executions.” CoRR, 2018.
LibreCat
 

2018 | Preprint | LibreCat-ID: 2711
Pauck, Felix, et al. “Do Android Taint Analysis Tools Keep Their Promises?” ArXiv:1804.02903, 2018.
LibreCat | Files available
 

2018 | Dissertation | LibreCat-ID: 1138
Gmyr, Robert. Distributed Algorithms for Overlay Networks and Programmable Matter. Universität Paderborn, 2018, doi:10.17619/UNIPB/1-265.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 1163
Feldmann, Michael, et al. “Self-Stabilizing Supervised Publish-Subscribe Systems.” Proceedings of the 32nd IEEE International Parallel & Distributed Processing Symposium (IPDPS), IEEE, 2018, doi:10.1109/IPDPS.2018.00114.
LibreCat | Files available | DOI | arXiv
 

2018 | Conference Paper | LibreCat-ID: 1164
Feldmann, Michael, et al. “Skueue: A Scalable and Sequentially Consistent Distributed Queue.” Proceedings of the 32nd IEEE International Parallel & Distributed Processing Symposium (IPDPS), IEEE, 2018, doi:10.1109/IPDPS.2018.00113.
LibreCat | Files available | DOI | arXiv
 

2018 | Preprint | LibreCat-ID: 1165
Witschen, Linus Matthias, et al. “Making the Case for Proof-Carrying Approximate Circuits.” 4th Workshop On Approximate Computing (WAPCO 2018), 2018.
LibreCat | Files available
 

2018 | Conference Paper | LibreCat-ID: 2109 | OA
Wever, Marcel Dominik, et al. “Ensembles of Evolved Nested Dichotomies for Classification.” Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2018, Kyoto, Japan, July 15-19, 2018, ACM, 2018, doi:10.1145/3205455.3205562.
LibreCat | Files available | DOI | Download (ext.)
 

2018 | Preprint | LibreCat-ID: 21634 | OA
Hanke, Sören, et al. “Koopman Operator-Based Finite-Control-Set Model Predictive Control for  Electrical Drives.” ArXiv:1804.00854, 2018.
LibreCat | Download (ext.)
 

2018 | Conference Paper | LibreCat-ID: 17345
Spalazzese, Romina, et al. “IoT-ASAP 2018: Message from the Chairs.” 2018 IEEE International Conference on Software Architecture Companion (ICSA-C), 2018, doi:10.1109/icsa-c.2018.00009.
LibreCat | DOI
 

2018 | Journal Article | LibreCat-ID: 17394
Frank, Maximillian, et al. “Smart Services – Konzept einer neuen Marktleistung.” ZWF Zeitschrift für wirtschaftlichen Fabrikbetrieb, 2018, pp. 306–11, doi:10.3139/104.111913.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 17651
Polevoy, Gleb, et al. “Removing Undesirable Flows by Edge Deletion.” Combinatorial Optimization and Applications, edited by Donghyun Kim et al., Springer International Publishing, 2018, pp. 217–32.
LibreCat
 

2018 | Journal Article | LibreCat-ID: 17666
Koning, R., et al. “Measuring the Efficiency of SDN Mitigations against Attacks on Computer Infrastructures.” Future Generation Computer Systems, 2018, doi:https://doi.org/10.1016/j.future.2018.08.011.
LibreCat | DOI
 

2018 | Preprint | LibreCat-ID: 17713 | OA
Wever, Marcel Dominik, et al. Automated Multi-Label Classification Based on ML-Plan. Arxiv, 2018.
LibreCat | Download (ext.)
 

2018 | Preprint | LibreCat-ID: 17714 | OA
Mohr, Felix, et al. Automated Machine Learning Service Composition. 2018.
LibreCat | Download (ext.)
 

2018 | Conference Paper | LibreCat-ID: 1910
Schwichtenberg, Simon, et al. “Poster: CrossEcore: An Extendible Framework to Use Ecore and OCL across Platforms.” Proceedings of the 40th International Conference on Software Engineering, ICSE 2018 - Companion Volume.
LibreCat
 

2018 | Conference Paper | LibreCat-ID: 20530
Bodden, Eric, and Lisa Nguyen Quang Do. “Explainable Static Analysis.” Software Engineering Und Software Management 2018, Fachtagung Des GI-Fachbereichs Softwaretechnik, {SE} 2018, 5.-9. M{\"{a}}rz 2018, Ulm, Germany., 2018, pp. 205–08.
LibreCat | Download (ext.)
 

2018 | Journal Article | LibreCat-ID: 20543
Nguyen Quang Do, Lisa, et al. “Debugging Static Analysis.” IEEE Transactions on Software Engineering, 2018, pp. 1–1, doi:10.1109/TSE.2018.2868349.
LibreCat | DOI | Download (ext.)
 

2018 | Conference (Editor) | LibreCat-ID: 20544
Tichy, Matthias, et al., editors. Software Engineering Und Software Management 2018, Fachtagung Des GI-Fachbereichs Softwaretechnik, SE 2018, 5.-9. März 2018, Ulm, Germany. Gesellschaft für Informatik, 2018.
LibreCat
 

2018 | Conference (Editor) | LibreCat-ID: 20545
Tip, Frank, and Eric Bodden, editors. Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018. ACM, 2018.
LibreCat
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed