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
Heaps'n Leaks: How Heap Snapshots Improve Android Taint Analysis
M. Benz, E. Krogh Kristensen, L. Luo, N. P. Borges Jr., E. Bodden, A. Zeller, in: International Conference for Software Engineering (ICSE), 2020.
LibreCat
M. Benz, E. Krogh Kristensen, L. Luo, N. P. Borges Jr., E. Bodden, A. Zeller, in: International Conference for Software Engineering (ICSE), 2020.
2020 | Journal Article | LibreCat-ID: 20508
Explaining Static Analysis with Rule Graphs
L. Nguyen Quang Do, E. Bodden, IEEE Transactions on Software Engineering (2020).
LibreCat
| Download (ext.)
L. Nguyen Quang Do, E. Bodden, IEEE Transactions on Software Engineering (2020).
2019 | Preprint | LibreCat-ID: 19523
Learning Choice Functions: Concepts and Architectures
K. Pfannschmidt, P. Gupta, E. Hüllermeier, ArXiv:1901.10860 (2019).
LibreCat
K. Pfannschmidt, P. Gupta, E. Hüllermeier, ArXiv:1901.10860 (2019).
2019 | Conference Paper | LibreCat-ID: 3287 | 
Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets
S.B. Schneider, A. Sharma, H. Karl, H. Wehrheim, in: 2019 IFIP/IEEE International Symposium on Integrated Network Management (IM), IFIP, Washington, DC, USA, 2019, pp. 116--124.
LibreCat
| Files available
| Download (ext.)
S.B. Schneider, A. Sharma, H. Karl, H. Wehrheim, in: 2019 IFIP/IEEE International Symposium on Integrated Network Management (IM), IFIP, Washington, DC, USA, 2019, pp. 116--124.
2019 | Journal Article | LibreCat-ID: 3585
CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation
L.M. Witschen, T. Wiersema, H. Ghasemzadeh Mohammadi, M. Awais, M. Platzner, Microelectronics Reliability 99 (2019) 277–290.
LibreCat
| DOI
L.M. Witschen, T. Wiersema, H. Ghasemzadeh Mohammadi, M. Awais, M. Platzner, Microelectronics Reliability 99 (2019) 277–290.
2019 | Journal Article | LibreCat-ID: 2916
Complexity of single-swap heuristics for metric facility location and related problems
S. Brauer, Theoretical Computer Science 754 (2019) 88–106.
LibreCat
| DOI
S. Brauer, Theoretical Computer Science 754 (2019) 88–106.
2019 | Journal Article | LibreCat-ID: 17339
Special issue: Selected papers of BPM 2017
J. Carmona, G. Engels, A. Kumar, M. Reichert, Information Systems (2019) 238–239.
LibreCat
| DOI
J. Carmona, G. Engels, A. Kumar, M. Reichert, Information Systems (2019) 238–239.
2019 | Conference Paper | LibreCat-ID: 17342
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)
G. Engels, L. Burgueno, A. Pretschner, S. Voss, M. Chaudron, J. Kienzle, M. Völter, S. Gérard, M. Zahedi, E. Bousse, A. Rensink, F. Polack, G. Kappel, in: 2019.
LibreCat
| DOI
G. Engels, L. Burgueno, A. Pretschner, S. Voss, M. Chaudron, J. Kienzle, M. Völter, S. Gérard, M. Zahedi, E. Bousse, A. Rensink, F. Polack, G. Kappel, in: 2019.
2019 | Journal Article | LibreCat-ID: 17343
Values in Computing (Dagstuhl Seminar 19291)
G. Engels, C. Becker, A. Feenberg, M.A. Ferrario, G. Fitzpatrick, Dagstuhl Reports 9(7) (2019).
LibreCat
| DOI
G. Engels, C. Becker, A. Feenberg, M.A. Ferrario, G. Fitzpatrick, Dagstuhl Reports 9(7) (2019).
2019 | Journal Article | LibreCat-ID: 17392
Significance and Challenges of Data-driven Product Generation and Retrofit Planning
M. Massmann, M. Meyer, R. Dumitrescu, S. von Enzberg, M. Frank, C. Koldewey, A. Kühn, J. Reinhold, Procedia CIRP (2019) 992–997.
LibreCat
| DOI
M. Massmann, M. Meyer, R. Dumitrescu, S. von Enzberg, M. Frank, C. Koldewey, A. Kühn, J. Reinhold, Procedia CIRP (2019) 992–997.
2019 | Journal Article | LibreCat-ID: 17395
Gestaltung hybrider Wertschöpfung und Arbeit im Kontext von Smart Services
C. Koldewey, J. Reinhold, R. Dumitrescu, M. Frank, T. Schweppe, A. Melzer, ZWF Zeitschrift für wirtschaftlichen Fabrikbetrieb (2019) 380–384.
LibreCat
| DOI
C. Koldewey, J. Reinhold, R. Dumitrescu, M. Frank, T. Schweppe, A. Melzer, ZWF Zeitschrift für wirtschaftlichen Fabrikbetrieb (2019) 380–384.
2019 | Newspaper Article | LibreCat-ID: 17402
Strategie als Erfolgsfaktor
C. Koldewey, R. Dumitrescu, ServiceToday (2019) 76–77.
LibreCat
C. Koldewey, R. Dumitrescu, ServiceToday (2019) 76–77.
2019 | Conference Paper | LibreCat-ID: 17403
Development Process for Smart Service Strategies
C. Koldewey, H.H. Evers, R. Dumitrescu, M. Frank, J. Gausemeier, J. Reinhold, in: I. Bitran, S. Conn, C. Gernreich, M. Heber, K.R.E. Huizingh, O. Kokshagina, M. Torkkeli, M. Tynnhammar (Eds.), Proceedings of The XXX ISPIM INNOVATION CONFERENCE, ISPIM Innovation Conference, 2019.
LibreCat
C. Koldewey, H.H. Evers, R. Dumitrescu, M. Frank, J. Gausemeier, J. Reinhold, in: I. Bitran, S. Conn, C. Gernreich, M. Heber, K.R.E. Huizingh, O. Kokshagina, M. Torkkeli, M. Tynnhammar (Eds.), Proceedings of The XXX ISPIM INNOVATION CONFERENCE, ISPIM Innovation Conference, 2019.
2019 | Conference Paper | LibreCat-ID: 17404
Classification-based Planning of Smart Service Portfolios
M. Frank, M. Rabe, C. Koldewey, R. Dumitrescu, J. Gausemeier, N. Hennig-Cardinal von Widdern, J. Reinhold, in: Proceedings of the ISPIM Connects, International Society for Professional Innovation Management (ISPIM), 2019.
LibreCat
M. Frank, M. Rabe, C. Koldewey, R. Dumitrescu, J. Gausemeier, N. Hennig-Cardinal von Widdern, J. Reinhold, in: Proceedings of the ISPIM Connects, International Society for Professional Innovation Management (ISPIM), 2019.
2019 | Conference Paper | LibreCat-ID: 17432
Fault Tolerant and Fully Dynamic DFS in Undirected Graphs: Simple Yet Efficient
S. Baswana, S. Gupta, A. Tulsyan, in: 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019), Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2019, pp. 65:1--65:16.
LibreCat
| DOI
S. Baswana, S. Gupta, A. Tulsyan, in: 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019), Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2019, pp. 65:1--65:16.
2019 | Journal Article | LibreCat-ID: 17565
Grammatikwandel digital-kulturwissenschaftlich erforscht. Mittelniederdeutscher Sprachausbau im interdisziplinären Zugriff
M.-L. Merten, N. Seemann, M.D. Wever, Niederdeutsches Jahrbuch (2019) 124–146.
LibreCat
M.-L. Merten, N. Seemann, M.D. Wever, Niederdeutsches Jahrbuch (2019) 124–146.
2019 | Conference Paper | LibreCat-ID: 17667
Approaches for Collaborative Security Defences in Multi Network Environments
R. Koning, G. Polevoy, L. Meijer, C. de Laat, P. Grosso, in: 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–123.
LibreCat
| DOI
| Download (ext.)
R. Koning, G. Polevoy, L. Meijer, C. de Laat, P. Grosso, in: 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–123.
2019 | Mastersthesis | LibreCat-ID: 17809
Scalable Multi Objective Path Optimization for Multi-Laser Selective Laser Melting Scanning Systems
N. N., Scalable Multi Objective Path Optimization for Multi-Laser Selective Laser Melting Scanning Systems, 2019.
LibreCat
N. N., Scalable Multi Objective Path Optimization for Multi-Laser Selective Laser Melting Scanning Systems, 2019.
2019 | Dissertation | LibreCat-ID: 18975
Big Data: Sublinear Algorithms for Distributed Data Streams
M. Malatyali, Big Data: Sublinear Algorithms for Distributed Data Streams, Universität Paderborn, 2019.
LibreCat
| Files available
| DOI
M. Malatyali, Big Data: Sublinear Algorithms for Distributed Data Streams, Universität Paderborn, 2019.
2019 | Newspaper Article | LibreCat-ID: 20342
Servicerobotik kooperativ entwickeln
B. Kahl, Y. Kogan, J.S. Menzefricke, Computer & Automation 9–2019 (2019) 58–61.
LibreCat
B. Kahl, Y. Kogan, J.S. Menzefricke, Computer & Automation 9–2019 (2019) 58–61.