Epistemic Programming
S. Hüsing, C. Schulte, F. Winkelnkemper, in: Computer Science Education, Bloomsbury Academic, 2023.

Gathering a Euclidean Closed Chain of Robots in Linear Time and Improved Algorithms for Chain-Formation
J. Castenow, J. Harbig, D. Jung, T. Knollmann, F. Meyer auf der Heide, Theoretical Computer Science 939 (2023) 261–291.

Model Generation For Java Frameworks
L. Luo, G. Piskachev, R. Krishnamurthy, J. Dolby, M. Schäf, E. Bodden, in: IEEE International Conference on Software Testing, Verification and Validation (ICST), 2023.

Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis
A.P. Shivarpatna Venkatesh, J. Wang, L. Li, E. Bodden, in: IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2023.

End-User Development of Interactive Web-Based Virtual Reality Scenes
E. Yigitbas, J. Klauke, S. Gottschalk, G. Engels, Journal on Computer Languages (COLA)  (2023).

Enhancing Robot Programming through Digital Twin and Augmented Reality 
E. Yigitbas, G. Engels, in: 56th Hawaii International Conference on System Science (HICSS 2023) , ScholarSpace, 2023.

Towards Enhanced Guiding Mechanisms in VR Training through Process Mining
E. Yigitbas, S. Krois, S. Gottschalk, G. Engels, in: Proceedings of the 7th International Conference on Human Computer Interaction Theory and Applications (HUCAPP’23) , 2023.

A Unifying Approach to Efficient (Near-)Gathering of Disoriented Robots with Limited Visibility 
J. Castenow, J. Harbig, D. Jung, P. Kling, T. Knollmann, F. Meyer auf der Heide, in: E. Hillel, R. Palmieri, E. Riviére (Eds.), Proceedings of the 26th International Conference on Principles of Distributed Systems (OPODIS) , Schloss Dagstuhl – Leibniz Zentrum für Informatik, Brussels, 2023, p. 15:1–15:25.

Learning a model is paramount for sample efficiency in reinforcement  learning control of PDEs
S. Werner, S. Peitz, ArXiv:2302.07160 (2023).

Quantum space, ground space traversal, and how to embed multi-prover  interactive proofs into unentanglement
S. Gharibian, D. Rudolph, in: 14th Innovations in Theoretical Computer Science (ITCS), 2023, p. 53:1-53:23.

On the structure of regularization paths for piecewise differentiable regularization terms
B. Gebken, K. Bieker, S. Peitz, Journal of Global Optimization 85 (2023) 709–741.

fpgaDDS: An Intra-FPGA Data Distribution Service for ROS 2 Robotics Applications
C. Lienen, S.H. Middeke, M. Platzner, (2023).

Beep-and-Sleep: Message and Energy Efficient Set Cover
T. Götte, C. Kolb, C. Scheideler, J. Werthmann, Theor. Comput. Sci. 950 (2023) 113756.

Supporting Construction and Architectural Visualization through BIM and AR/VR: A Systematic Literature Review
E. Yigitbas, A. Nowosad, G. Engels, in: Proceedings of the 19th IFIP T International Conference on Human-Computer Interaction (INTERACT 2023), Springer, 2023.

Towards reliable data-based optimal and predictive control using extended DMD
M. Schaller, K. Worthmann, F. Philipp, S. Peitz, F. Nüske, in: IFAC-PapersOnLine, 2023, pp. 169–174.

Online load balancing on uniform machines with limited migration
M. Maack, Operations Research Letters 51 (2023) 220–225.

 A Formal Comparison of Advanced Digital Signature Primitives
P. Schürmann,  A Formal Comparison of Advanced Digital Signature Primitives, 2023.

The Complexity of Translationally Invariant Problems beyond Ground State Energies
S. Gharibian, J. Watson, J. Bausch, in: Proceedings of the 40th International Symposium on Theoretical Aspects of Computer Science (STACS), 2023, p. 54:1-54:21.

