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ürgen, and Heike Wehrheim. “Data Independence for Software Transactional Memory.” In {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, edited by Julia M. Badger and Kristin Yvonne Rozier, 11460:263–79. Lecture Notes in Computer Science. Springer, 2019. https://doi.org/10.1007/978-3-030-20652-9\_18.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10092
Doherty, Simon, Brijesh Dongol, Heike Wehrheim, and John Derrick. “Verifying C11 Programs Operationally.” In Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019, edited by Jeffrey K. Hollingsworth and Idit Keidar, 355–65. {ACM}, 2019. https://doi.org/10.1145/3293883.3295702.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10093
Beyer, Dirk, Marie-Christine Jakobs, Thomas Lemberger, and Heike Wehrheim. “Combining Verifiers in Conditional Model Checking via Reducers.” In Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019, edited by Steffen Becker, Ivan Bogicevic, Georg Herzwurm, and Stefan Wagner, P-292:151--152. LNI. GI, 2019. https://doi.org/10.18420/se2019-46.
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 10094
Sharma, Arnab, and Heike Wehrheim. “Testing Balancedness of ML Algorithms.” In Software Engineering and Software Management, {SE/SWM} 2019, Stuttgart, Germany, February 18-22, 2019, edited by Steffen Becker, Ivan Bogicevic, Georg Herzwurm, and Stefan Wagner, {P-292}:157–58. {LNI}. {GI}, 2019. https://doi.org/10.18420/se2019-48.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10095
Richter, Cedric, and Heike Wehrheim. “PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution).” In 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}, edited by Dirk Beyer, Marieke Huisman, Fabrice Kordon, and Bernhard Steffen, 11429:229–33. Lecture Notes in Computer Science. Springer, 2019. https://doi.org/10.1007/978-3-030-17502-3_19.
LibreCat
| Files available
| DOI
2019 | Mastersthesis | LibreCat-ID: 10105
Haltermann, Jan. Analyzing Data Usage in Array Programs. Universität Paderborn, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10232 | 
Wever, Marcel Dominik, Felix Mohr, Alexander Tornede, and Eyke Hüllermeier. “Automating Multi-Label Classification Extending ML-Plan,” 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, Matthias, Pascal Lenzner, Louise Molitor, and Alexander Skopalik. “ 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, 1949--1951. International Foundation for Autonomous Agents and Multiagent Systems, 2019.
LibreCat
| Files available
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 10284
Alshomary, Milad, Michael Völske, Tristan Licht, Henning Wachsmuth, Benno Stein, Matthias Hagen, and Martin Potthast. “Wikipedia Text Reuse: Within and Without.” In Advances in Information Retrieval, edited by Leif Azzopardi, Benno Stein, Norbert Fuhr, Philipp Mayr, Claudia Hauff, and Djoerd Hiemstra, 747–54. Cham: Springer International Publishing, 2019.
LibreCat
| Download (ext.)
2019 | Mastersthesis | LibreCat-ID: 10306 |
Porzenheim, Laurens Alexander. Post-Quantum Secure Group Signatures, 2019.
LibreCat
| Files available
2019 | Journal Article | LibreCat-ID: 10325 |
Peuster, Manuel, Michael Marchetti, Gerardo García de Blas, and Holger Karl. “Automated Testing of NFV Orchestrators against Carrier-Grade Multi-PoP Scenarios Using Emulation-Based Smoke Testing.” EURASIP Journal on Wireless Communications and Networking, 2019. https://doi.org/10.1186/s13638-019-1493-2.
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Mastersthesis | LibreCat-ID: 10344
Pukrop, Simon. 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, Johannes, and Nils Löken. “Personal Cross-Platform Reputation.” In Security and Trust Management, STM 2019, Vol. 11738. LNCS, 2019. https://doi.org/10.1007/978-3-030-31511-5_9.
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 13557 |
Blömer, Johannes, and Nils Löken. “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, Matthias. Efficient Finite-Field Arithmetic for Elliptic Curve Cryptography in Java. Universität Paderborn, 2019.
LibreCat
2019 | Mastersthesis | LibreCat-ID: 13648 |
Scholz, Swante. Implementation and Comparison of Elliptic Curve Algorithms in Java. Universität Paderborn, 2019.
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 13652
Hinnenthal, Kristian, Christian Scheideler, and Martijn Struijs. “Fast Distributed Algorithms for LP-Type Problems of Low Dimension.” In 33rd International Symposium on Distributed Computing (DISC 2019), 2019. https://doi.org/10.4230/LIPICS.DISC.2019.23.
LibreCat
| DOI
2019 | Dissertation | LibreCat-ID: 13679
Brauer, Sascha. Classification and Approximation of Geometric Location Problems. Paderborn, 2019. https://doi.org/10.17619/UNIPB/1-816.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 7626 |
Schubert, Philipp, Ben Hermann, and Eric Bodden. “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), II:393–410, 2019. https://doi.org/10.1007/978-3-030-17465-1_22.
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 31067
Guettatfi, Zakarya, Marco Platzner, Omar Kermia, and Abdelhakim Khouas. “An Approach for Mapping Periodic Real-Time Tasks to Reconfigurable Hardware.” In 2019 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW). IEEE, 2019. https://doi.org/10.1109/ipdpsw.2019.00027.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 15332
Schlichtig, Michael, Simone Anna Opel, Lea Budde, and Carsten Schulte. “Understanding Artificial Intelligence – A Project for the Development of Comprehensive Teaching Material.” In ISSEP 2019 - 12th International Conference on Informatics in Schools: Situation, Evaluation and Perspectives, Local Proceedings, edited by Eglė Jasutė and Sergei Pozdniakov, 12:65–73, 2019.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 15640
Opel, Simone Anna, Michael Schlichtig, Carsten Schulte, Rolf Biehler, Daniel Frischemeier, Susanne Podworny, and Thomas Wassong. “Entwicklung und Reflexion einer Unterrichtssequenz zum Maschinellen Lernen als Aspekt von Data Science in der Sekundarstufe II.” In INFOS, P-288:285–94. LNI. Gesellschaft für Informatik, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 15641
Schlichtig, Michael, Simone Anna Opel, Carsten Schulte, Rolf Biehler, Daniel Frischemeier, Susanne Podworny, and Thomas Wassong. “Maschinelles Lernen im Unterricht mit Jupyter Notebook.” In INFOS, P-288:385. LNI. Gesellschaft für Informatik, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 15643
Opel, Simone Anna, Michael Schlichtig, and Carsten Schulte. “Developing Teaching Materials on Artificial Intelligence by Using a Simulation Game (Work in Progress).” In WiPSCE, 11:1-11:2. ACM, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 13259
Chen, Wei-Fan, Khalid Al-Khatib, Matthias Hagen, Henning Wachsmuth, and Benno Stein. “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, 76–82, 2019.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 13904 |
Blömer, Johannes, Jan Bobolz, Denis Pascal Diemert, and Fabian Eidens. “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. https://doi.org/10.1145/3319535.3354223.
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 10108
Pauck, Felix, and Heike Wehrheim. “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, 374–84, 2019. https://doi.org/10.1145/3338906.3338915.
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 13874
Isenberg, Tobias, Marie-Christine Jakobs, Felix Pauck, and Heike Wehrheim. “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, 3–20, 2019. https://doi.org/10.1007/978-3-030-31157-5_1.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 20243
Rohlfing, Katharina, Giuseppe Leonardi, Iris Nomikou, Joanna Rączaszek-Leonardi, and Eyke Hüllermeier. “Multimodal Turn-Taking: Motivations, Methodological Challenges, and Novel Approaches.” IEEE Transactions on Cognitive and Developmental Systems, 2019. https://doi.org/10.1109/TCDS.2019.2892991.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13297 |
Gharibian, Sevag, and Ojas Parekh. “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), 145:31:1-31:17. Leibniz International Proceedings in Informatics (LIPIcs), 2019. https://doi.org/10.4230/LIPICS.APPROX-RANDOM.2019.31.
LibreCat
| DOI
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 13558 |
Gharibian, Sevag, and Justin Yirka. “The Complexity of Simulating Local Measurements on Quantum Systems.” Quantum 3 (2019): 189. https://doi.org/10.22331/q-2019-09-30-189.
LibreCat
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 9913 |
Ahmed, Qazi Arbab, Tobias Wiersema, and Marco Platzner. “Proof-Carrying Hardware Versus the Stealthy Malicious LUT Hardware Trojan.” In Applied Reconfigurable Computing, edited by Christian Hochberger, Brent Nelson, Andreas Koch, Roger Woods, and Pedro Diniz, 11444:127–36. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2019. https://doi.org/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, Philipp, Richard Leer, Ben Hermann, and Eric Bodden. “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. https://doi.org/10.1145/3315568.3329965.
LibreCat
| DOI
2019 | Mastersthesis | LibreCat-ID: 15874 |
Lienen, Christian. Implementing a Real-Time System on a Platform FPGA Operated with ReconOS. Universität Paderborn, n.d.
LibreCat
| Files available
2019 | Journal Article | LibreCat-ID: 21
Richters, Dorothee, Michael Lass, Andrea Walther, Christian Plessl, and Thomas Kühne. “A General Algorithm to Calculate the Inverse Principal P-Th Root of Symmetric Positive Definite Matrices.” Communications in Computational Physics 25, no. 2 (2019): 564–85. https://doi.org/10.4208/cicp.OA-2018-0053.
LibreCat
| DOI
| arXiv
2019 | Journal Article | LibreCat-ID: 12871 |
Platzner, Marco, and Christian Plessl. “FPGAs im Rechenzentrum.” Informatik Spektrum, 2019. https://doi.org/10.1007/s00287-019-01187-w.
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 46338
Bossek, Jakob, Christian Grimme, Stephan Meisel, Günter Rudolph, and Heike Trautmann. “Bi-Objective Orienteering: Towards a Dynamic Multi-Objective Evolutionary Algorithm.” In Evolutionary Multi-Criterion Optimization (EMO), edited by Kalyanmoy Deb, Erik Goodman, Coello Carlos A. Coello, Kathrin Klamroth, Kaisa Miettinen, Sanaz Mostaghim, and Patrick Reed, 11411:516–528. Lecture Notes in Computer Science. East Lansing, Michigan, USA: Springer International Publishing, 2019. https://doi.org/10.1007/978-3-030-12598-1_41.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 46343
Grimme, Christian, Pascal Kerschke, and Heike Trautmann. “Multimodality in Multi-Objective Optimization — More Boon than Bane?” In Proceedings of the 10$^th$ International Conference on Evolutionary Multi-Criterion Optimization (EMO), edited by Kalyanmoy Deb, Erik Goodman, Coello Carlos A. Coello, Kathrin Klamroth, Kaisa Miettinen, Sanaz Mostaghim, and Patrick Reed, 11411:126–138. Lecture Notes in Computer Science. East Lansing, MI, USA: Springer, 2019. https://doi.org/10.1007/978-3-030-12598-1_11.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 46345
Kerschke, Pascal, Holger H Hoos, Frank Neumann, and Heike Trautmann. “Automated Algorithm Selection: Survey and Perspectives.” Evolutionary Computation (ECJ) 27, no. 1 (2019): 3–45. https://doi.org/10.1162/evco_a_00242.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 46339
Bossek, Jakob, Pascal Kerschke, Aneta Neumann, Markus Wagner, Frank Neumann, and Heike Trautmann. “Evolving Diverse TSP Instances by Means of Novel and Creative Mutation Operators.” In Proceedings of the 15$^th$ ACM/SIGEVO Workshop on Foundations of Genetic Algorithms (FOGA XV), edited by Tobias Friedrich, Carola Doerr, and Dirk Arnold, 58–71. Potsdam, Germany, 2019. https://doi.org/10.1145/3299904.3340307.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 46337
Bossek, J, and Heike Trautmann. “Multi-Objective Performance Measurement: Alternatives to PAR10 and Expected Running Time.” In Learning and Intelligent Optimization, edited by R Battiti, M Brunato, I Kotsireas, and P Pardalos, 11353:215–219. Lecture Notes in Computer Science. Cham: Springer, 2019.
LibreCat
2019 | Journal Article | LibreCat-ID: 46344
Carnein, Matthias, and Heike Trautmann. “Optimizing Data Stream Representation: An Extensive Survey on Stream Clustering Algorithms.” Business and Information Systems Engineering (BISE) 61, no. 3 (2019): 277–297.
LibreCat
2019 | Conference Paper | LibreCat-ID: 46340
Carnein, Matthias, Leschek Homann, Heike Trautmann, and Gottfried Vossen. “A Recommender System Based on Omni-Channel Customer Data.” In Proceedings of the 21$^st$ IEEE Conference on Business Informatics (CBI’ 19), 65–74. Moscow, Russia, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 46341
Carnein, Matthias, and Heike Trautmann. “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), 280–292. Macau, China, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 46342
Grimme, Christian, Pascal Kerschke, Michael T M Emmerich, Mike Preuss, André H Deutz, and Heike Trautmann. “Sliding to the Global Optimum: How to Benefit from Non-Global Optima in Multimodal Multi-Objective Optimization.” In AIP Conference Proceedings, 020052-1-020052–54. Leiden, The Netherlands: AIP Publishing, 2019. https://doi.org/10.1063/1.5090019.
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 46336
Kerschke, Pascal, and Heike Trautmann. “Comprehensive Feature-Based Landscape Analysis of Continuous and Constrained Optimization Problems Using the R-Package Flacco.” In Applications in Statistical Computing, edited by Nadja Bauer, Katja Ickstadt, Karsten Lübke, Gero Szepannek, Heike Trautmann, and Maurizio Vichi, 93–123. Springer, 2019. https://doi.org/10.1007/978-3-030-25147-5_7.
LibreCat
| DOI
2019 | Book | LibreCat-ID: 46335
Trautmann, Heike. Applications in Statistical Computing — From Music Data Analysis to Industrial Quality Improvement. Studies in Classification, Data Analysis, and Knowledge Organization. Springer International Publishing, 2019.
LibreCat
2019 | Journal Article | LibreCat-ID: 46346
Kerschke, Pascal, and Heike Trautmann. “Automated Algorithm Selection on Continuous Black-Box Problems By Combining Exploratory Landscape Analysis and Machine Learning.” Evolutionary Computation (ECJ) 27, no. 1 (2019): 99–127. https://doi.org/10.1162/evco_a_00236.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 46347
Kerschke, Pascal, Hao Wang, Mike Preuss, Christian Grimme, André Deutz, Heike Trautmann, and Michael Emmerich. “Search Dynamics on Multimodal Multi-Objective Problems.” Evolutionary Computation (ECJ) 27, no. 4 (2019): 577–609. https://doi.org/10.1162/evco_a_00234.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 48841
Bossek, Jakob, Christian Grimme, Stephan Meisel, Günter Rudolph, and Heike Trautmann. “Bi-Objective Orienteering: Towards a Dynamic Multi-Objective Evolutionary Algorithm.” In Evolutionary Multi-Criterion Optimization (EMO), edited by Kalyanmoy Deb, Erik Goodman, Carlos A. Coello Coello, Kathrin Klamroth, Kaisa Miettinen, Sanaz Mostaghim, and Patrick Reed, 516–528. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2019. https://doi.org/10.1007/978-3-030-12598-1_41.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 48842
Bossek, Jakob, Pascal Kerschke, Aneta Neumann, Markus Wagner, Frank Neumann, and Heike Trautmann. “Evolving Diverse TSP Instances by Means of Novel and Creative Mutation Operators.” In Proceedings of the 15th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, 58–71. FOGA ’19. New York, NY, USA: Association for Computing Machinery, 2019. https://doi.org/10.1145/3299904.3340307.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 48843
Bossek, Jakob, Frank Neumann, Pan Peng, and Dirk Sudholt. “Runtime Analysis of Randomized Search Heuristics for Dynamic Graph Coloring.” In Proceedings of the Genetic and Evolutionary Computation Conference, 1443–1451. GECCO ’19. New York, NY, USA: Association for Computing Machinery, 2019. https://doi.org/10.1145/3321707.3321792.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 48840
Bossek, Jakob, Christian Grimme, and Frank Neumann. “On the Benefits of Biased Edge-Exchange Mutation for the Multi-Criteria Spanning Tree Problem.” In Proceedings of the Genetic and Evolutionary Computation Conference, 516–523. GECCO ’19. New York, NY, USA: Association for Computing Machinery, 2019. https://doi.org/10.1145/3321707.3321818.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 48858
Bossek, Jakob, and Christian Grimme. “Solving Scalarized Subproblems within Evolutionary Algorithms for Multi-Criteria Shortest Path Problems.” In Learning and Intelligent Optimization, edited by Roberto Battiti, Mauro Brunato, Ilias Kotsireas, and Panos M. Pardalos, 184–198. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2019. https://doi.org/10.1007/978-3-030-05348-2_17.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 48870
Bossek, Jakob, and Dirk Sudholt. “Time Complexity Analysis of RLS and (1 + 1) EA for the Edge Coloring Problem.” In Proceedings of the 15th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, 102–115. FOGA ’19. New York, NY, USA: Association for Computing Machinery, 2019. https://doi.org/10.1145/3299904.3340311.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 48875
Bossek, Jakob, and Heike Trautmann. “Multi-Objective Performance Measurement: Alternatives to PAR10 and Expected Running Time.” In Learning and Intelligent Optimization, edited by Roberto Battiti, Mauro Brunato, Ilias Kotsireas, and Panos M. Pardalos, 215–219. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2019. https://doi.org/10.1007/978-3-030-05348-2_19.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 48877
Casalicchio, Giuseppe, Jakob Bossek, Michel Lang, Dominik Kirchhoff, Pascal Kerschke, Benjamin Hofner, Heidi Seibold, Joaquin Vanschoren, and Bernd Bischl. “OpenML: An R Package to Connect to the Machine Learning Platform OpenML.” Computational Statistics 34, no. 3 (2019): 977–991. https://doi.org/10.1007/s00180-017-0742-2.
LibreCat
| DOI
2019 | Mastersthesis | LibreCat-ID: 52478
Mehta, Jinay D. Multithreaded Software/Hardware Programming with ReconOS/FreeRTOS on a Reconfigurable System-on-Chip, 2019.
LibreCat
2018 | Conference Paper | LibreCat-ID: 2474
Afifi, Haitham, Sébastien Auroux, and Holger Karl. “MARVELO: Wireless Virtual Network Embedding for Overlay Graphs with Loops.” Proc. of IEEE Wireless Communications and Networking Conference (WCNC), 2018.
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 2476
Shiferaw Heyi, Binyam, and Holger Karl. “Modelling Time-Limited Capacity of a Wireless Channel as AMarkov Reward Process.” Proc. of IEEE Wireless Communications and Networking Conference (WCNC), 2018.
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 2479 |
Mohr, Felix, Marcel Dominik Wever, Eyke Hüllermeier, and Amin Faez. “(WIP) Towards the Automated Composition of Machine Learning Services.” In SCC. San Francisco, CA, USA: IEEE, 2018. https://doi.org/10.1109/SCC.2018.00039.
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 2480 |
Dräxler, Sevil, Manuel Peuster, Marvin Illian, and Holger Karl. “Generating Resource and Performance Models for Service Function Chains: The Video Streaming Case.” In 4th IEEE International Conference on Network Softwarization (NetSoft 2018), 318--322. IEEE, 2018. https://doi.org/10.1109/NETSOFT.2018.8460029.
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 2481 |
Dräxler, Sevil, Stefan Balthasar Schneider, and Holger Karl. “ Scaling and Placing Bidirectional Services with Stateful Virtual and Physical Network Functions.” In 4th IEEE International Conference on Network Softwarization (NetSoft 2018), 123--131. IEEE, 2018.
LibreCat
| Files available
2018 | Report | LibreCat-ID: 2483 |
Dräxler, Sevil, Manuel Peuster, Marvin Illian, and Holger Karl. Towards Predicting Resource Demands and Performance of Distributed Cloud Services. KuVS-Fachgespräch Fog Computing 2018. Wien, Darmstadt, 2018.
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 2484
Feldkord, Björn, Matthias Feldotto, Anupam Gupta, Guru Guruganesh, Amit Kumar, Sören Riechers, and David Wajc. “Fully-Dynamic Bin Packing with Little Repacking.” In 45th International Colloquium on Automata, Languages, and Programming (ICALP 2018), edited by Ioannis Chatzigiannakis, Christos Kaklamanis, Dániel Marx, and Donald Sannella, 107:51:1-51:24. Leibniz International Proceedings in Informatics (LIPIcs). Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2018. https://doi.org/10.4230/LIPIcs.ICALP.2018.51.
LibreCat
| Files available
| DOI
| arXiv
2018 | Conference Paper | LibreCat-ID: 2485
Feldkord, Björn, and Friedhelm Meyer auf der Heide. “Online Facility Location with Mobile Facilities.” In Proceedings of the 30th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 373–81. ACM, 2018. https://doi.org/10.1145/3210377.3210389.
LibreCat
| Files available
| DOI
2018 | Bachelorsthesis | LibreCat-ID: 25121
Liedtke, David Jan. Influence of Stationary Robots on Continuous Robot Formation Problems, 2018.
LibreCat
| Files available
2018 | Preprint | LibreCat-ID: 19524
Pfannschmidt, Karlson, Pritha Gupta, and Eyke Hüllermeier. “Deep Architectures for Learning Context-Dependent Ranking Functions.” ArXiv:1803.05796, 2018.
LibreCat
2018 | Preprint | LibreCat-ID: 19978
Markarian, Christine. “Online Connected Dominating Set Leasing.” ArXiv:1805.02994, 2018.
LibreCat
2018 | Journal Article | LibreCat-ID: 20
Lass, Michael, Thomas Kühne, and Christian Plessl. “Using Approximate Computing for the Calculation of Inverse Matrix P-Th Roots.” Embedded Systems Letters 10, no. 2 (2018): 33–36. https://doi.org/10.1109/LES.2017.2760923.
LibreCat
| DOI
| arXiv
2018 | Conference Paper | LibreCat-ID: 20188
Habernal, Ivan, Henning Wachsmuth, Iryna Gurevych, and Benno Stein. “The Argument Reasoning Comprehension Task: Identification and Reconstruction of Implicit Warrants.” In Proceedings of the 16th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, 1930–1940, 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 2831
Feldotto, Matthias, Claus-Jochen Haake, Alexander Skopalik, and Nadja Stroh-Maraun. “Disaggregating User Evaluations Using the Shapley Value.” In Proceedings of the 13th Workshop on Economics of Networks, Systems and Computation (NetEcon 2018), 5:1-5:6, 2018. https://doi.org/10.1145/3230654.3230659.
LibreCat
| Files available
| DOI
2018 | Journal Article | LibreCat-ID: 2848
Li, Shouwei, Christine Markarian, and Friedhelm Meyer auf der Heide. “Towards Flexible Demands in Online Leasing Problems. .” Algorithmica 80, no. 5 (2018): 1556–1574. https://doi.org/10.1007/s00453-018-0420-y.
LibreCat
| Files available
| DOI
2018 | Journal Article | LibreCat-ID: 2849
Abu-Khzam, Faisal N. , Christine Markarian, Friedhelm Meyer auf der Heide, and Michael Schubert. “Approximation and Heuristic Algorithms for Computing Backbones in Asymmetric Ad-Hoc Networks.” Theory of Computing Systems, 2018. https://doi.org/10.1007/s00224-017-9836-z.
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 2850
Hamann, Heiko, Christine Markarian, Friedhelm Meyer auf der Heide, and Mostafa Wahby. “Pick, Pack, & Survive: Charging Robots in a Modern Warehouse Based on Online Connected Dominating Sets.” In Ninth International Conference on Fun with Algorithms (FUN), 2018. https://doi.org/10.4230/LIPIcs.FUN.2018.22.
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 2857 |
Mohr, Felix, Theodor Lettmann, Eyke Hüllermeier, and Marcel Dominik Wever. “Programmatic Task Network Planning.” In Proceedings of the 1st ICAPS Workshop on Hierarchical Planning, 31–39. AAAI, 2018.
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 2862 |
Blömer, Johannes, Fabian Eidens, and Jakob Juhnke. “Practical, Anonymous, and Publicly Linkable Universally-Composable Reputation Systems.” In Topics in Cryptology - {CT-RSA} 2018 - The Cryptographers’ Track at the {RSA} Conference 2018, Proceedings, 470–90. Cham: Springer International Publishing, 2018. https://doi.org/10.1007/978-3-319-76953-0_25.
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Journal Article | LibreCat-ID: 24150
Ramaswamy, Arunselvan, and Shalabh Bhatnagar. “Stability of Stochastic Approximations with ‘Controlled Markov’ Noise and Temporal Difference Learning.” IEEE Transactions on Automatic Control 64, no. 6 (2018): 2614–20.
LibreCat
2018 | Journal Article | LibreCat-ID: 24151
Demirel, Burak, Arunselvan Ramaswamy, Daniel E Quevedo, and Holger Karl. “Deepcas: A Deep Reinforcement Learning Algorithm for Control-Aware Scheduling.” IEEE Control Systems Letters 2, no. 4 (2018): 737–42.
LibreCat
2018 | Conference Paper | LibreCat-ID: 24396
Markarian, Christine. “An Optimal Algorithm for Online Prize-Collecting Node-Weighted Steiner Forest.” In International Workshop on Combinatorial Algorithms (IWOCA). Cham, 2018. https://doi.org/10.1007/978-3-319-94667-2_18.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 2471 |
Mohr, Felix, Marcel Dominik Wever, and Eyke Hüllermeier. “On-The-Fly Service Construction with Prototypes.” In SCC. San Francisco, CA, USA: IEEE Computer Society, 2018. https://doi.org/10.1109/SCC.2018.00036.
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 2472
Auroux, Sébastien, and Holger Karl. “Distributed Placement of Virtualized Control Applications in Mobile Backhaul Networks.” Proc. of IEEE Wireless Communications and Networking Conference (WCNC), 2018. https://doi.org/ 10.1109/WCNC.2018.8377335.
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 26421
Winkelnkemper, Felix, and Reinhard Keil. “MediaThing – A Learning Scenario Targeting on Research Skills.” In Proceedings of EdMedia: World Conference on Educational Media and Technology., edited by T Bastiaens, J Van Braak, and M Brown, 2397–2406. Amsterdam, Netherlands, 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 26422
Seng, E.-M, Reinhard Keil, and Gudrun Oevel. “Studiolo Communis.” edited by E.-M Seng, Reinhard Keil, and G Oevel, 1–5. Berlin, Bosten: De Gruyter, 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 26423
Keil, Reinhard. “Unterst{\"u}tzung Kontingenter Wissensarbeit. Ein Rahmenwerk F{\"u}r Die Entwicklung Digitaler Arbeitsumgebungen Zur Unterst{\"u}tzung Des Forschungsdiskurses in Den Kulturwissenschaften.” edited by E.-M Seng, Reinhard Keil, and G Oevel. Berlin, Bosten: De Gruyter, 2018.
LibreCat
2018 | Book | LibreCat-ID: 26424
Seng, E.-M, Reinhard Keil, and Gudrun Oevel. STUDIOLO. Kooperative Forschungsumgebungen in Den EHumanities. Berlin, Bosten: De Gruyter, 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 26425
Selke, Harald. “Data Science in Schools from the Perspective of Contextual Informatics.” edited by R Biehler, L Budde, D Frischemeier, B Heinemann, S Podworny, Carsten Schulte, and T Wassong, 107–9. Paderborn: Universit{\"a}tsbibliothek Paderborn, 2018.
LibreCat
2018 | Journal Article | LibreCat-ID: 2685
Blömer, Johannes, and Kathlén Kohn. “Voronoi Cells of Lattices with Respect to Arbitrary Norms.” SIAM Journal on Applied Algebra and Geometry. 2, no. 2 (2018): 314–38. https://doi.org/10.1137/17M1132045.
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 3217
Demirel, Burak, Arunselvan Ramaswamy, Daniel Quevedo, and Holger Karl. “DeepCAS: A Deep Reinforcement Learning Algorithm for Control-Aware Scheduling,” 2018. https://doi.org/10.1109/LCSYS.2018.2847721.
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 3265 |
Bemmann, Kai, Johannes Blömer, Jan Bobolz, Henrik Bröcher, Denis Pascal Diemert, Fabian Eidens, Lukas Eilers, et al. “Fully-Featured Anonymous Credentials with Reputation System.” In Proceedings of the 13th International Conference on Availability, Reliability and Security - ARES ’18. New York, NY, USA: ACM, n.d. https://doi.org/10.1145/3230833.3234517.
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Bachelorsthesis | LibreCat-ID: 3320
Rautenberg, Kai. Korrektheitsbeweise für Muster von Servicekompositionen. Universität Paderborn, 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 3345 |
Peuster, Manuel, Hannes Küttner, and Holger Karl. “ Let the State Follow Its Flows: An SDN-Based Flow Handover Protocol to Support State Migration.” In 4th IEEE International Conference on Network Softwarization (NetSoft 2018). Montreal, n.d. https://doi.org/10.1109/NETSOFT.2018.8460007.
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 3346 |
Peuster, Manuel, Johannes Kampmeyer, and Holger Karl. “Containernet 2.0: A Rapid Prototyping Platform for Hybrid Service Function Chains.” In 4th IEEE International Conference on Network Softwarization (NetSoft 2018). Montreal, n.d. https://doi.org/10.1109/NETSOFT.2018.8459905.
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 3347 |
Peuster, Manuel, Michael Marchetti, Gerado Garcia de Blas, and Holger Karl. “Emulation-Based Smoke Testing of NFV Orchestrators in Large Multi-PoP Environments.” In European Conference on Networks and Communications (EuCNC). Ljubljana, n.d. https://doi.org/10.1109/EuCNC.2018.8442701.
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 3362
Lösch, Achim, Alex Wiens, and Marco Platzner. “Ampehre: An Open Source Measurement Framework for Heterogeneous Compute Nodes.” In Proceedings of the International Conference on Architecture of Computing Systems (ARCS), 10793:73–84. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2018. https://doi.org/10.1007/978-3-319-77610-1_6.
LibreCat
| Files available
| DOI
2018 | Bachelorsthesis | LibreCat-ID: 3365
Schnuer, Jan-Philip. Static Scheduling Algorithms for Heterogeneous Compute Nodes. Universität Paderborn, 2018.
LibreCat
2018 | Bachelorsthesis | LibreCat-ID: 3366
Croce, Marcel. Evaluation of OpenCL-Based Compilation for FPGAs. Universität Paderborn, 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 3373
Hansmeier, Tim, Marco Platzner, and David Andrews. “An FPGA/HMC-Based Accelerator for Resolution Proof Checking.” In ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications, 10824:153–65. Lecture Notes in Computer Science. Springer International Publishing, 2018. https://doi.org/10.1007/978-3-319-78890-6_13.
LibreCat
| Files available
| DOI