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.
7885 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 | 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: 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: 18834
Seng E-M. studiolo communis, Einleitung . In: Seng E-M, Keil R, Oevel G, eds. studiolo. Kooperative Forschungsumgebungen in den eHumanities. Berlin; 2017:1-5.
LibreCat
2017 | Book Chapter | LibreCat-ID: 18835
Seng E-M. Konstellationsforschung als methodischer Ansatz für kooperative Forschungsumgebungen in der Kunst- und Architekturgeschichte. In: Seng E-M, Keil R, Oevel G, eds. studiolo. Kooperative Forschungsumgebungen in den eHumanities. Berlin; 2017:27-34.
LibreCat
2017 | Book Chapter | LibreCat-ID: 18837
Seng E-M. Forschungen zu Städtebau und Kirchenbau. In: Lepp C, Oelke H, eds. Mitteilungen zur Kirchlichen Zeitgeschichte 11/2017. Vol 11/2017. ; 2017:99-104.
LibreCat