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.

3908 Publications


2020 | Conference Paper | LibreCat-ID: 19632
An Augmented and Virtual Reality Object Repository for Rapid Prototyping (to appear)
I. Jovanovikj, E. Yigitbas, S. Sauer, G. Engels, in: Proceedings of the 8th International Working Conference on Human-Centered Software Engineering (HCSE’20), 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 19656
Automatic Fairness Testing of Machine Learning Models
A. Sharma, H. Wehrheim, in: Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS), Springer, n.d.
LibreCat
 

2020 | Bachelorsthesis | LibreCat-ID: 18639
Enhancing Security by Usage of Universal One-Way Hash Functions
T. Terfort, Enhancing Security by Usage of Universal One-Way Hash Functions, Universität Paderborn, 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20122
Persuasiveness of News Editorials depending on Ideology and Personality
R. El Baff, K. Al-Khatib, B. Stein, H. Wachsmuth, in: Third Workshop on Computational Modeling of People’s Opinions, Personality, and Emotions in Social Media (PEOPLES 2020), 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20139
Argument from Old Man's View: Assessing Social Bias in Argumentation
M. Spliethöver, H. Wachsmuth, in: Proceedings of the 7th Workshop on Argument Mining (ArgMining 2020), 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 17371
Brief Announcement: A Discrete and Continuous Study of the Max-Chain-Formation Problem: Slow Down to Speed up
J. Castenow, P. Kling, T. Knollmann, F. Meyer auf der Heide, in: Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures, 2020.
LibreCat | Files available | DOI | arXiv
 

2020 | Conference (Editor) | LibreCat-ID: 20278
Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]
W. Ahrendt, H. Wehrheim, eds., Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed], Springer, 2020.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 20305
Value-centered design of a digital service robotics platform
J.S. Menzefricke, M. Frank, M. Drewel, R. Dumitrescu, in: K. Mpofu, P. Butala (Eds.), Procedia CIRP, 2020, pp. 690–695.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 3776
Analyzing Political Bias and Unfairness in News Articles at Different Levels of Granularity
W.-F. Chen, K. Al-Khatib, H. Wachsmuth, B. Stein, in: Proceedings of the Fourth Workshop on Natural Language Processing and Computational Social Science, 2020, pp. 149–154.
LibreCat | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 20355
Aligning Strategy and Structure for Smart Service Businesses in Manufacturing
C. Koldewey, J. Gausemeier, N. Chohan, M. Frank, J. Reinhold, R. Dumitrescu, in: IEEE (Ed.), Proceedings of the IEEE International Conference on Technology Management, Operations and Decisions ”Disruptive Technologies and Social Impacts”, n.d.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 18350
Framework and Functionality Patterns for Smart Service Innovation
C. Koldewey, M. Meyer, P. Stockbrügger, R. Dumitrescu, J. Gausemeier, Procedia CIRP (2020) 851–857.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 20507
A systematic literature review of model-driven security engineering for cyber–physical systems
J. Geismann, E. Bodden, Journal of Systems and Software 169 (2020) 110697.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 20514 LibreCat | DOI
 

2020 | Dissertation | LibreCat-ID: 20521
Model-Driven Information Flow Security Engineering for Cyber-Physical Systems
C. Gerking, Model-Driven Information Flow Security Engineering for Cyber-Physical Systems, Paderborn University, 2020.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 15826
Abstractive Snippet Generation
W.-F. Chen, S. Syed, B. Stein, M. Hagen, M. Potthast, in: Proceedings of the the Web Conference 2020, 2020, pp. 1309–1319.
LibreCat | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 15629
LiBRe: Label-Wise Selection of Base Learners in Binary Relevance for Multi-Label Classification
M.D. Wever, A. Tornede, F. Mohr, E. Hüllermeier, in: Springer, n.d.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 16278
A UAV-based moving 5G RAN for massive connectivity of mobile users and IoT devices
N. Nomikos, E.T. Michailidis, P. Trakadas, D. Vouyioukas, H. Karl, J. Martrat, T. Zahariadis, K. Papadopoulos, S. Voliotis, Vehicular Communications (2020).
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 16280
Multi-Armed-Bandit-Based Spectrum Scheduling Algorithms in Wireless Networks: A Survey
F. Li, D. Yu, H. Yang, J. Yu, H. Karl, X. Cheng, IEEE Wireless Communications (2020) 24–30.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 3878
Analyzing the Persuasive Effect of Style in News Editorial Argumentation
R. El Baff, H. Wachsmuth, K. Al-Khatib, B. Stein, in: J. Tsujii, J. Hajic (Eds.), Proceedings of 58th Annual Meeting of the Association for Computational Linguistics, 2020, pp. 553–564.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 15821
Touché: First Shared Task on Argument Retrieval
A. Bondarenko, M. Hagen, M. Potthast, H. Wachsmuth, M. Beloucif, C. Biemann, A. Panchenko, B. Stein, in: Proceedings of the 42nd European Conference on Information Retrieval (ECIR 2020), 2020, pp. 517–523.
LibreCat | Download (ext.)
 

