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.
11509 Publications
2018 | Bachelorsthesis | LibreCat-ID: 5426
Implementierung und Analyse von Searchable Encryption
O. von Heißen, Implementierung und Analyse von Searchable Encryption, 2018.
LibreCat
O. von Heißen, Implementierung und Analyse von Searchable Encryption, 2018.
2018 | Conference Paper | LibreCat-ID: 5438
Practical and Tightly-Secure Digital Signatures and Authenticated Key Exchange
K. Gjøsteen, T. Jager, in: Advances in Cryptology - CRYPTO 2018 - 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2018, Proceedings, Part II, 2018.
LibreCat
| Files available
| DOI
| Download (ext.)
K. Gjøsteen, T. Jager, in: Advances in Cryptology - CRYPTO 2018 - 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2018, Proceedings, Part II, 2018.
2018 | Conference Paper | LibreCat-ID: 5442
On the Security of the PKCS#1 v1.5 Signature Scheme
T. Jager, S. Kakvi, A. May, in: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security - CCS ’18, ACM Press, 2018.
LibreCat
| Files available
| DOI
| Download (ext.)
T. Jager, S. Kakvi, A. May, in: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security - CCS ’18, ACM Press, 2018.
2018 | Conference Paper | LibreCat-ID: 5530
Patterns of Store-oriented Software Ecosystems: Detection, Classification, and Analysis of Design Options
B. Jazayeri, O. Zimmermann, J. Küster, G. Engels, D. Kundisch, D. Szopinski, in: The Latin American Conference on Pattern Languages of Programs (SLPLoP), ACM. To appear, Valparaíso, Chile, 2018.
LibreCat
| Files available
B. Jazayeri, O. Zimmermann, J. Küster, G. Engels, D. Kundisch, D. Szopinski, in: The Latin American Conference on Pattern Languages of Programs (SLPLoP), ACM. To appear, Valparaíso, Chile, 2018.
2018 | Conference Paper | LibreCat-ID: 5547
A Highly Accurate Energy Model for Task Execution on Heterogeneous Compute Nodes
A. Lösch, M. Platzner, in: 2018 IEEE 29th International Conference on Application-Specific Systems, Architectures and Processors (ASAP), IEEE, 2018.
LibreCat
| Files available
| DOI
A. Lösch, M. Platzner, in: 2018 IEEE 29th International Conference on Application-Specific Systems, Architectures and Processors (ASAP), IEEE, 2018.
2018 | Journal Article | LibreCat-ID: 5586 | 
Information Security Investments: An Exploratory Multiple Case Study on Decision-Making, Evaluation and Learning
E. Weishäupl, E. Yasasin, G. Schryen, Computers & Security 77 (2018) 807–823.
LibreCat
| Files available
E. Weishäupl, E. Yasasin, G. Schryen, Computers & Security 77 (2018) 807–823.
2018 | Conference Paper | LibreCat-ID: 6483 |
A Prototyping Platform to Validate and Verify Network Service Header-based Service Chains
M. Peuster, S.B. Schneider, F. Christ, H. Karl, in: IEEE Conference on Network Function Virtualisation and Software Defined Networks (NFV-SDN) 5GNetApp, IEEE, Verona, 2018.
LibreCat
| Files available
M. Peuster, S.B. Schneider, F. Christ, H. Karl, in: IEEE Conference on Network Function Virtualisation and Software Defined Networks (NFV-SDN) 5GNetApp, IEEE, Verona, 2018.
2018 | Report | LibreCat-ID: 6485 |
Methodology for VNF Benchmarking Automation
R.V. Rosa, C.E. Rothenberg, M. Peuster, H. Karl, Methodology for VNF Benchmarking Automation, IETF, n.d.
LibreCat
| Download (ext.)
R.V. Rosa, C.E. Rothenberg, M. Peuster, H. Karl, Methodology for VNF Benchmarking Automation, IETF, n.d.
2018 | Journal Article | LibreCat-ID: 6516
Sprint diagnostic with GPS and inertial sensor fusion
J.C. Mertens, A. Boschmann, M. Schmidt, C. Plessl, Sports Engineering 21 (2018) 441–451.
LibreCat
| Files available
| DOI
J.C. Mertens, A. Boschmann, M. Schmidt, C. Plessl, Sports Engineering 21 (2018) 441–451.
2018 | Dissertation | LibreCat-ID: 6597
Models and Constructions for Secure Reputation Systems
J. Juhnke, Models and Constructions for Secure Reputation Systems, Universität Paderborn, 2018.
LibreCat
| DOI
J. Juhnke, Models and Constructions for Secure Reputation Systems, Universität Paderborn, 2018.
2018 | Journal Article | LibreCat-ID: 669
Congestion games with mixed objectives
M. Feldotto, L. Leder, A. Skopalik, Journal of Combinatorial Optimization 36 (2018) 1145–1167.
LibreCat
| Files available
| DOI
| arXiv
M. Feldotto, L. Leder, A. Skopalik, Journal of Combinatorial Optimization 36 (2018) 1145–1167.
2018 | Book | LibreCat-ID: 6738
Individual and Social Influences on Professional Learning
H. Gruber, C. Harteis, Individual and Social Influences on Professional Learning, Springer International Publishing, Cham, 2018.
LibreCat
| DOI
H. Gruber, C. Harteis, Individual and Social Influences on Professional Learning, Springer International Publishing, Cham, 2018.
2018 | Journal Article | LibreCat-ID: 6743
Einsatz von Classroom-Response-Systemen und Peer Instruction in der Veranstaltung Grundlagen von Datenbanken
D. Wolters, die hochschullehre (2018).
LibreCat
| Download (ext.)
D. Wolters, die hochschullehre (2018).
2018 | Conference Paper | LibreCat-ID: 6761
Context-specific Quality Evaluation of Test Cases
I. Jovanovikj, V. Narasimhan, G. Engels, S. Sauer, in: Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, SciTePress, 2018, pp. 594–601.
LibreCat
| DOI
I. Jovanovikj, V. Narasimhan, G. Engels, S. Sauer, in: Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, SciTePress, 2018, pp. 594–601.
2018 | Conference Paper | LibreCat-ID: 6763
Model-Driven Test Case Migration: The Test Case Reengineering Horseshoe Model
I. Jovanovikj, G. Engels, A. Anjorin, S. Sauer, in: J. Mendling, H. Mouratidis (Eds.), Information Systems in the Big Data Era - CAiSE Forum 2018, Tallinn, Estonia, June 11-15, 2018, ProceedingIs, Springer International Publishing, Cham, 2018, pp. 133–147.
LibreCat
| DOI
I. Jovanovikj, G. Engels, A. Anjorin, S. Sauer, in: J. Mendling, H. Mouratidis (Eds.), Information Systems in the Big Data Era - CAiSE Forum 2018, Tallinn, Estonia, June 11-15, 2018, ProceedingIs, Springer International Publishing, Cham, 2018, pp. 133–147.
2018 | Journal Article | LibreCat-ID: 6828
Mechanized proofs of opacity: a comparison of two techniques
J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, O. Travkin, H. Wehrheim, Formal Asp. Comput. 30 (2018) 597–625.
LibreCat
| DOI
J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, O. Travkin, H. Wehrheim, Formal Asp. Comput. 30 (2018) 597–625.
2018 | Conference Paper | LibreCat-ID: 6836
Making Linearizability Compositional for Partially Ordered Executions
S. Doherty, B. Dongol, H. Wehrheim, J. Derrick, in: Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, 2018, pp. 110–129.
LibreCat
| DOI
S. Doherty, B. Dongol, H. Wehrheim, J. Derrick, in: Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, 2018, pp. 110–129.
2018 | Conference Paper | LibreCat-ID: 6838
Making Linearizability Compositional for Partially Ordered Executions
S. Doherty, B. Dongol, H. Wehrheim, J. Derrick, in: Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, 2018, pp. 110–129.
LibreCat
| DOI
S. Doherty, B. Dongol, H. Wehrheim, J. Derrick, in: Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, 2018, pp. 110–129.
2018 | Conference Paper | LibreCat-ID: 6839
Brief Announcement: Generalising Concurrent Correctness to Weak Memory
S. Doherty, B. Dongol, H. Wehrheim, J. Derrick, in: 32nd International Symposium on Distributed Computing, {DISC} 2018, New Orleans, LA, USA, October 15-19, 2018, 2018, pp. 45:1-45:3.
LibreCat
| DOI
S. Doherty, B. Dongol, H. Wehrheim, J. Derrick, in: 32nd International Symposium on Distributed Computing, {DISC} 2018, New Orleans, LA, USA, October 15-19, 2018, 2018, pp. 45:1-45:3.
2018 | Journal Article | LibreCat-ID: 6967
Model-integrating development of software systems: a flexible component-based approach
M. Derakhshanmanesh, J. Ebert, M. Grieger, G. Engels, Software & Systems Modeling (2018) 1–30.
LibreCat
M. Derakhshanmanesh, J. Ebert, M. Grieger, G. Engels, Software & Systems Modeling (2018) 1–30.