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
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: 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 | 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.
2017 | Book Chapter | LibreCat-ID: 20552
Industrial Security by Design
C. Gerking, E. Bodden, W. Schäfer, in: G.W. Maier, G. Engels, E. Steffen (Eds.), Handbuch Gestaltung Digitaler Und Vernetzter Arbeitswelten, Springer Berlin Heidelberg, Berlin, Heidelberg, 2017, pp. 1–24.
LibreCat
| DOI
C. Gerking, E. Bodden, W. Schäfer, in: G.W. Maier, G. Engels, E. Steffen (Eds.), Handbuch Gestaltung Digitaler Und Vernetzter Arbeitswelten, Springer Berlin Heidelberg, Berlin, Heidelberg, 2017, pp. 1–24.
2017 | Journal Article | LibreCat-ID: 20553
Time for Addressing Software Security Issues: Prediction Models and Impacting Factors
L. Ben Othmane, G. Chehrazi, E. Bodden, P. Tsalovski, A.D. Brucker, Data Science and Engineering 2 (2017) 107–124.
LibreCat
| Files available
| DOI
L. Ben Othmane, G. Chehrazi, E. Bodden, P. Tsalovski, A.D. Brucker, Data Science and Engineering 2 (2017) 107–124.
2017 | Conference Paper | LibreCat-ID: 20792
How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach
S. Schivo, B.M. Yildiz., E. Ruijters, C. Gerking, R. Kumar, S. Dziwok, A. Rensink, M. Stoelinga, in: K.G. Larsen, O. Sokolsky, J. Wang (Eds.), Dependable Software Engineering, 3rd International Symposium (SETTA 2017), Springer, Changsha, 2017, pp. 319–336.
LibreCat
| DOI
S. Schivo, B.M. Yildiz., E. Ruijters, C. Gerking, R. Kumar, S. Dziwok, A. Rensink, M. Stoelinga, in: K.G. Larsen, O. Sokolsky, J. Wang (Eds.), Dependable Software Engineering, 3rd International Symposium (SETTA 2017), Springer, Changsha, 2017, pp. 319–336.
2017 | Conference Paper | LibreCat-ID: 1815
Improved Leader Election for Self-organizing Programmable Matter
J. J. Daymude, R. Gmyr, A. W. Richa, C. Scheideler, T.F. Strothmann, 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, pp. 127--140.
LibreCat
| DOI
J. J. Daymude, R. Gmyr, A. W. Richa, C. Scheideler, T.F. Strothmann, 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, pp. 127--140.
2017 | Book | LibreCat-ID: 22419
Funktionsintegration additiv gefertigter Dämpfungsstrukturen bei Biegeschwingungen
T. Künneke, D. Zimmer, Funktionsintegration Additiv Gefertigter Dämpfungsstrukturen Bei Biegeschwingungen, Springer Fachmedien Wiesbaden GmbH, 2017.
LibreCat
| DOI
T. Künneke, D. Zimmer, Funktionsintegration Additiv Gefertigter Dämpfungsstrukturen Bei Biegeschwingungen, Springer Fachmedien Wiesbaden GmbH, 2017.
2017 | Conference Paper | LibreCat-ID: 22420
Entwicklung und additive Herstellung einer Leichtbau-Rotorwelle für eine permanentmagneterregte Synchronmaschine
S. Lammers, F. Quattrone, R. Mrozek, D. Zimmer, H.-J. Schmid, B. Ponick, M. Hoffmann, in: Proceedings of the 14th Rapid.Tech Conference, Hanser Verlag, 2017, pp. 80–93.
LibreCat
| DOI
S. Lammers, F. Quattrone, R. Mrozek, D. Zimmer, H.-J. Schmid, B. Ponick, M. Hoffmann, in: Proceedings of the 14th Rapid.Tech Conference, Hanser Verlag, 2017, pp. 80–93.
2017 | Conference Paper | LibreCat-ID: 22421
Maßtoleranzen für die additive Fertigung: Experimentelle Untersuchungen für das Lasersintern
T. Lieneke, G. Adam, S. Josupeit, P. Delfs, D. Zimmer, in: Proceedings of the 14th Rapid.Tech Conference, Hanser Verlag, 2017, pp. 327–344.
LibreCat
| DOI
T. Lieneke, G. Adam, S. Josupeit, P. Delfs, D. Zimmer, in: Proceedings of the 14th Rapid.Tech Conference, Hanser Verlag, 2017, pp. 327–344.