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: 10092
S. Doherty, B. Dongol, H. Wehrheim, and J. 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, 2019, pp. 355–365.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10093
D. Beyer, M.-C. Jakobs, T. Lemberger, and H. Wehrheim, “Combining Verifiers in Conditional Model Checking via Reducers,” in Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019, 2019, vol. P-292, pp. 151--152.
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 10095
C. Richter and H. 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}, 2019, vol. 11429, pp. 229–233.
LibreCat
| Files available
| DOI
2019 | Mastersthesis | LibreCat-ID: 10105
J. Haltermann, Analyzing Data Usage in Array Programs. Universität Paderborn, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10232 | 
M. D. Wever, F. Mohr, A. Tornede, and E. Hüllermeier, “Automating Multi-Label Classification Extending ML-Plan,” presented at the 6th ICML Workshop on Automated Machine Learning (AutoML 2019), Long Beach, CA, USA, 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
M. Feldotto, P. Lenzner, L. Molitor, and A. 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, Montreal QC, Canada, 2019, pp. 1949--1951.
LibreCat
| Files available
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 10284
M. Alshomary et al., “Wikipedia Text Reuse: Within and Without,” in Advances in Information Retrieval, 2019, pp. 747–754.
LibreCat
| Download (ext.)
2019 | Mastersthesis | LibreCat-ID: 10306 |
L. A. Porzenheim, Post-Quantum Secure Group Signatures. 2019.
LibreCat
| Files available
2019 | Journal Article | LibreCat-ID: 10325 |
M. Peuster, M. Marchetti, G. García de Blas, and H. 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.
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Mastersthesis | LibreCat-ID: 10344
S. Pukrop, Scheduling Algorithms for Multi-Operation Jobs with Setups on a Single Machine. Universität Paderborn, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 13554 |
J. Blömer and N. Löken, “Personal Cross-Platform Reputation,” in Security and Trust Management, STM 2019, 2019, vol. 11738.
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 13557 |
J. Blömer and N. Löken, “Dynamic Searchable Encryption with Access Control,” in 12th International Symposium on Foundations and Practice of Security, FPS 2019, 2019, vol. 12056.
LibreCat
| Download (ext.)
2019 | Bachelorsthesis | LibreCat-ID: 13592
M. Pilot, Efficient Finite-Field Arithmetic for Elliptic Curve Cryptography in Java. Universität Paderborn, 2019.
LibreCat
2019 | Mastersthesis | LibreCat-ID: 13648 |
S. Scholz, Implementation and Comparison of Elliptic Curve Algorithms in Java. Universität Paderborn, 2019.
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 7626 |
P. Schubert, B. Hermann, and E. 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), Prague, Czech Republic, 2019, vol. II, pp. 393–410, doi: 10.1007/978-3-030-17465-1_22.
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 31067
Z. Guettatfi, M. Platzner, O. Kermia, and A. Khouas, “An Approach for Mapping Periodic Real-Time Tasks to Reconfigurable Hardware,” 2019, doi: 10.1109/ipdpsw.2019.00027.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 15332
M. Schlichtig, S. A. Opel, L. Budde, and C. 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, Lanarca, 2019, vol. 12, pp. 65–73.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 15640
S. A. Opel et al., “Entwicklung und Reflexion einer Unterrichtssequenz zum Maschinellen Lernen als Aspekt von Data Science in der Sekundarstufe II,” in INFOS, 2019, vol. P-288, pp. 285–294.
LibreCat
2019 | Conference Paper | LibreCat-ID: 15641
M. Schlichtig et al., “Maschinelles Lernen im Unterricht mit Jupyter Notebook,” in INFOS, 2019, vol. P-288, p. 385.
LibreCat
2019 | Conference Paper | LibreCat-ID: 15643
S. A. Opel, M. Schlichtig, and C. Schulte, “Developing Teaching Materials on Artificial Intelligence by Using a Simulation Game (Work in Progress),” in WiPSCE, 2019, p. 11:1-11:2.
LibreCat
2019 | Conference Paper | LibreCat-ID: 13259
W.-F. Chen, K. Al-Khatib, M. Hagen, H. Wachsmuth, and B. 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, 2019, pp. 76–82.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 13904 |
J. Blömer, J. Bobolz, D. P. Diemert, and F. Eidens, “Updatable Anonymous Credentials and Applications to Incentive Systems,” presented at the 26th ACM Conference on Computer and Communications Security, London, 2019, doi: 10.1145/3319535.3354223.
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 10108
F. Pauck and H. 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, 2019, pp. 374–384, doi: 10.1145/3338906.3338915.
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 13874
T. Isenberg, M.-C. Jakobs, F. Pauck, and H. 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, 2019, pp. 3–20, doi: 10.1007/978-3-030-31157-5_1.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 20243
K. Rohlfing, G. Leonardi, I. Nomikou, J. Rączaszek-Leonardi, and E. Hüllermeier, “Multimodal Turn-Taking: Motivations, Methodological Challenges, and Novel Approaches,” IEEE Transactions on Cognitive and Developmental Systems, 2019, doi: 10.1109/TCDS.2019.2892991.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13297 |
S. Gharibian and O. 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), 2019, vol. 145, p. 31:1-31:17, doi: 10.4230/LIPICS.APPROX-RANDOM.2019.31.
LibreCat
| DOI
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 13558 |
S. Gharibian and J. Yirka, “The complexity of simulating local measurements on quantum systems,” Quantum, vol. 3, p. 189, 2019, doi: 10.22331/q-2019-09-30-189.
LibreCat
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 9913 |
Q. A. Ahmed, T. Wiersema, and M. Platzner, “Proof-Carrying Hardware Versus the Stealthy Malicious LUT Hardware Trojan,” in Applied Reconfigurable Computing, Darmstadt, Germany, 2019, vol. 11444, pp. 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
P. Schubert, R. Leer, B. Hermann, and E. Bodden, “Know your analysis: how instrumentation aids understanding static analysis,” 2019, doi: 10.1145/3315568.3329965.
LibreCat
| DOI
2019 | Mastersthesis | LibreCat-ID: 15874 |
C. Lienen, Implementing a Real-time System on a Platform FPGA operated with ReconOS. Universität Paderborn.
LibreCat
| Files available
2019 | Journal Article | LibreCat-ID: 21
D. Richters, M. Lass, A. Walther, C. Plessl, and T. Kühne, “A General Algorithm to Calculate the Inverse Principal p-th Root of Symmetric Positive Definite Matrices,” Communications in Computational Physics, vol. 25, no. 2, pp. 564–585, 2019, doi: 10.4208/cicp.OA-2018-0053.
LibreCat
| DOI
| arXiv
2019 | Journal Article | LibreCat-ID: 12871 |
M. Platzner and C. Plessl, “FPGAs im Rechenzentrum,” Informatik Spektrum, 2019, doi: 10.1007/s00287-019-01187-w.
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 46338
J. Bossek, C. Grimme, S. Meisel, G. Rudolph, and H. Trautmann, “Bi-Objective Orienteering: Towards a Dynamic Multi-Objective Evolutionary Algorithm,” in Evolutionary Multi-Criterion Optimization (EMO), 2019, vol. 11411, pp. 516–528, doi: 10.1007/978-3-030-12598-1_41.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 46343
C. Grimme, P. Kerschke, and H. Trautmann, “Multimodality in Multi-Objective Optimization — More Boon than Bane?,” in Proceedings of the 10$^th$ International Conference on Evolutionary Multi-Criterion Optimization (EMO), 2019, vol. 11411, pp. 126–138, doi: 10.1007/978-3-030-12598-1_11.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 46345
P. Kerschke, H. H. Hoos, F. Neumann, and H. Trautmann, “Automated Algorithm Selection: Survey and Perspectives,” Evolutionary Computation (ECJ), vol. 27, no. 1, pp. 3–45, 2019, doi: 10.1162/evco_a_00242.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 46339
J. Bossek, P. Kerschke, A. Neumann, M. Wagner, F. Neumann, and H. 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), 2019, pp. 58–71, doi: 10.1145/3299904.3340307.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 46337
J. Bossek and H. Trautmann, “Multi-Objective Performance Measurement: Alternatives to PAR10 and Expected Running Time,” in Learning and Intelligent Optimization, 2019, vol. 11353, pp. 215–219.
LibreCat
2019 | Journal Article | LibreCat-ID: 46344
M. Carnein and H. Trautmann, “Optimizing Data Stream Representation: An Extensive Survey on Stream Clustering Algorithms,” Business and Information Systems Engineering (BISE), vol. 61, no. 3, pp. 277–297, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 46340
M. Carnein, L. Homann, H. Trautmann, and G. Vossen, “A Recommender System Based on Omni-Channel Customer Data,” in Proceedings of the 21$^st$ IEEE Conference on Business Informatics (CBI’ 19), 2019, pp. 65–74.
LibreCat
2019 | Conference Paper | LibreCat-ID: 46341
M. Carnein and H. 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), 2019, pp. 280–292.
LibreCat
2019 | Conference Paper | LibreCat-ID: 46342
C. Grimme, P. Kerschke, M. T. M. Emmerich, M. Preuss, A. H. Deutz, and H. Trautmann, “Sliding to the Global Optimum: How to Benefit from Non-Global Optima in Multimodal Multi-Objective Optimization,” in AIP Conference Proceedings, 2019, pp. 020052-1-020052–4, doi: 10.1063/1.5090019.
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 46336
P. Kerschke and H. Trautmann, “Comprehensive Feature-Based Landscape Analysis of Continuous and Constrained Optimization Problems Using the R-package flacco,” in Applications in Statistical Computing, N. Bauer, K. Ickstadt, K. Lübke, G. Szepannek, H. Trautmann, and M. Vichi, Eds. Springer, 2019, pp. 93–123.
LibreCat
| DOI
2019 | Book | LibreCat-ID: 46335
H. Trautmann, Applications in Statistical Computing — From Music Data Analysis to Industrial Quality Improvement. Springer International Publishing, 2019.
LibreCat
2019 | Journal Article | LibreCat-ID: 46346
P. Kerschke and H. Trautmann, “Automated Algorithm Selection on Continuous Black-Box Problems By Combining Exploratory Landscape Analysis and Machine Learning,” Evolutionary Computation (ECJ), vol. 27, no. 1, pp. 99–127, 2019, doi: 10.1162/evco_a_00236.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 46347
P. Kerschke et al., “Search Dynamics on Multimodal Multi-Objective Problems,” Evolutionary Computation (ECJ), vol. 27, no. 4, pp. 577–609, 2019, doi: 10.1162/evco_a_00234.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 48841
J. Bossek, C. Grimme, S. Meisel, G. Rudolph, and H. Trautmann, “Bi-Objective Orienteering: Towards a Dynamic Multi-objective Evolutionary Algorithm,” in Evolutionary Multi-Criterion Optimization (EMO), 2019, pp. 516–528, doi: 10.1007/978-3-030-12598-1_41.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 48842
J. Bossek, P. Kerschke, A. Neumann, M. Wagner, F. Neumann, and H. 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, 2019, pp. 58–71, doi: 10.1145/3299904.3340307.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 48843
J. Bossek, F. Neumann, P. Peng, and D. Sudholt, “Runtime Analysis of Randomized Search Heuristics for Dynamic Graph Coloring,” in Proceedings of the Genetic and Evolutionary Computation Conference, 2019, pp. 1443–1451, doi: 10.1145/3321707.3321792.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 48840
J. Bossek, C. Grimme, and F. 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, 2019, pp. 516–523, doi: 10.1145/3321707.3321818.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 48858
J. Bossek and C. Grimme, “Solving Scalarized Subproblems within Evolutionary Algorithms for Multi-criteria Shortest Path Problems,” in Learning and Intelligent Optimization, 2019, pp. 184–198, doi: 10.1007/978-3-030-05348-2_17.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 48870
J. Bossek and D. 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, 2019, pp. 102–115, doi: 10.1145/3299904.3340311.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 48875
J. Bossek and H. Trautmann, “Multi-Objective Performance Measurement: Alternatives to PAR10 and Expected Running Time,” in Learning and Intelligent Optimization, 2019, pp. 215–219, doi: 10.1007/978-3-030-05348-2_19.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 48877
G. Casalicchio et al., “OpenML: An R Package to Connect to the Machine Learning Platform OpenML,” Computational Statistics, vol. 34, no. 3, pp. 977–991, 2019, doi: 10.1007/s00180-017-0742-2.
LibreCat
| DOI
2019 | Mastersthesis | LibreCat-ID: 52478
J. D. Mehta, Multithreaded Software/Hardware Programming with ReconOS/freeRTOS on a Reconfigurable System-on-Chip. 2019.
LibreCat
2018 | Conference Paper | LibreCat-ID: 2474
H. Afifi, S. Auroux, and H. Karl, “MARVELO: Wireless Virtual Network Embedding for Overlay Graphs with Loops,” 2018.
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 2476
B. Shiferaw Heyi and H. Karl, “Modelling Time-Limited Capacity of a Wireless Channel as aMarkov Reward Process,” 2018.
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 2479 |
F. Mohr, M. D. Wever, E. Hüllermeier, and A. Faez, “(WIP) Towards the Automated Composition of Machine Learning Services,” in SCC, San Francisco, CA, USA, 2018.
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 2480 |
S. Dräxler, M. Peuster, M. Illian, and H. Karl, “Generating Resource and Performance Models for Service Function Chains: The Video Streaming Case,” in 4th IEEE International Conference on Network Softwarization (NetSoft 2018), Montreal, 2018, pp. 318--322.
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 2481 |
S. Dräxler, S. B. Schneider, and H. Karl, “ Scaling and Placing Bidirectional Services with Stateful Virtual and Physical Network Functions,” in 4th IEEE International Conference on Network Softwarization (NetSoft 2018), Montreal, 2018, pp. 123--131.
LibreCat
| Files available
2018 | Report | LibreCat-ID: 2483 |
S. Dräxler, M. Peuster, M. Illian, and H. Karl, Towards Predicting Resource Demands and Performance of Distributed Cloud Services. Wien, Darmstadt, 2018.
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 2484
B. Feldkord et al., “Fully-Dynamic Bin Packing with Little Repacking,” in 45th International Colloquium on Automata, Languages, and Programming (ICALP 2018), Prag, 2018, vol. 107, pp. 51:1-51:24.
LibreCat
| Files available
| DOI
| arXiv
2018 | Conference Paper | LibreCat-ID: 2485
B. Feldkord and F. Meyer auf der Heide, “Online Facility Location with Mobile Facilities,” in Proceedings of the 30th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), Wien, 2018, pp. 373–381.
LibreCat
| Files available
| DOI
2018 | Bachelorsthesis | LibreCat-ID: 25121
D. J. Liedtke, Influence of Stationary Robots on Continuous Robot Formation Problems. 2018.
LibreCat
| Files available
2018 | Preprint | LibreCat-ID: 19524
K. Pfannschmidt, P. Gupta, and E. Hüllermeier, “Deep Architectures for Learning Context-dependent Ranking Functions,” arXiv:1803.05796. 2018.
LibreCat
2018 | Preprint | LibreCat-ID: 19978
C. Markarian, “Online Connected Dominating Set Leasing,” arXiv:1805.02994. 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 20188
I. Habernal, H. Wachsmuth, I. Gurevych, and B. 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, 2018, pp. 1930–1940.
LibreCat
2018 | Conference Paper | LibreCat-ID: 2831
M. Feldotto, C.-J. Haake, A. Skopalik, and N. Stroh-Maraun, “Disaggregating User Evaluations Using the Shapley Value,” in Proceedings of the 13th Workshop on Economics of Networks, Systems and Computation (NetEcon 2018), Irvine, California, USA, 2018, pp. 5:1-5:6.
LibreCat
| Files available
| DOI
2018 | Journal Article | LibreCat-ID: 2848
S. Li, C. Markarian, and F. Meyer auf der Heide, “Towards Flexible Demands in Online Leasing Problems. ,” Algorithmica, vol. 80, no. 5, pp. 1556–1574, 2018.
LibreCat
| Files available
| DOI
2018 | Journal Article | LibreCat-ID: 2849
F. N. Abu-Khzam, C. Markarian, F. Meyer auf der Heide, and M. Schubert, “Approximation and Heuristic Algorithms for Computing Backbones in Asymmetric Ad-hoc Networks,” Theory of Computing Systems, 2018.
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 2850
H. Hamann, C. Markarian, F. Meyer auf der Heide, and M. 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.
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 2857 |
F. Mohr, T. Lettmann, E. Hüllermeier, and M. D. Wever, “Programmatic Task Network Planning,” in Proceedings of the 1st ICAPS Workshop on Hierarchical Planning, Delft, Netherlands, 2018, pp. 31–39.
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 2862 |
J. Blömer, F. Eidens, and J. 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, San Francisco, CA, USA, 2018, pp. 470–490.
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Journal Article | LibreCat-ID: 24150
A. Ramaswamy and S. Bhatnagar, “Stability of stochastic approximations with ‘controlled markov’ noise and temporal difference learning,” IEEE Transactions on Automatic Control, vol. 64, no. 6, pp. 2614–2620, 2018.
LibreCat
2018 | Journal Article | LibreCat-ID: 24151
B. Demirel, A. Ramaswamy, D. E. Quevedo, and H. Karl, “Deepcas: A deep reinforcement learning algorithm for control-aware scheduling,” IEEE Control Systems Letters, vol. 2, no. 4, pp. 737–742, 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 24396
C. Markarian, “An Optimal Algorithm for Online Prize-Collecting Node-Weighted Steiner Forest,” 2018, doi: 10.1007/978-3-319-94667-2_18.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 2471 |
F. Mohr, M. D. Wever, and E. Hüllermeier, “On-The-Fly Service Construction with Prototypes,” in SCC, San Francisco, CA, USA, 2018.
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 2472
S. Auroux and H. Karl, “Distributed Placement of Virtualized Control Applications in Mobile Backhaul Networks,” 2018.
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 26421
F. Winkelnkemper and R. Keil, “MediaThing – A Learning Scenario Targeting on Research Skills,” in Proceedings of EdMedia: World Conference on Educational Media and Technology., 2018, pp. 2397–2406.
LibreCat
2018 | Conference Paper | LibreCat-ID: 26422
E.-M. Seng, R. Keil, and G. Oevel, “studiolo communis,” 2018, pp. 1–5.
LibreCat
2018 | Conference Paper | LibreCat-ID: 26423
R. Keil, “Unterst{\"u}tzung kontingenter Wissensarbeit. Ein Rahmenwerk f{\"u}r die Entwicklung digitaler Arbeitsumgebungen zur Unterst{\"u}tzung des Forschungsdiskurses in den Kulturwissenschaften,” 2018.
LibreCat
2018 | Book | LibreCat-ID: 26424
E.-M Seng, R. Keil, and G. Oevel, STUDIOLO. Kooperative Forschungsumgebungen in den eHumanities. Berlin, Bosten: De Gruyter, 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 26425
H. Selke, “Data science in schools from the perspective of contextual informatics,” 2018, pp. 107–109.
LibreCat
2018 | Journal Article | LibreCat-ID: 2685
J. Blömer and K. Kohn, “Voronoi Cells of Lattices with Respect to Arbitrary Norms,” SIAM Journal on Applied Algebra and Geometry., vol. 2, no. 2, pp. 314–338, 2018.
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 3217
B. Demirel, A. Ramaswamy, D. Quevedo, and H. Karl, “DeepCAS: A Deep Reinforcement Learning Algorithm for Control-Aware Scheduling,” 2018.
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 3265 |
K. Bemmann et al., “Fully-Featured Anonymous Credentials with Reputation System,” in Proceedings of the 13th International Conference on Availability, Reliability and Security - ARES ’18, Hamburg, Germany.
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Bachelorsthesis | LibreCat-ID: 3320
K. Rautenberg, Korrektheitsbeweise für Muster von Servicekompositionen. Universität Paderborn, 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 3345 |
M. Peuster, H. Küttner, and H. 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.
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 3346 |
M. Peuster, J. Kampmeyer, and H. Karl, “Containernet 2.0: A Rapid Prototyping Platform for Hybrid Service Function Chains,” in 4th IEEE International Conference on Network Softwarization (NetSoft 2018), Montreal.
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 3347 |
M. Peuster, M. Marchetti, G. Garcia de Blas, and H. Karl, “Emulation-based Smoke Testing of NFV Orchestrators in Large Multi-PoP Environments,” in European Conference on Networks and Communications (EuCNC), Ljubljana.
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 3362
A. Lösch, A. Wiens, and M. Platzner, “Ampehre: An Open Source Measurement Framework for Heterogeneous Compute Nodes,” in Proceedings of the International Conference on Architecture of Computing Systems (ARCS), 2018, vol. 10793, pp. 73–84.
LibreCat
| Files available
| DOI
2018 | Bachelorsthesis | LibreCat-ID: 3365
J.-P. Schnuer, Static Scheduling Algorithms for Heterogeneous Compute Nodes. Universität Paderborn, 2018.
LibreCat
2018 | Bachelorsthesis | LibreCat-ID: 3366
M. Croce, Evaluation of OpenCL-based Compilation for FPGAs. Universität Paderborn, 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 3373
T. Hansmeier, M. Platzner, and D. Andrews, “An FPGA/HMC-Based Accelerator for Resolution Proof Checking,” in ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications, Santorini, Greece, 2018, vol. 10824, pp. 153–165.
LibreCat
| Files available
| DOI