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.
9767 Publications
2017 | Bachelorsthesis | LibreCat-ID: 3580
Hansmeier, T. (2017). An FPGA Accelerator for Checking Resolution Proofs. Universität Paderborn.
LibreCat
2017 | Book | LibreCat-ID: 3600
Goller, M. (2017). Human agency at work: An active approach towards expertise development. Wiesbaden: Springer. https://doi.org/10.1007/978-3-658-18286-1
LibreCat
| DOI
| Download (ext.)
2017 | Book Chapter | LibreCat-ID: 3743
Hammer, M. (2017). Guided Wave Interaction in Photonic Integrated Circuits — A Hybrid Analytical/Numerical Approach to Coupled Mode Theory. In A. Agrawal (Ed.), Recent Trends in Computational Photonics (204th ed., Vol. 204, pp. 77–105). Springer.
LibreCat
2017 | Journal Article | LibreCat-ID: 3828 | 
Hammer, M., Alhaddad, S., & Förstner, J. (2017). Hybrid coupled-mode modeling in 3D: perturbed and coupled channels, and waveguide crossings. Journal of the Optical Society of America B, 34(3), 613–624. https://doi.org/10.1364/josab.34.000613
LibreCat
| Files available
| DOI
2017 | Journal Article | LibreCat-ID: 3830
Ebers, L., Hammer, M., & Förstner, J. (2017). Spiral modes supported by circular dielectric tubes and tube segments. Optical and Quantum Electronics, 49(4), 49:176. https://doi.org/10.1007/s11082-017-1011-x
LibreCat
| Files available
| DOI
2017 | Journal Article | LibreCat-ID: 3832 |
Song, X., Wang, N., Yan, M., Lin, C., Förstner, J., & Yang, W. (2017). Direction-tunable enhanced emission from a subwavelength metallic double-nanoslit structure. Optics Express, 25(12), 13207–13214. https://doi.org/10.1364/oe.25.013207
LibreCat
| Files available
| DOI
2017 | Book Chapter | LibreCat-ID: 3836
Grynko, Y., & Förstner, J. (2017). Simulation of Second Harmonic Generation from Photonic Nanostructures Using the Discontinuous Galerkin Time Domain Method. In A. Agrawal (Ed.), Recent Trends in Computational Photonics (pp. 261–284). Cham: Springer International Publishing. https://doi.org/10.1007/978-3-319-55438-9_9
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 3883
Wachsmuth, H., Naderi, N., Habernal, I., Hou, Y., Hirst, G., Gurevych, I., & Stein, B. (2017). Argumentation Quality Assessment: Theory vs. Practice. In Proceedings of the 55th Annual Meeting of the Association for Computational Linguistics (Volume 2: Short Papers) (pp. 250–255). https://doi.org/10.18653/v1/P17-2039
LibreCat
| DOI
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 2967 |
Blömer, J., & Liske, G. (2017). Subtleties in Security Definitions for Predicate Encryption with Public Index. In Proceedings of the International Conference of Mathematical Aspects of Computer and Information Sciences (MACIS) (Vol. 10693, pp. 438–453). Cham: Springer International Publishing. https://doi.org/10.1007/978-3-319-72453-9_35
LibreCat
| Files available
| DOI
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 3108
Jager, T., Kohlar, F., Schäge, S., & Schwenk, J. (2017). Authenticated Confidential Channel Establishment and the Security of TLS-DHE. J. Cryptology, (4), 1276--1324. https://doi.org/10.1007/s00145-016-9248-2
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 3109
Hale, B., Jager, T., Lauer, S., & Schwenk, J. (2017). Simple Security Definitions for and Constructions of 0-RTT Key Exchange. In Applied Cryptography and Network Security - 15th International Conference, ACNS 2017, Kanazawa, Japan, July 10-12, 2017, Proceedings (pp. 20--38). https://doi.org/10.1007/978-3-319-61204-1_2
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 3110
Günther, F., Hale, B., Jager, T., & Lauer, S. (2017). 0-RTT Key Exchange with Full Forward Secrecy. 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 (pp. 519--548). https://doi.org/10.1007/978-3-319-56617-7_18
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 3111
Jager, T., Stam, M., Stanley-Oakes, R., & Warinschi, B. (2017). Multi-key Authenticated Encryption with Corruptions: Reductions Are Lossy. In Theory of Cryptography - 15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017, Proceedings, Part I (pp. 409--441). https://doi.org/10.1007/978-3-319-70500-2_14
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 3155
Töws, M., & Wehrheim, H. (2017). Policy Dependent and Independent Information Flow Analyses. In Z. Duan & L. Ong (Eds.), Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, {ICFEM} 2017, Xi’an, China, November 13-17, 2017, Proceedings (pp. 362--378). https://doi.org/10.1007/978-3-319-68690-5_22
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 3156
König, J., & Wehrheim, H. (2017). Value-Based or Conflict-Based? Opacity Definitions for STMs. In D. Van Hung & D. Kapur (Eds.), Theoretical Aspects of Computing - {ICTAC} 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings (pp. 118--135). https://doi.org/10.1007/978-3-319-67729-3_8
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 27224
Moritzer, E., Krugmann, J., & Leister, C. (2017). Alterung von plasmabehandelten Kunststoffen – Alles eine Frage der Zeit? Kunststoffe Erfolgreich Kleben, 1, 81–86.
LibreCat
2017 | Journal Article | LibreCat-ID: 27225
Moritzer, E., Friedrich, N., & Berger, J. (2017). Laserdurchstrahlkleben von opaken Kunststoffen – Schnell und zuverlässig. . Kunststoffe Erfolgreich Kleben, 1, 213–221.
LibreCat
2017 | Journal Article | LibreCat-ID: 27522
Föcker, M., Antel, J., Ring, S., Hahn, D., Kanal, Ö., Öztürk, D., Hebebrand, J., & Libuda, L. (2017). Vitamin D and mental health in children and adolescents. European Child & Adolescent Psychiatry, 1043–1066. https://doi.org/10.1007/s00787-017-0949-3
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 27771
Weber, K., Spörkel, O., Mertens, M., Freese, A., Strassburger, K., Kemper, B., Bachmann, C., Diehlmann, K., Stemper, T., Buyken, A., Ketelhut, K., & Müssig, K. (2017). Positive Effects of Promoting Physical Activity and Balanced Diets in a Primary School Setting with a High Proportion of Migrant School Children. Experimental and Clinical Endocrinology & Diabetes, 554–562. https://doi.org/10.1055/s-0043-101918
LibreCat
| DOI
2017 | Book Chapter | LibreCat-ID: 27796
Drossel, K., & Eickelmann, B. (2017). The Use of Tablets in Secondary Schools and Its Relationship with Computer Literacy. In A. Tatnall & M. Webb (Eds.), Tomorrow’s Learning: Involving Everyone. Learning with and about Technologies and Computing (pp. 114–124). Springer International Publishing. https://doi.org/10.1007/978-3-319-74310-3_14
LibreCat
| Files available
| DOI