BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Italy
1 × Japan
1 × Poland
2 × France
2 × USA
2 × United Kingdom
Collaborated with:
N.Gorogiannis J.Brotherston J.Vauzeilles T.Ito V.Nigam A.Scedrov P.W.O'Hearn S.Kuznetsov Reuben Rowe T.Antonopoulos C.Haase J.Ouaknine T.B.Kirigin C.L.Talcott R.Perovic
Talks about:
logic (9) separ (5) linear (4) problem (3) framework (2) complex (2) rewrit (2) predic (2) induct (2) commut (2)

Person: Max I. Kanovich

DBLP DBLP: Kanovich:Max_I=

Contributed to:

FoSSaCS 20142014
RTA 20122012
SAS 20112011
LICS 20102010
CSL 20032003
CSL 20022002
CSL 20012001
LICS 19971997
LICS 19951995
LICS 19921992
CADE 20172017
IJCAR 20182018
POPL 20162016

Wrote 13 papers:

FoSSaCS-2014-AntonopoulosGHKO #induction #logic #problem
Foundations for Decision Problems in Separation Logic with General Inductive Predicates (TA, NG, CH, MIK, JO), pp. 411–425.
RTA-2012-KanovichKNSTP #framework #process
A Rewriting Framework for Activities Subject to Regulations (MIK, TBK, VN, AS, CLT, RP), pp. 305–322.
SAS-2011-GorogiannisKO #abduction #abstraction #complexity
The Complexity of Abduction for Separated Heap Abstractions (NG, MIK, PWO), pp. 25–42.
LICS-2010-BrotherstonK #logic
Undecidability of Propositional Separation Logic and Its Neighbours (JB, MIK), pp. 130–139.
CSL-2003-KanovichV #problem
Coping Polynomially with Numerous but Identical Elements within Planning Problems (MIK, JV), pp. 285–298.
Bijections between Partitions by Two-Directional Rewriting Techniques (MIK), pp. 44–58.
CSL-2001-Kanovich #linear #logic #monad #power of
The Expressive Power of Horn Monadic Linear Logic (MIK), pp. 39–53.
LICS-1997-KanovichI #concurrent #linear #logic #process #specification
Temporal Linear Logic Specifications for Concurrent Processes (MIK, TI), pp. 48–57.
LICS-1995-Kanovich #complexity #linear #logic
The Complexity of Neutrals in Linear Logic (MIK), pp. 486–495.
LICS-1992-Kanovich #linear #logic #programming
Horn Programming in Linear Logic Is NP-Complete (MIK), pp. 200–210.
CADE-2017-BrotherstonGK #array #logic #problem
Biabduction (and Related Problems) in Array Separation Logic (JB, NG, MIK), pp. 472–490.
IJCAR-2018-KanovichKNS #commutative #framework #logic
A Logical Framework with Commutative and Non-commutative Subexponentials (MIK, SK, VN, AS), pp. 228–245.
POPL-2016-BrotherstonGKR #induction #logic #model checking
Model checking for symbolic-heap separation logic with inductive predicates (JB, NG, MIK, RR), pp. 84–96.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.