MAAS: Hiding Trojans in Approximate Circuits
Q.A. Ahmed, M. Awais, M. Platzner, in: The 24th International Symposium on Quality Electronic Design (ISQED’23), San Francisco, Califorina USA, 2023.

Minimum Edge Cuts in Overlay Networks
J. Schweichhart, Minimum Edge Cuts in Overlay Networks, 2023.

Unifying Gathering Protocols for Swarms of Mobile Robots
J. Castenow, J. Harbig, F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Springer International Publishing, Cham, 2023.

Model-driven Collaborative Design of Professional Education Programmes With Extended Online Whiteboards
D. Wolters, G. Engels, in: MODELSWARD’23, SCITEPRESS, n.d., pp. 133–142.

Cooperative Android App Analysis
F. Pauck, Cooperative Android App Analysis, Paderborn University, 2023.

Routing Schemes for Hybrid Communication Networks
J. Werthmann, C. Scheideler, S. Coy, A. Czumaj, P. Schneider, in: 2023.

Designing Business Reputation Ecosystems — A Method for Issuing and Trading Monetary Ratings on a Blockchain
S. Hemmrich, J. Bobolz, D. Beverungen, J. Blömer, in: ECIS 2023 Research Papers, 2023.

Development and Evaluation of a Model-Based UI Prototyping Experimentation Approach
N. N., Development and Evaluation of a Model-Based UI Prototyping Experimentation Approach, 2023.

Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis
K. Karakaya, E. Bodden, in: 2023 IEEE Conference on Software Testing, Verification and Validation (ICST), IEEE, 2023.

Privacy-Preserving Collection and Evaluation of Log Files
A. Koch, Privacy-Preserving Collection and Evaluation of Log Files, 2023.

IngridKG: A FAIR Knowledge Graph of Graffiti
M.A. Sherif, A.A.M. da Silva, S. Pestryakova, A.F. Ahmed, S. Niemann, A.-C.N. Ngomo, Scientific Data 10 (2023).

Local Protocols for Contracting and Expanding Robot Formation Problems
J. Castenow, Local Protocols for Contracting and Expanding Robot Formation Problems, 2023.

Online Algorithms for Allocating Heterogeneous Resources
T. Knollmann, Online Algorithms for Allocating Heterogeneous Resources, 2023.

Approximation Algorithms for Fair Range Clustering
S.S. Hotegni, S. Mahabadi, A. Vakilian, in: Proceedings of the 40th International Conference on Machine Learning, Honolulu, Hawaii, USA. PMLR 202, 2023., n.d.

We Really Need to Talk About Session Tickets: A Large-Scale Analysis of Cryptographic Dangers with TLS Session Tickets
S.N. Hebrok, S. Nachtigall, M. Maehren, N. Erinola, R. Merget, J. Somorovsky, J. Schwenk, in: 32nd USENIX Security Symposium, 2023.

Effizienzanalyse leichtgewichtiger Neuronaler Netze für FPGA-basierte Modulationsklassifikation
F. Simon-Mertens, Effizienzanalyse Leichtgewichtiger Neuronaler Netze Für FPGA-Basierte Modulationsklassifikation, 2023.

Data-Driven Product Management: A Practitioner-Driven Research Agenda
K. Grigoryan, T. Fichtler, N. Schreiner, M. Rabe, M. Panzner, A. Kühn, R. Dumitrescu, C. Koldewey, in: Procedia CIRP 33, 2023.

Interview Study on Strategy Options for Platform Operation in B Markets
L. Özcan, T. Fichtler, B. Kasten, C. Koldewey, R. Dumitrescu, in: 2023.

Neural Class Expression Synthesis
N.J. KOUAGOU, S. Heindorf, C. Demir, A.-C. Ngonga Ngomo, in: C. Pesquita, E. Jimenez-Ruiz, J. McCusker, D. Faria, M. Dragoni, A. Dimou, R. Troncy, S. Hertling (Eds.), The Semantic Web - 20th Extended Semantic Web Conference (ESWC 2023), Springer International Publishing, 2023, pp. 209–226.

