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.

18409 Publications


2015 | Conference Paper | LibreCat-ID: 3121
@inproceedings{Jager_Schwenk_Somorovsky_2015, title={On the Security of TLS 1.3 and QUIC Against Weaknesses in PKCS#1 v1.5 Encryption}, DOI={10.1145/2810103.2813657}, booktitle={Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, Denver, CO, USA, October 12-16, 2015}, author={Jager, Tibor and Schwenk, Jörg and Somorovsky, Juraj}, year={2015}, pages={1185--1196} }
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 3126
@inproceedings{Bader_Hofheinz_Jager_Kiltz_Li_2015, title={Tightly-Secure Authenticated Key Exchange}, DOI={10.1007/978-3-662-46494-6_26}, booktitle={Theory of Cryptography - 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part I}, author={Bader, Christoph and Hofheinz, Dennis and Jager, Tibor and Kiltz, Eike and Li, Yong}, year={2015}, pages={629--658} }
LibreCat | DOI
 

2015 | Bachelorsthesis | LibreCat-ID: 316
@book{Pautz_2015, title={Budget Games with priced strategies}, publisher={Universität Paderborn}, author={Pautz, Jannis}, year={2015} }
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 3164
@inproceedings{Derrick_Dongol_Schellhorn_Travkin_Wehrheim_2015, series={Lecture Notes in Computer Science}, title={Verifying Opacity of a Transactional Mutex Lock}, DOI={10.1007/978-3-319-19249-9_11}, booktitle={{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings}, author={Derrick, John and Dongol, Brijesh and Schellhorn, Gerhard and Travkin, Oleg and Wehrheim, Heike}, editor={Bj{\o}rner, Nikolaj and S. de Boer, FrankEditors}, year={2015}, pages={161--177}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 

2015 | Dissertation | LibreCat-ID: 265
@book{Hallmann_2015, title={Optimierung von Wasserbehältern in einem Wasserversorgungssystem mittels einer Kombination aus Netzreduktion, mathematischer Optimierung und hydraulischer Simulation}, publisher={Universität Paderborn}, author={Hallmann, Corinna}, year={2015} }
LibreCat | Files available
 

2015 | Conference Paper | LibreCat-ID: 2705
@inproceedings{Müller_Meier_Kundisch_Zimmermann_2015, title={Interactions in IS Project Portfolio Selection: Status Quo and Perspective}, booktitle={Wirtschaftsinformatik Proceedings}, author={Müller, M. and Meier, Christian and Kundisch, Dennis and Zimmermann, Steffen}, year={2015} }
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 272
@inproceedings{Jungmann_2015, title={On Adaptivity for Automated Composition of Service Functionality}, DOI={10.1109/SERVICES.2015.57}, booktitle={Proceedings of the IEEE 11th World Congress on Services (SERVICES)}, author={Jungmann, Alexander}, year={2015}, pages={329--332} }
LibreCat | Files available | DOI
 

2015 | Dissertation | LibreCat-ID: 246
@book{Besova_2015, title={Systematic Development and Re-Use of Model Tranformations}, publisher={Universität Paderborn}, author={Besova, Galina}, year={2015} }
LibreCat | Files available
 

2015 | Dissertation | LibreCat-ID: 304
@book{Koutsopoulos_2015, title={Dynamics and Efficiency in Topological Self-Stabilization}, publisher={Universität Paderborn}, author={Koutsopoulos, Andreas}, year={2015} }
LibreCat | Files available
 

2015 | Mastersthesis | LibreCat-ID: 309
@book{Topal_2015, title={Die Einführung der EU-Merger Guidelines - Effizienz und Wohlfahrtswirkungen}, publisher={Universität Paderborn}, author={Topal, Barlas}, year={2015} }
LibreCat
 

Filters and Search Terms

year<=2030 AND year>=1980

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed