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
Isenberg, T., Jakobs, M.-C., Pauck, F., & Wehrheim, H. (2018). Validity of Software Verification Results on Approximate Hardware. IEEE Embedded Systems Letters, 22–25. https://doi.org/10.1109/LES.2017.2758200
LibreCat
| Files available
| DOI
2018 | Bachelorsthesis | LibreCat-ID: 1044
Leer, R. (2018). Measuring Performance of a Static Analysis Framework with an application to Immutability Analysis. Universität Paderborn.
LibreCat
| Files available
2018 | Bachelorsthesis | LibreCat-ID: 1045
Strüwer, J. N. (2018). Interactive Data Visualization for Exploded Supergraphs. Universität Paderborn.
LibreCat
| Files available
2018 | Conference (Editor) | LibreCat-ID: 10591
Abiteboul, S., Arenas, M., Barceló, P., Bienvenu, M., Calvanese, D., David, C., … Yi, K. (Eds.). (2018). Research Directions for Principles of Data Management (Vol. 7, pp. 1–29).
LibreCat
2018 | Conference Paper | LibreCat-ID: 10598
Awais, M., Ghasemzadeh Mohammadi, H., & Platzner, M. (2018). An MCTS-based Framework for Synthesis of Approximate Circuits. In 26th IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC) (pp. 219–224). https://doi.org/10.1109/VLSI-SoC.2018.8645026
LibreCat
| DOI
2018 | Mastersthesis | LibreCat-ID: 10782
Clausing, L. (2018). Development of a Hardware / Software Codesign for sonification of LIDAR-based sensor data. Ruhr-University Bochum.
LibreCat
2018 | Book Chapter | LibreCat-ID: 10783
Couso, I., & Hüllermeier, E. (2018). Statistical Inference for Incomplete Ranking Data: A Comparison of two likelihood-based estimators. In S. Mostaghim, A. Nürnberger, & C. Borgelt (Eds.), Frontiers in Computational Intelligence (pp. 31–46). Springer.
LibreCat
2018 | Conference Paper | LibreCat-ID: 1096
Beyer, D., Jakobs, M.-C., Lemberger, T., & Wehrheim, H. (2018). Reducer-Based Construction of Conditional Verifiers. In Proceedings of the 40th International Conference on Software Engineering (ICSE) (pp. 1182--1193). Gothenburg, Sweden: ACM.
LibreCat
| Files available
2018 | Bachelorsthesis | LibreCat-ID: 1097
Jentzsch, F. P. (2018). Enforcing IP Core Connection Properties with Verifiable Security Monitors. Universität Paderborn.
LibreCat
2018 | Conference Paper | LibreCat-ID: 11711
Ajjour, Y., Wachsmuth, H., Kiesel, D., Riehmann, P., Fan, F., Castiglia, G., … Stein, B. (2018). 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 (pp. 60–65).
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 11712
El Baff, R., Wachsmuth, H., Al Khatib, K., & Stein, B. (2018). Challenge or Empower: Revisiting Argumentation Quality in a News Editorial Corpus. In Proceedings of the 22nd Conference on Computational Natural Language Learning (pp. 454–464). Association for Computational Linguistics.
LibreCat
| Download (ext.)
2018 | Mastersthesis | LibreCat-ID: 1186
Kemper, A. (2018). Pure Nash Equilibria in Robust Congestion Games via Potential Functions. Universität Paderborn.
LibreCat
2018 | Bachelorsthesis | LibreCat-ID: 1187
Nachtigall, M. (2018). Scenario-driven Strategy Analysis in a n-player Composition Game Model. Universität Paderborn.
LibreCat
2018 | Bachelorsthesis | LibreCat-ID: 1188
Kempf, J. (2018). Learning deterministic bandit behaviour form compositions. Universität Paderborn.
LibreCat
2018 | Conference Paper | LibreCat-ID: 11983
Bloessl, B., Klingler, F., Missbrenner, F., & Sommer, C. (2018). A systematic study on the impact of noise and OFDM interference on IEEE 802.11p. In 2017 IEEE Vehicular Networking Conference (VNC). https://doi.org/10.1109/vnc.2017.8275633
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 11986
Buse, D. S., Schettler, M., Kothe, N., Reinold, P., Sommer, C., & Dressler, F. (2018). 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). https://doi.org/10.23919/wons.2018.8311659
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 11987
Buse, D. S., Sommer, C., & Dressler, F. (2018). 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). https://doi.org/10.1109/infcomw.2018.8406997
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 11990
Djahel, S., Sommer, C., & Marconi, A. (2018). Guest Editorial: Introduction to the Special Issue on Advances in Smart and Green Transportation for Smart Cities. IEEE Transactions on Intelligent Transportation Systems, 2152–2155. https://doi.org/10.1109/tits.2018.2848018
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 12007
Eckhoff, D., & Sommer, C. (2018). Readjusting the privacy goals in Vehicular Ad-Hoc Networks: A safety-preserving solution using non-overlapping time-slotted pseudonym pools. Computer Communications, 118–128. https://doi.org/10.1016/j.comcom.2018.03.006
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 12009
Gläser, S., Sommer, C., Gehlen, G., & Sories, S. (2018). Cooperative vehicle applications with cellular communication. ATZelektronik Worldwide, 14–17. https://doi.org/10.1007/bf03242188
LibreCat
| DOI