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
M. Benz, E. Krogh Kristensen, L. Luo, N. P. Borges Jr., E. Bodden, and A. Zeller, “Heaps’n Leaks: How Heap Snapshots Improve Android Taint Analysis,” 2020.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 20508
L. Nguyen Quang Do and E. Bodden, “Explaining Static Analysis with Rule Graphs,” IEEE Transactions on Software Engineering, 2020.
LibreCat | Download (ext.)
 

2019 | Preprint | LibreCat-ID: 19523
K. Pfannschmidt, P. Gupta, and E. Hüllermeier, “Learning Choice Functions: Concepts and Architectures,” arXiv:1901.10860. 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 3287 | OA
S. B. Schneider, A. Sharma, H. Karl, and H. Wehrheim, “Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets,” in 2019 IFIP/IEEE International Symposium on Integrated Network Management (IM), Washington, DC, USA, 2019, pp. 116--124.
LibreCat | Files available | Download (ext.)
 

2019 | Journal Article | LibreCat-ID: 3585
L. M. Witschen, T. Wiersema, H. Ghasemzadeh Mohammadi, M. Awais, and M. Platzner, “CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation,” Microelectronics Reliability, vol. 99, pp. 277–290, 2019.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 2916
S. Brauer, “Complexity of single-swap heuristics for metric facility location and related problems,” Theoretical Computer Science, vol. 754, pp. 88–106, 2019.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 17339
J. Carmona, G. Engels, A. Kumar, and M. Reichert, “Special issue: Selected papers of BPM 2017,” Information Systems, pp. 238–239, 2019.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 17342
G. Engels et al., “2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C),” 2019.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 17343
G. Engels, C. Becker, A. Feenberg, M. A. Ferrario, and G. Fitzpatrick, “Values in Computing (Dagstuhl Seminar 19291),” Dagstuhl Reports 9(7), 2019.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 17392
M. Massmann et al., “Significance and Challenges of Data-driven Product Generation and Retrofit Planning,” Procedia CIRP, pp. 992–997, 2019.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 17395
C. Koldewey, J. Reinhold, R. Dumitrescu, M. Frank, T. Schweppe, and A. Melzer, “Gestaltung hybrider Wertschöpfung und Arbeit im Kontext von Smart Services,” ZWF Zeitschrift für wirtschaftlichen Fabrikbetrieb, pp. 380–384, 2019.
LibreCat | DOI
 

2019 | Newspaper Article | LibreCat-ID: 17402
C. Koldewey and R. Dumitrescu, “Strategie als Erfolgsfaktor,” ServiceToday, no. 4, pp. 76–77, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 17403
C. Koldewey, H. H. Evers, R. Dumitrescu, M. Frank, J. Gausemeier, and J. Reinhold, “Development Process for Smart Service Strategies,” in Proceedings of The XXX ISPIM INNOVATION CONFERENCE, 2019, vol. 93.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 17404
M. Frank et al., “Classification-based Planning of Smart Service Portfolios,” in Proceedings of the ISPIM connects, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 17432
S. Baswana, S. Gupta, and A. Tulsyan, “Fault Tolerant and Fully Dynamic DFS in Undirected Graphs: Simple Yet Efficient,” in 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019), 2019, pp. 65:1--65:16.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 17565
M.-L. Merten, N. Seemann, and M. D. Wever, “Grammatikwandel digital-kulturwissenschaftlich erforscht. Mittelniederdeutscher Sprachausbau im interdisziplinären Zugriff,” Niederdeutsches Jahrbuch, no. 142, pp. 124–146, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 17667
R. Koning, G. Polevoy, L. Meijer, C. de Laat, and P. Grosso, “Approaches for Collaborative Security Defences in Multi Network Environments,” 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.)
 

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
M. Malatyali, Big Data: Sublinear Algorithms for Distributed Data Streams. Universität Paderborn, 2019.
LibreCat | Files available | DOI
 

2019 | Newspaper Article | LibreCat-ID: 20342
B. Kahl, Y. Kogan, and J. S. Menzefricke, “Servicerobotik kooperativ entwickeln,” Computer & Automation, vol. 9–2019, pp. 58–61, 2019.
LibreCat
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed