• Sign in
  • Sign up
conf.researchr.org / Max Kanovich
  • ASE 2021 profile
  • ICFP 2017 profile
  • POPL 2016 profile

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

Share
xThu 9 Feb 03:55
using conf.researchr.org (v1.58.0)
Support page
Sign Up