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.

3929 Publications


2020 | Preprint | LibreCat-ID: 17605
Reliable Part-of-Speech Tagging of Historical Corpora through Set-Valued Prediction
S.H. Heid, M.D. Wever, E. Hüllermeier, Journal of Data Mining and Digital Humanities (n.d.).
LibreCat | Download (ext.)
 

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: 19606
ProConAR: A Tool Support for Model-based AR Product Configuration
S. Gottschalk, E. Yigitbas, E. Schmidt, G. Engels, in: R. Bernhaupt, C. Ardito, S. Sauer (Eds.), Human-Centered Software Engineering. HCSE 2020, Springer, Cham, 2020.
LibreCat | Files available | DOI
 

2020 | Book Chapter | LibreCat-ID: 20571
Geschäftsmodellvalidierung
C. Koldewey, J. Reinhold, R. Dumitrescu, in: B. Buchholz, M. Bürger (Eds.), Der Geschäftsmodell-Toolguide, Campus Verlag, Frankfurt am Main, 2020, pp. 106–111.
LibreCat | Download (ext.)
 

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 | 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: 20363
Systematische Entwicklung von Normstrategien für Smart Services
C. Koldewey, M. Frank, J. Gausemeier, A. Bäsecke, J. Reinhold, R. Dumitrescu, ZWF Zeitschrift für wirtschaftliche Fabrikplanung 115 (2020) 524–528.
LibreCat | DOI
 

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
 

2020 | Journal Article | LibreCat-ID: 16902
Survey on Algorithms for Self-Stabilizing Overlay Networks
M. Feldmann, C. Scheideler, S. Schmid, ACM Computing Surveys (2020).
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 17063
An Adaption Mechanism for the Error Threshold of XCSF
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, 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 16274
Validating Test Case Migration via Mutation Analysis (to appear)
I. Jovanovikj, A. Nagaraj, E. Yigitbas, A. Anjorin, S. Sauer, G. Engels, in: Proceedings of the 1st IEEE/ACM International Conference on Automation of Software Test AST, 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 16868
Target Inference in Argument Conclusion Generation
M. Alshomary, S. Syed, M. Potthast, H. Wachsmuth, in: Proceedings of 58th Annual Meeting of the Association for Computational Linguistics (ACL 2020), Association for Computational Linguistics, 2020, pp. 4334–4345.
LibreCat | Files available
 

2020 | Conference Paper | LibreCat-ID: 16933
Hypothesis-driven Adaptation of Business Models based on Product Line Engineering
S. Gottschalk, F. Rittmeier, G. Engels, in: Proceedings of the 22nd IEEE International Conference on Business Informatics, IEEE, 2020.
LibreCat | Files available | DOI
 

2020 | Conference Paper | LibreCat-ID: 17397
Using Full Duplex Relaying to Reduce Physical Layer Latency in Platooning
M.S. Amjad, T. Hardes, M. Schettler, C. Sommer, F. Dressler, in: 2019 IEEE Vehicular Networking Conference (VNC), 2020.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 17082
Coflow Scheduling with Performance Guarantees for Data Center Applications
A. Hasnain, H. Karl, in: 2020 20th IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing (CCGRID), IEEE Computer Society, 2020.
LibreCat | Files available | DOI | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 17424
AutoML for Predictive Maintenance: One Tool to RUL them all
T. Tornede, A. Tornede, M.D. Wever, F. Mohr, E. Hüllermeier, in: Proceedings of the ECMLPKDD 2020, 2020.
LibreCat
 

2020 | Bachelorsthesis | LibreCat-ID: 18085
Distributed Key Generation for Attribute-Based Signatures
J. Heimann, Distributed Key Generation for Attribute-Based Signatures, 2020.
LibreCat
 

2020 | Book Chapter | LibreCat-ID: 19521
Learning Choice Functions via Pareto-Embeddings
K. Pfannschmidt, E. Hüllermeier, in: Lecture Notes in Computer Science, Cham, 2020.
LibreCat | DOI
 

2020 | Bachelorsthesis | LibreCat-ID: 18066
Approaches for Competetive Routing through Intersections of Hole Abstractions in Hybrid Communication Networks
M. Skowronek, Approaches for Competetive Routing through Intersections of Hole Abstractions in Hybrid Communication Networks, Universität Paderborn, 2020.
LibreCat
 

2020 | Bachelorsthesis | LibreCat-ID: 18648
Algorithmen für selbststabilisierende Skip+-Delaunaygraphen
A. Guggenmos, Algorithmen Für Selbststabilisierende Skip+-Delaunaygraphen, Universität Paderborn, 2020.
LibreCat
 

