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.
7530 Publications
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
2017 | Book Chapter | LibreCat-ID: 2381
Brauer S. Complexity of Single-Swap Heuristics for Metric Facility Location and Related Problems. In: Fotakis D, Pagourtzis A, Paschos VT, eds. Lecture Notes in Computer Science. Vol 10236. Cham: Springer International Publishing; 2017:116-127. doi:10.1007/978-3-319-57586-5_11
LibreCat
| DOI
2017 | Book Chapter | LibreCat-ID: 23910
Andreiev A, Grydin O, Schaper M. A Rapid Heating Method for Press Hardening Processing. In: Proceedings of the 3rd Pan American Materials Congress. Cham; 2017. doi:10.1007/978-3-319-52132-9_72
LibreCat
| DOI
2017 | Book Chapter | LibreCat-ID: 2050
Krimphove D. Kommentierung § 3 GWB (Mittelstandskartelle). In: Busche J, Röhling A, eds. Kölner Kommentar Zum Kartellrecht Bd. 1 ( §§ 1 – 34a GWB). Köln: Carl Heymanns Verlag KG; 2017:466 – 538.
LibreCat
2017 | Book Chapter | LibreCat-ID: 20552
Gerking C, Bodden E, Schäfer W. Industrial Security by Design. In: Maier GW, Engels G, Steffen E, eds. Handbuch Gestaltung Digitaler Und Vernetzter Arbeitswelten. Springer Berlin Heidelberg; 2017:1-24. doi:10.1007/978-3-662-52903-4_8-1
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 20553
Ben Othmane L, Chehrazi G, Bodden E, Tsalovski P, Brucker AD. Time for Addressing Software Security Issues: Prediction Models and Impacting Factors. Data Science and Engineering. 2017;2(2):107-124. doi:https://doi.org/10.1007/s41019-016-0019-8
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 20792
Schivo S, Yildiz. BM, Ruijters E, et al. How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach. In: Larsen KG, Sokolsky O, Wang J, eds. Dependable Software Engineering, 3rd International Symposium (SETTA 2017). Lecture Notes in Computer Science. Springer; 2017:319-336. doi:10.1007/978-3-319-69483-2_19
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 1815
J. Daymude J, Gmyr R, W. Richa A, Scheideler C, Strothmann TF. Improved Leader Election for Self-organizing Programmable Matter. In: Algorithms for Sensor Systems - 13th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2017, Vienna, Austria, September 7-8, 2017, Revised Selected Papers. ; 2017:127--140. doi:10.1007/978-3-319-72751-6_10
LibreCat
| DOI
2017 | Book | LibreCat-ID: 22419
Künneke T, Zimmer D. Funktionsintegration Additiv Gefertigter Dämpfungsstrukturen Bei Biegeschwingungen. Springer Fachmedien Wiesbaden GmbH; 2017:61-74. doi:10.1007/978-3-658-17780-5
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 22420
Lammers S, Quattrone F, Mrozek R, et al. Entwicklung und additive Herstellung einer Leichtbau-Rotorwelle für eine permanentmagneterregte Synchronmaschine. In: Proceedings of the 14th Rapid.Tech Conference. Hanser Verlag; 2017:80-93. doi:10.3139/9783446454606.006
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 22421
Lieneke T, Adam G, Josupeit S, Delfs P, Zimmer D. Maßtoleranzen für die additive Fertigung: Experimentelle Untersuchungen für das Lasersintern. In: Proceedings of the 14th Rapid.Tech Conference. Hanser Verlag; 2017:327-344. doi:10.3139/9783446454606.024
LibreCat
| DOI