Max Kanovich -

Registered user since Wed 21 Oct 2015

Name:Max Kanovich

Contributions

ASE 2021	Author of A Compositional Deadlock Detector for Android Java within the Research Papers-track
FSCD 2017	Author of A polynomial-time algorithm for the Lambek calculus with brackets of bounded order within the FSCD 2017-track
POPL 2016	Author of Model Checking for Symbolic-Heap Separation Logic with Inductive Predicates within the Research Papers-track