2020 | Bachelorsthesis | LibreCat-ID: 19999
Optimierung von JMCTest beim Testen von Inter Method Contracts
S. Mayer, Optimierung von JMCTest Beim Testen von Inter Method Contracts, Universität Paderborn, 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20275
Consistency Analysis of AUTOSAR Timing Requirements
S. Beringer, H. Wehrheim, in: M. van Sinderen, H.-}Georg Fill, L. A. Maciaszek (Eds.), Proceedings of the 15th International Conference on Software Technologies, {ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020, ScitePress, 2020, pp. 15–26.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 13770
A Case for a New IT Ecosystem: On-The-Fly Computing
H. Karl, D. Kundisch, F. Meyer auf der Heide, H. Wehrheim, Business & Information Systems Engineering 62 (2020) 467–481.
LibreCat | Files available | DOI
 

2020 | Conference Paper | LibreCat-ID: 20307
Identification of socio-technical changes caused by Industry 4.0
F. Schnasse, J.S. Menzefricke, S. Gabriel, D. Hobscheidt, M. Parlings, A. Kühn, R. Dumitrescu, in: Proceedings of the Hamburg International Conference of Logistics (HICL), 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 3800
Intrinsic Quality Assessment of Arguments
H. Wachsmuth, T. Werner, in: Proceedings of COLING 2020, the 28th International Conference on Computational Linguistics, 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20509
PASAPTO: Policy-aware Security and Performance Trade-off Analysis - Computation on Encrypted Data with Restricted Leakage
A. Fischer, J. Janneck, J. Kussmaul, N. Krätzschmar, F. Kerschbaum, E. Bodden, in: 2020 IEEE Computer Security Foundations Symposium (CSF), 2020.
LibreCat | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 20511
Computation on Encrypted Data using Dataflow Authentication
A. Fischer, B. Fuhry, F. Kerschbaum, E. Bodden, in: Privacy Enhancing Technologies Symposium (PETS/PoPETS), 2020.
LibreCat | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 18249
Model-based Product Configuration in Augmented Reality Applications
S. Gottschalk, E. Yigitbas, E. Schmidt, G. Engels, in: R. Bernhaupt, C. Ardito, S. Sauer (Eds.), Human-Centered Software Engineering. HCSE 2020, Springer, Cham, 2020.
LibreCat | Files available | DOI
 

2020 | Book Chapter | LibreCat-ID: 20573
Geschäftsmodell-Roadmapping
C. Koldewey, J. Reinhold, R. Dumitrescu, in: B. Buchholz, M. Bürger (Eds.), Der Geschäftsmodell-Toolguide, Campus Verlag, Frankfurt am Main, 2020, pp. 138–143.
LibreCat | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 13226
Oracle complexity classes and local measurements on physical Hamiltonians
S. Gharibian, S. Piddock, J. Yirka, in: Proceedings of the 37th Symposium on Theoretical Aspects of Computer Science (STACS 2020), n.d., p. 38.
LibreCat | Download (ext.) | arXiv
 

2020 | Conference Paper | LibreCat-ID: 15169
A Bounding Box Overlay for Competitive Routing in Hybrid Communication Networks
J. Castenow, C. Kolb, C. Scheideler, in: Proceedings of the 21st International Conference on Distributed Computing and Networking (ICDCN), ACM, n.d.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 16852
A Runtime System for Finite Element Methods in a Partitioned Global Address Space
S. Groth, D. Grünewald, J. Teich, F. Hannig, in: Proceedings of the 17th ACM International Conference on Computing Frontiers (CF ’2020), ACM, 2020.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 16725
Algorithm Selection for Software Validation Based on Graph Kernels
C. Richter, E. Hüllermeier, M.-C. Jakobs, H. Wehrheim, Journal of Automated Software Engineering (n.d.).
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 16903
Time- and Space-Optimal Discrete Clock Synchronization in the Beeping Model
M. Feldmann, A. Khazraei, C. Scheideler, in: Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), ACM, 2020.
LibreCat | DOI | arXiv
 

2020 | Conference Paper | LibreCat-ID: 17071
Model-Driven Mutation Framework for Validation of Test Case Migration (to appear)
I. Jovanovikj, N. Weidmann, E. Yigitbas, A. Anjorin, S. Sauer, G. Engels, in: Proceedings of the International Conference on Systems Modelling and Management ICSMM, 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 8426
Towards Quantum One-Time Memories from Stateless Hardware
A. Broadbent, S. Gharibian, H.-S. Zhou, in: Proceedings of the 15th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC), Leibniz International Proceedings in Informatics (LIPIcs), 2020, pp. 6:1-6:25.
LibreCat | Download (ext.) | arXiv
 

2020 | Conference Paper | LibreCat-ID: 16934
Model-based Hypothesis Engineering for Supporting Adaptation to Uncertain Customer Needs
S. Gottschalk, E. Yigitbas, G. Engels, in: B. Shishkov (Ed.), Business Modeling and Software Design, Springer International Publishing, 2020, pp. 276–286.
LibreCat | Files available | DOI
 