2020 | Journal Article | LibreCat-ID: 15605
Test Case Co-Migration Method Patterns
I. Jovanovikj, E. Yigitbas, S. Sauer, G. Engels, Software Engineering 2020 Workshopband (2020).
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 16487
Privacy-Preserving Incentive Systems with Highly Efficient Point-Collection
J. Bobolz, F. Eidens, S. Krenn, D. Slamanig, C. Striecks, in: Proceedings of the 15th ACM Asia Conference on Computer and Communications Security (ASIA CCS ’20), ACM, New York, NY, USA, 2020.
LibreCat | Files available | DOI | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 13868
Approximating Weighted Completion Time for Order Scheduling with Setup Times
S. Pukrop, A. Mäcker, F. Meyer auf der Heide, in: Proceedings of the 46th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), 2020.
LibreCat
 

2020 | Conference (Editor) | LibreCat-ID: 17839
SPAA '20: 32nd ACM Symposium on Parallelism in Algorithms and Architectures, Virtual Event, USA, July 15-17, 2020
C. Scheideler, M. Spear, eds., SPAA ’20: 32nd ACM Symposium on Parallelism in Algorithms and Architectures, Virtual Event, USA, July 15-17, 2020, ACM, 2020.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 18039
Pattern Search in Grammar-Compressed Graphs
S. Böttcher, R. Hartel, S. Peeters, in: 2020 Data Compression Conference (DCC) (Poster), 2020.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 18109
VR Training for Warehouse Management
E. Yigitbas, I. Jovanovikj, J. Scholand, G. Engels, in: Proceedings of the 26th ACM Symposium on Virtual Reality Software and Technology (VRST) (to Appear), ACM, 2020.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 17358
Proof-carrying Approximate Circuits
L.M. Witschen, T. Wiersema, M. Platzner, IEEE Transactions On Very Large Scale Integration Systems 28 (2020) 2084–2088.
LibreCat | DOI
 

2020 | Dissertation | LibreCat-ID: 15631
Mobile Resource Allocation
B. Feldkord, Mobile Resource Allocation, Universität Paderborn, 2020.
LibreCat | Files available | DOI
 

2020 | Conference Paper | LibreCat-ID: 19607
Every Node for Itself: Fully Distributed Service Coordination
S.B. Schneider, L.D. Klenner, H. Karl, in: IEEE International Conference on Network and Service Management (CNSM), IEEE, 2020.
LibreCat | Files available
 

2020 | Mastersthesis | LibreCat-ID: 15770
On the complexity of local transformations in SDN overlays
D. Warner, On the Complexity of Local Transformations in SDN Overlays, Universität Paderborn, 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20159
Mincut Sensitivity Data Structures for the Insertion of an Edge
S. Baswana, S. Gupta, T. Knollmann, in: F. Grandoni, G. Herman, P. Sanders (Eds.), 28th Annual European Symposium on Algorithms (ESA 2020), Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2020, pp. 12:1-12:14.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 18022
UCAI 2020 - 1st International Workshop on User-Centered Artificial Intelligence
M. Augstein, D. Buschek, E. Herder, B. Loepp, E. Yigitbas, J. Ziegler, in: Proceedings of the Mensch Und Computer 2020 (MuC ’20), ACM, 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20166
Overview of Touché 2020: Argument Retrieval
A. Bondarenko, M. Fröbe, M. Beloucif, L. Gienapp, Y. Ajjour, A. Panchenko, C. Biemann, B. Stein, H. Wachsmuth, M. Potthast, M. Hagen, in: CEUR Workshop Proceedings, 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 16968
Local Gathering of Mobile Robots in Three Dimensions
M. Braun, J. Castenow, F. Meyer auf der Heide, in: Proceedings of the 27th Conference on Structural Information and Communication Complexity (SIROCCO), Springer, 2020.
LibreCat | Files available | DOI | arXiv
 

