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 | 
Updatable Anonymous Credentials and Applications to Incentive Systems
J. Blömer, J. Bobolz, D.P. Diemert, F. Eidens, in: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security - CCS ’19, 2019.
LibreCat
| Files available
| DOI
| Download (ext.)
J. Blömer, J. Bobolz, D.P. Diemert, F. Eidens, in: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security - CCS ’19, 2019.
2019 | Conference Paper | LibreCat-ID: 10108
Together Strong: Cooperative Android App Analysis
F. Pauck, H. Wehrheim, 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.
LibreCat
| Files available
| DOI
F. Pauck, H. Wehrheim, 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.
2019 | Conference Paper | LibreCat-ID: 13874
When Are Software Verification Results Valid for Approximate Hardware?
T. Isenberg, M.-C. Jakobs, F. Pauck, H. Wehrheim, 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.
LibreCat
| DOI
T. Isenberg, M.-C. Jakobs, F. Pauck, H. Wehrheim, 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.
2019 | Journal Article | LibreCat-ID: 20243
Multimodal Turn-Taking: Motivations, Methodological Challenges, and Novel Approaches
K. Rohlfing, G. Leonardi, I. Nomikou, J. Rączaszek-Leonardi, E. Hüllermeier, IEEE Transactions on Cognitive and Developmental Systems (2019).
LibreCat
| DOI
K. Rohlfing, G. Leonardi, I. Nomikou, J. Rączaszek-Leonardi, E. Hüllermeier, IEEE Transactions on Cognitive and Developmental Systems (2019).
2019 | Conference Paper | LibreCat-ID: 13297 |
Almost Optimal Classical Approximation Algorithms for a Quantum Generalization of Max-Cut
S. Gharibian, O. Parekh, in: Proceedings of the 22nd International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (APPROX), 2019, p. 31:1-31:17.
LibreCat
| DOI
| Download (ext.)
S. Gharibian, O. Parekh, in: Proceedings of the 22nd International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (APPROX), 2019, p. 31:1-31:17.
2019 | Journal Article | LibreCat-ID: 13558 |
The complexity of simulating local measurements on quantum systems
S. Gharibian, J. Yirka, Quantum 3 (2019) 189.
LibreCat
| DOI
| Download (ext.)
S. Gharibian, J. Yirka, Quantum 3 (2019) 189.
2019 | Conference Paper | LibreCat-ID: 9913 |
Proof-Carrying Hardware Versus the Stealthy Malicious LUT Hardware Trojan
Q.A. Ahmed, T. Wiersema, M. Platzner, in: C. Hochberger, B. Nelson, A. Koch, R. Woods, P. Diniz (Eds.), Applied Reconfigurable Computing, Springer International Publishing, Cham, 2019, pp. 127–136.
LibreCat
| Files available
| DOI
| Download (ext.)
Q.A. Ahmed, T. Wiersema, M. Platzner, in: C. Hochberger, B. Nelson, A. Koch, R. Woods, P. Diniz (Eds.), Applied Reconfigurable Computing, Springer International Publishing, Cham, 2019, pp. 127–136.
2019 | Bachelorsthesis | LibreCat-ID: 45231
Conception of a digital Sales Bonus System based on Blockchain Technology
N. N., Conception of a Digital Sales Bonus System Based on Blockchain Technology, 2019.
LibreCat
N. N., Conception of a Digital Sales Bonus System Based on Blockchain Technology, 2019.
2019 | Conference Paper | LibreCat-ID: 14898
Know your analysis: how instrumentation aids understanding static analysis
P. Schubert, R. Leer, B. Hermann, E. Bodden, in: Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis - SOAP 2019, 2019.
LibreCat
| DOI
P. Schubert, R. Leer, B. Hermann, E. Bodden, in: Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis - SOAP 2019, 2019.
2019 | Mastersthesis | LibreCat-ID: 15874 |
Implementing a Real-time System on a Platform FPGA operated with ReconOS
C. Lienen, Implementing a Real-Time System on a Platform FPGA Operated with ReconOS, Universität Paderborn, n.d.
LibreCat
| Files available
C. Lienen, Implementing a Real-Time System on a Platform FPGA Operated with ReconOS, Universität Paderborn, n.d.
2019 | Journal Article | LibreCat-ID: 21
A General Algorithm to Calculate the Inverse Principal p-th Root of Symmetric Positive Definite Matrices
D. Richters, M. Lass, A. Walther, C. Plessl, T. Kühne, Communications in Computational Physics 25 (2019) 564–585.
LibreCat
| DOI
| arXiv
D. Richters, M. Lass, A. Walther, C. Plessl, T. Kühne, Communications in Computational Physics 25 (2019) 564–585.
2019 | Journal Article | LibreCat-ID: 12871 |
FPGAs im Rechenzentrum
M. Platzner, C. Plessl, Informatik Spektrum (2019).
LibreCat
| Files available
| DOI
M. Platzner, C. Plessl, Informatik Spektrum (2019).
2019 | Conference Paper | LibreCat-ID: 46338
Bi-Objective Orienteering: Towards a Dynamic Multi-Objective Evolutionary Algorithm
J. Bossek, C. Grimme, S. Meisel, G. Rudolph, H. Trautmann, in: K. Deb, E. Goodman, C.C.A. Coello, K. Klamroth, K. Miettinen, S. Mostaghim, P. Reed (Eds.), Evolutionary Multi-Criterion Optimization (EMO), Springer International Publishing, East Lansing, Michigan, USA, 2019, pp. 516–528.
LibreCat
| DOI
J. Bossek, C. Grimme, S. Meisel, G. Rudolph, H. Trautmann, in: K. Deb, E. Goodman, C.C.A. Coello, K. Klamroth, K. Miettinen, S. Mostaghim, P. Reed (Eds.), Evolutionary Multi-Criterion Optimization (EMO), Springer International Publishing, East Lansing, Michigan, USA, 2019, pp. 516–528.
2019 | Conference Paper | LibreCat-ID: 46343
Multimodality in Multi-Objective Optimization — More Boon than Bane?
C. Grimme, P. Kerschke, H. Trautmann, in: K. Deb, E. Goodman, C.C.A. Coello, K. Klamroth, K. Miettinen, S. Mostaghim, P. Reed (Eds.), Proceedings of the 10$^th$ International Conference on Evolutionary Multi-Criterion Optimization (EMO), Springer, East Lansing, MI, USA, 2019, pp. 126–138.
LibreCat
| DOI
C. Grimme, P. Kerschke, H. Trautmann, in: K. Deb, E. Goodman, C.C.A. Coello, K. Klamroth, K. Miettinen, S. Mostaghim, P. Reed (Eds.), Proceedings of the 10$^th$ International Conference on Evolutionary Multi-Criterion Optimization (EMO), Springer, East Lansing, MI, USA, 2019, pp. 126–138.
2019 | Journal Article | LibreCat-ID: 46345
Automated Algorithm Selection: Survey and Perspectives
P. Kerschke, H.H. Hoos, F. Neumann, H. Trautmann, Evolutionary Computation (ECJ) 27 (2019) 3–45.
LibreCat
| DOI
P. Kerschke, H.H. Hoos, F. Neumann, H. Trautmann, Evolutionary Computation (ECJ) 27 (2019) 3–45.
2019 | Conference Paper | LibreCat-ID: 46339
Evolving Diverse TSP Instances by Means of Novel and Creative Mutation Operators
J. Bossek, P. Kerschke, A. Neumann, M. Wagner, F. Neumann, H. Trautmann, in: T. Friedrich, C. Doerr, D. Arnold (Eds.), Proceedings of the 15$^th$ ACM/SIGEVO Workshop on Foundations of Genetic Algorithms (FOGA XV), Potsdam, Germany, 2019, pp. 58–71.
LibreCat
| DOI
J. Bossek, P. Kerschke, A. Neumann, M. Wagner, F. Neumann, H. Trautmann, in: T. Friedrich, C. Doerr, D. Arnold (Eds.), Proceedings of the 15$^th$ ACM/SIGEVO Workshop on Foundations of Genetic Algorithms (FOGA XV), Potsdam, Germany, 2019, pp. 58–71.
2019 | Conference Paper | LibreCat-ID: 46337
Multi-Objective Performance Measurement: Alternatives to PAR10 and Expected Running Time
J. Bossek, H. Trautmann, in: R. Battiti, M. Brunato, I. Kotsireas, P. Pardalos (Eds.), Learning and Intelligent Optimization, Springer, Cham, 2019, pp. 215–219.
LibreCat
J. Bossek, H. Trautmann, in: R. Battiti, M. Brunato, I. Kotsireas, P. Pardalos (Eds.), Learning and Intelligent Optimization, Springer, Cham, 2019, pp. 215–219.
2019 | Journal Article | LibreCat-ID: 46344
Optimizing Data Stream Representation: An Extensive Survey on Stream Clustering Algorithms
M. Carnein, H. Trautmann, Business and Information Systems Engineering (BISE) 61 (2019) 277–297.
LibreCat
M. Carnein, H. Trautmann, Business and Information Systems Engineering (BISE) 61 (2019) 277–297.
2019 | Conference Paper | LibreCat-ID: 46340
A Recommender System Based on Omni-Channel Customer Data
M. Carnein, L. Homann, H. Trautmann, G. Vossen, in: Proceedings of the 21$^st$ IEEE Conference on Business Informatics (CBI’ 19), Moscow, Russia, 2019, pp. 65–74.
LibreCat
M. Carnein, L. Homann, H. Trautmann, G. Vossen, in: Proceedings of the 21$^st$ IEEE Conference on Business Informatics (CBI’ 19), Moscow, Russia, 2019, pp. 65–74.
2019 | Conference Paper | LibreCat-ID: 46341
Customer Segmentation Based on Transactional Data Using Stream Clustering
M. Carnein, H. Trautmann, in: Proceedings of the 23$^rd$ Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD ’19), Macau, China, 2019, pp. 280–292.
LibreCat
M. Carnein, H. Trautmann, in: Proceedings of the 23$^rd$ Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD ’19), Macau, China, 2019, pp. 280–292.
2019 | Conference Paper | LibreCat-ID: 46342
Sliding to the Global Optimum: How to Benefit from Non-Global Optima in Multimodal Multi-Objective Optimization
C. Grimme, P. Kerschke, M.T.M. Emmerich, M. Preuss, A.H. Deutz, H. Trautmann, in: AIP Conference Proceedings, AIP Publishing, Leiden, The Netherlands, 2019, pp. 020052-1-020052–4.
LibreCat
| DOI
C. Grimme, P. Kerschke, M.T.M. Emmerich, M. Preuss, A.H. Deutz, H. Trautmann, in: AIP Conference Proceedings, AIP Publishing, Leiden, The Netherlands, 2019, pp. 020052-1-020052–4.
2019 | Book Chapter | LibreCat-ID: 46336
Comprehensive Feature-Based Landscape Analysis of Continuous and Constrained Optimization Problems Using the R-package flacco
P. Kerschke, H. Trautmann, in: N. Bauer, K. Ickstadt, K. Lübke, G. Szepannek, H. Trautmann, M. Vichi (Eds.), Applications in Statistical Computing, Springer, 2019, pp. 93–123.
LibreCat
| DOI
P. Kerschke, H. Trautmann, in: N. Bauer, K. Ickstadt, K. Lübke, G. Szepannek, H. Trautmann, M. Vichi (Eds.), Applications in Statistical Computing, Springer, 2019, pp. 93–123.
2019 | Book | LibreCat-ID: 46335
Applications in Statistical Computing — From Music Data Analysis to Industrial Quality Improvement
H. Trautmann, Applications in Statistical Computing — From Music Data Analysis to Industrial Quality Improvement, Springer International Publishing, 2019.
LibreCat
H. Trautmann, Applications in Statistical Computing — From Music Data Analysis to Industrial Quality Improvement, Springer International Publishing, 2019.
2019 | Journal Article | LibreCat-ID: 46346
Automated Algorithm Selection on Continuous Black-Box Problems By Combining Exploratory Landscape Analysis and Machine Learning
P. Kerschke, H. Trautmann, Evolutionary Computation (ECJ) 27 (2019) 99–127.
LibreCat
| DOI
P. Kerschke, H. Trautmann, Evolutionary Computation (ECJ) 27 (2019) 99–127.
2019 | Journal Article | LibreCat-ID: 46347
Search Dynamics on Multimodal Multi-Objective Problems
P. Kerschke, H. Wang, M. Preuss, C. Grimme, A. Deutz, H. Trautmann, M. Emmerich, Evolutionary Computation (ECJ) 27 (2019) 577–609.
LibreCat
| DOI
P. Kerschke, H. Wang, M. Preuss, C. Grimme, A. Deutz, H. Trautmann, M. Emmerich, Evolutionary Computation (ECJ) 27 (2019) 577–609.
2019 | Conference Paper | LibreCat-ID: 48841
Bi-Objective Orienteering: Towards a Dynamic Multi-objective Evolutionary Algorithm
J. Bossek, C. Grimme, S. Meisel, G. Rudolph, H. Trautmann, in: K. Deb, E. Goodman, C.A. Coello Coello, K. Klamroth, K. Miettinen, S. Mostaghim, P. Reed (Eds.), Evolutionary Multi-Criterion Optimization (EMO), Springer International Publishing, Cham, 2019, pp. 516–528.
LibreCat
| DOI
J. Bossek, C. Grimme, S. Meisel, G. Rudolph, H. Trautmann, in: K. Deb, E. Goodman, C.A. Coello Coello, K. Klamroth, K. Miettinen, S. Mostaghim, P. Reed (Eds.), Evolutionary Multi-Criterion Optimization (EMO), Springer International Publishing, Cham, 2019, pp. 516–528.
2019 | Conference Paper | LibreCat-ID: 48842
Evolving Diverse TSP Instances by Means of Novel and Creative Mutation Operators
J. Bossek, P. Kerschke, A. Neumann, M. Wagner, F. Neumann, H. Trautmann, in: Proceedings of the 15th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, Association for Computing Machinery, New York, NY, USA, 2019, pp. 58–71.
LibreCat
| DOI
J. Bossek, P. Kerschke, A. Neumann, M. Wagner, F. Neumann, H. Trautmann, in: Proceedings of the 15th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, Association for Computing Machinery, New York, NY, USA, 2019, pp. 58–71.
2019 | Conference Paper | LibreCat-ID: 48843
Runtime Analysis of Randomized Search Heuristics for Dynamic Graph Coloring
J. Bossek, F. Neumann, P. Peng, D. Sudholt, in: Proceedings of the Genetic and Evolutionary Computation Conference, Association for Computing Machinery, New York, NY, USA, 2019, pp. 1443–1451.
LibreCat
| DOI
J. Bossek, F. Neumann, P. Peng, D. Sudholt, in: Proceedings of the Genetic and Evolutionary Computation Conference, Association for Computing Machinery, New York, NY, USA, 2019, pp. 1443–1451.
2019 | Conference Paper | LibreCat-ID: 48840
On the Benefits of Biased Edge-Exchange Mutation for the Multi-Criteria Spanning Tree Problem
J. Bossek, C. Grimme, F. Neumann, in: Proceedings of the Genetic and Evolutionary Computation Conference, Association for Computing Machinery, New York, NY, USA, 2019, pp. 516–523.
LibreCat
| DOI
J. Bossek, C. Grimme, F. Neumann, in: Proceedings of the Genetic and Evolutionary Computation Conference, Association for Computing Machinery, New York, NY, USA, 2019, pp. 516–523.
2019 | Conference Paper | LibreCat-ID: 48858
Solving Scalarized Subproblems within Evolutionary Algorithms for Multi-criteria Shortest Path Problems
J. Bossek, C. Grimme, in: R. Battiti, M. Brunato, I. Kotsireas, P.M. Pardalos (Eds.), Learning and Intelligent Optimization, Springer International Publishing, Cham, 2019, pp. 184–198.
LibreCat
| DOI
J. Bossek, C. Grimme, in: R. Battiti, M. Brunato, I. Kotsireas, P.M. Pardalos (Eds.), Learning and Intelligent Optimization, Springer International Publishing, Cham, 2019, pp. 184–198.
2019 | Conference Paper | LibreCat-ID: 48870
Time Complexity Analysis of RLS and (1 + 1) EA for the Edge Coloring Problem
J. Bossek, D. Sudholt, in: Proceedings of the 15th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, Association for Computing Machinery, New York, NY, USA, 2019, pp. 102–115.
LibreCat
| DOI
J. Bossek, D. Sudholt, in: Proceedings of the 15th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, Association for Computing Machinery, New York, NY, USA, 2019, pp. 102–115.
2019 | Conference Paper | LibreCat-ID: 48875
Multi-Objective Performance Measurement: Alternatives to PAR10 and Expected Running Time
J. Bossek, H. Trautmann, in: R. Battiti, M. Brunato, I. Kotsireas, P.M. Pardalos (Eds.), Learning and Intelligent Optimization, Springer International Publishing, Cham, 2019, pp. 215–219.
LibreCat
| DOI
J. Bossek, H. Trautmann, in: R. Battiti, M. Brunato, I. Kotsireas, P.M. Pardalos (Eds.), Learning and Intelligent Optimization, Springer International Publishing, Cham, 2019, pp. 215–219.
2019 | Journal Article | LibreCat-ID: 48877
OpenML: An R Package to Connect to the Machine Learning Platform OpenML
G. Casalicchio, J. Bossek, M. Lang, D. Kirchhoff, P. Kerschke, B. Hofner, H. Seibold, J. Vanschoren, B. Bischl, Computational Statistics 34 (2019) 977–991.
LibreCat
| DOI
G. Casalicchio, J. Bossek, M. Lang, D. Kirchhoff, P. Kerschke, B. Hofner, H. Seibold, J. Vanschoren, B. Bischl, Computational Statistics 34 (2019) 977–991.
2019 | Mastersthesis | LibreCat-ID: 52478
Multithreaded Software/Hardware Programming with ReconOS/freeRTOS on a Reconfigurable System-on-Chip
J.D. Mehta, Multithreaded Software/Hardware Programming with ReconOS/FreeRTOS on a Reconfigurable System-on-Chip, 2019.
LibreCat
J.D. Mehta, Multithreaded Software/Hardware Programming with ReconOS/FreeRTOS on a Reconfigurable System-on-Chip, 2019.
2018 | Conference Paper | LibreCat-ID: 2474
MARVELO: Wireless Virtual Network Embedding for Overlay Graphs with Loops
H. Afifi, S. Auroux, H. Karl, in: Proc. of IEEE Wireless Communications and Networking Conference (WCNC), 2018.
LibreCat
| Files available
H. Afifi, S. Auroux, H. Karl, in: Proc. of IEEE Wireless Communications and Networking Conference (WCNC), 2018.
2018 | Conference Paper | LibreCat-ID: 2476
Modelling Time-Limited Capacity of a Wireless Channel as aMarkov Reward Process
B. Shiferaw Heyi, H. Karl, in: Proc. of IEEE Wireless Communications and Networking Conference (WCNC), 2018.
LibreCat
| Files available
B. Shiferaw Heyi, H. Karl, in: Proc. of IEEE Wireless Communications and Networking Conference (WCNC), 2018.
2018 | Conference Paper | LibreCat-ID: 2479 |
(WIP) Towards the Automated Composition of Machine Learning Services
F. Mohr, M.D. Wever, E. Hüllermeier, A. Faez, in: SCC, IEEE, San Francisco, CA, USA, 2018.
LibreCat
| Files available
| DOI
| Download (ext.)
F. Mohr, M.D. Wever, E. Hüllermeier, A. Faez, in: SCC, IEEE, San Francisco, CA, USA, 2018.
2018 | Conference Paper | LibreCat-ID: 2480 |
Generating Resource and Performance Models for Service Function Chains: The Video Streaming Case
S. Dräxler, M. Peuster, M. Illian, H. Karl, in: 4th IEEE International Conference on Network Softwarization (NetSoft 2018), IEEE, 2018, pp. 318--322.
LibreCat
| Files available
| DOI
S. Dräxler, M. Peuster, M. Illian, H. Karl, in: 4th IEEE International Conference on Network Softwarization (NetSoft 2018), IEEE, 2018, pp. 318--322.
2018 | Conference Paper | LibreCat-ID: 2481 |
Scaling and Placing Bidirectional Services with Stateful Virtual and Physical Network Functions
S. Dräxler, S.B. Schneider, H. Karl, in: 4th IEEE International Conference on Network Softwarization (NetSoft 2018), IEEE, 2018, pp. 123--131.
LibreCat
| Files available
S. Dräxler, S.B. Schneider, H. Karl, in: 4th IEEE International Conference on Network Softwarization (NetSoft 2018), IEEE, 2018, pp. 123--131.
2018 | Report | LibreCat-ID: 2483 |
Towards Predicting Resource Demands and Performance of Distributed Cloud Services
S. Dräxler, M. Peuster, M. Illian, H. Karl, Towards Predicting Resource Demands and Performance of Distributed Cloud Services, Wien, Darmstadt, 2018.
LibreCat
| Files available
| Download (ext.)
S. Dräxler, M. Peuster, M. Illian, H. Karl, Towards Predicting Resource Demands and Performance of Distributed Cloud Services, Wien, Darmstadt, 2018.
2018 | Conference Paper | LibreCat-ID: 2484
Fully-Dynamic Bin Packing with Little Repacking
B. Feldkord, M. Feldotto, A. Gupta, G. Guruganesh, A. Kumar, S. Riechers, D. Wajc, in: I. Chatzigiannakis, C. Kaklamanis, D. Marx, D. Sannella (Eds.), 45th International Colloquium on Automata, Languages, and Programming (ICALP 2018), Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 2018, pp. 51:1-51:24.
LibreCat
| Files available
| DOI
| arXiv
B. Feldkord, M. Feldotto, A. Gupta, G. Guruganesh, A. Kumar, S. Riechers, D. Wajc, in: I. Chatzigiannakis, C. Kaklamanis, D. Marx, D. Sannella (Eds.), 45th International Colloquium on Automata, Languages, and Programming (ICALP 2018), Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 2018, pp. 51:1-51:24.
2018 | Conference Paper | LibreCat-ID: 2485
Online Facility Location with Mobile Facilities
B. Feldkord, F. Meyer auf der Heide, in: Proceedings of the 30th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), ACM, 2018, pp. 373–381.
LibreCat
| Files available
| DOI
B. Feldkord, F. Meyer auf der Heide, in: Proceedings of the 30th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), ACM, 2018, pp. 373–381.
2018 | Bachelorsthesis | LibreCat-ID: 25121
Influence of Stationary Robots on Continuous Robot Formation Problems
D.J. Liedtke, Influence of Stationary Robots on Continuous Robot Formation Problems, 2018.
LibreCat
| Files available
D.J. Liedtke, Influence of Stationary Robots on Continuous Robot Formation Problems, 2018.
2018 | Preprint | LibreCat-ID: 19524
Deep Architectures for Learning Context-dependent Ranking Functions
K. Pfannschmidt, P. Gupta, E. Hüllermeier, ArXiv:1803.05796 (2018).
LibreCat
K. Pfannschmidt, P. Gupta, E. Hüllermeier, ArXiv:1803.05796 (2018).
2018 | Preprint | LibreCat-ID: 19978
Online Connected Dominating Set Leasing
C. Markarian, ArXiv:1805.02994 (2018).
LibreCat
C. Markarian, ArXiv:1805.02994 (2018).
2018 | Journal Article | LibreCat-ID: 20
Using Approximate Computing for the Calculation of Inverse Matrix p-th Roots
M. Lass, T. Kühne, C. Plessl, Embedded Systems Letters 10 (2018) 33–36.
LibreCat
| DOI
| arXiv
M. Lass, T. Kühne, C. Plessl, Embedded Systems Letters 10 (2018) 33–36.
2018 | Conference Paper | LibreCat-ID: 20188
The Argument Reasoning Comprehension Task: Identification and Reconstruction of Implicit Warrants
I. Habernal, H. Wachsmuth, I. Gurevych, B. Stein, 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
I. Habernal, H. Wachsmuth, I. Gurevych, B. Stein, 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.
2018 | Conference Paper | LibreCat-ID: 2831
Disaggregating User Evaluations Using the Shapley Value
M. Feldotto, C.-J. Haake, A. Skopalik, N. Stroh-Maraun, in: Proceedings of the 13th Workshop on Economics of Networks, Systems and Computation (NetEcon 2018), 2018, pp. 5:1-5:6.
LibreCat
| Files available
| DOI
M. Feldotto, C.-J. Haake, A. Skopalik, N. Stroh-Maraun, in: Proceedings of the 13th Workshop on Economics of Networks, Systems and Computation (NetEcon 2018), 2018, pp. 5:1-5:6.
2018 | Journal Article | LibreCat-ID: 2848
Towards Flexible Demands in Online Leasing Problems.
S. Li, C. Markarian, F. Meyer auf der Heide, Algorithmica 80 (2018) 1556–1574.
LibreCat
| Files available
| DOI
S. Li, C. Markarian, F. Meyer auf der Heide, Algorithmica 80 (2018) 1556–1574.
2018 | Journal Article | LibreCat-ID: 2849
Approximation and Heuristic Algorithms for Computing Backbones in Asymmetric Ad-hoc Networks
F.N. Abu-Khzam, C. Markarian, F. Meyer auf der Heide, M. Schubert, Theory of Computing Systems (2018).
LibreCat
| Files available
| DOI
F.N. Abu-Khzam, C. Markarian, F. Meyer auf der Heide, M. Schubert, Theory of Computing Systems (2018).
2018 | Conference Paper | LibreCat-ID: 2850
Pick, Pack, & Survive: Charging Robots in a Modern Warehouse based on Online Connected Dominating Sets
H. Hamann, C. Markarian, F. Meyer auf der Heide, M. Wahby, in: Ninth International Conference on Fun with Algorithms (FUN), 2018.
LibreCat
| Files available
| DOI
H. Hamann, C. Markarian, F. Meyer auf der Heide, M. Wahby, in: Ninth International Conference on Fun with Algorithms (FUN), 2018.
2018 | Conference Paper | LibreCat-ID: 2857 |
Programmatic Task Network Planning
F. Mohr, T. Lettmann, E. Hüllermeier, M.D. Wever, in: Proceedings of the 1st ICAPS Workshop on Hierarchical Planning, AAAI, 2018, pp. 31–39.
LibreCat
| Files available
| Download (ext.)
F. Mohr, T. Lettmann, E. Hüllermeier, M.D. Wever, in: Proceedings of the 1st ICAPS Workshop on Hierarchical Planning, AAAI, 2018, pp. 31–39.
2018 | Conference Paper | LibreCat-ID: 2862 |
Practical, Anonymous, and Publicly Linkable Universally-Composable Reputation Systems
J. Blömer, F. Eidens, J. Juhnke, in: Topics in Cryptology - {CT-RSA} 2018 - The Cryptographers’ Track at the {RSA} Conference 2018, Proceedings, Springer International Publishing, Cham, 2018, pp. 470–490.
LibreCat
| Files available
| DOI
| Download (ext.)
J. Blömer, F. Eidens, J. Juhnke, in: Topics in Cryptology - {CT-RSA} 2018 - The Cryptographers’ Track at the {RSA} Conference 2018, Proceedings, Springer International Publishing, Cham, 2018, pp. 470–490.
2018 | Journal Article | LibreCat-ID: 24150
Stability of stochastic approximations with “controlled markov” noise and temporal difference learning
A. Ramaswamy, S. Bhatnagar, IEEE Transactions on Automatic Control 64 (2018) 2614–2620.
LibreCat
A. Ramaswamy, S. Bhatnagar, IEEE Transactions on Automatic Control 64 (2018) 2614–2620.
2018 | Journal Article | LibreCat-ID: 24151
Deepcas: A deep reinforcement learning algorithm for control-aware scheduling
B. Demirel, A. Ramaswamy, D.E. Quevedo, H. Karl, IEEE Control Systems Letters 2 (2018) 737–742.
LibreCat
B. Demirel, A. Ramaswamy, D.E. Quevedo, H. Karl, IEEE Control Systems Letters 2 (2018) 737–742.
2018 | Conference Paper | LibreCat-ID: 24396
An Optimal Algorithm for Online Prize-Collecting Node-Weighted Steiner Forest
C. Markarian, in: International Workshop on Combinatorial Algorithms (IWOCA), Cham, 2018.
LibreCat
| DOI
C. Markarian, in: International Workshop on Combinatorial Algorithms (IWOCA), Cham, 2018.
2018 | Conference Paper | LibreCat-ID: 2471 |
On-The-Fly Service Construction with Prototypes
F. Mohr, M.D. Wever, E. Hüllermeier, in: SCC, IEEE Computer Society, San Francisco, CA, USA, 2018.
LibreCat
| Files available
| DOI
| Download (ext.)
F. Mohr, M.D. Wever, E. Hüllermeier, in: SCC, IEEE Computer Society, San Francisco, CA, USA, 2018.
2018 | Conference Paper | LibreCat-ID: 2472
Distributed Placement of Virtualized Control Applications in Mobile Backhaul Networks
S. Auroux, H. Karl, in: Proc. of IEEE Wireless Communications and Networking Conference (WCNC), 2018.
LibreCat
| Files available
| DOI
S. Auroux, H. Karl, in: Proc. of IEEE Wireless Communications and Networking Conference (WCNC), 2018.
2018 | Conference Paper | LibreCat-ID: 26421
MediaThing – A Learning Scenario Targeting on Research Skills
F. Winkelnkemper, R. Keil, in: T. Bastiaens, J Van Braak, M Brown (Eds.), Proceedings of EdMedia: World Conference on Educational Media and Technology., Amsterdam, Netherlands, 2018, pp. 2397–2406.
LibreCat
F. Winkelnkemper, R. Keil, in: T. Bastiaens, J Van Braak, M Brown (Eds.), Proceedings of EdMedia: World Conference on Educational Media and Technology., Amsterdam, Netherlands, 2018, pp. 2397–2406.
2018 | Conference Paper | LibreCat-ID: 26422
studiolo communis
E.-M. Seng, R. Keil, G. Oevel, in: E.-M. Seng, R. Keil, G. Oevel (Eds.), De Gruyter, Berlin, Bosten, 2018, pp. 1–5.
LibreCat
E.-M. Seng, R. Keil, G. Oevel, in: E.-M. Seng, R. Keil, G. Oevel (Eds.), De Gruyter, Berlin, Bosten, 2018, pp. 1–5.
2018 | Conference Paper | LibreCat-ID: 26423
Unterst{\"u}tzung kontingenter Wissensarbeit. Ein Rahmenwerk f{\"u}r die Entwicklung digitaler Arbeitsumgebungen zur Unterst{\"u}tzung des Forschungsdiskurses in den Kulturwissenschaften
R. Keil, in: E.-M. Seng, R. Keil, G. Oevel (Eds.), De Gruyter, Berlin, Bosten, 2018.
LibreCat
R. Keil, in: E.-M. Seng, R. Keil, G. Oevel (Eds.), De Gruyter, Berlin, Bosten, 2018.
2018 | Book | LibreCat-ID: 26424
STUDIOLO. Kooperative Forschungsumgebungen in den eHumanities
E.-M Seng, R. Keil, G. Oevel, STUDIOLO. Kooperative Forschungsumgebungen in Den EHumanities, De Gruyter, Berlin, Bosten, 2018.
LibreCat
E.-M Seng, R. Keil, G. Oevel, STUDIOLO. Kooperative Forschungsumgebungen in Den EHumanities, De Gruyter, Berlin, Bosten, 2018.
2018 | Conference Paper | LibreCat-ID: 26425
Data science in schools from the perspective of contextual informatics
H. Selke, in: R. Biehler, L Budde, D. Frischemeier, B. Heinemann, S. Podworny, C. Schulte, T. Wassong (Eds.), Universit{\"a}tsbibliothek Paderborn, Paderborn, 2018, pp. 107–109.
LibreCat
H. Selke, in: R. Biehler, L Budde, D. Frischemeier, B. Heinemann, S. Podworny, C. Schulte, T. Wassong (Eds.), Universit{\"a}tsbibliothek Paderborn, Paderborn, 2018, pp. 107–109.
2018 | Journal Article | LibreCat-ID: 2685
Voronoi Cells of Lattices with Respect to Arbitrary Norms
J. Blömer, K. Kohn, SIAM Journal on Applied Algebra and Geometry. 2 (2018) 314–338.
LibreCat
| Files available
| DOI
J. Blömer, K. Kohn, SIAM Journal on Applied Algebra and Geometry. 2 (2018) 314–338.
2018 | Conference Paper | LibreCat-ID: 3217
DeepCAS: A Deep Reinforcement Learning Algorithm for Control-Aware Scheduling
B. Demirel, A. Ramaswamy, D. Quevedo, H. Karl, in: 2018.
LibreCat
| Files available
| DOI
| Download (ext.)
B. Demirel, A. Ramaswamy, D. Quevedo, H. Karl, in: 2018.
2018 | Conference Paper | LibreCat-ID: 3265 |
Fully-Featured Anonymous Credentials with Reputation System
K. Bemmann, J. Blömer, J. Bobolz, H. Bröcher, D.P. Diemert, F. Eidens, L. Eilers, J.F. Haltermann, J. Juhnke, B. Otour, L.A. Porzenheim, S. Pukrop, E. Schilling, M. Schlichtig, M. Stienemeier, in: Proceedings of the 13th International Conference on Availability, Reliability and Security - ARES ’18, ACM, New York, NY, USA, n.d.
LibreCat
| Files available
| DOI
| Download (ext.)
K. Bemmann, J. Blömer, J. Bobolz, H. Bröcher, D.P. Diemert, F. Eidens, L. Eilers, J.F. Haltermann, J. Juhnke, B. Otour, L.A. Porzenheim, S. Pukrop, E. Schilling, M. Schlichtig, M. Stienemeier, in: Proceedings of the 13th International Conference on Availability, Reliability and Security - ARES ’18, ACM, New York, NY, USA, n.d.
2018 | Bachelorsthesis | LibreCat-ID: 3320
Korrektheitsbeweise für Muster von Servicekompositionen
K. Rautenberg, Korrektheitsbeweise für Muster von Servicekompositionen, Universität Paderborn, 2018.
LibreCat
K. Rautenberg, Korrektheitsbeweise für Muster von Servicekompositionen, Universität Paderborn, 2018.
2018 | Conference Paper | LibreCat-ID: 3345 |
Let the state follow its flows: An SDN-based flow handover protocol to support state migration
M. Peuster, H. Küttner, H. Karl, in: 4th IEEE International Conference on Network Softwarization (NetSoft 2018), Montreal, n.d.
LibreCat
| Files available
| DOI
| Download (ext.)
M. Peuster, H. Küttner, H. Karl, in: 4th IEEE International Conference on Network Softwarization (NetSoft 2018), Montreal, n.d.
2018 | Conference Paper | LibreCat-ID: 3346 |
Containernet 2.0: A Rapid Prototyping Platform for Hybrid Service Function Chains
M. Peuster, J. Kampmeyer, H. Karl, in: 4th IEEE International Conference on Network Softwarization (NetSoft 2018), Montreal, n.d.
LibreCat
| Files available
| DOI
| Download (ext.)
M. Peuster, J. Kampmeyer, H. Karl, in: 4th IEEE International Conference on Network Softwarization (NetSoft 2018), Montreal, n.d.
2018 | Conference Paper | LibreCat-ID: 3347 |
Emulation-based Smoke Testing of NFV Orchestrators in Large Multi-PoP Environments
M. Peuster, M. Marchetti, G. Garcia de Blas, H. Karl, in: European Conference on Networks and Communications (EuCNC), Ljubljana, n.d.
LibreCat
| Files available
| DOI
| Download (ext.)
M. Peuster, M. Marchetti, G. Garcia de Blas, H. Karl, in: European Conference on Networks and Communications (EuCNC), Ljubljana, n.d.
2018 | Conference Paper | LibreCat-ID: 3362
Ampehre: An Open Source Measurement Framework for Heterogeneous Compute Nodes
A. Lösch, A. Wiens, M. Platzner, in: Proceedings of the International Conference on Architecture of Computing Systems (ARCS), Springer International Publishing, Cham, 2018, pp. 73–84.
LibreCat
| Files available
| DOI
A. Lösch, A. Wiens, M. Platzner, in: Proceedings of the International Conference on Architecture of Computing Systems (ARCS), Springer International Publishing, Cham, 2018, pp. 73–84.
2018 | Bachelorsthesis | LibreCat-ID: 3365
Static Scheduling Algorithms for Heterogeneous Compute Nodes
J.-P. Schnuer, Static Scheduling Algorithms for Heterogeneous Compute Nodes, Universität Paderborn, 2018.
LibreCat
J.-P. Schnuer, Static Scheduling Algorithms for Heterogeneous Compute Nodes, Universität Paderborn, 2018.
2018 | Bachelorsthesis | LibreCat-ID: 3366
Evaluation of OpenCL-based Compilation for FPGAs
M. Croce, Evaluation of OpenCL-Based Compilation for FPGAs, Universität Paderborn, 2018.
LibreCat
M. Croce, Evaluation of OpenCL-Based Compilation for FPGAs, Universität Paderborn, 2018.
2018 | Conference Paper | LibreCat-ID: 3373
An FPGA/HMC-Based Accelerator for Resolution Proof Checking
T. Hansmeier, M. Platzner, D. Andrews, in: ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications, Springer International Publishing, 2018, pp. 153–165.
LibreCat
| Files available
| DOI
T. Hansmeier, M. Platzner, D. Andrews, in: ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications, Springer International Publishing, 2018, pp. 153–165.
2018 | Journal Article | LibreCat-ID: 3402
On the effectiveness of heuristics for learning nested dichotomies: an empirical analysis
V. Melnikov, E. Hüllermeier, Machine Learning (2018).
LibreCat
| Files available
| DOI
V. Melnikov, E. Hüllermeier, Machine Learning (2018).
2018 | Conference Paper | LibreCat-ID: 3414
JMCTest: Automatically Testing Inter-Method Contracts in Java
P. Börding, J.F. Haltermann, M.-C. Jakobs, H. Wehrheim, in: Proceedings of the IFIP International Conference on Testing Software and Systems (ICTSS 2018), Springer, 2018, pp. 39--55.
LibreCat
| Files available
P. Börding, J.F. Haltermann, M.-C. Jakobs, H. Wehrheim, in: Proceedings of the IFIP International Conference on Testing Software and Systems (ICTSS 2018), Springer, 2018, pp. 39--55.
2018 | Conference Paper | LibreCat-ID: 3422
Breaking the $\tilde\Omega(\sqrt{n})$ Barrier: Fast Consensus under a Late Adversary
P. Robinson, C. Scheideler, A. Setzer, in: Proceedings of the 30th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), n.d.
LibreCat
| Files available
| DOI
P. Robinson, C. Scheideler, A. Setzer, in: Proceedings of the 30th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), n.d.
2018 | Journal Article | LibreCat-ID: 3510 |
ML-Plan: Automated Machine Learning via Hierarchical Planning
F. Mohr, M.D. Wever, E. Hüllermeier, Machine Learning (2018) 1495–1515.
LibreCat
| Files available
| DOI
| Download (ext.)
F. Mohr, M.D. Wever, E. Hüllermeier, Machine Learning (2018) 1495–1515.
2018 | Book Chapter | LibreCat-ID: 3536
FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity
G. Schellhorn, M. Wedel, O. Travkin, J. König, H. Wehrheim, in: Software Engineering and Formal Methods, Springer International Publishing, Cham, 2018, pp. 105–120.
LibreCat
| DOI
G. Schellhorn, M. Wedel, O. Travkin, J. König, H. Wehrheim, in: Software Engineering and Formal Methods, Springer International Publishing, Cham, 2018, pp. 105–120.
2018 | Conference Paper | LibreCat-ID: 3550
Design Options of Store-Oriented Software Ecosystems: An Investigation of Business Decisions
B. Jazayeri, O. Zimmermann, G. Engels, J. Küster, D. Kundisch, D. Szopinski, in: Proceeding of International Symposium on Business Modeling and Software Design, Springer, Wien, Austria, 2018, pp. 390–400.
LibreCat
| Files available
| DOI
B. Jazayeri, O. Zimmermann, G. Engels, J. Küster, D. Kundisch, D. Szopinski, in: Proceeding of International Symposium on Business Modeling and Software Design, Springer, Wien, Austria, 2018, pp. 390–400.
2018 | Journal Article | LibreCat-ID: 3551
Scheduling with interjob communication on parallel processors
J. König, A. Mäcker, F. Meyer auf der Heide, S. Riechers, Journal of Combinatorial Optimization 36 (2018) 1356–1379.
LibreCat
| Files available
| DOI
J. König, A. Mäcker, F. Meyer auf der Heide, S. Riechers, Journal of Combinatorial Optimization 36 (2018) 1356–1379.
2018 | Conference Paper | LibreCat-ID: 3552 |
Reduction Stumps for Multi-Class Classification
F. Mohr, M.D. Wever, E. Hüllermeier, in: Proceedings of the Symposium on Intelligent Data Analysis, ‘s-Hertogenbosch, the Netherlands, n.d.
LibreCat
| Files available
| DOI
| Download (ext.)
F. Mohr, M.D. Wever, E. Hüllermeier, in: Proceedings of the Symposium on Intelligent Data Analysis, ‘s-Hertogenbosch, the Netherlands, n.d.
2018 | Preprint | LibreCat-ID: 3586
CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation
L.M. Witschen, T. Wiersema, H. Ghasemzadeh Mohammadi, M. Awais, M. Platzner, Third Workshop on Approximate Computing (AxC 2018) (n.d.).
LibreCat
| Files available
L.M. Witschen, T. Wiersema, H. Ghasemzadeh Mohammadi, M. Awais, M. Platzner, Third Workshop on Approximate Computing (AxC 2018) (n.d.).
2018 | Dissertation | LibreCat-ID: 3720
FPGA-based Reconfigurable Cache Mapping Schemes: Design and Optimization
N. Ho, FPGA-Based Reconfigurable Cache Mapping Schemes: Design and Optimization, Universität Paderborn, 2018.
LibreCat
| DOI
N. Ho, FPGA-Based Reconfigurable Cache Mapping Schemes: Design and Optimization, Universität Paderborn, 2018.
2018 | Conference Paper | LibreCat-ID: 3804
Modeling Deliberative Argumentation Strategies on Wikipedia
K. Al Khatib, H. Wachsmuth, K. Lang, J. Herpel, M. Hagen, B. Stein, in: Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2018, pp. 2545–2555.
LibreCat
| Download (ext.)
K. Al Khatib, H. Wachsmuth, K. Lang, J. Herpel, M. Hagen, B. Stein, in: Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2018, pp. 2545–2555.
2018 | Conference Paper | LibreCat-ID: 3806
Before Name-Calling: Dynamics and Triggers of Ad Hominem Fallacies in Web Argumentation
I. Habernal, H. Wachsmuth, I. Gurevych, B. Stein, in: Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Volume 1 (Long Papers), 2018, pp. 386–396.
LibreCat
| Download (ext.)
I. Habernal, H. Wachsmuth, I. Gurevych, B. Stein, in: Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Volume 1 (Long Papers), 2018, pp. 386–396.
2018 | Conference Paper | LibreCat-ID: 3807
SemEval-2018 Task 12: The Argument Reasoning Comprehension Task
I. Habernal, H. Wachsmuth, I. Gurevych, B. Stein, in: Proceedings of The 12th International Workshop on Semantic Evaluation, 2018, pp. 763–772.
LibreCat
| Download (ext.)
I. Habernal, H. Wachsmuth, I. Gurevych, B. Stein, in: Proceedings of The 12th International Workshop on Semantic Evaluation, 2018, pp. 763–772.
2018 | Conference Paper | LibreCat-ID: 3821
Retrieval of the Best Counterargument without Prior Topic Knowledge
H. Wachsmuth, S. Syed, B. Stein, in: Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2018, pp. 241–251.
LibreCat
| Download (ext.)
H. Wachsmuth, S. Syed, B. Stein, in: Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2018, pp. 241–251.
2018 | Bachelorsthesis | LibreCat-ID: 3851
Congestion Games mit gewichteten Strategien
S. Koop, Congestion Games mit gewichteten Strategien, Universität Paderborn, 2018.
LibreCat
S. Koop, Congestion Games mit gewichteten Strategien, Universität Paderborn, 2018.
2018 | Conference Paper | LibreCat-ID: 3852 |
ML-Plan for Unlimited-Length Machine Learning Pipelines
M.D. Wever, F. Mohr, E. Hüllermeier, in: ICML 2018 AutoML Workshop, 2018.
LibreCat
| Files available
| Download (ext.)
M.D. Wever, F. Mohr, E. Hüllermeier, in: ICML 2018 AutoML Workshop, 2018.
2018 | Conference (Editor) | LibreCat-ID: 3874
Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures
C. Scheideler, J.T. Fineman, eds., Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures, ACM, 2018.
LibreCat
C. Scheideler, J.T. Fineman, eds., Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures, ACM, 2018.
2018 | Conference Paper | LibreCat-ID: 2965
Cloud Architectures for Searchable Encryption
J. Blömer, N. Löken, in: Proceedings of the 13th International Conference on Availability, Reliability and Security, ARES 2018, ACM, New York, NY, USA, n.d., pp. 25:1--25:10.
LibreCat
| Files available
| DOI
J. Blömer, N. Löken, in: Proceedings of the 13th International Conference on Availability, Reliability and Security, ARES 2018, ACM, New York, NY, USA, n.d., pp. 25:1--25:10.
2018 | Conference Paper | LibreCat-ID: 3105
Bloom Filter Encryption and Applications to Efficient Forward-Secret 0-RTT Key Exchange
D. Derler, T. Jager, D. Slamanig, C. Striecks, in: Advances in Cryptology - EUROCRYPT 2018 - 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part III, 2018, pp. 425--455.
LibreCat
| Files available
| DOI
| Download (ext.)
D. Derler, T. Jager, D. Slamanig, C. Striecks, in: Advances in Cryptology - EUROCRYPT 2018 - 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part III, 2018, pp. 425--455.
2018 | Journal Article | LibreCat-ID: 3152 |
JASPER: Joint Optimization of Scaling, Placement, and Routing of Virtual Network Services
S. Dräxler, H. Karl, Z.A. Mann, IEEE Transactions on Network and Service Management (2018).
LibreCat
| Files available
| DOI
| Download (ext.)
S. Dräxler, H. Karl, Z.A. Mann, IEEE Transactions on Network and Service Management (2018).
2018 | Journal Article | LibreCat-ID: 3153
Causal Linearizability: Compositionality for Partially Ordered Executions
S. Doherty, J. Derrick, B. Dongol, H. Wehrheim, CoRR (2018).
LibreCat
S. Doherty, J. Derrick, B. Dongol, H. Wehrheim, CoRR (2018).
2018 | Preprint | LibreCat-ID: 2711
Do Android Taint Analysis Tools Keep their Promises?
F. Pauck, E. Bodden, H. Wehrheim, ArXiv:1804.02903 (2018).
LibreCat
| Files available
F. Pauck, E. Bodden, H. Wehrheim, ArXiv:1804.02903 (2018).
2018 | Dissertation | LibreCat-ID: 1138
Distributed Algorithms for Overlay Networks and Programmable Matter
R. Gmyr, Distributed Algorithms for Overlay Networks and Programmable Matter, Universität Paderborn, 2018.
LibreCat
| DOI
R. Gmyr, Distributed Algorithms for Overlay Networks and Programmable Matter, Universität Paderborn, 2018.
2018 | Conference Paper | LibreCat-ID: 1163
Self-Stabilizing Supervised Publish-Subscribe Systems
M. Feldmann, C. Kolb, C. Scheideler, T.F. Strothmann, in: Proceedings of the 32nd IEEE International Parallel & Distributed Processing Symposium (IPDPS), IEEE, 2018.
LibreCat
| Files available
| DOI
| arXiv
M. Feldmann, C. Kolb, C. Scheideler, T.F. Strothmann, in: Proceedings of the 32nd IEEE International Parallel & Distributed Processing Symposium (IPDPS), IEEE, 2018.
2018 | Conference Paper | LibreCat-ID: 1164
Skueue: A Scalable and Sequentially Consistent Distributed Queue
M. Feldmann, C. Scheideler, A. Setzer, in: Proceedings of the 32nd IEEE International Parallel & Distributed Processing Symposium (IPDPS), IEEE, 2018.
LibreCat
| Files available
| DOI
| arXiv
M. Feldmann, C. Scheideler, A. Setzer, in: Proceedings of the 32nd IEEE International Parallel & Distributed Processing Symposium (IPDPS), IEEE, 2018.
2018 | Preprint | LibreCat-ID: 1165
Making the Case for Proof-carrying Approximate Circuits
L.M. Witschen, T. Wiersema, M. Platzner, 4th Workshop On Approximate Computing (WAPCO 2018) (2018).
LibreCat
| Files available
L.M. Witschen, T. Wiersema, M. Platzner, 4th Workshop On Approximate Computing (WAPCO 2018) (2018).