The complexity of theorem-proving procedures

• Semantic difference analysis for model compositions of class diagrams, OCL constraints, and object diagrams

  2026 Innovations in Systems and Software Engineering article Computer Science Model-Driven Software Engineering Techniques Open access

  1

  citations
• Accelerating hybrid XOR–CNF Boolean satisfiability problems natively with in-memory computing

  2026 Nature Communications article Engineering Advanced Memory and Neural Computing Open access

  0

  citations
• MoMo - Combining Neuron Morphology and Connectivity for Interactive Motif Analysis in Connectomes

  2025 IEEE Transactions on Visualization and Computer Graphics article Computer Science Data Visualization and Analytics Open access

  1

  citations
• MoMo - Combining Neuron Morphology and Connectivity for Interactive Motif Analysis in Connectomes

  2025 bioRxiv (Cold Spring Harbor Laboratory) preprint Computer Science Data Visualization and Analytics Open access

  0

  citations
• Automated Reasoning in Quantum Circuit Compilation

  2024 Lecture notes in computer science conference-paper Computer Science Quantum Computing Algorithms and Architecture Open access

  4

  citations
• Semantic Difference Analysis with Invariant Tracing for Class Diagrams Extended by OCL

  2024 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) conference-paper Computer Science Model-Driven Software Engineering Techniques

  3

  citations
• Automated Exercise Generation for Satisfiability Checking

  2023 Lecture notes in computer science conference-paper Computer Science Educational Technology and Assessment

  2

  citations
• Incremental Property Directed Reachability

  2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

  1

  citations
• Thermodynamic Perspectives on Computational Complexity: Exploring the P vs. NP Problem

  2023 SSRN Electronic Journal preprint Computer Science Complexity and Algorithms in Graphs Open access

  2

  citations
• The Surprising Power of Graph Neural Networks with Random Node Initialization

  2021 conference-paper Computer Science Advanced Graph Neural Networks Open access cited by 1 patent

  14

  citations
• Algorithmic Reduction of Biological Networks with Multiple Time Scales

  2021 Mathematics in Computer Science article Biochemistry, Genetics and Molecular Biology Gene Regulatory Network Analysis Open access

  9

  citations

11 results