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.
7301 Publications
2016 | Book Chapter | LibreCat-ID: 2968
Blömer, Johannes, et al. “Theoretical Analysis of the K-Means Algorithm – A Survey.” Algorithm Engineering, Springer International Publishing, 2016, pp. 81–116, doi:10.1007/978-3-319-49487-6_3.
LibreCat
| DOI
2016 | Book Chapter | LibreCat-ID: 2970
Blömer, Johannes, and Kathrin Bujna. “Adaptive Seeding for Gaussian Mixture Models.” Advances in Knowledge Discovery and Data Mining, Springer International Publishing, 2016, pp. 296–308, doi:10.1007/978-3-319-31750-2_24.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3115
Hofheinz, Dennis, et al. “How to Generate and Use Universal Samplers.” Advances in Cryptology - ASIACRYPT 2016 - 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part II, 2016, pp. 715--744, doi:10.1007/978-3-662-53890-6_24.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3116
Horst, Matthias, et al. “Breaking PPTP VPNs via RADIUS Encryption.” Cryptology and Network Security - 15th International Conference, CANS 2016, Milan, Italy, November 14-16, 2016, Proceedings, 2016, pp. 159--175, doi:10.1007/978-3-319-48965-0_10.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3117
Bader, Christoph, et al. “On the Impossibility of Tight Cryptographic Reductions.” Advances in Cryptology - EUROCRYPT 2016 - 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria, May 8-12, 2016, Proceedings, Part II, 2016, pp. 273--304, doi:10.1007/978-3-662-49896-5_10.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3118
Hofheinz, Dennis, et al. “Public-Key Encryption with Simulation-Based Selective-Opening Security and Compact Ciphertexts.” Theory of Cryptography - 14th International Conference, TCC 2016-B, Beijing, China, October 31 - November 3, 2016, Proceedings, Part II, 2016, pp. 146--168, doi:10.1007/978-3-662-53644-5_6.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3119
Hofheinz, Dennis, and Tibor Jager. “Verifiable Random Functions from Standard Assumptions.” Theory of Cryptography - 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part I, 2016, pp. 336--362, doi:10.1007/978-3-662-49096-9_14.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3157
Beringer, Steffen, and Heike Wehrheim. “Verification of AUTOSAR Software Architectures with Timed Automata.” Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings, edited by Maurice H. ter Beek et al., 2016, pp. 189--204, doi:10.1007/978-3-319-45943-1_13.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 3158
Travkin, Oleg, and Heike Wehrheim. “Verification of Concurrent Programs on Weak Memory Models.” Theoretical Aspects of Computing - {ICTAC} 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, edited by Augusto Sampaio and Farn Wang, 2016, pp. 3--24, doi:10.1007/978-3-319-46750-4_1.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3159
Schellhorn, Gerhard, et al. “Towards a Thread-Local Proof Technique for Starvation Freedom.” Integrated Formal Methods - 12th International Conference, {IFM} 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, edited by Marieke Huisman, 2016, pp. 193--209, doi:10.1007/978-3-319-33693-0_13.
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 27036
Schröder, Maike, et al. “Lunch at School and Children’s Cognitive Functioning in the Early Afternoon: Results from the Cognition Intervention Study Dortmund Continued (CoCo).” British Journal of Nutrition, 2016, pp. 1298–305, doi:10.1017/s0007114516002932.
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 27037
Muckelbauer, Rebecca, et al. “Changes in Water and Sugar-Containing Beverage Consumption and Body Weight Outcomes in Children.” British Journal of Nutrition, 2016, pp. 2057–66, doi:10.1017/s0007114516001136.
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 27264
Moritzer, Elmar, et al. “Spritzgießdirektcompoundierung (SGDC) - Produktspezifische Materialentwicklung Im Spritzgießprozess.” Kunststofftechnik - Spritzgießen 2016, no. 1, Düsseldorf: VDI Verlag GmbH, 2016, pp. 27–39.
LibreCat
2016 | Journal Article | LibreCat-ID: 27458
Berssenbrügge, Jan, et al. “Visualization of Headlight Illumination for the Virtual Prototyping of Light-Based Driver Assistance Systems.” Journal of Computing and Information Science in Engineering, Band 16(3), ASME, 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 27474
Iwanek, Peter, and Arno Kühn. “Die sich selbst optimierende Lackieranlage.” Journal für Oberflächentechnik 3(56), 2016, pp. 28–31.
LibreCat
2016 | Conference Paper | LibreCat-ID: 1151 | 
Stotz, Sophia, and Michaela Geierhos. “Wie verhalten sich Aktionäre bei Unternehmenszusammenschlüssen? Modellierung sprachlicher Muster zur Analyse treibender Faktoren bei der Berichterstattung.” DHd 2016: Modellierung - Vernetzung - Visualisierung. Die Digital Humanities als fächerübergreifendes Forschungsparadigma. Konferenzabstracts, Universität Leipzig, 7. bis 12. März 2016, Nisaba-Verlag, 2016, pp. 378–81.
LibreCat
| Download (ext.)
2016 | Conference (Editor) | LibreCat-ID: 21507
Hein, David, et al., editors. Erweichungszonen beim Widerstandspunktschweißen von DP- und CP-Stählen – Analyse und Bewertung der Verbindungen im Hinblick auf die Tragfähigkeit. Vol. 327, DVS Media GmbH, 2016.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 173
Heck, Eduard. Ontologie-Erstellung mittels Text-Mining aus App-Marktplätzen am Beispiel des Google Marketplace. Universität Paderborn, 2016.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 174
Schwentker, Christoph. Ontologie-basierte Extraktion funktionaler Softwareanforderungen am Fallbeispiel mobiler Kommunikationsapplikationen. Universität Paderborn, 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 175
Walther, Sven, and Heike Wehrheim. “On-The-Fly Construction of Provably Correct Service Compositions - Templates and Proofs.” Science of Computer Programming, Elsevier, 2016, pp. 2--23, doi:10.1016/j.scico.2016.04.002.
LibreCat
| Files available
| DOI