Counterfactual Explanations for Concepts in ELH
L.N. Sieger, S. Heindorf, L. Blübaum, A.-C. Ngonga Ngomo, ArXiv:2301.05109 (2023).

Identifizierung quantifizierbarer Bewertungsinhalte und -kategorien mittels Text Mining
J. Kersting, Identifizierung quantifizierbarer Bewertungsinhalte und -kategorien mittels Text Mining, Universität der Bundeswehr München , Neubiberg, 2023.

Capabilities and Limitations of Local Strategies in Dynamic Networks
T. Götte, T. Knollmann, F. Meyer auf der Heide, C. Scheideler, J. Werthmann, in: C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, H. Wehrheim (Eds.), On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets, Heinz Nixdorf Institut, Universität Paderborn, Paderborn, 2023, pp. 1--20.

On-The-Fly Compute Centers II: Execution of Composed Services in Configurable Compute Centers
H. Karl, M. Maack, F. Meyer auf der Heide, S. Pukrop, A. Redder, in: C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, H. Wehrheim (Eds.), On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets, Heinz Nixdorf Institut, Universität Paderborn, Paderborn, 2023, pp. 183–202.

Practical Cryptograhic Techniques for Secure and Privacy-Preserving Customer Loyalty Systems
J. Blömer, J. Bobolz, F. Eidens, T. Jager, P. Kramer, in: C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, H. Wehrheim (Eds.), On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets, Heinz Nixdorf Institut, Universität Paderborn, Paderborn, 2023, pp. 237–246.

Flexible Industrial Analytics on Reconfigurable Systems-On-Chip
A. Boschmann, L. Clausing, F. Jentzsch, H. Ghasemzadeh Mohammadi, M. Platzner, in: C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, H. Wehrheim (Eds.), On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets, Heinz Nixdorf Institut, Universität Paderborn, Paderborn, 2023, pp. 225–236.

Verifying Software and Reconfigurable Hardware Services
H. Wehrheim, M. Platzner, E. Bodden, P. Schubert, F. Pauck, M.-C. Jakobs, in: C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, H. Wehrheim (Eds.), On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets, Heinz Nixdorf Institut, Universität Paderborn, Paderborn, 2023, pp. 125–144.

Architectural Management of OTF Computing Markets
S. Gottschalk, C. Vorbohle, D. Kundisch, G. Engels, N.V. Wünderlich, in: C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, H. Wehrheim (Eds.), On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets, Heinz Nixdorf Institut, Universität Paderborn, Paderborn, 2023, pp. 203–224.

Robustness and Security
J. Blömer, F. Eidens, T. Jager, D. Niehues, C. Scheideler, in: C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, H. Wehrheim (Eds.), On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets, Heinz Nixdorf Institut, Universität Paderborn, Paderborn, 2023, pp. 145–164.

Dialogue-based Requirement Compensation and Style-adjusted Data-to-text Generation
F.S. Bäumer, W.-F. Chen, M. Geierhos, J. Kersting, H. Wachsmuth, in: C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, H. Wehrheim (Eds.), On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets, Heinz Nixdorf Institut, Universität Paderborn, Paderborn, 2023, pp. 65–84.

Configuration and Evaluation
J.M. Hanselle, E. Hüllermeier, F. Mohr, A.-C. Ngonga Ngomo, M. Sherif, A. Tornede, M.D. Wever, in: C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, H. Wehrheim (Eds.), On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets, Heinz Nixdorf Institut, Universität Paderborn, Paderborn, 2023, pp. 85–104.

The Market for Services: Incentives, Algorithms, Implementation
C.-J. Haake, B. Hehenkamp, G. Polevoy, in: C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, H. Wehrheim (Eds.), On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets, Heinz Nixdorf Institut, Universität Paderborn, Paderborn, 2023, pp. 21–44.

