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.
5928 Publications
2020 | Conference Paper | LibreCat-ID: 20510
Benz, Manuel, et al. “Heaps’n Leaks: How Heap Snapshots Improve Android Taint Analysis.” International Conference for Software Engineering (ICSE), 2020.
LibreCat
2020 | Journal Article | LibreCat-ID: 20508
Nguyen Quang Do, Lisa, and Eric Bodden. “Explaining Static Analysis with Rule Graphs.” IEEE Transactions on Software Engineering, 2020.
LibreCat
| Download (ext.)
2019 | Preprint | LibreCat-ID: 19523
Pfannschmidt, Karlson, et al. “Learning Choice Functions: Concepts and Architectures.” ArXiv:1901.10860, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 3287 | 
Schneider, Stefan Balthasar, et al. “Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets.” 2019 IFIP/IEEE International Symposium on Integrated Network Management (IM), IFIP, 2019, pp. 116--124.
LibreCat
| Files available
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 3585
Witschen, Linus Matthias, et al. “CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation.” Microelectronics Reliability, vol. 99, Elsevier, 2019, pp. 277–90, doi:10.1016/j.microrel.2019.04.003.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 2916
Brauer, Sascha. “Complexity of Single-Swap Heuristics for Metric Facility Location and Related Problems.” Theoretical Computer Science, vol. 754, Elsevier, 2019, pp. 88–106, doi:10.1016/j.tcs.2018.04.048.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 17339
Carmona, Josep, et al. “Special Issue: Selected Papers of BPM 2017.” Information Systems, 2019, pp. 238–39, doi:10.1016/j.is.2019.06.001.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 17342
Engels, Gregor, et al. 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). 2019, doi:10.1109/models-c48269.2019.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 17343
Engels, Gregor, et al. “Values in Computing (Dagstuhl Seminar 19291).” Dagstuhl Reports 9(7), 2019, doi:10.4230/DAGREP.9.7.40.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 17392
Massmann, Melina, et al. “Significance and Challenges of Data-Driven Product Generation and Retrofit Planning.” Procedia CIRP, 2019, pp. 992–97, doi:10.1016/j.procir.2019.04.226.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 17395
Koldewey, Christian, et al. “Gestaltung hybrider Wertschöpfung und Arbeit im Kontext von Smart Services.” ZWF Zeitschrift für wirtschaftlichen Fabrikbetrieb, 2019, pp. 380–84, doi:10.3139/104.112113.
LibreCat
| DOI
2019 | Newspaper Article | LibreCat-ID: 17402
Koldewey, Christian, and Roman Dumitrescu. “Strategie als Erfolgsfaktor.” ServiceToday, no. 4, 2019, pp. 76–77.
LibreCat
2019 | Conference Paper | LibreCat-ID: 17403
Koldewey, Christian, et al. “Development Process for Smart Service Strategies.” Proceedings of The XXX ISPIM INNOVATION CONFERENCE, edited by Ian Bitran et al., vol. 93, ISPIM Innovation Conference, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 17404
Frank, Maximilian, et al. “Classification-Based Planning of Smart Service Portfolios.” Proceedings of the ISPIM Connects, International Society for Professional Innovation Management (ISPIM), 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 17432
Baswana, Surender, et al. “Fault Tolerant and Fully Dynamic DFS in Undirected Graphs: Simple Yet Efficient.” 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019), Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2019, pp. 65:1--65:16, doi:10.4230/LIPICS.MFCS.2019.65.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 17565
Merten, Marie-Luis, et al. “Grammatikwandel digital-kulturwissenschaftlich erforscht. Mittelniederdeutscher Sprachausbau im interdisziplinären Zugriff.” Niederdeutsches Jahrbuch, no. 142, 2019, pp. 124–46.
LibreCat
2019 | Conference Paper | LibreCat-ID: 17667
Koning, Ralph, et al. “Approaches for Collaborative Security Defences in Multi Network Environments.” 2019 6th IEEE International Conference on Cyber Security and Cloud Computing (CSCloud)/ 2019 5th IEEE International Conference on Edge Computing and Scalable Cloud (EdgeCom), 2019, pp. 113–23, doi:10.1109/CSCloud/EdgeCom.2019.000-9.
LibreCat
| DOI
| Download (ext.)
2019 | Mastersthesis | LibreCat-ID: 17809
N., N. Scalable Multi Objective Path Optimization for Multi-Laser Selective Laser Melting Scanning Systems. 2019.
LibreCat
2019 | Dissertation | LibreCat-ID: 18975
Malatyali, Manuel. Big Data: Sublinear Algorithms for Distributed Data Streams. 2019, doi:10.17619/UNIPB/1-766.
LibreCat
| Files available
| DOI
2019 | Newspaper Article | LibreCat-ID: 20342
Kahl, Björn, et al. “Servicerobotik Kooperativ Entwickeln.” Computer & Automation, vol. 9–2019, 2019, pp. 58–61.
LibreCat