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.
7879 Publications
2017 | Conference Paper | LibreCat-ID: 3325
Optimizing the Structure of Nested Dichotomies: A Comparison of Two Heuristics
V. Melnikov, E. Hüllermeier, in: Proceedings. 27. Workshop Computational Intelligence, Dortmund, 23. - 24. November 2017, KIT Scientific Publishing, 2017.
LibreCat
| Files available
| DOI
V. Melnikov, E. Hüllermeier, in: Proceedings. 27. Workshop Computational Intelligence, Dortmund, 23. - 24. November 2017, KIT Scientific Publishing, 2017.
2017 | Journal Article | LibreCat-ID: 3433
High-Q whispering gallery microdisk resonators based on silicon oxynitride
T. Hett, S. Krämmer, U. Hilleringmann, H. Kalt, A. Zrenner, JOURNAL OF LUMINESCENCE (2017) 131--134.
LibreCat
| DOI
T. Hett, S. Krämmer, U. Hilleringmann, H. Kalt, A. Zrenner, JOURNAL OF LUMINESCENCE (2017) 131--134.
2017 | Mastersthesis | LibreCat-ID: 3512
Testing Java Method Contracts
P. Börding, Testing Java Method Contracts, Universität Paderborn, 2017.
LibreCat
P. Börding, Testing Java Method Contracts, Universität Paderborn, 2017.
2017 | Journal Article | LibreCat-ID: 3523 | 
Radar backscattering from a large-grain cometary coma: numerical simulation
S. Dogra, Y. Grynko, E. Zubko, J. Förstner, Astronomy & Astrophysics 608 (2017) A20.
LibreCat
| Files available
| DOI
S. Dogra, Y. Grynko, E. Zubko, J. Förstner, Astronomy & Astrophysics 608 (2017) A20.
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 | Book Chapter | LibreCat-ID: 3743
Guided Wave Interaction in Photonic Integrated Circuits — A Hybrid Analytical/Numerical Approach to Coupled Mode Theory
M. Hammer, in: A. Agrawal (Ed.), Recent Trends in Computational Photonics, 204th ed., Springer, 2017, pp. 77–105.
LibreCat
M. Hammer, in: A. Agrawal (Ed.), Recent Trends in Computational Photonics, 204th ed., Springer, 2017, pp. 77–105.
2017 | Journal Article | LibreCat-ID: 3828 |
Hybrid coupled-mode modeling in 3D: perturbed and coupled channels, and waveguide crossings
M. Hammer, S. Alhaddad, J. Förstner, Journal of the Optical Society of America B 34 (2017) 613–624.
LibreCat
| Files available
| DOI
M. Hammer, S. Alhaddad, J. Förstner, Journal of the Optical Society of America B 34 (2017) 613–624.
2017 | Journal Article | LibreCat-ID: 3830
Spiral modes supported by circular dielectric tubes and tube segments
L. Ebers, M. Hammer, J. Förstner, Optical and Quantum Electronics 49 (2017) 49:176.
LibreCat
| Files available
| DOI
L. Ebers, M. Hammer, J. Förstner, Optical and Quantum Electronics 49 (2017) 49:176.
2017 | Journal Article | LibreCat-ID: 3832 |
Direction-tunable enhanced emission from a subwavelength metallic double-nanoslit structure
X. Song, N. Wang, M. Yan, C. Lin, J. Förstner, W. Yang, Optics Express 25 (2017) 13207–13214.
LibreCat
| Files available
| DOI
X. Song, N. Wang, M. Yan, C. Lin, J. Förstner, W. Yang, Optics Express 25 (2017) 13207–13214.
2017 | Book Chapter | LibreCat-ID: 3836
Simulation of Second Harmonic Generation from Photonic Nanostructures Using the Discontinuous Galerkin Time Domain Method
Y. Grynko, J. Förstner, in: A. Agrawal (Ed.), Recent Trends in Computational Photonics, Springer International Publishing, Cham, 2017, pp. 261–284.
LibreCat
| Files available
| DOI
Y. Grynko, J. Förstner, in: A. Agrawal (Ed.), Recent Trends in Computational Photonics, Springer International Publishing, Cham, 2017, pp. 261–284.
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 | Conference Paper | LibreCat-ID: 3111
Multi-key Authenticated Encryption with Corruptions: Reductions Are Lossy
T. Jager, M. Stam, R. Stanley-Oakes, B. Warinschi, in: Theory of Cryptography - 15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017, Proceedings, Part I, 2017, pp. 409--441.
LibreCat
| DOI
T. Jager, M. Stam, R. Stanley-Oakes, B. Warinschi, in: Theory of Cryptography - 15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017, Proceedings, Part I, 2017, pp. 409--441.
2017 | Conference Paper | LibreCat-ID: 3155
Policy Dependent and Independent Information Flow Analyses
M. Töws, H. Wehrheim, 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, 2017, pp. 362--378.
LibreCat
| DOI
M. Töws, H. Wehrheim, 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, 2017, pp. 362--378.
2017 | Conference Paper | LibreCat-ID: 3156
Value-Based or Conflict-Based? Opacity Definitions for STMs
J. König, H. Wehrheim, in: D. Van Hung, D. Kapur (Eds.), Theoretical Aspects of Computing - {ICTAC} 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings, 2017, pp. 118--135.
LibreCat
| DOI
J. König, H. Wehrheim, in: D. Van Hung, D. Kapur (Eds.), Theoretical Aspects of Computing - {ICTAC} 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings, 2017, pp. 118--135.
2017 | Journal Article | LibreCat-ID: 27224
Alterung von plasmabehandelten Kunststoffen – Alles eine Frage der Zeit?
E. Moritzer, J. Krugmann, C. Leister, Kunststoffe Erfolgreich Kleben (2017) 81–86.
LibreCat
E. Moritzer, J. Krugmann, C. Leister, Kunststoffe Erfolgreich Kleben (2017) 81–86.
2017 | Journal Article | LibreCat-ID: 27225
Laserdurchstrahlkleben von opaken Kunststoffen – Schnell und zuverlässig.
E. Moritzer, N. Friedrich, J. Berger, Kunststoffe Erfolgreich Kleben (2017) 213–221.
LibreCat
E. Moritzer, N. Friedrich, J. Berger, Kunststoffe Erfolgreich Kleben (2017) 213–221.
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.