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.
9733 Publications
2018 | Book Chapter | LibreCat-ID: 17721
S. Bartsch and I. Mindt, “Digital Humanities: The Role of the Digital in English Philology,” in Anglistentag 2017 Regensburg. Proceedings, A.-J. Zwierlein, J. Petzold, K. Boehm, and M. Decker, Eds. Trier: Wissenschaftler Verlag, 2018, pp. 3–7.
LibreCat
2018 | Book Chapter | LibreCat-ID: 23550
C. Fischer and A. Pöhler, “Supporting the Change to Digitalized Production Environments Through Learning Organization Development,” in The Impact of Digitalization in the Workplace - An Educational View, Kapitel: Supporting the Change to Digitalized Production Environments Through Learning Organization Development, C. Harteis, Ed. Springer International Publishing, 2018, pp. 141–160.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 23775
P. Akman and S. Fechner, “Concrete and abstract external respresentations in chemistry education,” in Electronic Proceedings of the ESERA 2017 Conference. Research, Practice and Collaboration in Science Education, Part 1 (co-ed. Finlayson, O. & Roser, P.), 2018, pp. 65–72.
LibreCat
| Download (ext.)
2018 | Conference (Editor) | LibreCat-ID: 23777
S. Fechner and A. Tiberghien, Eds., Science teaching processes (part 3). In Finlayson, O. E., McLoughlin, E., Erduran, S., Childs, P. (Eds.), Electronic Proceedings of the ESERA 2017 Conference. Research, Practice and Collaboration in Science Education. Dublin, Ireland: Dublin City University, 2018, pp. 436–437.
LibreCat
2018 | Journal Article | LibreCat-ID: 20465
T. Zult et al., “Cross-education does not accelerate the rehabilitation of neuromuscular functions after ACL reconstruction: a randomized controlled clinical trial.,” Eur J Appl Physiol, vol. 118, no. 8, pp. 1609–1623, 2018.
LibreCat
| DOI
| PubMed | Europe PMC
2018 | Conference Paper | LibreCat-ID: 20530
E. Bodden and L. Nguyen Quang Do, “Explainable Static Analysis,” 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.)
2018 | Conference (Editor) | LibreCat-ID: 20544
M. Tichy, E. Bodden, M. Kuhrmann, S. Wagner, and 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, vol. {P-279}. Gesellschaft für Informatik, 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 20547
L. Nguyen Quang Do and E. Bodden, “Gamifying Static Analysis,” in Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018, pp. 714–718, doi: 10.1145/3236024.3264830.
LibreCat
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 20548
E. Bodden, “The Secret Sauce in Efficient and Precise Static Analysis: The Beauty of Distributive, Summary-based Static Analyses (and How to Master Them),” in ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2018), 2018, pp. 85–93, doi: 10.1145/3236454.3236500.
LibreCat
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 20550
E. Bodden, “Self-adaptive Static Analysis,” in Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, 2018, pp. 45–48, doi: 10.1145/3183399.3183401.
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 20781
C. Gerking and D. Schubert, “Towards Preserving Information Flow Security on Architectural Composition of Cyber-Physical Systems,” in European Conference on Software Architecture (ECSA 2018), 2018, no. 11048, pp. 147–155, doi: 10.1007/978-3-030-00761-4_10.
LibreCat
| DOI
2018 | Book Chapter | LibreCat-ID: 20782
T. Koch, J. Holtmann, and T. Lindemann, “Model-Driven STEP Application Protocol Extensions Combined with Feature Modeling Considering Geometrical Information,” in Revised Selected Papers of the 5th International Conference on Model-Driven Engineering and Software Development, vol. 880, L. F. Pires, S. Hammoudi, and B. Selic, Eds. Springer International Publishing, 2018, pp. 173–197.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 20785
J. Geismann, R. Höttger, L. Krawczyk, U. Pohlmann, and D. Schmelter, “Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core Systems,” in Model-Driven Engineering and Software Development, 2018, vol. 1, pp. 72–93, doi: 10.1007/978-3-319-94764-8_4.
LibreCat
| DOI
2018 | Bachelorsthesis | LibreCat-ID: 18030
N. N., Monotone Suchbarkeit bei den selbststabilisierenden Protokollen Build-List und Build-Multilist mit systemverlassenden Knoten. Universität Paderborn, 2018.
LibreCat