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.
4769 Publications
2017 | Bachelorsthesis | LibreCat-ID: 3580
An FPGA Accelerator for Checking Resolution Proofs
T. Hansmeier, An FPGA Accelerator for Checking Resolution Proofs, Universität Paderborn, 2017.
LibreCat
T. Hansmeier, An FPGA Accelerator for Checking Resolution Proofs, Universität Paderborn, 2017.
2017 | Book | LibreCat-ID: 3600
Human agency at work: An active approach towards expertise development
M. Goller, Human Agency at Work: An Active Approach towards Expertise Development, Springer, Wiesbaden, 2017.
LibreCat
| DOI
| Download (ext.)
M. Goller, Human Agency at Work: An Active Approach towards Expertise Development, Springer, Wiesbaden, 2017.
2017 | Conference Paper | LibreCat-ID: 3817
"Page Rank'' for Argument Relevance
H. Wachsmuth, B. Stein, Y. Ajjour, in: Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics: Volume 1, Long Papers, 2017, pp. 1117–1127.
LibreCat
| Download (ext.)
H. Wachsmuth, B. Stein, Y. Ajjour, in: Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics: Volume 1, Long Papers, 2017, pp. 1117–1127.
2017 | Journal Article | LibreCat-ID: 3872
Sade: competitive MAC under adversarial SINR
A. Ogierman, A. Richa, C. Scheideler, S. Schmid, J. Zhang, Distributed Computing 31 (2017) 241–254.
LibreCat
| DOI
A. Ogierman, A. Richa, C. Scheideler, S. Schmid, J. Zhang, Distributed Computing 31 (2017) 241–254.
2017 | Conference Paper | LibreCat-ID: 3881
Computational Argumentation Quality Assessment in Natural Language
H. Wachsmuth, N. Naderi, Y. Hou, Y. Bilu, V. Prabhakaran, T.A. Thijm, G. Hirst, B. Stein, in: Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics: Volume 1, Long Papers, 2017, pp. 176–187.
LibreCat
| Download (ext.)
H. Wachsmuth, N. Naderi, Y. Hou, Y. Bilu, V. Prabhakaran, T.A. Thijm, G. Hirst, B. Stein, in: Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics: Volume 1, Long Papers, 2017, pp. 176–187.
2017 | Dissertation | LibreCat-ID: 2908
Soft Clustering Algorithms - Theoretical and Practical Improvements
K. Bujna, Soft Clustering Algorithms - Theoretical and Practical Improvements, Universität Paderborn, 2017.
LibreCat
| DOI
| Download (ext.)
K. Bujna, Soft Clustering Algorithms - Theoretical and Practical Improvements, Universität Paderborn, 2017.
2017 | Conference Paper | LibreCat-ID: 2967 |
Subtleties in Security Definitions for Predicate Encryption with Public Index
J. Blömer, G. Liske, in: Proceedings of the International Conference of Mathematical Aspects of Computer and Information Sciences (MACIS), Springer International Publishing, Cham, 2017, pp. 438–453.
LibreCat
| Files available
| DOI
| Download (ext.)
J. Blömer, G. Liske, in: Proceedings of the International Conference of Mathematical Aspects of Computer and Information Sciences (MACIS), Springer International Publishing, Cham, 2017, pp. 438–453.
2017 | Conference Paper | LibreCat-ID: 3109
Simple Security Definitions for and Constructions of 0-RTT Key Exchange
B. Hale, T. Jager, S. Lauer, J. Schwenk, in: Applied Cryptography and Network Security - 15th International Conference, ACNS 2017, Kanazawa, Japan, July 10-12, 2017, Proceedings, 2017, pp. 20--38.
LibreCat
| DOI
B. Hale, T. Jager, S. Lauer, J. Schwenk, in: Applied Cryptography and Network Security - 15th International Conference, ACNS 2017, Kanazawa, Japan, July 10-12, 2017, Proceedings, 2017, pp. 20--38.
2017 | Conference Paper | LibreCat-ID: 3110
0-RTT Key Exchange with Full Forward Secrecy
F. Günther, B. Hale, T. Jager, S. Lauer, in: Advances in Cryptology - EUROCRYPT 2017 - 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 - May 4, 2017, Proceedings, Part III, 2017, pp. 519--548.
LibreCat
| DOI
F. Günther, B. Hale, T. Jager, S. Lauer, in: Advances in Cryptology - EUROCRYPT 2017 - 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 - May 4, 2017, Proceedings, Part III, 2017, pp. 519--548.
2017 | Journal Article | LibreCat-ID: 27031
High protein intake along with paternal part-time employment is associated with higher body fat mass among girls from South China
M. Yang, H. Xue, J. Pan, L. Libuda, R. Muckelbauer, M. Yang, L. Quan, G. Cheng, European Journal of Nutrition (2017) 1845–1854.
LibreCat
| DOI
M. Yang, H. Xue, J. Pan, L. Libuda, R. Muckelbauer, M. Yang, L. Quan, G. Cheng, European Journal of Nutrition (2017) 1845–1854.
2017 | Conference Paper | LibreCat-ID: 27398
A Platform with Multiple Head-Mounted Displays for Advanced Training in Modern Driving Schools
K. Abdelgawad, J. Gausemeier, J. Stöcklein, M. Grafe, J. Berssenbrügge, R. Dumitrescu, in: Designs ‒ International Journal of Engineering Designs, Band 1, MDPI AG, Basel, Switzerland, 2017, p. 8.1-8.14.
LibreCat
K. Abdelgawad, J. Gausemeier, J. Stöcklein, M. Grafe, J. Berssenbrügge, R. Dumitrescu, in: Designs ‒ International Journal of Engineering Designs, Band 1, MDPI AG, Basel, Switzerland, 2017, p. 8.1-8.14.
2017 | Journal Article | LibreCat-ID: 27402
An Application-Oriented Design Method for Networked Driving Simulation
K. Abdelgawad, J. Gausemeier, A. Trächtler, S. Gausemeier, R. Dumitrescu, J. Berssenbrügge, J. Stöcklein, M. Grafe, Designs ‒ International Journal of Engineering Designs, Band 1 1 (2017) 6.1-6.47.
LibreCat
K. Abdelgawad, J. Gausemeier, A. Trächtler, S. Gausemeier, R. Dumitrescu, J. Berssenbrügge, J. Stöcklein, M. Grafe, Designs ‒ International Journal of Engineering Designs, Band 1 1 (2017) 6.1-6.47.
2017 | Conference Paper | LibreCat-ID: 27403
Automatic Derivation of Geometric Properties of Components from 3D Polygon Models
S. Brandt, C. Jähn, M. Fischer, M. Gerges, J. Berssenbrügge, in: Proceedings of the ASME 2017 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, Band 1, ASME, 2017, p. 91:1-91:10.
LibreCat
| DOI
S. Brandt, C. Jähn, M. Fischer, M. Gerges, J. Berssenbrügge, in: Proceedings of the ASME 2017 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, Band 1, ASME, 2017, p. 91:1-91:10.
2017 | Journal Article | LibreCat-ID: 27406
Networked Driving Simulation: Applications, State of the Art, and Design Considerations
K. Abdelgawad, J. Gausemeier, R. Dumitrescu, M. Grafe, J. Stöcklein, J. Berssenbrügge, Designs ‒ International Journal of Engineering Designs, Band 1 1 (2017) 4.1-4.17.
LibreCat
K. Abdelgawad, J. Gausemeier, R. Dumitrescu, M. Grafe, J. Stöcklein, J. Berssenbrügge, Designs ‒ International Journal of Engineering Designs, Band 1 1 (2017) 4.1-4.17.
2017 | Journal Article | LibreCat-ID: 27414
Interest Manager for Networked Driving Simulation Based on High-Level Architecture
K. Abdelgawad, J. Gausemeier, M. Grafe, J. Berssenbrügge, Designs ‒ International Journal of Engineering Designs, Band 1 1 (2017) 3.1-3.11.
LibreCat
K. Abdelgawad, J. Gausemeier, M. Grafe, J. Berssenbrügge, Designs ‒ International Journal of Engineering Designs, Band 1 1 (2017) 3.1-3.11.
2017 | Journal Article | LibreCat-ID: 27438
Value Creation Design: Modeling of Value Networks
M. Schneider, T. Mittag, J. Gausemeier, Journal of Strategic Innovation and Sustainability 12(1) (2017) 111–125.
LibreCat
M. Schneider, T. Mittag, J. Gausemeier, Journal of Strategic Innovation and Sustainability 12(1) (2017) 111–125.
2017 | Conference Paper | LibreCat-ID: 112
Congestion Games with Complementarities
M. Feldotto, L. Leder, A. Skopalik, in: Proceedings of the 10th International Conference on Algorithms and Complexity (CIAC), 2017, pp. 222--233.
LibreCat
| Files available
| DOI
| arXiv
M. Feldotto, L. Leder, A. Skopalik, in: Proceedings of the 10th International Conference on Algorithms and Complexity (CIAC), 2017, pp. 222--233.
2017 | Conference Paper | LibreCat-ID: 113
Computing Approximate Pure Nash Equilibria in Shapley Value Weighted Congestion Games
M. Feldotto, M. Gairing, G. Kotsialou, A. Skopalik, in: Proceedings of the 13th International Conference on Web and Internet Economics (WINE), 2017.
LibreCat
| Files available
| DOI
| arXiv
M. Feldotto, M. Gairing, G. Kotsialou, A. Skopalik, in: Proceedings of the 13th International Conference on Web and Internet Economics (WINE), 2017.
2017 | Conference Paper | LibreCat-ID: 114
Compact Proof Witnesses
M.-C. Jakobs, H. Wehrheim, in: C. Barrett, M. Davies, T. Kahsai (Eds.), NASA Formal Methods: 9th International Symposium, 2017, pp. 389–403.
LibreCat
| Files available
| DOI
M.-C. Jakobs, H. Wehrheim, in: C. Barrett, M. Davies, T. Kahsai (Eds.), NASA Formal Methods: 9th International Symposium, 2017, pp. 389–403.
2017 | Conference Paper | LibreCat-ID: 115
Certification Matters for Service Markets
M.-C. Jakobs, J. Krämer, D. van Straaten, T. Lettmann, in: T.P. Marcelo De Barros, Janusz Klink,Tadeus Uhl (Ed.), The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2017, pp. 7–12.
LibreCat
| Files available
M.-C. Jakobs, J. Krämer, D. van Straaten, T. Lettmann, in: T.P. Marcelo De Barros, Janusz Klink,Tadeus Uhl (Ed.), The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2017, pp. 7–12.