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.
5711 Publications
2019 | Conference Paper | LibreCat-ID: 10091
König J, Wehrheim H. Data Independence for Software Transactional Memory. In: M. Badger J, Yvonne Rozier K, eds. {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings. Vol 11460. Lecture Notes in Computer Science. Springer; 2019:263-279. doi:10.1007/978-3-030-20652-9\_18
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10092
Doherty S, Dongol B, Wehrheim H, Derrick J. Verifying C11 programs operationally. In: K. Hollingsworth J, Keidar I, eds. Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019. {ACM}; 2019:355-365. doi:10.1145/3293883.3295702
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10093
Beyer D, Jakobs M-C, Lemberger T, Wehrheim H. Combining Verifiers in Conditional Model Checking via Reducers. In: Becker S, Bogicevic I, Herzwurm G, Wagner S, eds. Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019. Vol P-292. LNI. GI; 2019:151--152. doi:10.18420/se2019-46
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 10094
Sharma A, Wehrheim H. Testing Balancedness of ML Algorithms. In: Becker S, Bogicevic I, Herzwurm G, Wagner S, eds. Software Engineering and Software Management, {SE/SWM} 2019, Stuttgart, Germany, February 18-22, 2019. Vol {P-292}. {LNI}. {GI}; 2019:157-158. doi:10.18420/se2019-48
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10095
Richter C, Wehrheim H. PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution). In: Beyer D, Huisman M, Kordon F, Steffen B, eds. Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part {III}. Vol 11429. Lecture Notes in Computer Science. Springer; 2019:229-233. doi:10.1007/978-3-030-17502-3_19
LibreCat
| Files available
| DOI
2019 | Mastersthesis | LibreCat-ID: 10105
Haltermann J. Analyzing Data Usage in Array Programs. Universität Paderborn; 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10232 | 
Wever MD, Mohr F, Tornede A, Hüllermeier E. Automating Multi-Label Classification Extending ML-Plan. In: ; 2019.
LibreCat
| Files available
2019 | Mastersthesis | LibreCat-ID: 10271
N. N. Implementation and Evaluation of Authenticated Data Structures Using Intel SGX Enclaves. Universität Paderborn; 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10281
Feldotto M, Lenzner P, Molitor L, Skopalik A. From Hotelling to Load Balancing: Approximation and the Principle of Minimum Differentiation. In: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems. International Foundation for Autonomous Agents and Multiagent Systems; 2019:1949--1951.
LibreCat
| Files available
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 10284
Alshomary M, Völske M, Licht T, et al. Wikipedia Text Reuse: Within and Without. In: Azzopardi L, Stein B, Fuhr N, Mayr P, Hauff C, Hiemstra D, eds. Advances in Information Retrieval. Cham: Springer International Publishing; 2019:747-754.
LibreCat
| Download (ext.)
2019 | Mastersthesis | LibreCat-ID: 10306 |
Porzenheim LA. Post-Quantum Secure Group Signatures.; 2019.
LibreCat
| Files available
2019 | Journal Article | LibreCat-ID: 10325 |
Peuster M, Marchetti M, García de Blas G, Karl H. Automated testing of NFV orchestrators against carrier-grade multi-PoP scenarios using emulation-based smoke testing. EURASIP Journal on Wireless Communications and Networking. 2019. doi:10.1186/s13638-019-1493-2
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Mastersthesis | LibreCat-ID: 10344
Pukrop S. Scheduling Algorithms for Multi-Operation Jobs with Setups on a Single Machine. Universität Paderborn; 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 13554 |
Blömer J, Löken N. Personal Cross-Platform Reputation. In: Security and Trust Management, STM 2019. Vol 11738. LNCS. ; 2019. doi:10.1007/978-3-030-31511-5_9
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 13557 |
Blömer J, Löken N. Dynamic Searchable Encryption with Access Control. In: 12th International Symposium on Foundations and Practice of Security, FPS 2019. Vol 12056. LNCS. Springer; 2019.
LibreCat
| Download (ext.)
2019 | Bachelorsthesis | LibreCat-ID: 13592
Pilot M. Efficient Finite-Field Arithmetic for Elliptic Curve Cryptography in Java. Universität Paderborn; 2019.
LibreCat
2019 | Mastersthesis | LibreCat-ID: 13648 |
Scholz S. Implementation and Comparison of Elliptic Curve Algorithms in Java. Universität Paderborn; 2019.
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 13652
Hinnenthal K, Scheideler C, Struijs M. Fast Distributed Algorithms for LP-Type Problems of Low Dimension. In: 33rd International Symposium on Distributed Computing (DISC 2019). ; 2019. doi:10.4230/LIPICS.DISC.2019.23
LibreCat
| DOI
2019 | Dissertation | LibreCat-ID: 13679
Brauer S. Classification and Approximation of Geometric Location Problems. Paderborn; 2019. doi:10.17619/UNIPB/1-816
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 7626 |
Schubert P, Hermann B, Bodden E. PhASAR: An Inter-Procedural Static Analysis Framework for C/C++. In: Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2019). Vol II. ; 2019:393-410. doi:10.1007/978-3-030-17465-1_22
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 31067
Guettatfi Z, Platzner M, Kermia O, Khouas A. An Approach for Mapping Periodic Real-Time Tasks to Reconfigurable Hardware. In: 2019 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW). IEEE; 2019. doi:10.1109/ipdpsw.2019.00027
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 15332
Schlichtig M, Opel SA, Budde L, Schulte C. Understanding Artificial Intelligence – A Project for the Development of Comprehensive Teaching Material. In: Jasutė E, Pozdniakov S, eds. ISSEP 2019 - 12th International Conference on Informatics in Schools: Situation, Evaluation and Perspectives, Local Proceedings. Vol 12. ; 2019:65-73.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 15640
Opel SA, Schlichtig M, Schulte C, et al. Entwicklung und Reflexion einer Unterrichtssequenz zum Maschinellen Lernen als Aspekt von Data Science in der Sekundarstufe II. In: INFOS. Vol P-288. LNI. Gesellschaft für Informatik; 2019:285-294.
LibreCat
2019 | Conference Paper | LibreCat-ID: 15641
Schlichtig M, Opel SA, Schulte C, et al. Maschinelles Lernen im Unterricht mit Jupyter Notebook. In: INFOS. Vol P-288. LNI. Gesellschaft für Informatik; 2019:385.
LibreCat
2019 | Conference Paper | LibreCat-ID: 15643
Opel SA, Schlichtig M, Schulte C. Developing Teaching Materials on Artificial Intelligence by Using a Simulation Game (Work in Progress). In: WiPSCE. ACM; 2019:11:1-11:2.
LibreCat
2019 | Conference Paper | LibreCat-ID: 13259
Chen W-F, Al-Khatib K, Hagen M, Wachsmuth H, Stein B. Unraveling the Search Space of Abusive Language in Wikipedia with Dynamic Lexicon Acquisition. In: Proceedings of the Second Workshop on Natural Language Processing for Internet Freedom. ; 2019:76-82.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 13904 |
Blömer J, Bobolz J, Diemert DP, Eidens F. Updatable Anonymous Credentials and Applications to Incentive Systems. In: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security - CCS ’19. Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security - CCS ’19. ; 2019. doi:10.1145/3319535.3354223
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 10108
Pauck F, Wehrheim H. Together Strong: Cooperative Android App Analysis. In: Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. ; 2019:374-384. doi:10.1145/3338906.3338915
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 13874
Isenberg T, Jakobs M-C, Pauck F, Wehrheim H. When Are Software Verification Results Valid for Approximate Hardware? In: Tests and Proofs - 13th International Conference, {TAP} 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings. ; 2019:3-20. doi:10.1007/978-3-030-31157-5_1
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 20243
Rohlfing K, Leonardi G, Nomikou I, Rączaszek-Leonardi J, Hüllermeier E. Multimodal Turn-Taking: Motivations, Methodological Challenges, and Novel Approaches. IEEE Transactions on Cognitive and Developmental Systems. Published online 2019. doi:10.1109/TCDS.2019.2892991
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13297 |
Gharibian S, Parekh O. Almost Optimal Classical Approximation Algorithms for a Quantum Generalization of Max-Cut. In: Proceedings of the 22nd International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (APPROX). Vol 145. Leibniz International Proceedings in Informatics (LIPIcs). ; 2019:31:1-31:17. doi:10.4230/LIPICS.APPROX-RANDOM.2019.31
LibreCat
| DOI
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 13558 |
Gharibian S, Yirka J. The complexity of simulating local measurements on quantum systems. Quantum. 2019;3:189. doi:10.22331/q-2019-09-30-189
LibreCat
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 9913 |
Ahmed QA, Wiersema T, Platzner M. Proof-Carrying Hardware Versus the Stealthy Malicious LUT Hardware Trojan. In: Hochberger C, Nelson B, Koch A, Woods R, Diniz P, eds. Applied Reconfigurable Computing. Vol 11444. Lecture Notes in Computer Science. Springer International Publishing; 2019:127-136. doi:10.1007/978-3-030-17227-5_10
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Bachelorsthesis | LibreCat-ID: 45231
N. N. Conception of a Digital Sales Bonus System Based on Blockchain Technology.; 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 14898
Schubert P, Leer R, Hermann B, Bodden E. Know your analysis: how instrumentation aids understanding static analysis. In: Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis - SOAP 2019. ; 2019. doi:10.1145/3315568.3329965
LibreCat
| DOI
2019 | Mastersthesis | LibreCat-ID: 15874 |
Lienen C. Implementing a Real-Time System on a Platform FPGA Operated with ReconOS. Universität Paderborn
LibreCat
| Files available
2019 | Journal Article | LibreCat-ID: 21
Richters D, Lass M, Walther A, Plessl C, Kühne T. A General Algorithm to Calculate the Inverse Principal p-th Root of Symmetric Positive Definite Matrices. Communications in Computational Physics. 2019;25(2):564-585. doi:10.4208/cicp.OA-2018-0053
LibreCat
| DOI
| arXiv
2019 | Journal Article | LibreCat-ID: 12871 |
Platzner M, Plessl C. FPGAs im Rechenzentrum. Informatik Spektrum. Published online 2019. doi:10.1007/s00287-019-01187-w
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 46338
Bossek J, Grimme C, Meisel S, Rudolph G, Trautmann H. Bi-Objective Orienteering: Towards a Dynamic Multi-Objective Evolutionary Algorithm. In: Deb K, Goodman E, Coello CCA, et al., eds. Evolutionary Multi-Criterion Optimization (EMO). Vol 11411. Lecture Notes in Computer Science. Springer International Publishing; 2019:516–528. doi:10.1007/978-3-030-12598-1_41
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 46343
Grimme C, Kerschke P, Trautmann H. Multimodality in Multi-Objective Optimization — More Boon than Bane? In: Deb K, Goodman E, Coello CCA, et al., eds. Proceedings of the 10$^th$ International Conference on Evolutionary Multi-Criterion Optimization (EMO). Vol 11411. Lecture Notes in Computer Science. Springer; 2019:126–138. doi:10.1007/978-3-030-12598-1_11
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 46345
Kerschke P, Hoos HH, Neumann F, Trautmann H. Automated Algorithm Selection: Survey and Perspectives. Evolutionary Computation (ECJ). 2019;27(1):3–45. doi:10.1162/evco_a_00242
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 46339
Bossek J, Kerschke P, Neumann A, Wagner M, Neumann F, Trautmann H. Evolving Diverse TSP Instances by Means of Novel and Creative Mutation Operators. In: Friedrich T, Doerr C, Arnold D, eds. Proceedings of the 15$^th$ ACM/SIGEVO Workshop on Foundations of Genetic Algorithms (FOGA XV). ; 2019:58–71. doi:10.1145/3299904.3340307
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 46337
Bossek J, Trautmann H. Multi-Objective Performance Measurement: Alternatives to PAR10 and Expected Running Time. In: Battiti R, Brunato M, Kotsireas I, Pardalos P, eds. Learning and Intelligent Optimization. Vol 11353. Lecture Notes in Computer Science. Springer; 2019:215–219.
LibreCat
2019 | Journal Article | LibreCat-ID: 46344
Carnein M, Trautmann H. Optimizing Data Stream Representation: An Extensive Survey on Stream Clustering Algorithms. Business and Information Systems Engineering (BISE). 2019;61(3):277–297.
LibreCat
2019 | Conference Paper | LibreCat-ID: 46340
Carnein M, Homann L, Trautmann H, Vossen G. A Recommender System Based on Omni-Channel Customer Data. In: Proceedings of the 21$^st$ IEEE Conference on Business Informatics (CBI’ 19). ; 2019:65–74.
LibreCat
2019 | Conference Paper | LibreCat-ID: 46341
Carnein M, Trautmann H. Customer Segmentation Based on Transactional Data Using Stream Clustering. In: Proceedings of the 23$^rd$ Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD ’19). ; 2019:280–292.
LibreCat
2019 | Conference Paper | LibreCat-ID: 46342
Grimme C, Kerschke P, Emmerich MTM, Preuss M, Deutz AH, Trautmann H. Sliding to the Global Optimum: How to Benefit from Non-Global Optima in Multimodal Multi-Objective Optimization. In: AIP Conference Proceedings. AIP Publishing; 2019:020052-1-020052-020054. doi:10.1063/1.5090019
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 46336
Kerschke P, Trautmann H. Comprehensive Feature-Based Landscape Analysis of Continuous and Constrained Optimization Problems Using the R-package flacco. In: Bauer N, Ickstadt K, Lübke K, Szepannek G, Trautmann H, Vichi M, eds. Applications in Statistical Computing. Springer; 2019:93–123. doi:10.1007/978-3-030-25147-5_7
LibreCat
| DOI
2019 | Book | LibreCat-ID: 46335
Trautmann H. Applications in Statistical Computing — From Music Data Analysis to Industrial Quality Improvement. Springer International Publishing; 2019.
LibreCat
2019 | Journal Article | LibreCat-ID: 46346
Kerschke P, Trautmann H. Automated Algorithm Selection on Continuous Black-Box Problems By Combining Exploratory Landscape Analysis and Machine Learning. Evolutionary Computation (ECJ). 2019;27(1):99–127. doi:10.1162/evco_a_00236
LibreCat
| DOI