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: 6974 | 
@inproceedings{Schneider_Peuster_Tavernier_Karl_2018, title={A Fully Integrated Multi-Platform NFV SDK}, DOI={10.1109/NFV-SDN.2018.8725794}, booktitle={IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018)}, publisher={IEEE}, author={Schneider, Stefan Balthasar and Peuster, Manuel and Tavernier, Wouter and Karl, Holger}, year={2018} }
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 16937
@inproceedings{Cunha_Fernandes_Kelleher_Mendes_Engels_2018, title={2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)}, DOI={10.1109/vl/hcc43341.2018}, booktitle={Proceedings of 2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Lisbon, Portugal, October 1-4, 2018}, publisher={IEEE}, author={Cunha, Jácome and Fernandes, Joao Paulo and Kelleher, Caitlin and Mendes, Jorge and Engels, Gregor}, year={2018} }
LibreCat
| DOI
2018 | Book Chapter | LibreCat-ID: 16938
@inbook{Engels_Maier_Ötting_Steffen_Teetz_2018, place={Berlin, Heidelberg}, title={Gerechtigkeit in flexiblen Arbeits- und Managementprozessen}, DOI={10.1007/978-3-662-49266-6_16}, booktitle={Zukunft der Arbeit – Eine praxisnahe Betrachtung}, publisher={Springer Verlag}, author={Engels, Gregor and Maier, Günter W. and Ötting, Sonja K. and Steffen, Eckhard and Teetz, Alexander}, editor={Wischmann, Steffen and Hartmann, Ernst AndreasEditors}, year={2018}, pages={221–231} }
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 1043
@article{Isenberg_Jakobs_Pauck_Wehrheim_2018, title={Validity of Software Verification Results on Approximate Hardware}, DOI={10.1109/LES.2017.2758200}, journal={IEEE Embedded Systems Letters}, publisher={Institute of Electrical and Electronics Engineers (IEEE)}, author={Isenberg, Tobias and Jakobs, Marie-Christine and Pauck, Felix and Wehrheim, Heike}, year={2018}, pages={22–25} }
LibreCat
| Files available
| DOI
2018 | Bachelorsthesis | LibreCat-ID: 1044
@book{Leer_2018, title={Measuring Performance of a Static Analysis Framework with an application to Immutability Analysis}, publisher={Universität Paderborn}, author={Leer, Richard}, year={2018} }
LibreCat
| Files available
2018 | Bachelorsthesis | LibreCat-ID: 1045
@book{Strüwer_2018, title={Interactive Data Visualization for Exploded Supergraphs}, publisher={Universität Paderborn}, author={Strüwer, Jan Niclas}, year={2018} }
LibreCat
| Files available
2018 | Conference (Editor) | LibreCat-ID: 10591
@book{Abiteboul_Arenas_Barceló_Bienvenu_Calvanese_David_Hull_Hüllermeier_Kimelfeld_Libkin_et al._2018, title={Research Directions for Principles of Data Management}, volume={7}, number={1}, year={2018}, pages={1–29} }
LibreCat
2018 | Conference Paper | LibreCat-ID: 10598
@inproceedings{Awais_Ghasemzadeh Mohammadi_Platzner_2018, title={An MCTS-based Framework for Synthesis of Approximate Circuits}, DOI={10.1109/VLSI-SoC.2018.8645026}, booktitle={26th IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC)}, author={Awais, Muhammad and Ghasemzadeh Mohammadi, Hassan and Platzner, Marco}, year={2018}, pages={219–224} }
LibreCat
| DOI
2018 | Mastersthesis | LibreCat-ID: 10782
@book{Clausing_2018, title={Development of a Hardware / Software Codesign for sonification of LIDAR-based sensor data}, publisher={Ruhr-University Bochum}, author={Clausing, Lennart}, year={2018} }
LibreCat
2018 | Book Chapter | LibreCat-ID: 10783
@inbook{Couso_Hüllermeier_2018, title={Statistical Inference for Incomplete Ranking Data: A Comparison of two likelihood-based estimators}, booktitle={Frontiers in Computational Intelligence}, publisher={Springer}, author={Couso, Ines and Hüllermeier, Eyke}, editor={Mostaghim, Sanaz and Nürnberger, Andreas and Borgelt, ChristianEditors}, year={2018}, pages={31–46} }
LibreCat
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