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.