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.
7922 Publications
2017 | Conference Paper | LibreCat-ID: 114
Compact Proof Witnesses
M.-C. Jakobs, H. Wehrheim, in: C. Barrett, M. Davies, T. Kahsai (Eds.), NASA Formal Methods: 9th International Symposium, 2017, pp. 389–403.
LibreCat
| Files available
| DOI
M.-C. Jakobs, H. Wehrheim, in: C. Barrett, M. Davies, T. Kahsai (Eds.), NASA Formal Methods: 9th International Symposium, 2017, pp. 389–403.
2017 | Conference Paper | LibreCat-ID: 115
Certification Matters for Service Markets
M.-C. Jakobs, J. Krämer, D. van Straaten, T. Lettmann, in: T.P. Marcelo De Barros, Janusz Klink,Tadeus Uhl (Ed.), The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2017, pp. 7–12.
LibreCat
| Files available
M.-C. Jakobs, J. Krämer, D. van Straaten, T. Lettmann, in: T.P. Marcelo De Barros, Janusz Klink,Tadeus Uhl (Ed.), The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2017, pp. 7–12.
2017 | Mastersthesis | LibreCat-ID: 1157
A Framework for the Synthesis of Approximate Circuits
L.M. Witschen, A Framework for the Synthesis of Approximate Circuits, Universität Paderborn, 2017.
LibreCat
L.M. Witschen, A Framework for the Synthesis of Approximate Circuits, Universität Paderborn, 2017.
2017 | Book Chapter | LibreCat-ID: 1159
Using Sentiment Analysis on Local Up-to-the-Minute News: An Integrated Approach
J. Kersting, M. Geierhos, in: R. Damaševičius, V. Mikašytė (Eds.), Information and Software Technologies: 23rd International Conference, ICIST 2017, Druskininkai, Lithuania, October 12–14, 2017, Proceedings, Springer, Cham, Switzerland, 2017, pp. 528–538.
LibreCat
| Files available
| DOI
J. Kersting, M. Geierhos, in: R. Damaševičius, V. Mikašytė (Eds.), Information and Software Technologies: 23rd International Conference, ICIST 2017, Druskininkai, Lithuania, October 12–14, 2017, Proceedings, Springer, Cham, Switzerland, 2017, pp. 528–538.
2017 | Book Chapter | LibreCat-ID: 1161
Privacy Matters: Detecting Nocuous Patient Data Exposure in Online Physician Reviews
F.S. Bäumer, N. Grote, J. Kersting, M. Geierhos, in: R. Damaševičius, V. Mikašytė (Eds.), Information and Software Technologies: 23rd International Conference, ICIST 2017, Druskininkai, Lithuania, October 12–14, 2017, Proceedings, Springer, Cham, Switzerland, 2017, pp. 77–89.
LibreCat
| Files available
| DOI
F.S. Bäumer, N. Grote, J. Kersting, M. Geierhos, in: R. Damaševičius, V. Mikašytė (Eds.), Information and Software Technologies: 23rd International Conference, ICIST 2017, Druskininkai, Lithuania, October 12–14, 2017, Proceedings, Springer, Cham, Switzerland, 2017, pp. 77–89.
2017 | Conference Paper | LibreCat-ID: 17652
Filtering Undesirable Flows in Networks
G. Polevoy, S. Trajanovski, P. Grosso, C. de Laat, in: Combinatorial Optimization and Applications: 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I, Springer International Publishing, Cham, 2017, pp. 3–17.
LibreCat
| DOI
G. Polevoy, S. Trajanovski, P. Grosso, C. de Laat, in: Combinatorial Optimization and Applications: 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I, Springer International Publishing, Cham, 2017, pp. 3–17.
2017 | Conference Paper | LibreCat-ID: 1767
Conditional Value-at-Risk: Structure and Complexity of Equilibria
M. Mavronicolas, B. Monien, in: Proceedings of the 10th International Symposium on Algorithmic Game Theory (SAGT 2017), 2017, pp. 131--143.
LibreCat
| Files available
| DOI
M. Mavronicolas, B. Monien, in: Proceedings of the 10th International Symposium on Algorithmic Game Theory (SAGT 2017), 2017, pp. 131--143.
2017 | Book Chapter | LibreCat-ID: 18834
studiolo communis, Einleitung
E.-M. Seng, in: E.-M. Seng, R. Keil, G. Oevel (Eds.), studiolo. Kooperative Forschungsumgebungen in den eHumanities, Berlin, 2017, pp. 1–5.
LibreCat
E.-M. Seng, in: E.-M. Seng, R. Keil, G. Oevel (Eds.), studiolo. Kooperative Forschungsumgebungen in den eHumanities, Berlin, 2017, pp. 1–5.
2017 | Book Chapter | LibreCat-ID: 18835
Konstellationsforschung als methodischer Ansatz für kooperative Forschungsumgebungen in der Kunst- und Architekturgeschichte
E.-M. Seng, in: E.-M. Seng, R. Keil, G. Oevel (Eds.), studiolo. Kooperative Forschungsumgebungen in den eHumanities, Berlin, 2017, pp. 27–34.
LibreCat
E.-M. Seng, in: E.-M. Seng, R. Keil, G. Oevel (Eds.), studiolo. Kooperative Forschungsumgebungen in den eHumanities, Berlin, 2017, pp. 27–34.
2017 | Book Chapter | LibreCat-ID: 18837
Forschungen zu Städtebau und Kirchenbau
E.-M. Seng, in: C. Lepp, H. Oelke (Eds.), Mitteilungen zur Kirchlichen Zeitgeschichte 11/2017, 2017, pp. 99–104.
LibreCat
E.-M. Seng, in: C. Lepp, H. Oelke (Eds.), Mitteilungen zur Kirchlichen Zeitgeschichte 11/2017, 2017, pp. 99–104.
2017 | Journal Article | LibreCat-ID: 18838
Die UNESCO-Konvention zur Erhaltung des immateriellen Kulturerbes
E.-M. Seng, Heimatpflege in Westfalen 30 Jg. H.1/2017 (2017) 1–4.
LibreCat
E.-M. Seng, Heimatpflege in Westfalen 30 Jg. H.1/2017 (2017) 1–4.
2017 | Book Chapter | LibreCat-ID: 18842
Urbanistische Projekte in Stuttgart zur Zeit Carl Eugens
E.-M. Seng, in: W. Mährle (Ed.), Aufgeklärte Herrschaft im Konfikt. Herzog Carl Eugen von Württemberg 1728-1793 (Geschichte Württembergs. Impulse der Forschung. Schriftenreihe des württembergischen Geschichts- und Altertumsvereins Hg. von Nicole Bickhoff, Bd. 1), Stuttgart, 2017, pp. 153–182.
LibreCat
E.-M. Seng, in: W. Mährle (Ed.), Aufgeklärte Herrschaft im Konfikt. Herzog Carl Eugen von Württemberg 1728-1793 (Geschichte Württembergs. Impulse der Forschung. Schriftenreihe des württembergischen Geschichts- und Altertumsvereins Hg. von Nicole Bickhoff, Bd. 1), Stuttgart, 2017, pp. 153–182.
2017 | Book Chapter | LibreCat-ID: 18843
- Utopie und Architektur zu Beginn des 21. Jahrhunderts. Dave Eggers’ Utopie der totalen Vernetzung – Branding und Firmenarchitektur: Der Firmencampus als Utopos
E.-M. Seng, in: A. Amberger, T. Möbius (Eds.), Auf Utopias Spuren. Utopie und Utopieforschung. Festschrift für Richard Saage zum 75. Geburtstag, Wiesbaden, 2017, pp. 375–397.
LibreCat
E.-M. Seng, in: A. Amberger, T. Möbius (Eds.), Auf Utopias Spuren. Utopie und Utopieforschung. Festschrift für Richard Saage zum 75. Geburtstag, Wiesbaden, 2017, pp. 375–397.
2017 | Book Chapter | LibreCat-ID: 19387
Auslegung geklebter Kunststofffügeteile
M. Wünsche, K. Henkel, D. Teutenberg, G. Meschut, S. Mailänder, in: Kunststoffe Erfolgreich Kleben, Wiesbaden, 2017.
LibreCat
| DOI
M. Wünsche, K. Henkel, D. Teutenberg, G. Meschut, S. Mailänder, in: Kunststoffe Erfolgreich Kleben, Wiesbaden, 2017.
2017 | Journal Article | LibreCat-ID: 19389
Faserverstärkte Kunststoffe strukturell kleben
M. Wünsche, K. Henkel, D. Teutenberg, G. Meschut, adhäsion KLEBEN & DICHTEN (2017) 40–45.
LibreCat
| DOI
M. Wünsche, K. Henkel, D. Teutenberg, G. Meschut, adhäsion KLEBEN & DICHTEN (2017) 40–45.
2017 | Conference Paper | LibreCat-ID: 2344 | 
Attribute-Based Encryption as a Service for Access Control in Large-Scale Organizations
J. Blömer, P. Günther, V. Krummel, N. Löken, in: Foundations and Practice of Security, Springer International Publishing, Cham, 2017, pp. 3–17.
LibreCat
| Files available
| DOI
J. Blömer, P. Günther, V. Krummel, N. Löken, in: Foundations and Practice of Security, Springer International Publishing, Cham, 2017, pp. 3–17.
2017 | Book Chapter | LibreCat-ID: 23759
Herstellbarkeit und mechanische Charakterisierung von lasergesinterten Gitterstrukturen
D. Menge, S. Josupeit, P. Delfs, H.-J. Schmid, in: H.A. Richard, B. Schramm, T. Zipsner (Eds.), Additive Fertigung von Bauteilen und Strukturen, Springer Vieweg, Wiesbaden, 2017, pp. 105–120.
LibreCat
| DOI
D. Menge, S. Josupeit, P. Delfs, H.-J. Schmid, in: H.A. Richard, B. Schramm, T. Zipsner (Eds.), Additive Fertigung von Bauteilen und Strukturen, Springer Vieweg, Wiesbaden, 2017, pp. 105–120.
2017 | Book Chapter | LibreCat-ID: 2381
Complexity of Single-Swap Heuristics for Metric Facility Location and Related Problems
S. Brauer, in: D. Fotakis, A. Pagourtzis, V.T. Paschos (Eds.), Lecture Notes in Computer Science, Springer International Publishing, Cham, 2017, pp. 116–127.
LibreCat
| DOI
S. Brauer, in: D. Fotakis, A. Pagourtzis, V.T. Paschos (Eds.), Lecture Notes in Computer Science, Springer International Publishing, Cham, 2017, pp. 116–127.
2017 | Book Chapter | LibreCat-ID: 23910
A Rapid Heating Method for Press Hardening Processing
A. Andreiev, O. Grydin, M. Schaper, in: Proceedings of the 3rd Pan American Materials Congress, Cham, 2017.
LibreCat
| DOI
A. Andreiev, O. Grydin, M. Schaper, in: Proceedings of the 3rd Pan American Materials Congress, Cham, 2017.
2017 | Book Chapter | LibreCat-ID: 2050
Kommentierung § 3 GWB (Mittelstandskartelle)
D. Krimphove, in: J. Busche, A. Röhling (Eds.), Kölner Kommentar Zum Kartellrecht Bd. 1 ( §§ 1 – 34a GWB), Carl Heymanns Verlag KG, Köln, 2017, pp. 466 – 538.
LibreCat
D. Krimphove, in: J. Busche, A. Röhling (Eds.), Kölner Kommentar Zum Kartellrecht Bd. 1 ( §§ 1 – 34a GWB), Carl Heymanns Verlag KG, Köln, 2017, pp. 466 – 538.