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.
5947 Publications
2018 | Bachelorsthesis | LibreCat-ID: 1044
Leer, Richard. 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
Strüwer, Jan Niclas. Interactive Data Visualization for Exploded Supergraphs. Universität Paderborn, 2018.
LibreCat
| Files available
2018 | Conference (Editor) | LibreCat-ID: 10591
Abiteboul, S., M. Arenas, P. Barceló, M. Bienvenu, D. Calvanese, C. David, R. Hull, et al., eds. Research Directions for Principles of Data Management. Vol. 7, 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 10598
Awais, Muhammad, Hassan Ghasemzadeh Mohammadi, and Marco Platzner. “An MCTS-Based Framework for Synthesis of Approximate Circuits.” In 26th IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC), 219–24, 2018. https://doi.org/10.1109/VLSI-SoC.2018.8645026.
LibreCat
| DOI
2018 | Mastersthesis | LibreCat-ID: 10782
Clausing, Lennart. Development of a Hardware / Software Codesign for Sonification of LIDAR-Based Sensor Data. Ruhr-University Bochum, 2018.
LibreCat
2018 | Book Chapter | LibreCat-ID: 10783
Couso, Ines, and Eyke Hüllermeier. “Statistical Inference for Incomplete Ranking Data: A Comparison of Two Likelihood-Based Estimators.” In Frontiers in Computational Intelligence, edited by Sanaz Mostaghim, Andreas Nürnberger, and Christian Borgelt, 31–46. Springer, 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 1096
Beyer, Dirk, Marie-Christine Jakobs, Thomas Lemberger, and Heike Wehrheim. “Reducer-Based Construction of Conditional Verifiers.” In Proceedings of the 40th International Conference on Software Engineering (ICSE), 1182--1193. ACM, 2018.
LibreCat
| Files available
2018 | Bachelorsthesis | LibreCat-ID: 1097
Jentzsch, Felix Paul. Enforcing IP Core Connection Properties with Verifiable Security Monitors. Universität Paderborn, 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 11711
Ajjour, Yamen, Henning Wachsmuth, Dora Kiesel, Patrick Riehmann, Fan Fan, Giuliano Castiglia, Rosemary Adejoh, Bernd Fröhlich, and Benno Stein. “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, 60–65, 2018.
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 11712
El Baff, Roxanne, Henning Wachsmuth, Khalid Al Khatib, and Benno Stein. “Challenge or Empower: Revisiting Argumentation Quality in a News Editorial Corpus.” In Proceedings of the 22nd Conference on Computational Natural Language Learning, 454–64. Association for Computational Linguistics, 2018.
LibreCat
| Download (ext.)
2018 | Mastersthesis | LibreCat-ID: 1186
Kemper, Arne. Pure Nash Equilibria in Robust Congestion Games via Potential Functions. Universität Paderborn, 2018.
LibreCat
2018 | Bachelorsthesis | LibreCat-ID: 1187
Nachtigall, Marcel. Scenario-Driven Strategy Analysis in a n-Player Composition Game Model. Universität Paderborn, 2018.
LibreCat
2018 | Bachelorsthesis | LibreCat-ID: 1188
Kempf, Jérôme. Learning Deterministic Bandit Behaviour Form Compositions. Universität Paderborn, 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 11983
Bloessl, Bastian, Florian Klingler, Fabian Missbrenner, and Christoph Sommer. “A Systematic Study on the Impact of Noise and OFDM Interference on IEEE 802.11p.” In 2017 IEEE Vehicular Networking Conference (VNC), 2018. https://doi.org/10.1109/vnc.2017.8275633.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 11986
Buse, Dominik S., Max Schettler, Nils Kothe, Peter Reinold, Christoph Sommer, and Falko 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. https://doi.org/10.23919/wons.2018.8311659.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 11987
Buse, Dominik S., Christoph Sommer, and Falko 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. https://doi.org/10.1109/infcomw.2018.8406997.
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 11990
Djahel, Soufiene, Christoph Sommer, and Annapaola Marconi. “Guest Editorial: Introduction to the Special Issue on Advances in Smart and Green Transportation for Smart Cities.” IEEE Transactions on Intelligent Transportation Systems, 2018, 2152–55. https://doi.org/10.1109/tits.2018.2848018.
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 12007
Eckhoff, David, and Christoph Sommer. “Readjusting the Privacy Goals in Vehicular Ad-Hoc Networks: A Safety-Preserving Solution Using Non-Overlapping Time-Slotted Pseudonym Pools.” Computer Communications, 2018, 118–28. https://doi.org/10.1016/j.comcom.2018.03.006.
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 12009
Gläser, Stefan, Christoph Sommer, Guido Gehlen, and Sabine Sories. “Cooperative Vehicle Applications with Cellular Communication.” ATZelektronik Worldwide, 2018, 14–17. https://doi.org/10.1007/bf03242188.
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 12017
Hagenauer, Florian, Christoph Sommer, Takamasa Higuchi, Onur Altintas, and Falko Dressler. “Vehicular Micro Cloud in Action: On Gateway Selection and Gateway Handovers.” Ad Hoc Networks, 2018, 73–83. https://doi.org/10.1016/j.adhoc.2018.05.014.
LibreCat
| DOI