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.
7886 Publications
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 | Conference Paper | LibreCat-ID: 27403
Brandt, S., Jähn, C., Fischer, M., Gerges, M., & Berssenbrügge, J. (2017). Automatic Derivation of Geometric Properties of Components from 3D Polygon Models. Proceedings of the ASME 2017 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, Band 1, 1, 91:1-91:10. https://doi.org/10.1115/DETC2017-67528
LibreCat
| DOI
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
2017 | Conference Paper | LibreCat-ID: 112
Feldotto, M., Leder, L., & Skopalik, A. (2017). Congestion Games with Complementarities. In Proceedings of the 10th International Conference on Algorithms and Complexity (CIAC) (pp. 222--233). https://doi.org/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. (2017). Computing Approximate Pure Nash Equilibria in Shapley Value Weighted Congestion Games. In Proceedings of the 13th International Conference on Web and Internet Economics (WINE). https://doi.org/10.1007/978-3-319-71924-5_14
LibreCat
| Files available
| DOI
| arXiv
2017 | Conference Paper | LibreCat-ID: 114
Jakobs, M.-C., & Wehrheim, H. (2017). Compact Proof Witnesses. In C. Barrett, M. Davies, & T. Kahsai (Eds.), NASA Formal Methods: 9th International Symposium (pp. 389–403). https://doi.org/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. (2017). Certification Matters for Service Markets. In T. P. Marcelo De Barros, Janusz Klink,Tadeus Uhl (Ed.), The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION) (pp. 7–12).
LibreCat
| Files available
2017 | Mastersthesis | LibreCat-ID: 1157
Witschen, L. M. (2017). A Framework for the Synthesis of Approximate Circuits. Universität Paderborn.
LibreCat
2017 | Book Chapter | LibreCat-ID: 1159
Kersting, J., & Geierhos, M. (2017). Using Sentiment Analysis on Local Up-to-the-Minute News: An Integrated Approach. In R. Damaševičius & V. Mikašytė (Eds.), Information and Software Technologies: 23rd International Conference, ICIST 2017, Druskininkai, Lithuania, October 12–14, 2017, Proceedings (Vol. 756, pp. 528–538). Cham, Switzerland: Springer. https://doi.org/10.1007/978-3-319-67642-5
LibreCat
| Files available
| DOI
2017 | Book Chapter | LibreCat-ID: 1161
Bäumer, F. S., Grote, N., Kersting, J., & Geierhos, M. (2017). Privacy Matters: Detecting Nocuous Patient Data Exposure in Online Physician Reviews. In R. Damaševičius & V. Mikašytė (Eds.), Information and Software Technologies: 23rd International Conference, ICIST 2017, Druskininkai, Lithuania, October 12–14, 2017, Proceedings (Vol. 756, pp. 77–89). Cham, Switzerland: Springer. https://doi.org/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. (2017). Filtering Undesirable Flows in Networks. In Combinatorial Optimization and Applications: 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I (pp. 3–17). Cham: Springer International Publishing. https://doi.org/10.1007/978-3-319-71150-8_1
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 1767
Mavronicolas, M., & Monien, B. (2017). Conditional Value-at-Risk: Structure and Complexity of Equilibria. In Proceedings of the 10th International Symposium on Algorithmic Game Theory (SAGT 2017) (Vol. 10504, pp. 131--143). L’Aquila, Italy. https://doi.org/10.1007/978-3-319-66700-3_11
LibreCat
| Files available
| DOI
2017 | Book Chapter | LibreCat-ID: 18834
Seng, E.-M. (2017). studiolo communis, Einleitung . In Eva-Maria Seng, R. Keil, & G. Oevel (Eds.), studiolo. Kooperative Forschungsumgebungen in den eHumanities (pp. 1–5). Berlin.
LibreCat
2017 | Book Chapter | LibreCat-ID: 18835
Seng, E.-M. (2017). Konstellationsforschung als methodischer Ansatz für kooperative Forschungsumgebungen in der Kunst- und Architekturgeschichte. In Eva-Maria Seng, R. Keil, & G. Oevel (Eds.), studiolo. Kooperative Forschungsumgebungen in den eHumanities (pp. 27–34). Berlin.
LibreCat