2020 | Conference Paper | LibreCat-ID: 20185
Brief Announcement: Gathering in Linear Time: A Closed Chain of Disoriented & Luminous Robots with Limited Visibility
J. Castenow, J. Harbig, D. Jung, T. Knollmann, F. Meyer auf der Heide, in: Stabilization, Safety, and Security of Distributed Systems - 21st International Symposium, SSS 2020, Austin, Texas, USA, November 18-21, 2020, Proceedings (Accepted), 2020.
LibreCat | arXiv
 

2020 | Conference Paper | LibreCat-ID: 20274
Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory
E. Bila, S. Doherty, B. Dongol, J. Derrick, G. Schellhorn, H. Wehrheim, in: A. Gotsman, A. Sokolova (Eds.), Formal Techniques for Distributed Objects, Components, and Systems - 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings, Springer, 2020, pp. 39–58.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 20279
Testing Monotonicity of Machine Learning Models
A. Sharma, H. Wehrheim, CoRR abs/2002.12278 (2020).
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20306
Towards Meta-Algorithm Selection
A. Tornede, M.D. Wever, E. Hüllermeier, in: Workshop MetaLearn 2020 @ NeurIPS 2020, 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20116
Mining Crowdsourcing Problems from Discussion Forums of Workers
Z. Nouri, H. Wachsmuth, G. Engels, in: Proceedings of COLING 2020, the 28th International Conference on Computational Linguistics, n.d.
LibreCat | Files available
 

2020 | Conference Paper | LibreCat-ID: 16898
A Submatrix-Based Method for Approximate Matrix Function Evaluation in the Quantum Chemistry Code CP2K
M. Lass, R. Schade, T. Kühne, C. Plessl, in: Proc. International Conference for High Performance Computing, Networking, Storage and Analysis (SC), IEEE Computer Society, Los Alamitos, CA, USA, 2020, pp. 1127–1140.
LibreCat | DOI | arXiv
 

2020 | Journal Article | LibreCat-ID: 20363
Systematische Entwicklung von Normstrategien für Smart Services
C. Koldewey, M. Frank, G. Jürgen, B. Alexander, J. Reinhold, R. Dumitrescu, ZWF Zeitschrift für wirtschaftliche Fabrikplanung 115 (2020) 524–528.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 20452
Combining Ideas and Artifacts: An Interaction-Focused View on Computing Education Using a Cybersecurity Example
L. Terfloth, L. Budde, C. Schulte, in: Association for Computing Machinery, New York, NY, USA, 2020.
LibreCat
 

2020 | Mastersthesis | LibreCat-ID: 20495
A self stabilizing protocol for well-formed trees in hybrid networks
M. Jochmaring, A Self Stabilizing Protocol for Well-Formed Trees in Hybrid Networks, 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20510
Heaps'n Leaks: How Heap Snapshots Improve Android Taint Analysis
M. Benz, E. Krogh Kristensen, L. Luo, N. P. Borges Jr., E. Bodden, A. Zeller, in: International Conference for Software Engineering (ICSE), 2020.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 20508
Explaining Static Analysis with Rule Graphs
L. Nguyen Quang Do, E. Bodden, IEEE Transactions on Software Engineering (2020).
LibreCat | Download (ext.)
 

2020 | Book Chapter | LibreCat-ID: 20515
Security-Oriented Fault-Tolerance in Systems Engineering: A Conceptual Threat Modelling Approach for Cyber-Physical Production Systems
I. Gräßler, E. Bodden, J. Pottebaum, J. Geismann, D. Roesmann, in: Advances in Intelligent Systems and Computing, Cham, 2020.
LibreCat | DOI | Download (ext.)
 

2020 | Journal Article | LibreCat-ID: 12878
Accurate Sampling with Noisy Forces from Approximate Computing
V. Rengaraj, M. Lass, C. Plessl, T. Kühne, Computation 8 (2020).
LibreCat | DOI | Download (ext.) | arXiv
 

2020 | Conference Paper | LibreCat-ID: 16363
Enabling XCSF to Cope with Dynamic Environments via an Adaptive Error Threshold
T. Hansmeier, P. Kaufmann, M. Platzner, in: GECCO ’20: Proceedings of the Genetic and Evolutionary Computation Conference Companion, Association for Computing Machinery (ACM), New York, NY, United States, n.d.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 16724
Higher Income, Larger Loan? Monotonicity Testing of Machine Learning Models
A. Sharma, H. Wehrheim, in: Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)., ACM, n.d.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 3583
Optimal and Greedy Heuristic Approaches for Scheduling and Mapping of Hardware Tasks to Reconfigurable Computing Devices
Z. Guetttatfi, P. Kaufmann, M. Platzner, in: Proceedings of the International Workshop on Applied Reconfigurable Computing (ARC), 2020.
LibreCat
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Export / Embed