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.

18379 Publications


2015 | Conference Paper | LibreCat-ID: 3121
Jager, Tibor, et al. “On the Security of TLS 1.3 and QUIC Against Weaknesses in PKCS#1 v1.5 Encryption.” Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, Denver, CO, USA, October 12-16, 2015, 2015, pp. 1185--1196, doi:10.1145/2810103.2813657.
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 3126
Bader, Christoph, et al. “Tightly-Secure Authenticated Key Exchange.” Theory of Cryptography - 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part I, 2015, pp. 629--658, doi:10.1007/978-3-662-46494-6_26.
LibreCat | DOI
 

2015 | Bachelorsthesis | LibreCat-ID: 316
Pautz, Jannis. Budget Games with Priced Strategies. Universität Paderborn, 2015.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 3164
Derrick, John, et al. “Verifying Opacity of a Transactional Mutex Lock.” {FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings, edited by Nikolaj Bj{\o}rner and Frank S. de Boer, 2015, pp. 161--177, doi:10.1007/978-3-319-19249-9_11.
LibreCat | DOI
 

2015 | Dissertation | LibreCat-ID: 265
Hallmann, Corinna. Optimierung von Wasserbehältern in einem Wasserversorgungssystem mittels einer Kombination aus Netzreduktion, mathematischer Optimierung und hydraulischer Simulation. Universität Paderborn, 2015.
LibreCat | Files available
 

2015 | Conference Paper | LibreCat-ID: 2705
Müller, M., et al. “Interactions in IS Project Portfolio Selection: Status Quo and Perspective.” Wirtschaftsinformatik Proceedings, 2015.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 272
Jungmann, Alexander. “On Adaptivity for Automated Composition of Service Functionality.” Proceedings of the IEEE 11th World Congress on Services (SERVICES), 2015, pp. 329--332, doi:10.1109/SERVICES.2015.57.
LibreCat | Files available | DOI
 

2015 | Dissertation | LibreCat-ID: 246
Besova, Galina. Systematic Development and Re-Use of Model Tranformations. Universität Paderborn, 2015.
LibreCat | Files available
 

2015 | Dissertation | LibreCat-ID: 304
Koutsopoulos, Andreas. Dynamics and Efficiency in Topological Self-Stabilization. Universität Paderborn, 2015.
LibreCat | Files available
 

2015 | Mastersthesis | LibreCat-ID: 309
Topal, Barlas. Die Einführung der EU-Merger Guidelines - Effizienz und Wohlfahrtswirkungen. Universität Paderborn, 2015.
LibreCat
 

Filters and Search Terms

year<=2030 AND year>=1980

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed