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.
9774 Publications
2017 | Conference Paper | LibreCat-ID: 3110
Günther, Felix, et al. “0-RTT Key Exchange with Full Forward Secrecy.” Advances in Cryptology - EUROCRYPT 2017 - 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 - May 4, 2017, Proceedings, Part III, 2017, pp. 519--548, doi:10.1007/978-3-319-56617-7_18.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 3111
Jager, Tibor, et al. “Multi-Key Authenticated Encryption with Corruptions: Reductions Are Lossy.” Theory of Cryptography - 15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017, Proceedings, Part I, 2017, pp. 409--441, doi:10.1007/978-3-319-70500-2_14.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 3155
Töws, Manuel, and Heike Wehrheim. “Policy Dependent and Independent Information Flow Analyses.” Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, {ICFEM} 2017, Xi’an, China, November 13-17, 2017, Proceedings, edited by Zhenhua Duan and Luke Ong, 2017, pp. 362--378, doi:10.1007/978-3-319-68690-5_22.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 3156
König, Jürgen, and Heike Wehrheim. “Value-Based or Conflict-Based? Opacity Definitions for STMs.” Theoretical Aspects of Computing - {ICTAC} 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings, edited by Dang Van Hung and Deepak Kapur, 2017, pp. 118--135, doi:10.1007/978-3-319-67729-3_8.
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 27224
Moritzer, Elmar, et al. “Alterung von Plasmabehandelten Kunststoffen – Alles Eine Frage Der Zeit?” Kunststoffe Erfolgreich Kleben, no. 1, Wiesbaden: Springer Vieweg, 2017, pp. 81–86.
LibreCat
2017 | Journal Article | LibreCat-ID: 27225
Moritzer, Elmar, et al. “Laserdurchstrahlkleben von Opaken Kunststoffen – Schnell Und Zuverlässig. .” Kunststoffe Erfolgreich Kleben, no. 1, Wiesbaden: Springer Vieweg, 2017, pp. 213–21.
LibreCat
2017 | Journal Article | LibreCat-ID: 27522
Föcker, Manuel, et al. “Vitamin D and Mental Health in Children and Adolescents.” European Child & Adolescent Psychiatry, 2017, pp. 1043–66, doi:10.1007/s00787-017-0949-3.
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 27771
Weber, Katharina, 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, 2017, pp. 554–62, doi:10.1055/s-0043-101918.
LibreCat
| DOI
2017 | Book Chapter | LibreCat-ID: 27796
Drossel, Kerstin, and Birgit Eickelmann. “The Use of Tablets in Secondary Schools and Its Relationship with Computer Literacy.” Tomorrow’s Learning: Involving Everyone. Learning with and about Technologies and Computing, edited by Arthur Tatnall and Mary Webb, Springer International Publishing, 2017, pp. 114–24, doi:10.1007/978-3-319-74310-3_14.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 112
Feldotto, Matthias, et al. “Congestion Games with Complementarities.” Proceedings of the 10th International Conference on Algorithms and Complexity (CIAC), 2017, pp. 222--233, doi:10.1007/978-3-319-57586-5_19.
LibreCat
| Files available
| DOI
| arXiv
2017 | Conference Paper | LibreCat-ID: 113
Feldotto, Matthias, et al. “Computing Approximate Pure Nash Equilibria in Shapley Value Weighted Congestion Games.” 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, Marie-Christine, and Heike Wehrheim. “Compact Proof Witnesses.” NASA Formal Methods: 9th International Symposium, edited by Clark Barrett et al., 2017, pp. 389–403, doi:10.1007/978-3-319-57288-8_28.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 115
Jakobs, Marie-Christine, et al. “Certification Matters for Service Markets.” The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), edited by Thomas Prinz Marcelo De Barros, Janusz Klink,Tadeus Uhl, 2017, pp. 7–12.
LibreCat
| Files available
2017 | Mastersthesis | LibreCat-ID: 1157
Witschen, Linus Matthias. A Framework for the Synthesis of Approximate Circuits. Universität Paderborn, 2017.
LibreCat
2017 | Book Chapter | LibreCat-ID: 1159
Kersting, Joschka, and Michaela Geierhos. “Using Sentiment Analysis on Local Up-to-the-Minute News: An Integrated Approach.” Information and Software Technologies: 23rd International Conference, ICIST 2017, Druskininkai, Lithuania, October 12–14, 2017, Proceedings, edited by Robertas Damaševičius and Vilma Mikašytė, vol. 756, Springer, 2017, pp. 528–38, doi:10.1007/978-3-319-67642-5.
LibreCat
| Files available
| DOI
2017 | Book Chapter | LibreCat-ID: 1161
Bäumer, Frederik Simon, et al. “Privacy Matters: Detecting Nocuous Patient Data Exposure in Online Physician Reviews.” Information and Software Technologies: 23rd International Conference, ICIST 2017, Druskininkai, Lithuania, October 12–14, 2017, Proceedings, edited by Robertas Damaševičius and Víctor Mikašytė, vol. 756, Springer, 2017, pp. 77–89, doi:10.1007/978-3-319-67642-5_7.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 17652
Polevoy, Gleb, et al. “Filtering Undesirable Flows in Networks.” Combinatorial Optimization and Applications: 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I, Springer International Publishing, 2017, pp. 3–17, doi:10.1007/978-3-319-71150-8_1.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 1767
Mavronicolas, Marios, and Burkhard Monien. “Conditional Value-at-Risk: Structure and Complexity of Equilibria.” Proceedings of the 10th International Symposium on Algorithmic Game Theory (SAGT 2017), vol. 10504, 2017, pp. 131--143, doi:10.1007/978-3-319-66700-3_11.
LibreCat
| Files available
| DOI
2017 | Preprint | LibreCat-ID: 17811
Fischer, Matthias, et al. “Gathering Anonymous, Oblivious Robots on a Grid.” ArXiv:1702.03400, 2017.
LibreCat
2017 | Book Chapter | LibreCat-ID: 19387
Wünsche, Marc, et al. “Auslegung Geklebter Kunststofffügeteile.” Kunststoffe Erfolgreich Kleben, 2017, doi:10.1007/978-3-658-18445-2_3.
LibreCat
| DOI