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.
5792 Publications
2018 | Conference Paper | LibreCat-ID: 1096
@inproceedings{Beyer_Jakobs_Lemberger_Wehrheim_2018, title={Reducer-Based Construction of Conditional Verifiers}, booktitle={Proceedings of the 40th International Conference on Software Engineering (ICSE)}, publisher={ACM}, author={Beyer, Dirk and Jakobs, Marie-Christine and Lemberger, Thomas and Wehrheim, Heike}, year={2018}, pages={1182--1193} }
LibreCat
| Files available
2018 | Bachelorsthesis | LibreCat-ID: 1097
@book{Jentzsch_2018, title={Enforcing IP Core Connection Properties with Verifiable Security Monitors}, publisher={Universität Paderborn}, author={Jentzsch, Felix Paul}, year={2018} }
LibreCat
2018 | Conference Paper | LibreCat-ID: 11711
@inproceedings{Ajjour_Wachsmuth_Kiesel_Riehmann_Fan_Castiglia_Adejoh_Fröhlich_Stein_2018, title={Visualization of the Topic Space of Argument Search Results in args. me}, booktitle={Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing: System Demonstrations}, author={Ajjour, Yamen and Wachsmuth, Henning and Kiesel, Dora and Riehmann, Patrick and Fan, Fan and Castiglia, Giuliano and Adejoh, Rosemary and Fröhlich, Bernd and Stein, Benno}, year={2018}, pages={60–65} }
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 11712
@inproceedings{El Baff_Wachsmuth_Al Khatib_Stein_2018, title={Challenge or Empower: Revisiting Argumentation Quality in a News Editorial Corpus}, booktitle={Proceedings of the 22nd Conference on Computational Natural Language Learning}, publisher={Association for Computational Linguistics}, author={El Baff, Roxanne and Wachsmuth, Henning and Al Khatib, Khalid and Stein, Benno}, year={2018}, pages={454–464} }
LibreCat
| Download (ext.)
2018 | Mastersthesis | LibreCat-ID: 1186
@book{Kemper_2018, title={Pure Nash Equilibria in Robust Congestion Games via Potential Functions}, publisher={Universität Paderborn}, author={Kemper, Arne}, year={2018} }
LibreCat
2018 | Bachelorsthesis | LibreCat-ID: 1187
@book{Nachtigall_2018, title={Scenario-driven Strategy Analysis in a n-player Composition Game Model}, publisher={Universität Paderborn}, author={Nachtigall, Marcel}, year={2018} }
LibreCat
2018 | Bachelorsthesis | LibreCat-ID: 1188
@book{Kempf_2018, title={Learning deterministic bandit behaviour form compositions}, publisher={Universität Paderborn}, author={Kempf, Jérôme}, year={2018} }
LibreCat
2018 | Conference Paper | LibreCat-ID: 11983
@inproceedings{Bloessl_Klingler_Missbrenner_Sommer_2018, title={A systematic study on the impact of noise and OFDM interference on IEEE 802.11p}, DOI={10.1109/vnc.2017.8275633}, booktitle={2017 IEEE Vehicular Networking Conference (VNC)}, author={Bloessl, Bastian and Klingler, Florian and Missbrenner, Fabian and Sommer, Christoph}, year={2018} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 11986
@inproceedings{Buse_Schettler_Kothe_Reinold_Sommer_Dressler_2018, title={Bridging worlds: Integrating hardware-in-the-loop testing with large-scale VANET simulation}, DOI={10.23919/wons.2018.8311659}, booktitle={2018 14th Annual Conference on Wireless On-demand Network Systems and Services (WONS)}, author={Buse, Dominik S. and Schettler, Max and Kothe, Nils and Reinold, Peter and Sommer, Christoph and Dressler, Falko}, year={2018} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 11987
@inproceedings{Buse_Sommer_Dressler_2018, title={Demo abstract: Integrating a driving simulator with city-scale VANET simulation for the development of next generation ADAS systems}, DOI={10.1109/infcomw.2018.8406997}, booktitle={IEEE INFOCOM 2018 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS)}, author={Buse, Dominik S. and Sommer, Christoph and Dressler, Falko}, year={2018} }
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 11990
@article{Djahel_Sommer_Marconi_2018, title={Guest Editorial: Introduction to the Special Issue on Advances in Smart and Green Transportation for Smart Cities}, DOI={10.1109/tits.2018.2848018}, journal={IEEE Transactions on Intelligent Transportation Systems}, author={Djahel, Soufiene and Sommer, Christoph and Marconi, Annapaola}, year={2018}, pages={2152–2155} }
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 12007
@article{Eckhoff_Sommer_2018, title={Readjusting the privacy goals in Vehicular Ad-Hoc Networks: A safety-preserving solution using non-overlapping time-slotted pseudonym pools}, DOI={10.1016/j.comcom.2018.03.006}, journal={Computer Communications}, author={Eckhoff, David and Sommer, Christoph}, year={2018}, pages={118–128} }
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 12009
@article{Gläser_Sommer_Gehlen_Sories_2018, title={Cooperative vehicle applications with cellular communication}, DOI={10.1007/bf03242188}, journal={ATZelektronik worldwide}, author={Gläser, Stefan and Sommer, Christoph and Gehlen, Guido and Sories, Sabine}, year={2018}, pages={14–17} }
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 12017
@article{Hagenauer_Sommer_Higuchi_Altintas_Dressler_2018, title={Vehicular micro cloud in action: On gateway selection and gateway handovers}, DOI={10.1016/j.adhoc.2018.05.014}, journal={Ad Hoc Networks}, author={Hagenauer, Florian and Sommer, Christoph and Higuchi, Takamasa and Altintas, Onur and Dressler, Falko}, year={2018}, pages={73–83} }
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 12020
@article{Heinovski_Klingler_Dressler_Sommer_2018, title={A simulative analysis of the performance of IEEE 802.11p and ARIB STD-T109}, DOI={10.1016/j.comcom.2018.03.016}, journal={Computer Communications}, author={Heinovski, Julian and Klingler, Florian and Dressler, Falko and Sommer, Christoph}, year={2018}, pages={84–92} }
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 12033
@article{Klingler_Dressler_Sommer_2018, title={The Impact of Head of Line Blocking in Highly Dynamic WLANs}, DOI={10.1109/tvt.2018.2837157}, journal={IEEE Transactions on Vehicular Technology}, author={Klingler, Florian and Dressler, Falko and Sommer, Christoph}, year={2018}, pages={7664–7676} }
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 12034
@article{Klingler_Cohen_Sommer_Dressler_2018, title={Bloom Hopping: Bloom Filter Based 2-Hop Neighbor Management in VANETs}, DOI={10.1109/tmc.2018.2840123}, journal={IEEE Transactions on Mobile Computing}, author={Klingler, Florian and Cohen, Reuven and Sommer, Christoph and Dressler, Falko}, year={2018}, pages={534–545} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 12036
@inproceedings{Loewen_Klingler_Sommer_Dressler_2018, title={Backwards compatible extension of CAMs/DENMs for improved bike safety on the road}, DOI={10.1109/vnc.2017.8275657}, booktitle={2017 IEEE Vehicular Networking Conference (VNC)}, author={Loewen, Stefan and Klingler, Florian and Sommer, Christoph and Dressler, Falko}, year={2018} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 12040
@inproceedings{Memedi_Sommer_Dressler_2018, title={On the need for coordinated access control for vehicular visible light communication}, DOI={10.23919/wons.2018.8311673}, booktitle={2018 14th Annual Conference on Wireless On-demand Network Systems and Services (WONS)}, author={Memedi, Agon and Sommer, Christoph and Dressler, Falko}, year={2018} }
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 12041
@article{Outay_Ahmar_Kamoun_Yasar_Sommer_Jabeur_El-Amine_2018, title={Investigation of the impact of a wireless Fog Warning System with respect to road traffic on a highway}, DOI={10.1007/s00779-018-1151-4}, journal={Personal and Ubiquitous Computing}, author={Outay, Fatma and Ahmar, Absar-Ul-Haque and Kamoun, Faouzi and Yasar, Ansar-Ul-Haque and Sommer, Christoph and Jabeur, Nafaa and El-Amine, Samar}, year={2018} }
LibreCat
| DOI