Composition Analysis in Unknown Contexts
H. Wehrheim, E. Hüllermeier, S. Becker, M. Becker, C. Richter, A. Sharma, in: C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, H. Wehrheim (Eds.), On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets, Heinz Nixdorf Institut, Universität Paderborn, Paderborn, 2023, pp. 105–123.

Reconfigurable Random Forest Implementation on FPGA
M. Raeisi Nafchi, Reconfigurable Random Forest Implementation on FPGA, Paderborn University, 2023.

Data Analytics for Predictive Maintenance of Time Series Data
N. Yadalam Murali Kumar, Data Analytics for Predictive Maintenance of Time Series Data, Paderborn University, 2023.

The Optimal Depth of Variational Quantum Algorithms Is QCMA-Hard to Approximate
L. Bittel, S. Gharibian, M. Kliesch, in: Proceedings of the 38th Computational Complexity Conference (CCC), 2023, p. 34:1-34:24.

On Cloud Assisted, Restricted, and Reosurce Constrained Scheduling
S. Pukrop, On Cloud Assisted, Restricted, and Reosurce Constrained Scheduling, 2023.

Utilizing Redundancy in Distributed Heterogeneous Storage
F. Schneider, Utilizing Redundancy in Distributed Heterogeneous Storage, 2023.

Reconfigurable Random Forest Implementation on FPGA
M. Raeisi Nafchi, Reconfigurable Random Forest Implementation on FPGA, 2023.

Graph Neural Network-based Anomaly Detection in  Smart Grid Energy Consumption
A. Ranade, Graph Neural Network-Based Anomaly Detection in  Smart Grid Energy Consumption, 2023.

Highly accurate deep compressed facial recognition
O. Ali, Highly Accurate Deep Compressed Facial Recognition, 2023.

Virtual On-Demand Volunteer System Based on Delaunay Triangulation
N. Ashri, Virtual On-Demand Volunteer System Based on Delaunay Triangulation, 2023.

Multi-FPGA Designs and Scaling of HPC Challenge Benchmarks via MPI and Circuit-Switched Inter-FPGA Networks
M. Meyer, T. Kenter, C. Plessl, ACM Transactions on Reconfigurable Technology and Systems (2023).

Compute Centers I: Heterogeneous Execution Environments
T. Hansmeier, T. Kenter, M. Meyer, H. Riebler, M. Platzner, C. Plessl, in: C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, H. Wehrheim (Eds.), On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets, Heinz Nixdorf Institut, Universität Paderborn, Paderborn, 2023, pp. 165–182.

Mutation Tree Reconstruction of Tumor Cells on FPGAs Using a Bit-Level Matrix Representation
J.-O. Opdenhövel, C. Plessl, T. Kenter, in: Proceedings of the 13th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies, ACM, 2023.

Mapping and Optimizing Communication in ROS 2-based Applications on Configurable System-on-Chip Platforms
C. Lienen, A.P. Nowosad, M. Platzner, (n.d.).

Improving the End-of-Line Test of Custom-Built Geared Motors using Clustering based on Neural Networks
N. N., Improving the End-of-Line Test of Custom-Built Geared Motors Using Clustering Based on Neural Networks, 2023.

Neuro-Symbolic Class Expression Learning
C. Demir, A.-C. Ngonga Ngomo, International Joint Conference on Artificial Intelligence (2023).

Computing and Compressing Electron Repulsion Integrals on FPGAs
X. Wu, T. Kenter, R. Schade, T. Kühne, C. Plessl, in: 2023 IEEE 31st Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM), 2023, pp. 162–173.

Breaking the exascale barrier for the electronic structure problem in ab-initio molecular dynamics
R. Schade, T. Kenter, H. Elgabarty, M. Lass, T. Kühne, C. Plessl, The International Journal of High Performance Computing Applications (2023).

