BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Henning Schnoor
SearchCollections
Map detail
Henning Schnoor13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipHenning SchnoorAHenning SchnoorResearcherActive Linkability AttacksWActive Linkability Attackspreprint / 2014The Relative Succinctness and Expressiveness of Modal Logics Can Be Arbitrarily ComplexWThe Relative Succinctne...preprint / 2014A Simplest Undecidable Modal LogicWA Simplest Undecidable ...preprint / 2011Minimization for Generalized Boolean FormulasWMinimization for Genera...preprint / 2011Noninterference with Local PoliciesWNoninterference with Lo...preprint / 2013Relation-algebraic and Tool-supported Control of Condorcet VotingWRelation-algebraic and ...preprint / 2013Complexity Dichotomies for Unweighted Scoring RulesWComplexity Dichotomies ...preprint / 2016Complexity and Unwinding for Intransitive NoninterferenceWComplexity and Unwindin...preprint / 2013On Defendability of Security PropertiesWOn Defendability of Sec...preprint / 2014Modal Independence LogicWModal Independence Logicpreprint / 2014A Control Dichotomy for Pure Scoring RulesWA Control Dichotomy for...preprint / 2014The Complexity of Generalized Satisfiability for Linear Temporal LogicWThe Complexity of Gener...preprint / 2009
Person12 links

Henning Schnoor

Researcher

PaperActive Linkability AttacksAuthorship / preprint / 2014PaperThe Relative Succinctness and Expressiveness of Modal Logics Can Be Arbitrarily ComplexAuthorship / preprint / 2014PaperA Simplest Undecidable Modal LogicAuthorship / preprint / 2011PaperMinimization for Generalized Boolean FormulasAuthorship / preprint / 2011PaperNoninterference with Local PoliciesAuthorship / preprint / 2013PaperRelation-algebraic and Tool-supported Control of Condorcet VotingAuthorship / preprint / 2013PaperComplexity Dichotomies for Unweighted Scoring RulesAuthorship / preprint / 2016PaperComplexity and Unwinding for Intransitive NoninterferenceAuthorship / preprint / 2013

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)