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.
9775 Publications
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: 27031
Yang, M., Xue, H., Pan, J., Libuda, L., Muckelbauer, R., Yang, M., Quan, L., & Cheng, G. (2017). High protein intake along with paternal part-time employment is associated with higher body fat mass among girls from South China. European Journal of Nutrition, 1845–1854. https://doi.org/10.1007/s00394-017-1468-1
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: 27398
Abdelgawad, K., Gausemeier, J., Stöcklein, J., Grafe, M., Berssenbrügge, J., & Dumitrescu, R. (2017). A Platform with Multiple Head-Mounted Displays for Advanced Training in Modern Driving Schools. Designs ‒ International Journal of Engineering Designs, Band 1, 1, 8.1-8.14.
LibreCat
2017 | Journal Article | LibreCat-ID: 27402
Abdelgawad, K., Gausemeier, J., Trächtler, A., Gausemeier, S., Dumitrescu, R., Berssenbrügge, J., Stöcklein, J., & Grafe, M. (2017). An Application-Oriented Design Method for Networked Driving Simulation. Designs ‒ International Journal of Engineering Designs, Band 1, 1, 6.1-6.47.
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: 27406
Abdelgawad, K., Gausemeier, J., Dumitrescu, R., Grafe, M., Stöcklein, J., & Berssenbrügge, J. (2017). Networked Driving Simulation: Applications, State of the Art, and Design Considerations. Designs ‒ International Journal of Engineering Designs, Band 1 , 1, 4.1-4.17.
LibreCat
2017 | Journal Article | LibreCat-ID: 27414
Abdelgawad, K., Gausemeier, J., Grafe, M., & Berssenbrügge, J. (2017). Interest Manager for Networked Driving Simulation Based on High-Level Architecture. Designs ‒ International Journal of Engineering Designs, Band 1, 1, 3.1-3.11.
LibreCat
2017 | Journal Article | LibreCat-ID: 27438
Schneider, M., Mittag, T., & Gausemeier, J. (2017). Value Creation Design: Modeling of Value Networks. Journal of Strategic Innovation and Sustainability 12(1), 111–125.
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 | 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 | Conference Paper | LibreCat-ID: 1156
Kersting, J., Geierhos, M., Jung, H., & Kim, T. (2017). Internet of Things Architecture for Handling Stream Air Pollution Data. In M. Ramachandran, V. Méndez Muñoz, V. Kantere, G. Wills, R. Walters, & V. Chang (Eds.), Proceedings of the 2nd International Conference on Internet of Things, Big Data and Security (pp. 117–124). Setúbal, Portugal: SCITEPRESS. https://doi.org/10.5220/0006354801170124
LibreCat
| Files available
| DOI