Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Max Kanovich
conf.researchr.org general profile
ASE 2021 profile
ICFP 2017 profile
POPL 2016 profile
Registered user since Wed 21 Oct 2015
Name:
Max Kanovich
Contributions
2021
ASE
Author of A Compositional Deadlock Detector for Android Java within the Research Papers-track
2017
FSCD
Author of A polynomial-time algorithm for the Lambek calculus with brackets of bounded order within the FSCD 2017-track
2016
POPL
Author of Model Checking for Symbolic-Heap Separation Logic with Inductive Predicates within the Research Papers-track
Share
x
Thu 21 Nov 12:13