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.

9298 Publications


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: 27031
Yang M, Xue H, Pan J, et al. 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. Published online 2017:1845-1854. doi:10.1007/s00394-017-1468-1
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 27212
Moritzer E, Budde C, Hüttner M, Krassmann D. Entwicklung einer neuartigen Fügetechnik für Organoblech-Hybridverbindungen. In: 7. Fügetechnisches Gemeinschaftskolloquium. ; 2017.
LibreCat
 

2017 | Conference Paper | LibreCat-ID: 27398
Abdelgawad K, Gausemeier J, Stöcklein J, Grafe M, Berssenbrügge J, Dumitrescu R. A Platform with Multiple Head-Mounted Displays for Advanced Training in Modern Driving Schools. In: Designs ‒ International Journal of Engineering Designs, Band 1. Vol 1. MDPI AG; 2017:8.1-8.14.
LibreCat
 

2017 | Journal Article | LibreCat-ID: 27402
Abdelgawad K, Gausemeier J, Trächtler A, et al. An Application-Oriented Design Method for Networked Driving Simulation. Designs ‒ International Journal of Engineering Designs, Band 1. 2017;1:6.1-6.47.
LibreCat
 

2017 | Conference Paper | LibreCat-ID: 27403
Brandt S, Jähn C, Fischer M, Gerges M, Berssenbrügge J. Automatic Derivation of Geometric Properties of Components from 3D Polygon Models. In: Proceedings of the ASME 2017 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, Band 1. Vol 1. ASME; 2017:91:1-91:10. doi:https://doi.org/10.1115/DETC2017-67528
LibreCat | DOI
 

2017 | Journal Article | LibreCat-ID: 27404
Gausemeier J, Kage M. Stand und Perspektiven der Additiven Fertigung. ZWF, Zeitschrift für wirtschaftliche Fabrikplanung 112(7-8). Published online 2017:459-464.
LibreCat
 

2017 | Journal Article | LibreCat-ID: 27406
Abdelgawad K, Gausemeier J, Dumitrescu R, Grafe M, Stöcklein J, Berssenbrügge J. Networked Driving Simulation: Applications, State of the Art, and Design Considerations. Designs ‒ International Journal of Engineering Designs, Band 1 . 2017;1:4.1-4.17.
LibreCat
 

2017 | Conference Paper | LibreCat-ID: 2741
Ali Ashraf S, Wang Y-PE, Eldessoki S, et al. From Radio Design to System Evaluations for Ultra-Reliable and Low-Latency Communication . In: Dresden: Proceedings of 23th European Wireless Conference 2017, 17- 19.05.2017; 2017.
LibreCat | Download (ext.)
 

2017 | Journal Article | LibreCat-ID: 27414
Abdelgawad K, Gausemeier J, Grafe M, Berssenbrügge J. Interest Manager for Networked Driving Simulation Based on High-Level Architecture. Designs ‒ International Journal of Engineering Designs, Band 1. 2017;1:3.1-3.11.
LibreCat
 

2017 | Journal Article | LibreCat-ID: 27438
Schneider M, Mittag T, Gausemeier J. Value Creation Design: Modeling of Value Networks. Journal of Strategic Innovation and Sustainability 12(1). Published online 2017:111-125.
LibreCat
 

2017 | Journal Article | LibreCat-ID: 27611
Drossel K, Eickelmann B. Teachers’ participation in professional development concerning the implementation of new technologies in class: a latent class analysis of teachers and the relationship with the use of computers, ICT self-efficacy and emphasis on teaching ICT skills. Large-scale Assessments in Education. 2017;19(5):1-13. doi:10.1186/s40536-017-0053-7
LibreCat | 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 | Conference Paper | LibreCat-ID: 1156
Kersting J, Geierhos M, Jung H, Kim T. Internet of Things Architecture for Handling Stream Air Pollution Data. In: Ramachandran M, Méndez Muñoz V, Kantere V, Wills G, Walters R, Chang V, eds. Proceedings of the 2nd International Conference on Internet of Things, Big Data and Security. Setúbal, Portugal: SCITEPRESS; 2017:117-124. doi:10.5220/0006354801170124
LibreCat | Files available | DOI
 

Filters and Search Terms

isbn%3D978-1-4503-0868-7

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed