Holger Hermanns (Saarland University

Identifiers

• name variant Holger Hermanns (Saarland University 0.60 · backfill

Papers (2)

1. Towards a Framework Combining Machine Ethics and Machine Explainability cs.AI · 2019 · author #3
2. Efficient CSL Model Checking Using Stratification cs.LO · 2011 · author #11

Mentions

• 1104.4983 #11 · backfill · confidence 0.70 Holger Hermanns (Saarland University

Frequent Coauthors

• Computer Science 1 shared papers
• David N. Jansen (Radboud Universiteit 1 shared papers
• Denmark) 1 shared papers
• DTU Informatics 1 shared papers
• Flemming Nielson (Technical University of Denmark 1 shared papers
• Germany) 1 shared papers
• Kevin Baum (Saarland University 1 shared papers
• Lijun Zhang (Technical University of Denmark 1 shared papers
• Model-based system design 1 shared papers
• Nijmegen 1 shared papers
• Saarbr) 1 shared papers
• the Netherlands) 1 shared papers
• Timo Speith (Saarland University 1 shared papers