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.
9737 Publications
2020 | Journal Article | LibreCat-ID: 21016
Owicki-Gries Reasoning for C11 RAR (Artifact)
S. Dalvandi, S. Doherty, B. Dongol, H. Wehrheim, Dagstuhl Artifacts Ser. 6 (2020) 15:1-15:2.
LibreCat
| DOI
S. Dalvandi, S. Doherty, B. Dongol, H. Wehrheim, Dagstuhl Artifacts Ser. 6 (2020) 15:1-15:2.
2020 | Conference Paper | LibreCat-ID: 21017
Owicki-Gries Reasoning for C11 RAR
S. Dalvandi, S. Doherty, B. Dongol, H. Wehrheim, in: R. Hirschfeld, T. Pape (Eds.), 34th European Conference on Object-Oriented Programming, {ECOOP} 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference), Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, 2020, pp. 11:1-11:26.
LibreCat
| DOI
S. Dalvandi, S. Doherty, B. Dongol, H. Wehrheim, in: R. Hirschfeld, T. Pape (Eds.), 34th European Conference on Object-Oriented Programming, {ECOOP} 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference), Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, 2020, pp. 11:1-11:26.
2020 | Conference Paper | LibreCat-ID: 21018
Attend and Represent: A Novel View on Algorithm Selection for Software Verification
C. Richter, H. Wehrheim, in: 35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020, {IEEE}, 2020, pp. 1016–1028.
LibreCat
C. Richter, H. Wehrheim, in: 35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020, {IEEE}, 2020, pp. 1016–1028.
2020 | Conference (Editor) | LibreCat-ID: 21019
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
W. Ahrendt, H. Wehrheim, eds., Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed], Springer, 2020.
2020 | Bachelorsthesis | LibreCat-ID: 21117
On Batch Proofs of Partial Knowledge
P. Manegold, On Batch Proofs of Partial Knowledge, 2020.
LibreCat
P. Manegold, On Batch Proofs of Partial Knowledge, 2020.
2020 | Bachelorsthesis | LibreCat-ID: 21118
Measuring the Performance of SNARK Libraries
A. Anonymous, Measuring the Performance of SNARK Libraries, 2020.
LibreCat
A. Anonymous, Measuring the Performance of SNARK Libraries, 2020.
2020 | Bachelorsthesis | LibreCat-ID: 21119
Trapdoors and Sampling Procedures for Lattice-Based Cryptographic Constructions
M. Westerwelle, Trapdoors and Sampling Procedures for Lattice-Based Cryptographic Constructions, 2020.
LibreCat
M. Westerwelle, Trapdoors and Sampling Procedures for Lattice-Based Cryptographic Constructions, 2020.
2020 | Bachelorsthesis | LibreCat-ID: 21121
Benchmarking the Efficiency of Secure Multiparty Computation for Real World Problems
A. Anonymous, Benchmarking the Efficiency of Secure Multiparty Computation for Real World Problems, 2020.
LibreCat
A. Anonymous, Benchmarking the Efficiency of Secure Multiparty Computation for Real World Problems, 2020.
2020 | Book Chapter | LibreCat-ID: 21268
Der Darstellungsflüchtigkeit im Geometrieunterricht durch digitale Unterstützung entgegenwirken
T. Huhmann, K. Eilterts, C. Schulte, F. Winkelnkemper, in: Digitales Lernen in der Grundschule II: Aktuelle Trends in Forschung und Praxis, Waxmann Verlag, 2020.
LibreCat
T. Huhmann, K. Eilterts, C. Schulte, F. Winkelnkemper, in: Digitales Lernen in der Grundschule II: Aktuelle Trends in Forschung und Praxis, Waxmann Verlag, 2020.
2020 | Journal Article | LibreCat-ID: 21269
Consulting via Research in IMPRESS
P. Ködding, J. Reinhold, M. Scholtysik, R. Dumitrescu, Journal of Systemics, Cybernetics and Informatics 18 (2020) 14–19.
LibreCat
P. Ködding, J. Reinhold, M. Scholtysik, R. Dumitrescu, Journal of Systemics, Cybernetics and Informatics 18 (2020) 14–19.
2020 | Journal Article | LibreCat-ID: 21281
Pattern‐based development of digital platforms
M. Drewel, L. Özcan, C. Koldewey, J. Gausemeier, Creativity and Innovation Management (2020).
LibreCat
| DOI
M. Drewel, L. Özcan, C. Koldewey, J. Gausemeier, Creativity and Innovation Management (2020).
2020 | Mastersthesis | LibreCat-ID: 21324
Comparison of Feature Selection Techniques to Improve Approximate Circuit Synthesis
K. Chandrakar, Comparison of Feature Selection Techniques to Improve Approximate Circuit Synthesis, 2020.
LibreCat
K. Chandrakar, Comparison of Feature Selection Techniques to Improve Approximate Circuit Synthesis, 2020.
2020 | Conference Paper | LibreCat-ID: 21377
Developing Strategies for Digital Transformation in SMEs with Maturity Models
C. Pierenkemper, J. Gausemeier, in: Proceeding of the ISPIM Connects, 2020.
LibreCat
C. Pierenkemper, J. Gausemeier, in: Proceeding of the ISPIM Connects, 2020.
2020 | Journal Article | LibreCat-ID: 21379
KI-Marktplatz: Das Ökosystem für Künstliche Intelligenz in der Produktentstehung
R. Dumitrescu, M. Drewel, T. Falkowski, ZWF, Zeitschrift für wirtschaftliche Fabrikplanung (2020) 86–90.
LibreCat
R. Dumitrescu, M. Drewel, T. Falkowski, ZWF, Zeitschrift für wirtschaftliche Fabrikplanung (2020) 86–90.
2020 | Conference Paper | LibreCat-ID: 21380
Pattern based systems engineering – application of solution patterns in the design of intelligent technical systems
H. Anacker, R. Dumitrescu, A. Kharatyan, A. Lipsmeier, in: Proceedings of the Design Society, 2020, pp. 1195–1204.
LibreCat
H. Anacker, R. Dumitrescu, A. Kharatyan, A. Lipsmeier, in: Proceedings of the Design Society, 2020, pp. 1195–1204.
2020 | Conference Paper | LibreCat-ID: 21381
Process for the development of a digital strategy
A. Lipsmeier, A. Kühn, R. Joppen, R. Dumitrescu, in: Procedia CIRP, 2020, pp. 173–178.
LibreCat
A. Lipsmeier, A. Kühn, R. Joppen, R. Dumitrescu, in: Procedia CIRP, 2020, pp. 173–178.
2020 | Conference Paper | LibreCat-ID: 21382
Method for 3D-Environment Driven Domain Knowledge Elicitaion and System Model Generation
S. Japs, A. Kharatyan, J. Tekaat, L. Kaiser, R. Dumitrescu, in: Proceedings of the Design Society, 2020.
LibreCat
S. Japs, A. Kharatyan, J. Tekaat, L. Kaiser, R. Dumitrescu, in: Proceedings of the Design Society, 2020.
2020 | Conference Paper | LibreCat-ID: 21383
The digital Stadium – From future scenarios to technology and business model development
C. Jürgenhake, H. Anacker, R. Dumitrescu, in: Proceedings of the IEEE, 2020.
LibreCat
C. Jürgenhake, H. Anacker, R. Dumitrescu, in: Proceedings of the IEEE, 2020.
2020 | Conference Paper | LibreCat-ID: 21384
Classification of Industrial Augmented Reality Use Cases
D. Röltgen, R. Dumitrescu, in: Procedia CIRP, 2020, pp. 93–100.
LibreCat
D. Röltgen, R. Dumitrescu, in: Procedia CIRP, 2020, pp. 93–100.
2020 | Conference Paper | LibreCat-ID: 21385
Development of risk-optimized implementation paths for Industry 4.0 based on socio-technical pattern
D. Hobscheidt, A. Kühn, R. Dumitrescu, in: Procedia CIRP, 2020, pp. 832–837.
LibreCat
D. Hobscheidt, A. Kühn, R. Dumitrescu, in: Procedia CIRP, 2020, pp. 832–837.
2020 | Conference Paper | LibreCat-ID: 21386
Ideation for digital platforms based on a companies‘ ecosystem
F. Wortmann, K. Ellermann, A. Kühn, R. Dumitrescu, in: Procedia CIRP, 2020, pp. 559–564.
LibreCat
F. Wortmann, K. Ellermann, A. Kühn, R. Dumitrescu, in: Procedia CIRP, 2020, pp. 559–564.
2020 | Conference Paper | LibreCat-ID: 21387
Mixed Mock-up – Development of an Interactive Augmented Reality System for Assembly Planning
F. Dyck, J. Stöcklein, D. Eckertz, R. Dumitrescu, in: Virtual, Augmented and Mixed Reality. Design and Interaction , 2020, pp. 37–49.
LibreCat
F. Dyck, J. Stöcklein, D. Eckertz, R. Dumitrescu, in: Virtual, Augmented and Mixed Reality. Design and Interaction , 2020, pp. 37–49.
2020 | Conference Paper | LibreCat-ID: 21388
A contribution to the design of organizational structures suitable for Systems Engineering
L. Bretz, U. Koenemann, H. Anacker, R. Dumitrescu, in: Procedia CIRP, 2020, pp. 101–106.
LibreCat
L. Bretz, U. Koenemann, H. Anacker, R. Dumitrescu, in: Procedia CIRP, 2020, pp. 101–106.
2020 | Conference Paper | LibreCat-ID: 21389
Advanced Monkey Testing for connected autonomous systems
M. Hillebrand, M. Greinert, O. Herzog, R. Dumitrescu, in: Proceedings of the 2020 IEEE 15th International Conference of System of Systems Engineering (SoSE), 2020, pp. 163–168.
LibreCat
M. Hillebrand, M. Greinert, O. Herzog, R. Dumitrescu, in: Proceedings of the 2020 IEEE 15th International Conference of System of Systems Engineering (SoSE), 2020, pp. 163–168.
2020 | Conference Paper | LibreCat-ID: 21390
A design methodology for deep reinforcement learning for autonomous Systems
M. Hillebrand, M. Lakhani, R. Dumitrescu, in: Procedia Manufacturing 52, 2020, pp. 266–271.
LibreCat
| DOI
M. Hillebrand, M. Lakhani, R. Dumitrescu, in: Procedia Manufacturing 52, 2020, pp. 266–271.
2020 | Book Chapter | LibreCat-ID: 21391
Machine Learning for Process-X: A Taxonomy
F. Reinhart, S. von Enzberg, A. Kühn, R. Dumitrescu, in: J. Beyerer, A. Maier, O. Niggemann (Eds.), Machine Learning for Cyber Physical Systems. Technologien Für Die Intelligente Automation (Technologies for Intelligent Automation), Springer Vieweg, Berlin, Heidelberg, 2020, pp. 25–33.
LibreCat
F. Reinhart, S. von Enzberg, A. Kühn, R. Dumitrescu, in: J. Beyerer, A. Maier, O. Niggemann (Eds.), Machine Learning for Cyber Physical Systems. Technologien Für Die Intelligente Automation (Technologies for Intelligent Automation), Springer Vieweg, Berlin, Heidelberg, 2020, pp. 25–33.
2020 | Conference Paper | LibreCat-ID: 21392
Identification and specification of standard modules in production for a material flow simulation
M. Henkenjohann, R. Joppen, D. Köchling, S. von Enzberg, A. Kühn, R. Dumitrescu, in: Procedia CIRP, 2020.
LibreCat
M. Henkenjohann, R. Joppen, D. Köchling, S. von Enzberg, A. Kühn, R. Dumitrescu, in: Procedia CIRP, 2020.
2020 | Conference Paper | LibreCat-ID: 21394
Towards defining role models in Advanced Systems Engineering
E.-M. Grote, S. Pfeifer, D. Röltgen, A. Kühn, R. Dumitrescu, in: Proceedings of the 2020 IEEE International Symposium on Systems Engineering, 2020.
LibreCat
E.-M. Grote, S. Pfeifer, D. Röltgen, A. Kühn, R. Dumitrescu, in: Proceedings of the 2020 IEEE International Symposium on Systems Engineering, 2020.
2020 | Book Chapter | LibreCat-ID: 21395
Systems Engineering als Grundlage der Gestaltung digitaler Arbeitswelten in der Produktentstehung
R. Dumitrescu, C. Tschirner, M. Bansmann, in: G. Maier, G. Engels, E. Steffen (Eds.), Handbuch Gestaltung digitaler und vernetzter Arbeitswelten, Springer-Verlag GmbH, 2020, pp. 405–432.
LibreCat
R. Dumitrescu, C. Tschirner, M. Bansmann, in: G. Maier, G. Engels, E. Steffen (Eds.), Handbuch Gestaltung digitaler und vernetzter Arbeitswelten, Springer-Verlag GmbH, 2020, pp. 405–432.
2020 | Book Chapter | LibreCat-ID: 21396
On the Real-World Instantiability of Admissible Hash Functions and Efficient Verifiable Random Functions
T. Jager, D. Niehues, in: Lecture Notes in Computer Science, Cham, 2020.
LibreCat
| Files available
| DOI
| Download (ext.)
T. Jager, D. Niehues, in: Lecture Notes in Computer Science, Cham, 2020.
2020 | Bachelorsthesis | LibreCat-ID: 21432
Evaluation of a ReconOS-ROS Combination based on a Video Processing Application
L.-S. Henke, Evaluation of a ReconOS-ROS Combination Based on a Video Processing Application, 2020.
LibreCat
L.-S. Henke, Evaluation of a ReconOS-ROS Combination Based on a Video Processing Application, 2020.
2020 | Conference Paper | LibreCat-ID: 21438
CONSENS 3D: Method for 3D-Environment Driven Domain Knowledge Elicitaion and System Model Generation
S. Japs, A. Kharatyan, L. Kaiser, R. Dumitrescu, in: Proceedings of the 16th International Design Conference (DESIGN 2020), 2020.
LibreCat
S. Japs, A. Kharatyan, L. Kaiser, R. Dumitrescu, in: Proceedings of the 16th International Design Conference (DESIGN 2020), 2020.
2020 | Conference Paper | LibreCat-ID: 21439
Towards a modular product architecture for electric ferries using Model- Based Systems Engineering
S. Pfeifer, T. Seidenberg, C. Jürgenhake, H. Anacker, R. Dumitrescu, in: Procedia Manufacturing, 2020.
LibreCat
S. Pfeifer, T. Seidenberg, C. Jürgenhake, H. Anacker, R. Dumitrescu, in: Procedia Manufacturing, 2020.
2020 | Conference Paper | LibreCat-ID: 21440
Scenarios in the Loop: Integrated Requirements Analysis and Automotive System Validation
C. Wiecher, S. Japs, L. Kaiser, J. Greenyer, C. Wolff, R. Dumitrescu, in: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20 Companion), 2020.
LibreCat
C. Wiecher, S. Japs, L. Kaiser, J. Greenyer, C. Wolff, R. Dumitrescu, in: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20 Companion), 2020.
2020 | Conference Paper | LibreCat-ID: 21441
Verification of Mathematical Model for Upper Limb Spasticity with Clinical Data
J. Yee, C.Y. Low, P. Ong, W. Soh, F.A. Hannapiah, N. Zakaria, S. von Enzberg, L. Asmar, R. Dumitrescu, in: IOP Conference Series: Materials Science and Engineering, 2020.
LibreCat
| DOI
J. Yee, C.Y. Low, P. Ong, W. Soh, F.A. Hannapiah, N. Zakaria, S. von Enzberg, L. Asmar, R. Dumitrescu, in: IOP Conference Series: Materials Science and Engineering, 2020.
2020 | Conference Paper | LibreCat-ID: 21480
Automating test schedule generation with domain-specific languages
A. Anjorin, N. Weidmann, R. Oppermann, L. Fritsche, A. Schürr, in: E. Syriani, H. Sahraoui, J. de Lara, S. Abrahao (Eds.), Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2020, ACM, 2020.
LibreCat
| DOI
A. Anjorin, N. Weidmann, R. Oppermann, L. Fritsche, A. Schürr, in: E. Syriani, H. Sahraoui, J. de Lara, S. Abrahao (Eds.), Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2020, ACM, 2020.
2020 | Conference Paper | LibreCat-ID: 21481
A search-based and fault-tolerant approach to concurrent model synchronisation
N. Weidmann, L. Fritsche, A. Anjorin, in: R. Lämmel, L. Tratt, J. de Lara (Eds.), Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2020, ACM, 2020.
LibreCat
| DOI
N. Weidmann, L. Fritsche, A. Anjorin, in: R. Lämmel, L. Tratt, J. de Lara (Eds.), Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2020, ACM, 2020.
2020 | Conference Paper | LibreCat-ID: 21482
VICToRy: Visual Interactive Consistency Management in Tolerant Rule-based Systems
N. Weidmann, A. Anjorin, J. Cheney, in: B. Hoffmann, M. Minas (Eds.), Proceedings of the Eleventh International Workshop on Graph Computation Models, GCM@STAF 2020, EPTCS, 2020, pp. 1–12.
LibreCat
| DOI
N. Weidmann, A. Anjorin, J. Cheney, in: B. Hoffmann, M. Minas (Eds.), Proceedings of the Eleventh International Workshop on Graph Computation Models, GCM@STAF 2020, EPTCS, 2020, pp. 1–12.
2020 | Conference Paper | LibreCat-ID: 21483
A Model-Driven Mutation Framework for Validation of Test Case Migration
I. Jovanovikj, N. Weidmann, E. Yigitbas, A. Anjorin, S. Sauer, G. Engels, in: Ö. Babur, J. Denil, B. Vogel-Heuser (Eds.), Proceedings of the First International Conference on Systems Modelling and Management, ICSMM 2020 , Springer, Cham, 2020.
LibreCat
| DOI
I. Jovanovikj, N. Weidmann, E. Yigitbas, A. Anjorin, S. Sauer, G. Engels, in: Ö. Babur, J. Denil, B. Vogel-Heuser (Eds.), Proceedings of the First International Conference on Systems Modelling and Management, ICSMM 2020 , Springer, Cham, 2020.
2020 | Special Issue | LibreCat-ID: 21486
AI Marketplace – The Ecosystem for Artificial Intelligence in Product Creation
R. Bernijazov, L. Özcan, R. Dumitrescu, eds., AI Marketplace – The Ecosystem for Artificial Intelligence in Product Creation , 2020.
LibreCat
R. Bernijazov, L. Özcan, R. Dumitrescu, eds., AI Marketplace – The Ecosystem for Artificial Intelligence in Product Creation , 2020.
2020 | Conference Paper | LibreCat-ID: 21534
Preselection Bandits
V. Bengs, E. Hüllermeier, in: International Conference on Machine Learning, 2020, pp. 778–787.
LibreCat
V. Bengs, E. Hüllermeier, in: International Conference on Machine Learning, 2020, pp. 778–787.
2020 | Preprint | LibreCat-ID: 21536
Multi-Armed Bandits with Censored Consumption of Resources
V. Bengs, E. Hüllermeier, ArXiv:2011.00813 (2020).
LibreCat
V. Bengs, E. Hüllermeier, ArXiv:2011.00813 (2020).
2020 | Conference Paper | LibreCat-ID: 21541
Investigation of the Surface Equivalence Principle on a Metal Surface for a Near-Field to Far-Field Transformation by the NFS3000
S. Lange, D. Schroder, C. Hedayat, C. Hangmann, T. Otto, U. Hilleringmann, in: 2020 International Symposium on Electromagnetic Compatibility - EMC EUROPE, IEEE, 2020.
LibreCat
| Files available
| DOI
| Download (ext.)
S. Lange, D. Schroder, C. Hedayat, C. Hangmann, T. Otto, U. Hilleringmann, in: 2020 International Symposium on Electromagnetic Compatibility - EMC EUROPE, IEEE, 2020.
2020 | Conference Paper | LibreCat-ID: 21584
Adaptable Realization of Industrial Analytics Functions on Edge-Devices using Reconfigurable Architectures
C.P. Gatica, M. Platzner, in: Machine Learning for Cyber Physical Systems (ML4CPS 2017), Berlin, Heidelberg, 2020.
LibreCat
| DOI
C.P. Gatica, M. Platzner, in: Machine Learning for Cyber Physical Systems (ML4CPS 2017), Berlin, Heidelberg, 2020.
2020 | Book Chapter | LibreCat-ID: 17337
Modeling and Analyzing Architectural Diversity of Open Platforms
B. Jazayeri, S. Schwichtenberg, J. Küster, O. Zimmermann, G. Engels, in: Advanced Information Systems Engineering, Cham, 2020.
LibreCat
| DOI
B. Jazayeri, S. Schwichtenberg, J. Küster, O. Zimmermann, G. Engels, in: Advanced Information Systems Engineering, Cham, 2020.
2020 | Book Chapter | LibreCat-ID: 17352
The Influence of Hydrothermal Aging on the Material Properties of Continuous Fiber-Reinforced Thermoplastics and its Non-Destructive Characterization
E. Moritzer, M. Hüttner, B. Henning, M. Webersen, in: C. Hopmann, R. Dahlmann (Eds.), Advances in Polymer Processing 2020, Springer, Berlin, Heidelberg, 2020.
LibreCat
| DOI
E. Moritzer, M. Hüttner, B. Henning, M. Webersen, in: C. Hopmann, R. Dahlmann (Eds.), Advances in Polymer Processing 2020, Springer, Berlin, Heidelberg, 2020.
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
L.M. Witschen, T. Wiersema, M. Platzner, IEEE Transactions On Very Large Scale Integration Systems 28 (2020) 2084–2088.
2020 | Journal Article | LibreCat-ID: 17369
Evolution of Application-Specific Cache Mappings
N. Ho, P. Kaufmann, M. Platzner, International Journal of Hybrid Intelligent Systems (2020).
LibreCat
N. Ho, P. Kaufmann, M. Platzner, International Journal of Hybrid Intelligent Systems (2020).
2020 | Conference Paper | LibreCat-ID: 17370
The Online Multi-Commodity Facility Location Problem
J. Castenow, B. Feldkord, T. Knollmann, M. Malatyali, F. Meyer auf der Heide, in: Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures, 2020.
LibreCat
| Files available
| DOI
| arXiv
J. Castenow, B. Feldkord, T. Knollmann, M. Malatyali, F. Meyer auf der Heide, in: Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures, 2020.
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
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.
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
I. Turcanu, T. Engel, C. Sommer, in: 2019 IEEE Vehicular Networking Conference (VNC), 2020.
2020 | Conference Paper | LibreCat-ID: 17405
A reference process for the Smart Service business: development and practical implications
M. Frank, J. Gausemeier, N. Hennig-Cardinal von Widdern, C. Koldewey, J.S. Menzefricke, J. Reinhold, in: Proceedings of the ISPIM Connects, International Society for Professional Innovation Management (ISPIM), 2020.
LibreCat
M. Frank, J. Gausemeier, N. Hennig-Cardinal von Widdern, C. Koldewey, J.S. Menzefricke, J. Reinhold, in: Proceedings of the ISPIM Connects, International Society for Professional Innovation Management (ISPIM), 2020.
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
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.
2020 | Conference Paper | LibreCat-ID: 17407
Extreme Algorithm Selection with Dyadic Feature Representation
A. Tornede, M.D. Wever, E. Hüllermeier, in: Discovery Science, 2020.
LibreCat
A. Tornede, M.D. Wever, E. Hüllermeier, in: Discovery Science, 2020.
2020 | Conference Paper | LibreCat-ID: 17408
Hybrid Ranking and Regression for Algorithm Selection
J.M. Hanselle, A. Tornede, M.D. Wever, E. Hüllermeier, in: KI 2020: Advances in Artificial Intelligence, 2020.
LibreCat
J.M. Hanselle, A. Tornede, M.D. Wever, E. Hüllermeier, in: KI 2020: Advances in Artificial Intelligence, 2020.
2020 | Book Chapter | LibreCat-ID: 17411
Symmetry in Optimal Control: A Multiobjective Model Predictive Control Approach
K. Flaßkamp, S. Ober-Blöbaum, S. Peitz, in: O. Junge, O. Schütze, G. Froyland, S. Ober-Blöbaum, K. Padberg-Gehle (Eds.), Advances in Dynamics, Optimization and Computation, Springer, Cham, 2020.
LibreCat
| DOI
K. Flaßkamp, S. Ober-Blöbaum, S. Peitz, in: O. Junge, O. Schütze, G. Froyland, S. Ober-Blöbaum, K. Padberg-Gehle (Eds.), Advances in Dynamics, Optimization and Computation, Springer, Cham, 2020.
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
| DOI
T. Tornede, A. Tornede, M.D. Wever, F. Mohr, E. Hüllermeier, in: Proceedings of the ECMLPKDD 2020, 2020.
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.)
S.H. Heid, M.D. Wever, E. Hüllermeier, Journal of Data Mining and Digital Humanities (n.d.).
2020 | Conference Paper | LibreCat-ID: 17763 |
Sprachtechnologien für Digitale Assistenten
R. Haeb-Umbach, in: R. Böck, I. Siegert, A. Wendemuth (Eds.), Studientexte Zur Sprachkommunikation: Elektronische Sprachsignalverarbeitung 2020, TUDpress, Dresden, 2020, pp. 227–234.
LibreCat
| Download (ext.)
R. Haeb-Umbach, in: R. Böck, I. Siegert, A. Wendemuth (Eds.), Studientexte Zur Sprachkommunikation: Elektronische Sprachsignalverarbeitung 2020, TUDpress, Dresden, 2020, pp. 227–234.
2020 | Journal Article | LibreCat-ID: 17803 |
Light backscattering from large clusters of densely packed irregular particles
Y. Grynko, Y. Shkuratov, J. Förstner, Journal of Quantitative Spectroscopy and Radiative Transfer 255 (2020) 107234.
LibreCat
| Files available
| DOI
Y. Grynko, Y. Shkuratov, J. Förstner, Journal of Quantitative Spectroscopy and Radiative Transfer 255 (2020) 107234.
2020 | Preprint | LibreCat-ID: 17825
Cooperative Verification via Collective Invariant Generation
J.F. Haltermann, H. Wehrheim, ArXiv:2008.04551 (2020).
LibreCat
J.F. Haltermann, H. Wehrheim, ArXiv:2008.04551 (2020).
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
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.
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
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.
2020 | Book Chapter | LibreCat-ID: 18789
Opportunities of 3D Machine Learning for Manufacturability Analysis and Component Recognition in the Additive Manufacturing Process Chain
T. Nickchen, G. Engels, J. Lohn, in: Industrializing Additive Manufacturing, Cham, 2020.
LibreCat
| DOI
T. Nickchen, G. Engels, J. Lohn, in: Industrializing Additive Manufacturing, Cham, 2020.
2020 | Journal Article | LibreCat-ID: 18850
Recombination mechanisms of luminescence type gas sensors
M. Poeplau, S. Ester, B. Henning, T. Wagner, Physical Chemistry Chemical Physics (2020).
LibreCat
| DOI
M. Poeplau, S. Ester, B. Henning, T. Wagner, Physical Chemistry Chemical Physics (2020).
2020 | Conference Paper | LibreCat-ID: 18876 |
In-depth Analysis of the Effects of Smart Services on Value Creation
J. Reinhold, M. Frank, C. Koldewey, R. Dumitrescu, E. Buss, in: Proceedings of the ISPIM Connects Bangkok – Partnering for an Innovative Community, LUT Scientific and Expertise Publications, 2020.
LibreCat
| Files available
J. Reinhold, M. Frank, C. Koldewey, R. Dumitrescu, E. Buss, in: Proceedings of the ISPIM Connects Bangkok – Partnering for an Innovative Community, LUT Scientific and Expertise Publications, 2020.
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
J.S. Menzefricke, M. Frank, M. Drewel, R. Dumitrescu, in: K. Mpofu, P. Butala (Eds.), Procedia CIRP, 2020, pp. 690–695.
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
A. Tornede, M.D. Wever, E. Hüllermeier, in: Workshop MetaLearn 2020 @ NeurIPS 2020, 2020.
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
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.
2020 | Conference Paper | LibreCat-ID: 20335
The Interdisciplinary Development of an Educational Game for Primary School Children--Lessons Learned
F. Winkelnkemper, C. Schulte, K. Eilerts, D. Bechinie, T. Huhmann, in: EdMedia+ Innovate Learning, 2020, pp. 522–529.
LibreCat
F. Winkelnkemper, C. Schulte, K. Eilerts, D. Bechinie, T. Huhmann, in: EdMedia+ Innovate Learning, 2020, pp. 522–529.
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
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.
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
C. Koldewey, M. Frank, J. Gausemeier, A. Bäsecke, J. Reinhold, R. Dumitrescu, ZWF Zeitschrift für wirtschaftliche Fabrikplanung 115 (2020) 524–528.
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
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.
2020 | Journal Article | LibreCat-ID: 20372
Light diffraction in slab waveguide lenses simulated with the stepwise angular spectrum method
L. Ebers, M. Hammer, J. Förstner, Optics Express 28 (2020) 36361.
LibreCat
| DOI
L. Ebers, M. Hammer, J. Förstner, Optics Express 28 (2020) 36361.
2020 | Journal Article | LibreCat-ID: 20447
Method for data inventory and classification
M. Massmann, M. Meyer, M. Frank, S. von Enzberg, A. Kühn, R. Dumitrescu, Procedia CIRP (2020) 234–239.
LibreCat
M. Massmann, M. Meyer, M. Frank, S. von Enzberg, A. Kühn, R. Dumitrescu, Procedia CIRP (2020) 234–239.
2020 | Journal Article | LibreCat-ID: 20448
Data-Driven Product Generation and Retrofit Planning
M. Meyer, M. Frank, M. Massmann, N. Wendt, R. Dumitrescu, Procedia CIRP (2020) 965–970.
LibreCat
M. Meyer, M. Frank, M. Massmann, N. Wendt, R. Dumitrescu, Procedia CIRP (2020) 965–970.
2020 | Journal Article | LibreCat-ID: 20449
Datengetriebene Steigerung der Verfügbarkeit
E. Uhlmann, R. Dumitrescu, J. Polte, M. Meyer, D. Simsek, Wt Werkstattstechnik Online 110 (2020) 532–535.
LibreCat
E. Uhlmann, R. Dumitrescu, J. Polte, M. Meyer, D. Simsek, Wt Werkstattstechnik Online 110 (2020) 532–535.
2020 | Journal Article | LibreCat-ID: 20450
Framework for Data Analytics in Data-Driven Product Planning
M. Massmann, M. Meyer, M. Frank, S. von Enzberg, A. Kühn, R. Dumitrescu, Procedia Manufacturing (2020).
LibreCat
M. Massmann, M. Meyer, M. Frank, S. von Enzberg, A. Kühn, R. Dumitrescu, Procedia Manufacturing (2020).
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
| DOI
L. Terfloth, L. Budde, C. Schulte, in: Association for Computing Machinery, New York, NY, USA, 2020.
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
M. Jochmaring, A Self Stabilizing Protocol for Well-Formed Trees in Hybrid Networks, 2020.
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
J. Geismann, E. Bodden, Journal of Systems and Software 169 (2020) 110697.
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.)
L. Nguyen Quang Do, E. Bodden, IEEE Transactions on Software Engineering (2020).
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.)
A. Fischer, J. Janneck, J. Kussmaul, N. Krätzschmar, F. Kerschbaum, E. Bodden, in: 2020 IEEE Computer Security Foundations Symposium (CSF), 2020.
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
M. Benz, E. Krogh Kristensen, L. Luo, N. P. Borges Jr., E. Bodden, A. Zeller, in: International Conference for Software Engineering (ICSE), 2020.
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.)
A. Fischer, B. Fuhry, F. Kerschbaum, E. Bodden, in: Privacy Enhancing Technologies Symposium (PETS/PoPETS), 2020.
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
S. Krüger, K. Ali, E. Bodden, in: International Symposium on Code Generation and Optimization (CGO), 2020, pp. 185–198.
2020 | Dissertation | LibreCat-ID: 20513
CogniCrypt -- The Secure Integration of Cryptographic Software
S. Krüger, CogniCrypt -- The Secure Integration of Cryptographic Software, Universitaetsbibliothek Paderborn, 2020.
LibreCat
| Download (ext.)
S. Krüger, CogniCrypt -- The Secure Integration of Cryptographic Software, Universitaetsbibliothek Paderborn, 2020.
2020 | Conference Paper | LibreCat-ID: 20514
Model-driven engineering and usability evaluation of self-adaptive user interfaces
E. Yigitbas, in: ACM SIGWEB Newsletter, ACM, 2020.
LibreCat
| DOI
E. Yigitbas, in: ACM SIGWEB Newsletter, ACM, 2020.
2020 | Conference Paper | LibreCat-ID: 20518
Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers
T. Koch, S. Dziwok, J. Holtmann, E. Bodden, in: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20), ACM, 2020.
LibreCat
| DOI
T. Koch, S. Dziwok, J. Holtmann, E. Bodden, in: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20), ACM, 2020.
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
C. Gerking, Model-Driven Information Flow Security Engineering for Cyber-Physical Systems, Paderborn University, 2020.
2020 | Book Chapter | LibreCat-ID: 20568 |
GEMINI-Modellierungssprache für Wertschöpfungssysteme
J. Reinhold, C. Koldewey, R. Dumitrescu, in: B. Buchholz, M. Bürger (Eds.), Der Geschäftsmodell-Toolguide , Campus Verlag, Frankfurt am Main, 2020, pp. 52–56.
LibreCat
| Download (ext.)
J. Reinhold, C. Koldewey, R. Dumitrescu, in: B. Buchholz, M. Bürger (Eds.), Der Geschäftsmodell-Toolguide , Campus Verlag, Frankfurt am Main, 2020, pp. 52–56.
2020 | Book Chapter | LibreCat-ID: 20570 |
GEMINI-Geschäftsmodellmuster-Kartenset
C. Koldewey, J. Reinhold, R. Dumitrescu, in: B. Buchholz, M. Bürger (Eds.), Der Geschäftsmodell-Toolguide, Campus Verlag, Frankfurt am Main, 2020, pp. 61–66.
LibreCat
| Download (ext.)
C. Koldewey, J. Reinhold, R. Dumitrescu, in: B. Buchholz, M. Bürger (Eds.), Der Geschäftsmodell-Toolguide, Campus Verlag, Frankfurt am Main, 2020, pp. 61–66.
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.)
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.
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.)
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.
2020 | Conference Paper | LibreCat-ID: 20695 |
Jointly Optimal Dereverberation and Beamforming
C. Boeddeker, T. Nakatani, K. Kinoshita, R. Haeb-Umbach, in: ICASSP 2020 - 2020 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 2020.
LibreCat
| Files available
| DOI
C. Boeddeker, T. Nakatani, K. Kinoshita, R. Haeb-Umbach, in: ICASSP 2020 - 2020 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 2020.
2020 | Conference Paper | LibreCat-ID: 20700 |
Towards a speaker diarization system for the CHiME 2020 dinner party transcription
C. Boeddeker, T. Cord-Landwehr, J. Heitkaemper, C. Zorila, D. Hayakawa, M. Li, M. Liu, R. Doddipatla, R. Haeb-Umbach, in: Proc. CHiME 2020 Workshop on Speech Processing in Everyday Environments, 2020.
LibreCat
| Files available
C. Boeddeker, T. Cord-Landwehr, J. Heitkaemper, C. Zorila, D. Hayakawa, M. Li, M. Liu, R. Doddipatla, R. Haeb-Umbach, in: Proc. CHiME 2020 Workshop on Speech Processing in Everyday Environments, 2020.
2020 | Report | LibreCat-ID: 20712
Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries
P. Schubert, E. Bodden, B. Hermann, Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries, 2020.
LibreCat
| Files available
P. Schubert, E. Bodden, B. Hermann, Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries, 2020.
2020 | Preprint | LibreCat-ID: 20748
Search Space Characterization for AxC Synthesis
L.M. Witschen, T. Wiersema, M. Platzner, Fifth Workshop on Approximate Computing (AxC 2020) (n.d.).
LibreCat
| Files available
L.M. Witschen, T. Wiersema, M. Platzner, Fifth Workshop on Approximate Computing (AxC 2020) (n.d.).
2020 | Conference Paper | LibreCat-ID: 20750
ReconROS: Flexible Hardware Acceleration for ROS2 Applications
C. Lienen, M. Platzner, B. Rinner, in: Proceedings of the 2020 International Conference on Field-Programmable Technology (FPT), 2020.
LibreCat
C. Lienen, M. Platzner, B. Rinner, in: Proceedings of the 2020 International Conference on Field-Programmable Technology (FPT), 2020.
2020 | Conference Paper | LibreCat-ID: 20755
Fast Hybrid Network Algorithms for Shortest Paths in Sparse Graphs
M. Feldmann, K. Hinnenthal, C. Scheideler, in: Proceedings of the 24th International Conference on Principles of Distributed Systems (OPODIS), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
LibreCat
| Files available
| DOI
| arXiv
M. Feldmann, K. Hinnenthal, C. Scheideler, in: Proceedings of the 24th International Conference on Principles of Distributed Systems (OPODIS), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.