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.
7541 Publications
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: 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: 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 | Journal Article | LibreCat-ID: 27771
Weber K, Spörkel O, Mertens M, et al. 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. Published online 2017:554-562. doi:10.1055/s-0043-101918
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
2017 | Book Chapter | LibreCat-ID: 19387
Wünsche M, Henkel K, Teutenberg D, Meschut G, Mailänder S. Auslegung geklebter Kunststofffügeteile. In: Kunststoffe Erfolgreich Kleben. Wiesbaden; 2017. doi:10.1007/978-3-658-18445-2_3
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 2344 | 
Blömer J, Günther P, Krummel V, Löken N. Attribute-Based Encryption as a Service for Access Control in Large-Scale Organizations. In: Foundations and Practice of Security. Cham: Springer International Publishing; 2017:3-17. doi:10.1007/978-3-319-75650-9_1
LibreCat
| Files available
| DOI
2017 | Book Chapter | LibreCat-ID: 23759
Menge D, Josupeit S, Delfs P, Schmid H-J. Herstellbarkeit und mechanische Charakterisierung von lasergesinterten Gitterstrukturen. In: Richard HA, Schramm B, Zipsner T, eds. Additive Fertigung von Bauteilen und Strukturen. Wiesbaden: Springer Vieweg; 2017:105-120. doi:10.1007/978-3-658-17780-5
LibreCat
| DOI