2020 | Journal Article | LibreCat-ID: 10330
Visual Analysis of Argumentation in Essays
D. Kiesel, P. Riehmann, H. Wachsmuth, B. Stein, B. Fröhlich, IEEE Transactions of Visualization & Computer Graphics (n.d.).
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 16213
A Hybrid Synthesis Methodology for Approximate Circuits
M. Awais, H. Ghasemzadeh Mohammadi, M. Platzner, in: Proceedings of the 30th ACM Great Lakes Symposium on VLSI (GLSVLSI) 2020, ACM, n.d., pp. 1–6.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 17398
Fog Seeding Strategies for Information-Centric Heterogeneous Vehicular Networks
I. Turcanu, T. Engel, C. Sommer, in: 2019 IEEE Vehicular Networking Conference (VNC), 2020.
LibreCat | DOI
 

2020 | Conference (Editor) | LibreCat-ID: 17836
Structural Information and Communication Complexity - 27th International Colloquium, SIROCCO 2020, Paderborn, Germany, June 29 - July 1, 2020, Proceedings
A. Werneck Richa, C. Scheideler, eds., Structural Information and Communication Complexity - 27th International Colloquium, SIROCCO 2020, Paderborn, Germany, June 29 - July 1, 2020, Proceedings, Springer, 2020.
LibreCat | DOI
 

2020 | Preprint | LibreCat-ID: 18017
Online Preselection with Context Information under the Plackett-Luce Model
A. El Mesaoudi-Paul, V. Bengs, E. Hüllermeier, ArXiv:2002.04275 (n.d.).
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 19609
Self-Driving Network and Service Coordination Using Deep Reinforcement Learning
S.B. Schneider, A. Manzoor, H. Qarawlus, R. Schellenberg, H. Karl, R. Khalili, A. Hecker, in: IEEE International Conference on Network and Service Management (CNSM), IEEE, 2020.
LibreCat | Files available
 

2020 | Conference Paper | LibreCat-ID: 17406
Scaling Digital Business Models: A Case from the Automotive Industry
J.-K. Becker, K. Joachim, C. Koldewey, J. Reinhold, R. Dumitrescu, in: Proceedings of the 2020 ISPIM Innovation Conference (Virtual) Event “Innovating in Times of Crisis,” ISPIM Innovation Conference, 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 7283
Extractive Snippet Generation for Arguments
M. Alshomary, N. Düsterhus, H. Wachsmuth, in: Proceedings of 43rd International ACM SIGIR Conference on Research and Development in Information Retrieval, 2020, pp. 1969–1972.
LibreCat | Files available
 

2020 | Conference Paper | LibreCat-ID: 20137
Abstractive Snippet Generation for Web Pages
S. Syed, W.-F. Chen, M. Hagen, B. Stein, H. Wachsmuth, M. Potthast, in: Proceedings of the 13th International Conference on Natural Language Generation (INLG 2020), 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 19899
A Discrete and Continuous Study of the Max-Chain-Formation Problem
J. Castenow, P. Kling, 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 | Bachelorsthesis | LibreCat-ID: 18637
A Group Signature Scheme from Flexible Public Key Signatures and Structure-Preserving Signatures on Equivalence Classes
P. Schürmann, A Group Signature Scheme from Flexible Public Key Signatures and Structure-Preserving Signatures on Equivalence Classes, Universität Paderborn, 2020.
LibreCat | Files available
 

2020 | Mastersthesis | LibreCat-ID: 20221
Plurality Consensus in Hybrid Networks
P.K. Yeole, Plurality Consensus in Hybrid Networks, 2020.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 16299
Gathering Anonymous, Oblivious Robots on a Grid
J. Castenow, M. Fischer, J. Harbig, D. Jung, F. Meyer auf der Heide, Theoretical Computer Science 815 (2020) 289–309.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 20276
Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework
D. Beyer, H. Wehrheim, in: T. Margaria, B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part {I}, Springer, 2020, pp. 143–167.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 18276
Run2Survive: A Decision-theoretic Approach to Algorithm Selection based on Survival Analysis
A. Tornede, M.D. Wever, S. Werner, F. Mohr, E. Hüllermeier, in: ACML 2020, 2020.
LibreCat | Download (ext.)
 

2020 | Book Chapter | LibreCat-ID: 20365
Planning a Smart Service Business Integrating External Partners
C. Koldewey, J. Reinhold, R. Dumitrescu, in: P.-J. Barlatier, A.-L. Mention (Eds.), Managing Digital Open Innovation, World Scientific Publishing Company, 2020, pp. 255–298.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 3818
Detecting Media Bias in News Articles using Gaussian Bias Distributions
W.-F. Chen, K. Al-Khatib, B. Stein, H. Wachsmuth, in: Findings of the Association for Computational Linguistics: EMNLP 2020, 2020, pp. 4290–4300.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20512
CogniCrypt_GEN - Generating Code for the Secure Usage of Crypto APIs
S. Krüger, K. Ali, E. Bodden, in: International Symposium on Code Generation and Optimization (CGO), 2020, pp. 185–198.
LibreCat | Files available
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Export / Embed