Parallelizing the dual revised simplex method

• Flexibility framework for production-related waste heat and internal gains valorization in building energy supply at facility and district scales

  2026 Energy and Buildings article Energy Energy Efficiency and Management Open access

  1

  citations
• The revised practitioner’s guide to MDP model checking algorithms

  2026 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access

  1

  citations
• Interpretable approaches for decorrelated sparse survival regression

  2026 Neurocomputing article Mathematics Statistical Methods and Inference Open access

  0

  citations
• Aligning Tag-Based Building Operating Systems with RealEstateCore Ontology for Interoperability, Digital Twin Knowledge Graphs and Energy Management

  2025 conference-paper Engineering BIM and Construction Integration

  0

  citations
• MASSIVE: A scalable framework for agent-based scheduling of micro-grids using market mechanisms

  2025 Energy Informatics article Engineering Smart Grid Energy Management Open access

  2

  citations
• Modular Construction of Topological Interlocking Blocks—An Algebraic Approach for Resource-Efficient Carbon-Reinforced Concrete Structures

  2023 Buildings article Engineering Innovations in Concrete and Construction Materials Open access

  9

  citations
• Cavity-renormalized quantum criticality in a honeycomb bilayer antiferromagnet

  2023 Communications Physics article Physics and Astronomy Strong Light-Matter Interactions Open access

  16

  citations
• Cavity-renormalized quantum criticality in a honeycomb bilayer antiferromagnet

  2023 RWTH Publications (RWTH Aachen) article Physics and Astronomy Physics of Superconductivity and Magnetism Open access

  0

  citations
• A Practitioner’s Guide to MDP Model Checking Algorithms

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

  35

  citations

9 results