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.
7271 Publications
2017 | Book Chapter | LibreCat-ID: 3836
Grynko Y, Förstner J. Simulation of Second Harmonic Generation from Photonic Nanostructures Using the Discontinuous Galerkin Time Domain Method. In: Agrawal A, ed. Recent Trends in Computational Photonics. Cham: Springer International Publishing; 2017:261-284. doi:10.1007/978-3-319-55438-9_9
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 2967 | 
Blömer J, Liske G. 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. Lecture Notes in Computer Science. Cham: Springer International Publishing; 2017:438-453. doi:10.1007/978-3-319-72453-9_35
LibreCat
| Files available
| DOI
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 3109
Hale B, Jager T, Lauer S, Schwenk J. 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. ; 2017:20--38. doi: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. 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. ; 2017:519--548. doi: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. 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. ; 2017:409--441. doi:10.1007/978-3-319-70500-2_14
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 3155
Töws M, Wehrheim H. Policy Dependent and Independent Information Flow Analyses. In: Duan Z, Ong L, eds. Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, {ICFEM} 2017, Xi’an, China, November 13-17, 2017, Proceedings. Lecture Notes in Computer Science. ; 2017:362--378. doi:10.1007/978-3-319-68690-5_22
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 3156
König J, Wehrheim H. Value-Based or Conflict-Based? Opacity Definitions for STMs. In: Van Hung D, Kapur D, eds. Theoretical Aspects of Computing - {ICTAC} 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings. Lecture Notes in Computer Science. ; 2017:118--135. doi:10.1007/978-3-319-67729-3_8
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 27224
Moritzer E, Krugmann J, Leister C. Alterung von plasmabehandelten Kunststoffen – Alles eine Frage der Zeit? Kunststoffe erfolgreich kleben. 2017;(1):81-86.
LibreCat
2017 | Journal Article | LibreCat-ID: 27225
Moritzer E, Friedrich N, Berger J. Laserdurchstrahlkleben von opaken Kunststoffen – Schnell und zuverlässig. . Kunststoffe erfolgreich kleben. 2017;(1):213-221.
LibreCat
2017 | Journal Article | LibreCat-ID: 27522
Föcker M, Antel J, Ring S, et al. Vitamin D and mental health in children and adolescents. European Child & Adolescent Psychiatry. Published online 2017:1043-1066. doi:10.1007/s00787-017-0949-3
LibreCat
| DOI
2017 | Book Chapter | LibreCat-ID: 27796
Drossel K, Eickelmann B. The Use of Tablets in Secondary Schools and Its Relationship with Computer Literacy. In: Tatnall A, Webb M, eds. Tomorrow’s Learning: Involving Everyone. Learning with and about Technologies and Computing. Springer International Publishing; 2017:114-124. doi:10.1007/978-3-319-74310-3_14
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 112
Feldotto M, Leder L, Skopalik A. Congestion Games with Complementarities. In: Proceedings of the 10th International Conference on Algorithms and Complexity (CIAC). LNCS. ; 2017:222--233. doi:10.1007/978-3-319-57586-5_19
LibreCat
| Files available
| DOI
| arXiv
2017 | Conference Paper | LibreCat-ID: 113
Feldotto M, Gairing M, Kotsialou G, Skopalik A. Computing Approximate Pure Nash Equilibria in Shapley Value Weighted Congestion Games. In: Proceedings of the 13th International Conference on Web and Internet Economics (WINE). ; 2017. doi:10.1007/978-3-319-71924-5_14
LibreCat
| Files available
| DOI
| arXiv
2017 | Conference Paper | LibreCat-ID: 114
Jakobs M-C, Wehrheim H. Compact Proof Witnesses. In: Barrett C, Davies M, Kahsai T, eds. NASA Formal Methods: 9th International Symposium. Lecture Notes in Computer Science. ; 2017:389-403. doi:10.1007/978-3-319-57288-8_28
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 115
Jakobs M-C, Krämer J, van Straaten D, Lettmann T. Certification Matters for Service Markets. In: Marcelo De Barros, Janusz Klink,Tadeus Uhl TP, ed. The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION). ; 2017:7-12.
LibreCat
| Files available
2017 | Mastersthesis | LibreCat-ID: 1157
Witschen LM. A Framework for the Synthesis of Approximate Circuits. Universität Paderborn; 2017.
LibreCat
2017 | Book Chapter | LibreCat-ID: 1159
Kersting J, Geierhos M. Using Sentiment Analysis on Local Up-to-the-Minute News: An Integrated Approach. In: Damaševičius R, Mikašytė V, eds. Information and Software Technologies: 23rd International Conference, ICIST 2017, Druskininkai, Lithuania, October 12–14, 2017, Proceedings. Vol 756. Communications in Computer and Information Science. Cham, Switzerland: Springer; 2017:528-538. doi:10.1007/978-3-319-67642-5
LibreCat
| Files available
| DOI
2017 | Book Chapter | LibreCat-ID: 1161
Bäumer FS, Grote N, Kersting J, Geierhos M. Privacy Matters: Detecting Nocuous Patient Data Exposure in Online Physician Reviews. In: Damaševičius R, Mikašytė V, eds. Information and Software Technologies: 23rd International Conference, ICIST 2017, Druskininkai, Lithuania, October 12–14, 2017, Proceedings. Vol 756. Communications in Computer and Information Science. Cham, Switzerland: Springer; 2017:77-89. doi:10.1007/978-3-319-67642-5_7
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 17652
Polevoy G, Trajanovski S, Grosso P, de Laat C. Filtering Undesirable Flows in Networks. In: Combinatorial Optimization and Applications: 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I. Lecture Notes in Computer Science. Cham: Springer International Publishing; 2017:3-17. doi:10.1007/978-3-319-71150-8_1
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 1767
Mavronicolas M, Monien B. Conditional Value-at-Risk: Structure and Complexity of Equilibria. In: Proceedings of the 10th International Symposium on Algorithmic Game Theory (SAGT 2017). Vol 10504. LNCS. ; 2017:131--143. doi:10.1007/978-3-319-66700-3_11
LibreCat
| Files available
| DOI