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.
9293 Publications
2018 | Journal Article | LibreCat-ID: 17394
Smart Services – Konzept einer neuen Marktleistung
M. Frank, C. Koldewey, M. Rabe, R. Dumitrescu, J. Gausemeier, A. Kühn, ZWF Zeitschrift für wirtschaftlichen Fabrikbetrieb (2018) 306–311.
LibreCat
| DOI
M. Frank, C. Koldewey, M. Rabe, R. Dumitrescu, J. Gausemeier, A. Kühn, ZWF Zeitschrift für wirtschaftlichen Fabrikbetrieb (2018) 306–311.
2018 | Misc | LibreCat-ID: 17631
Bridging - Fremdsprache und Fachwissenschaft. Digital Learning Map
I. Mindt, Bridging - Fremdsprache und Fachwissenschaft. Digital Learning Map, 2018.
LibreCat
| Files available
I. Mindt, Bridging - Fremdsprache und Fachwissenschaft. Digital Learning Map, 2018.
2018 | Conference Paper | LibreCat-ID: 17651
Removing Undesirable Flows by Edge Deletion
G. Polevoy, S. Trajanovski, P. Grosso, C. de Laat, in: D. Kim, R.N. Uma, A. Zelikovsky (Eds.), Combinatorial Optimization and Applications, Springer International Publishing, Cham, 2018, pp. 217–232.
LibreCat
G. Polevoy, S. Trajanovski, P. Grosso, C. de Laat, in: D. Kim, R.N. Uma, A. Zelikovsky (Eds.), Combinatorial Optimization and Applications, Springer International Publishing, Cham, 2018, pp. 217–232.
2018 | Journal Article | LibreCat-ID: 17666
Measuring the efficiency of SDN mitigations against attacks on computer infrastructures
R. Koning, B. de Graaff, G. Polevoy, R. Meijer, C. de Laat, P. Grosso, Future Generation Computer Systems (2018).
LibreCat
| DOI
R. Koning, B. de Graaff, G. Polevoy, R. Meijer, C. de Laat, P. Grosso, Future Generation Computer Systems (2018).
2018 | Book Chapter | LibreCat-ID: 17705
"Digital Humanitites: The Role of the Digital in English Philology". Sprachwissenschaftliche Sektion beim Anglistentag 2017 in Regensburg
I. Mindt, S. Bartsch, in: A.-J. Zwierlein, J. Petzold, K. Boehm, M. Decker (Eds.), Anglistentag 2017 Regensburg. Proceedings, Wissenschaftler Verlag, Trier, 2018, pp. 3–8.
LibreCat
I. Mindt, S. Bartsch, in: A.-J. Zwierlein, J. Petzold, K. Boehm, M. Decker (Eds.), Anglistentag 2017 Regensburg. Proceedings, Wissenschaftler Verlag, Trier, 2018, pp. 3–8.
2018 | Preprint | LibreCat-ID: 17713 | 
Automated Multi-Label Classification based on ML-Plan
M.D. Wever, F. Mohr, E. Hüllermeier, (2018).
LibreCat
| Download (ext.)
M.D. Wever, F. Mohr, E. Hüllermeier, (2018).
2018 | Preprint | LibreCat-ID: 17714 |
Automated machine learning service composition
F. Mohr, M.D. Wever, E. Hüllermeier, (2018).
LibreCat
| Download (ext.)
F. Mohr, M.D. Wever, E. Hüllermeier, (2018).
2018 | Book Chapter | LibreCat-ID: 17720
Englischer Sprachwandel im Zeitalter von Digitalisierung und Innovation
I. Mindt, in: P. Freese (Ed.), Paderborner Unireden 148, Bonifatius GmbH, Paderborn, 2018.
LibreCat
I. Mindt, in: P. Freese (Ed.), Paderborner Unireden 148, Bonifatius GmbH, Paderborn, 2018.
2018 | Book Chapter | LibreCat-ID: 17721
Digital Humanities: The Role of the Digital in English Philology
S. Bartsch, I. Mindt, in: A.-J. Zwierlein, J. Petzold, K. Boehm, M. Decker (Eds.), Anglistentag 2017 Regensburg. Proceedings, Wissenschaftler Verlag, Trier, 2018, pp. 3–7.
LibreCat
S. Bartsch, I. Mindt, in: A.-J. Zwierlein, J. Petzold, K. Boehm, M. Decker (Eds.), Anglistentag 2017 Regensburg. Proceedings, Wissenschaftler Verlag, Trier, 2018, pp. 3–7.
2018 | Conference Paper | LibreCat-ID: 1910
Poster: CrossEcore: An Extendible Framework to Use Ecore and OCL across Platforms
S. Schwichtenberg, I. Jovanovikj, C. Gerth, G. Engels, in: Proceedings of the 40th International Conference on Software Engineering, ICSE 2018 - Companion Volume, n.d.
LibreCat
S. Schwichtenberg, I. Jovanovikj, C. Gerth, G. Engels, in: Proceedings of the 40th International Conference on Software Engineering, ICSE 2018 - Companion Volume, n.d.
2018 | Conference Paper | LibreCat-ID: 23540
Systems Engineering Competencies in Academic Education
I. Gräßler, J. Hentze, C. Oleff, in: 13th System of Systems Engineering Conference (SoSE), IEEE, 2018, pp. 542–547.
LibreCat
| DOI
I. Gräßler, J. Hentze, C. Oleff, in: 13th System of Systems Engineering Conference (SoSE), IEEE, 2018, pp. 542–547.
2018 | Conference Paper | LibreCat-ID: 23775
Concrete and abstract external respresentations in chemistry education
P. Akman, S. Fechner, in: O. Finlayson, E. McLoughlin, S. Erduran, P. Roser (Eds.), Electronic Proceedings of the ESERA 2017 Conference. Research, Practice and Collaboration in Science Education, Part 1 (Co-Ed. Finlayson, O. & Roser, P.), Dublin City University, Dublin, Ireland, 2018, pp. 65–72.
LibreCat
| Download (ext.)
P. Akman, S. Fechner, in: O. Finlayson, E. McLoughlin, S. Erduran, P. Roser (Eds.), Electronic Proceedings of the ESERA 2017 Conference. Research, Practice and Collaboration in Science Education, Part 1 (Co-Ed. Finlayson, O. & Roser, P.), Dublin City University, Dublin, Ireland, 2018, pp. 65–72.
2018 | Journal Article | LibreCat-ID: 20465
Cross-education does not accelerate the rehabilitation of neuromuscular functions after ACL reconstruction: a randomized controlled clinical trial.
T. Zult, A. Gokeler, van Raay JJAM, R. Brouwer, I. Zijdewind, J. Farthing, T. Hortobágyi, Eur J Appl Physiol 118 (2018) 1609–1623.
LibreCat
| DOI
| PubMed | Europe PMC
T. Zult, A. Gokeler, van Raay JJAM, R. Brouwer, I. Zijdewind, J. Farthing, T. Hortobágyi, Eur J Appl Physiol 118 (2018) 1609–1623.
2018 | Conference Paper | LibreCat-ID: 20530
Explainable Static Analysis
E. Bodden, L. Nguyen Quang Do, in: Software Engineering Und Software Management 2018, Fachtagung Des GI-Fachbereichs Softwaretechnik, {SE} 2018, 5.-9. M{\"{a}}rz 2018, Ulm, Germany., 2018, pp. 205–208.
LibreCat
| Download (ext.)
E. Bodden, L. Nguyen Quang Do, in: Software Engineering Und Software Management 2018, Fachtagung Des GI-Fachbereichs Softwaretechnik, {SE} 2018, 5.-9. M{\"{a}}rz 2018, Ulm, Germany., 2018, pp. 205–208.
2018 | Journal Article | LibreCat-ID: 20543
Debugging Static Analysis
L. Nguyen Quang Do, S. Krüger, P. Hill, K. Ali, E. Bodden, IEEE Transactions on Software Engineering (2018) 1–1.
LibreCat
| DOI
| Download (ext.)
L. Nguyen Quang Do, S. Krüger, P. Hill, K. Ali, E. Bodden, IEEE Transactions on Software Engineering (2018) 1–1.
2018 | Conference (Editor) | LibreCat-ID: 20544
Software Engineering und Software Management 2018, Fachtagung des GI-Fachbereichs Softwaretechnik, SE 2018, 5.-9. März 2018, Ulm, Germany
M. Tichy, E. Bodden, M. Kuhrmann, S. Wagner, J.-P. Steghöfer, eds., 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
M. Tichy, E. Bodden, M. Kuhrmann, S. Wagner, J.-P. Steghöfer, eds., 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.
2018 | Conference (Editor) | LibreCat-ID: 20545
Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018
F. Tip, E. Bodden, eds., 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
F. Tip, E. Bodden, eds., Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018, ACM, 2018.
2018 | Conference Paper | LibreCat-ID: 20546
Model Checking the Information Flow Security of Real-Time Systems
C. Gerking, D. Schubert, E. Bodden, in: M. Payer, A. Rashid, J.M. Such (Eds.), Engineering Secure Software and Systems, Springer International Publishing, Cham, 2018, pp. 27–43.
LibreCat
| Download (ext.)
C. Gerking, D. Schubert, E. Bodden, in: M. Payer, A. Rashid, J.M. Such (Eds.), Engineering Secure Software and Systems, Springer International Publishing, Cham, 2018, pp. 27–43.
2018 | Conference Paper | LibreCat-ID: 20547
Gamifying Static Analysis
L. Nguyen Quang Do, E. Bodden, in: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ACM, New York, NY, USA, 2018, pp. 714–718.
LibreCat
| DOI
| Download (ext.)
L. Nguyen Quang Do, E. Bodden, in: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ACM, New York, NY, USA, 2018, pp. 714–718.
2018 | Conference Paper | LibreCat-ID: 20548
The Secret Sauce in Efficient and Precise Static Analysis: The Beauty of Distributive, Summary-based Static Analyses (and How to Master Them)
E. Bodden, in: ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2018), ACM, New York, NY, USA, 2018, pp. 85–93.
LibreCat
| DOI
| Download (ext.)
E. Bodden, in: ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2018), ACM, New York, NY, USA, 2018, pp. 85–93.