Concepedia

Max Kanovich

MK

18

Publications

554

Citations

15

H-Index

1994

Active since

Affiliations

Russian State University for the Humanities(Current)

Queen Mary University of London

University of Pennsylvania

University College London

University of Rijeka

Max Kanovich is an author at Russian State University for the Humanities specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationVerificationComputational ComplexityData SecurityMechanism DesignSystems Engineering

Publications per year

1994–2019

18

Publications

18

Horn programming in linear logic is NP-complete

Max Kanovich · 2003 · 73 citations

Theory Of Computing, Horn Programming, Non-monotonic Logic +14

Inductive methods and contract-signing protocols

Rohit Chadha, Max Kanovich, Andre Scedrov · 2001 · 60 citations

Engineering, Information Security, Verification +18

The complexity of Horn fragments of Linear Logic

Max Kanovich · Annals of Pure and Applied Logic · 1994 · 48 citations

Engineering, Abstract Complexity, Automated Reasoning +6

Undecidability of Propositional Separation Logic and Its Neighbours

J G. Brotherston, Max Kanovich · 2010 · 48 citations

Engineering, Classical Logic, Separation Logic +16

Linear logic as a logic of computations

Max Kanovich · Annals of Pure and Applied Logic · 1994 · 47 citations

Applied Logic, Engineering, Automated Reasoning +4

Rows per page

1–5 of 18