On Guaranteeing Schedulability of Periodic Real-time Hardware Tasks under ReconO
L. Clausing, Z. Guetattfi, P. Kaufmann, C. Lienen, M. Platzner, in: Proceedings of the 19th International Symposium on Applied Reconfigurable Computing (ARC), 2023.

Advanced Algorithm Selection with Machine Learning: Handling Large Algorithm Sets, Learning From Censored Data, and Simplyfing Meta Level Decisions
A. Tornede, Advanced Algorithm Selection with Machine Learning: Handling Large Algorithm Sets, Learning From Censored Data, and Simplyfing Meta Level Decisions, 2023.

IndQNER: Named Entity Recognition Benchmark Dataset from the Indonesian Translation of the Quran
R.H. Gusmita, A.F. Firmansyah, D. Moussallem, A.-C. Ngonga Ngomo, in: Natural Language Processing and Information Systems, Springer Nature Switzerland, Cham, 2023.

Accelerating Concept Learning via Sampling
A. Baci, S. Heindorf, in: CIKM, 2023.

Partial observations, coarse graining and equivariance in Koopman  operator theory for large-scale dynamical systems
S. Peitz, H. Harder, F. Nüske, F. Philipp, M. Schaller, K. Worthmann, ArXiv:2307.15325 (2023).

Finite-data error bounds for Koopman-based prediction and control
F. Nüske, S. Peitz, F. Philipp, M. Schaller, K. Worthmann, Journal of Nonlinear Science 33 (2023).

Multi-Objective Optimization for Sparse Deep Neural Network Training
S.S. Hotegni, S. Peitz, M.B. Berkemeier, ArXiv:2308.12243 (2023).

Efficient time stepping for numerical integration using reinforcement  learning
M. Dellnitz, E. Hüllermeier, M. Lücke, S. Ober-Blöbaum, C. Offen, S. Peitz, K. Pfannschmidt, SIAM Journal on Scientific Computing 45 (2023) 9–5.

On-The-Fly Computing -- Individualized IT-services in dynamic markets
C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, H. Wehrheim, On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets, Heinz Nixdorf Institut, Universität Paderborn, Paderborn, 2023.

Mit dem Leben Schritt halten - Eine Analyse des Wearable-Dispositivs
F.M. Schloots, Mit dem Leben Schritt halten - Eine Analyse des Wearable-Dispositivs, Springer Fachmedien Wiesbaden, Wiesbaden, 2023.

ElectricGrid.jl - A Julia-based modeling and simulationtool for power electronics-driven electric energy grids
O. Wallscheid, S. Peitz, J. Stenner, D. Weber, S. Boshoff, M. Meyer, V. Chidananda, O. Schweins, Journal of Open Source Software 8 (2023).

Paradigmenwechsel vom klassischen zum datengetriebenen Problemlösen im Informatikunterricht
L. Höper, C. Schulte, MNU journal 76 (2023) 314–320.

On the impossibility of surviving (iterated) deletion of weakly dominated strategies in rational MPC
J. Blömer, J. Bobolz, H. Bröcher, in: 2023.

A Generic Construction of an Anonymous Reputation System and Instantiations from Lattices
J. Blömer, J. Bobolz, L.A. Porzenheim, in: 2023.

Minimizing Eye Movements and Distractions in Head-Mounted Augmented Reality through Eye-Gaze Adaptiveness
D. Wecker, E. Yigitbas, in: Proceedings of the ACM Symposium on Spatial User Interaction (SUI 2023), ACM, 2023.

GaMoVR: Gamification-Based UML Learning Environment in Virtual Reality
E. Yigitbas, M. Schmidt, A. Bucchiarone, S. Gottschalk, G. Engels, Science of Computer Programming (2023).

Transitional Cross Reality Interfaces for Spatially Demanding Search and Collect Tasks 
L. Schmidt, E. Yigitbas, in: Proceedings of the 27th International Workshop on Personalization and Recommendation, GI DL, 2023.

