Concepedia

Henning Schnoor

HS

Statistics

Publications

7

Citations

132

H-Index

7

Active since

2009

Affiliations

Christian-Albrechts-Universität zu Kiel(Current)

University of Helsinki

Leibniz University Hannover

Rochester Institute of Technology

Henning Schnoor is an author at Christian-Albrechts-Universität zu Kiel specializing in computer science, formal methods, and computing.

ORCID

Publications per year

2009–2016

7

Publications

7

A Van Benthem Theorem for Modal Team Semantics

Juha Kontinen, Julian-Steffen Müller, Henning Schnoor et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2015 · 25 citations · Full text

, , +12

Generalized modal satisfiability

Edith Hemaspaandra, Henning Schnoor, Ilka Schnoor · Journal of Computer and System Sciences · 2009 · 22 citations

Modal independence logic:

Juha Kontinen, Julian-Steffen Müller, Henning Schnoor et al. · Journal of Logic and Computation · 2016 · 22 citations · Full text

, , +10

Modal Independence Logic

Juha Kontinen, Julian-Steffen Müller, Henning Schnoor et al. · arXiv (Cornell University) · 2014 · 18 citations · Full text

, , +10

Strategic planning for probabilistic games with incomplete information

Henning Schnoor · 2010 · 17 citations

, , +11

1–5 of 7