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
Validity of Software Verification Results on Approximate Hardware
T. Isenberg, M.-C. Jakobs, F. Pauck, H. Wehrheim, IEEE Embedded Systems Letters (2018) 22–25.
LibreCat
| Files available
| DOI
T. Isenberg, M.-C. Jakobs, F. Pauck, H. Wehrheim, IEEE Embedded Systems Letters (2018) 22–25.
2018 | Bachelorsthesis | LibreCat-ID: 1044
Measuring Performance of a Static Analysis Framework with an application to Immutability Analysis
R. Leer, Measuring Performance of a Static Analysis Framework with an Application to Immutability Analysis, Universität Paderborn, 2018.
LibreCat
| Files available
R. Leer, Measuring Performance of a Static Analysis Framework with an Application to Immutability Analysis, Universität Paderborn, 2018.
2018 | Bachelorsthesis | LibreCat-ID: 1045
Interactive Data Visualization for Exploded Supergraphs
J.N. Strüwer, Interactive Data Visualization for Exploded Supergraphs, Universität Paderborn, 2018.
LibreCat
| Files available
J.N. Strüwer, Interactive Data Visualization for Exploded Supergraphs, Universität Paderborn, 2018.
2018 | Conference (Editor) | LibreCat-ID: 10591
Research Directions for Principles of Data Management
S. Abiteboul, M. Arenas, P. Barceló, M. Bienvenu, D. Calvanese, C. David, R. Hull, E. Hüllermeier, B. Kimelfeld, L. Libkin, W. Martens, T. Milo, F. Murlak, F. Neven, M. Ortiz, T. Schwentick, J. Stoyanovich, J. Su, D. Suciu, V. Vianu, K. Yi, eds., Research Directions for Principles of Data Management, 2018.
LibreCat
S. Abiteboul, M. Arenas, P. Barceló, M. Bienvenu, D. Calvanese, C. David, R. Hull, E. Hüllermeier, B. Kimelfeld, L. Libkin, W. Martens, T. Milo, F. Murlak, F. Neven, M. Ortiz, T. Schwentick, J. Stoyanovich, J. Su, D. Suciu, V. Vianu, K. Yi, eds., Research Directions for Principles of Data Management, 2018.
2018 | Conference Paper | LibreCat-ID: 10598
An MCTS-based Framework for Synthesis of Approximate Circuits
M. Awais, H. Ghasemzadeh Mohammadi, M. Platzner, in: 26th IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC), 2018, pp. 219–224.
LibreCat
| DOI
M. Awais, H. Ghasemzadeh Mohammadi, M. Platzner, in: 26th IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC), 2018, pp. 219–224.
2018 | Mastersthesis | LibreCat-ID: 10782
Development of a Hardware / Software Codesign for sonification of LIDAR-based sensor data
L. Clausing, Development of a Hardware / Software Codesign for Sonification of LIDAR-Based Sensor Data, Ruhr-University Bochum, 2018.
LibreCat
L. Clausing, Development of a Hardware / Software Codesign for Sonification of LIDAR-Based Sensor Data, Ruhr-University Bochum, 2018.
2018 | Book Chapter | LibreCat-ID: 10783
Statistical Inference for Incomplete Ranking Data: A Comparison of two likelihood-based estimators
I. Couso, E. Hüllermeier, in: S. Mostaghim, A. Nürnberger, C. Borgelt (Eds.), Frontiers in Computational Intelligence, Springer, 2018, pp. 31–46.
LibreCat
I. Couso, E. Hüllermeier, in: S. Mostaghim, A. Nürnberger, C. Borgelt (Eds.), Frontiers in Computational Intelligence, Springer, 2018, pp. 31–46.
2018 | Conference Paper | LibreCat-ID: 1096
Reducer-Based Construction of Conditional Verifiers
D. Beyer, M.-C. Jakobs, T. Lemberger, H. Wehrheim, in: Proceedings of the 40th International Conference on Software Engineering (ICSE), ACM, 2018, pp. 1182--1193.
LibreCat
| Files available
D. Beyer, M.-C. Jakobs, T. Lemberger, H. Wehrheim, in: Proceedings of the 40th International Conference on Software Engineering (ICSE), ACM, 2018, pp. 1182--1193.
2018 | Bachelorsthesis | LibreCat-ID: 1097
Enforcing IP Core Connection Properties with Verifiable Security Monitors
F.P. Jentzsch, Enforcing IP Core Connection Properties with Verifiable Security Monitors, Universität Paderborn, 2018.
LibreCat
F.P. Jentzsch, Enforcing IP Core Connection Properties with Verifiable Security Monitors, Universität Paderborn, 2018.
2018 | Conference Paper | LibreCat-ID: 11711
Visualization of the Topic Space of Argument Search Results in args. me
Y. Ajjour, H. Wachsmuth, D. Kiesel, P. Riehmann, F. Fan, G. Castiglia, R. Adejoh, B. Fröhlich, B. Stein, in: Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing: System Demonstrations, 2018, pp. 60–65.
LibreCat
| Download (ext.)
Y. Ajjour, H. Wachsmuth, D. Kiesel, P. Riehmann, F. Fan, G. Castiglia, R. Adejoh, B. Fröhlich, B. Stein, in: Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing: System Demonstrations, 2018, pp. 60–65.
2018 | Conference Paper | LibreCat-ID: 11712
Challenge or Empower: Revisiting Argumentation Quality in a News Editorial Corpus
R. El Baff, H. Wachsmuth, K. Al Khatib, B. Stein, in: Proceedings of the 22nd Conference on Computational Natural Language Learning, Association for Computational Linguistics, 2018, pp. 454–464.
LibreCat
| Download (ext.)
R. El Baff, H. Wachsmuth, K. Al Khatib, B. Stein, in: Proceedings of the 22nd Conference on Computational Natural Language Learning, Association for Computational Linguistics, 2018, pp. 454–464.
2018 | Mastersthesis | LibreCat-ID: 1186
Pure Nash Equilibria in Robust Congestion Games via Potential Functions
A. Kemper, Pure Nash Equilibria in Robust Congestion Games via Potential Functions, Universität Paderborn, 2018.
LibreCat
A. Kemper, Pure Nash Equilibria in Robust Congestion Games via Potential Functions, Universität Paderborn, 2018.
2018 | Bachelorsthesis | LibreCat-ID: 1187
Scenario-driven Strategy Analysis in a n-player Composition Game Model
M. Nachtigall, Scenario-Driven Strategy Analysis in a n-Player Composition Game Model, Universität Paderborn, 2018.
LibreCat
M. Nachtigall, Scenario-Driven Strategy Analysis in a n-Player Composition Game Model, Universität Paderborn, 2018.
2018 | Bachelorsthesis | LibreCat-ID: 1188
Learning deterministic bandit behaviour form compositions
J. Kempf, Learning Deterministic Bandit Behaviour Form Compositions, Universität Paderborn, 2018.
LibreCat
J. Kempf, Learning Deterministic Bandit Behaviour Form Compositions, Universität Paderborn, 2018.
2018 | Conference Paper | LibreCat-ID: 11983
A systematic study on the impact of noise and OFDM interference on IEEE 802.11p
B. Bloessl, F. Klingler, F. Missbrenner, C. Sommer, in: 2017 IEEE Vehicular Networking Conference (VNC), 2018.
LibreCat
| DOI
B. Bloessl, F. Klingler, F. Missbrenner, C. Sommer, in: 2017 IEEE Vehicular Networking Conference (VNC), 2018.
2018 | Conference Paper | LibreCat-ID: 11986
Bridging worlds: Integrating hardware-in-the-loop testing with large-scale VANET simulation
D.S. Buse, M. Schettler, N. Kothe, P. Reinold, C. Sommer, F. Dressler, in: 2018 14th Annual Conference on Wireless On-Demand Network Systems and Services (WONS), 2018.
LibreCat
| DOI
D.S. Buse, M. Schettler, N. Kothe, P. Reinold, C. Sommer, F. Dressler, in: 2018 14th Annual Conference on Wireless On-Demand Network Systems and Services (WONS), 2018.
2018 | Conference Paper | LibreCat-ID: 11987
Demo abstract: Integrating a driving simulator with city-scale VANET simulation for the development of next generation ADAS systems
D.S. Buse, C. Sommer, F. Dressler, in: IEEE INFOCOM 2018 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), 2018.
LibreCat
| DOI
D.S. Buse, C. Sommer, F. Dressler, in: IEEE INFOCOM 2018 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), 2018.
2018 | Journal Article | LibreCat-ID: 11990
Guest Editorial: Introduction to the Special Issue on Advances in Smart and Green Transportation for Smart Cities
S. Djahel, C. Sommer, A. Marconi, IEEE Transactions on Intelligent Transportation Systems (2018) 2152–2155.
LibreCat
| DOI
S. Djahel, C. Sommer, A. Marconi, IEEE Transactions on Intelligent Transportation Systems (2018) 2152–2155.
2018 | Journal Article | LibreCat-ID: 12007
Readjusting the privacy goals in Vehicular Ad-Hoc Networks: A safety-preserving solution using non-overlapping time-slotted pseudonym pools
D. Eckhoff, C. Sommer, Computer Communications (2018) 118–128.
LibreCat
| DOI
D. Eckhoff, C. Sommer, Computer Communications (2018) 118–128.
2018 | Journal Article | LibreCat-ID: 12009
Cooperative vehicle applications with cellular communication
S. Gläser, C. Sommer, G. Gehlen, S. Sories, ATZelektronik Worldwide (2018) 14–17.
LibreCat
| DOI
S. Gläser, C. Sommer, G. Gehlen, S. Sories, ATZelektronik Worldwide (2018) 14–17.