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.
5685 Publications
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