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
2018 | Journal Article | LibreCat-ID: 1043
T. Isenberg, M.-C. Jakobs, F. Pauck, and H. Wehrheim, “Validity of Software Verification Results on Approximate Hardware,” IEEE Embedded Systems Letters, pp. 22–25, 2018.
LibreCat
| Files available
| DOI
2018 | Bachelorsthesis | LibreCat-ID: 1044
R. Leer, Measuring Performance of a Static Analysis Framework with an application to Immutability Analysis. Universität Paderborn, 2018.
LibreCat
| Files available
2018 | Bachelorsthesis | LibreCat-ID: 1045
J. N. Strüwer, Interactive Data Visualization for Exploded Supergraphs. Universität Paderborn, 2018.
LibreCat
| Files available
2018 | Conference (Editor) | LibreCat-ID: 10591
S. Abiteboul et al., Eds., Research Directions for Principles of Data Management, vol. 7, no. 1. 2018, pp. 1–29.
LibreCat
2018 | Mastersthesis | LibreCat-ID: 10782
L. Clausing, Development of a Hardware / Software Codesign for sonification of LIDAR-based sensor data. Ruhr-University Bochum, 2018.
LibreCat
2018 | Book Chapter | LibreCat-ID: 10783
I. Couso and E. Hüllermeier, “Statistical Inference for Incomplete Ranking Data: A Comparison of two likelihood-based estimators,” in Frontiers in Computational Intelligence, S. Mostaghim, A. Nürnberger, and C. Borgelt, Eds. Springer, 2018, pp. 31–46.
LibreCat
2018 | Conference Paper | LibreCat-ID: 1096
D. Beyer, M.-C. Jakobs, T. Lemberger, and H. Wehrheim, “Reducer-Based Construction of Conditional Verifiers,” in Proceedings of the 40th International Conference on Software Engineering (ICSE), Gothenburg, Sweden, 2018, pp. 1182--1193.
LibreCat
| Files available
2018 | Bachelorsthesis | LibreCat-ID: 1097
F. P. Jentzsch, Enforcing IP Core Connection Properties with Verifiable Security Monitors. Universität Paderborn, 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 11711
Y. Ajjour et al., “Visualization of the Topic Space of Argument Search Results in args. me,” in Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing: System Demonstrations, 2018, pp. 60–65.
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 11712
R. El Baff, H. Wachsmuth, K. Al Khatib, and B. Stein, “Challenge or Empower: Revisiting Argumentation Quality in a News Editorial Corpus,” in Proceedings of the 22nd Conference on Computational Natural Language Learning, 2018, pp. 454–464.
LibreCat
| Download (ext.)
2018 | Mastersthesis | LibreCat-ID: 1186
A. Kemper, Pure Nash Equilibria in Robust Congestion Games via Potential Functions. Universität Paderborn, 2018.
LibreCat
2018 | Bachelorsthesis | LibreCat-ID: 1187
M. Nachtigall, Scenario-driven Strategy Analysis in a n-player Composition Game Model. Universität Paderborn, 2018.
LibreCat
2018 | Bachelorsthesis | LibreCat-ID: 1188
J. Kempf, Learning deterministic bandit behaviour form compositions. Universität Paderborn, 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 11986
D. S. Buse, M. Schettler, N. Kothe, P. Reinold, C. Sommer, and F. Dressler, “Bridging worlds: Integrating hardware-in-the-loop testing with large-scale VANET simulation,” in 2018 14th Annual Conference on Wireless On-demand Network Systems and Services (WONS), 2018.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 11987
D. S. Buse, C. Sommer, and F. Dressler, “Demo abstract: Integrating a driving simulator with city-scale VANET simulation for the development of next generation ADAS systems,” in IEEE INFOCOM 2018 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), 2018.
LibreCat
| DOI