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.
6186 Publications
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).
2020 | Journal Article | LibreCat-ID: 60386
Inter-surface maps via constant-curvature metrics
P. Schmidt, M. Campen, J. Born, L. Kobbelt, ACM Transactions on Graphics 39 (2020).
LibreCat
| DOI
P. Schmidt, M. Campen, J. Born, L. Kobbelt, ACM Transactions on Graphics 39 (2020).
2020 | Journal Article | LibreCat-ID: 60385
Bézier guarding
M. Mandad, M. Campen, ACM Transactions on Graphics 39 (2020).
LibreCat
| DOI
M. Mandad, M. Campen, ACM Transactions on Graphics 39 (2020).
2020 | Journal Article | LibreCat-ID: 60383
Combinatorial Construction of Seamless Parameter Domains
J. Zhou, C. Tu, D. Zorin, M. Campen, Computer Graphics Forum 39 (2020) 179–190.
LibreCat
| DOI
J. Zhou, C. Tu, D. Zorin, M. Campen, Computer Graphics Forum 39 (2020) 179–190.
2020 | Journal Article | LibreCat-ID: 60382
Efficient piecewise higher-order parametrization of discrete surfaces with local and global injectivity
M. Mandad, M. Campen, Computer-Aided Design 127 (2020).
LibreCat
| DOI
M. Mandad, M. Campen, Computer-Aided Design 127 (2020).
2020 | Journal Article | LibreCat-ID: 21267
Understanding and Explaining Digital Artefacts - the Role of a Duality (Accepted Paper - Digital Publication Follows)
L. Budde, C. Schulte, H.M. Buhl, A. Muehling, Seventh International Conference on Learning and Teaching in Computing and Engineeringe (2020).
LibreCat
L. Budde, C. Schulte, H.M. Buhl, A. Muehling, Seventh International Conference on Learning and Teaching in Computing and Engineeringe (2020).
2020 | Journal Article | LibreCat-ID: 15266
Integrated Model-driven Development of Self-adaptive User Interfaces
E. Yigitbas, I. Jovanovikj, K. Biermeier, S. Sauer, G. Engels, International Journal on Software and Systems Modeling (SoSyM) (2020).
LibreCat
| Download (ext.)
E. Yigitbas, I. Jovanovikj, K. Biermeier, S. Sauer, G. Engels, International Journal on Software and Systems Modeling (SoSyM) (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.