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
M.-C. Jakobs and H. Wehrheim, “Compact Proof Witnesses,” in NASA Formal Methods: 9th International Symposium, 2017, pp. 389–403.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 115
M.-C. Jakobs, J. Krämer, D. van Straaten, and T. Lettmann, “Certification Matters for Service Markets,” in The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2017, pp. 7–12.
LibreCat
| Files available
2017 | Mastersthesis | LibreCat-ID: 1157
L. M. Witschen, A Framework for the Synthesis of Approximate Circuits. Universität Paderborn, 2017.
LibreCat
2017 | Book Chapter | LibreCat-ID: 1159
J. Kersting and M. Geierhos, “Using Sentiment Analysis on Local Up-to-the-Minute News: An Integrated Approach,” in Information and Software Technologies: 23rd International Conference, ICIST 2017, Druskininkai, Lithuania, October 12–14, 2017, Proceedings, vol. 756, R. Damaševičius and V. Mikašytė, Eds. Cham, Switzerland: Springer, 2017, pp. 528–538.
LibreCat
| Files available
| DOI
2017 | Book Chapter | LibreCat-ID: 1161
F. S. Bäumer, N. Grote, J. Kersting, and M. Geierhos, “Privacy Matters: Detecting Nocuous Patient Data Exposure in Online Physician Reviews,” in Information and Software Technologies: 23rd International Conference, ICIST 2017, Druskininkai, Lithuania, October 12–14, 2017, Proceedings, vol. 756, R. Damaševičius and V. Mikašytė, Eds. Cham, Switzerland: Springer, 2017, pp. 77–89.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 17652
G. Polevoy, S. Trajanovski, P. Grosso, and C. de Laat, “Filtering Undesirable Flows in Networks,” in Combinatorial Optimization and Applications: 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I, 2017, pp. 3–17.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 1767
M. Mavronicolas and B. Monien, “Conditional Value-at-Risk: Structure and Complexity of Equilibria,” in Proceedings of the 10th International Symposium on Algorithmic Game Theory (SAGT 2017), L’Aquila, Italy, 2017, vol. 10504, pp. 131--143.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 2344 | 
J. Blömer, P. Günther, V. Krummel, and N. Löken, “Attribute-Based Encryption as a Service for Access Control in Large-Scale Organizations,” in Foundations and Practice of Security, 2017, pp. 3–17.
LibreCat
| Files available
| DOI
2017 | Book Chapter | LibreCat-ID: 23759
D. Menge, S. Josupeit, P. Delfs, and H.-J. Schmid, “Herstellbarkeit und mechanische Charakterisierung von lasergesinterten Gitterstrukturen,” in Additive Fertigung von Bauteilen und Strukturen, H. A. Richard, B. Schramm, and T. Zipsner, Eds. Wiesbaden: Springer Vieweg, 2017, pp. 105–120.
LibreCat
| DOI
2017 | Book Chapter | LibreCat-ID: 2381
S. Brauer, “Complexity of Single-Swap Heuristics for Metric Facility Location and Related Problems,” in Lecture Notes in Computer Science, vol. 10236, D. Fotakis, A. Pagourtzis, and V. T. Paschos, Eds. Cham: Springer International Publishing, 2017, pp. 116–127.
LibreCat
| DOI
2017 | Book Chapter | LibreCat-ID: 2050
D. Krimphove, “Kommentierung § 3 GWB (Mittelstandskartelle),” in Kölner Kommentar zum Kartellrecht Bd. 1 ( §§ 1 – 34a GWB), J. Busche and A. Röhling, Eds. Köln: Carl Heymanns Verlag KG, 2017, pp. 466 – 538.
LibreCat
2017 | Journal Article | LibreCat-ID: 20553
L. Ben Othmane, G. Chehrazi, E. Bodden, P. Tsalovski, and A. D. Brucker, “Time for Addressing Software Security Issues: Prediction Models and Impacting Factors,” Data Science and Engineering, vol. 2, no. 2, pp. 107–124, 2017, doi: https://doi.org/10.1007/s41019-016-0019-8.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 20792
S. Schivo et al., “How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach,” in Dependable Software Engineering, 3rd International Symposium (SETTA 2017), 2017, no. 10606, pp. 319–336, doi: 10.1007/978-3-319-69483-2_19.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 1815
J. J. Daymude, R. Gmyr, A. W. Richa, C. Scheideler, and T. F. Strothmann, “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, pp. 127--140.
LibreCat
| DOI