ABIS 2023 – 27th International Workshop on Personalization and Recommendation
T. Neumayr, E. Yigitbas, M. Augstein, E. Herder, in: Proceedings of the Mensch &; Computer (2023), 2023.

Routing in Hypergraphs
V. Deppe, Routing in Hypergraphs, 2023.

ARIadne – An Explanation Model for Digital Artefacts
F. Winkelnkemper, L. Höper, C. Schulte, Informatics in Education (2023).

Virtual Reality Collaboration Platform for Agile Software Development
E. Yigitbas, I. Witalinski, S. Gottschalk, G. Engels, in: Proceedings of the 24th International Conference on Product-Focused Software Process Improvement (PROFES 2023), Springer, 2023.

Transferability of a discrepancy model for the dynamics of electromagnetic oscillating circuits
M.C. Wohlleben, L. Muth, S. Peitz, W. Sextro, in: Proceedings in Applied Mathematics and Mechanics, Wiley, 2023.

An Integrative View of the Transformations towards Sustainability and Digitalization: The Case for a Dual Transformation
C. Kürpick, A. Rasor, M. Scholtysik, A. Kühn, C. Koldewey, R. Dumitrescu, Procedia CIRP 119 (2023) 614–619.

Projektmanagement Und Vorgehensmodelle 2023 - Nachhaltige IT-Projekte
A. Kalenborn, M. Fazal-Baqaie, O. Linssen, A. Volland, E. Yigitbas, M. Engstler, M. Bertram, eds., Projektmanagement Und Vorgehensmodelle 2023 - Nachhaltige IT-Projekte, Gesellschaft für Informatik e.V, 2023.

Lessons Learned from the Introduction of Systems Engineering
D. Wilke, R. Grothe, L. Bretz, H. Anacker, R. Dumitrescu, Systems 11 (2023).

Soziotechnische Gestaltung einer intelligenten Personaleinsatzplanung
S. Gabriel, D. Bentler, M. Bansmann, B. Andrew Latos, A. Kühn, R. Dumitrescu, Zeitschrift Für Wirtschaftlichen Fabrikbetrieb 118 (2023) 64–68.

Soziotechnisches Risikomanagement als Erfolgsfaktor für die Digitale Transformation
J.S. Menzefricke, S. Gabriel, T. Gundlach, D. Hobscheidt, C. Kürpick, F. Schnasse, M. Scholtysik, H. Seif, C. Koldewey, R. Dumitrescu, in: Schwerpunkt Business Model Innovation, Springer Fachmedien Wiesbaden, Wiesbaden, 2023.

Partizipatives Gestaltungsvorgehen bei der Einführung künstlicher Intelligenz in produzierenden Unternehmen
D. Bentler, S. Gabriel, B.A. Latos, O. Dietrich, R. Dumitrescu, G.W. Maier, in: GfA-Frühjahrskongress 2023, GfA, Sankt Augustin, 2023.

Identification and prediction of standard times in machining for precision steel tubes through the usage of data analytics
J. Weller, D. Roesmann, S. Eggert, S. von Enzberg, I. Gräßler, R. Dumitrescu, Procedia CIRP 119 (2023) 514–520.

Design of individual simulation games in manufacturing companies for game-based learning
F. Machon, S. Gabriel, B. Latos, C. Holtkötter, B. Lütkehoff, L. Asmar, A. Kühn, R. Dumitrescu, Procedia CIRP 119 (2023) 1017–1022.

Process Mining Data Canvas: A method to identify data and process knowledge for data collection and preparation in process mining projects
J. Brock, S. von Enzberg, A. Kühn, R. Dumitrescu, Procedia CIRP 119 (2023) 602–607.

Targeted-oriented selection of engineering methods
D. Wilke, A. Schierbaum, H. Anacker, R. Dumitrescu, Procedia CIRP 119 (2023) 788–793.

On the Membership and Correctness Problem for State Serializability and Value Opacity
J. König, On the Membership and Correctness Problem for State Serializability and Value Opacity, 2023.