×

Kanovich, Max Iosifovich

Author ID: kanovich.max-i Recent zbMATH articles by "Kanovich, Max Iosifovich"
Published as: Kanovich, Max; Kanovich, M. I.; Kanovic, M. I.; Kanovich, Max I.; Kanovic, Max I.
Homepage: http://www.eecs.qmul.ac.uk/~mik/
External Links: MGP · ORCID · Wikidata · Math-Net.Ru · dblp

Publications by Year

Citations contained in zbMATH Open

56 Publications have been cited 248 times in 136 Documents Cited by Year
Undecidability of propositional separation logic and its neighbours. Zbl 1295.68166
Brotherston, James; Kanovich, Max
20
2014
Linear logic as a logic of computations. Zbl 0804.03004
Kanovich, Max I.
16
1994
Foundations for decision problems in separation logic with general inductive predicates. Zbl 1406.03046
Antonopoulos, Timos; Gorogiannis, Nikos; Haase, Christoph; Kanovich, Max; Ouaknine, Joël
16
2014
Subexponentials in non-commutative linear logic. Zbl 1456.03099
Kanovich, Max; Kuznetsov, Stepan; Nigam, Vivek; Scedrov, Andre
15
2019
Petri nets, Horn programs, linear logic and vector games. Zbl 0829.03007
Kanovich, Max I.
11
1995
The complexity of Horn fragments of linear logic. Zbl 0812.03007
Kanovich, Max I.
9
1994
Bounded memory Dolev-Yao adversaries in collaborative systems. Zbl 1360.68860
Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre
9
2014
Undecidability of the Lambek calculus with a relevant modality. Zbl 1478.03043
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre
9
2016
Phase semantics for light linear logic. Zbl 1029.03052
Kanovich, Max I.; Okada, Mitsuhiro; Scedrov, Andre
8
2003
The direct simulation of Minsky machines in linear logic. Zbl 0826.03018
Kanovich, Max I.
7
1995
A rewriting framework and logic for activities subject to regulations. Zbl 1364.68333
Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn; Perovic, Ranko
7
2017
The classical AI planning problems in the mirror of Horn linear logic: Semantics, expressibility, complexity. Zbl 0994.68139
Kanovich, Max; Vauzeilles, Jacqueline
6
2001
Model checking for symbolic-heap separation logic with inductive predicates. Zbl 1347.68221
Brotherston, James; Gorogiannis, Nikos; Kanovich, Max; Rowe, Reuben
6
2016
Collaborative planning with confidentiality. Zbl 1229.90072
Kanovich, Max; Rowe, Paul; Scedrov, Andre
6
2011
Biabduction (and related problems) in array separation logic. Zbl 1496.03125
Brotherston, James; Gorogiannis, Nikos; Kanovich, Max
6
2017
A logical framework with commutative and non-commutative subexponentials. Zbl 1508.03092
Kanovich, Max; Kuznetsov, Stepan; Nigam, Vivek; Scedrov, Andre
6
2018
Phase semantics for light linear logic. Zbl 0911.68122
Kanovich, Max I.; Okada, Mitsuhiro; Scedrov, Andre
5
1997
Soft subexponentials and multiplexing. Zbl 07614531
Kanovich, Max; Kuznetsov, Stepan; Nigam, Vivek; Scedrov, Andre
5
2020
Petri nets, Horn programs, linear logic, and vector games. Zbl 0942.03526
Kanovich, Max I.
4
1994
Timed multiset rewriting and the verification of time-sensitive distributed systems. Zbl 1433.68058
Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn
4
2016
Undecidability of the Lambek calculus with subexponential and bracket modalities. Zbl 1495.03036
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre
4
2017
On Lambek’s restriction in the presence of exponential modalities. Zbl 1476.03026
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre
4
2016
The complexity of multiplicative-additive Lambek calculus: 25 years later. Zbl 07176936
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre
4
2019
L-models and R-models for Lambek calculus enriched with additives and the multiplicative unit. Zbl 07176937
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre
4
2019
What is the logic fo computational tasks? Zbl 0673.03019
Kanovich, M. I.
3
1989
On the complexit y of enumeration and decision of predicates. Zbl 0255.02049
Kanovic, M. I.
3
1970
Reconciling Lambek’s restriction, cut-elimination and substitution in the presence of exponential modalities. Zbl 1515.03220
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre
3
2020
A polynomial-time algorithm for the Lambek calculus with brackets of bounded order. Zbl 1434.03076
Kanovich, Max; Kuznetsov, Stepan; Morrill, Glyn; Scedrov, Andre
3
2017
A rewriting framework for activities subject to regulations. Zbl 1437.68082
Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn; Perovic, Ranko
3
2012
The two-way rewriting in action: removing the mystery of Euler-Glaisher’s map. Zbl 1124.05007
Kanovich, Max
2
2007
Coping polynomially with numerous but identical elements within planning problems. Zbl 1116.68593
Kanovich, Max; Vauzeilles, Jacqueline
2
2003
Strong planning under uncertainty in domains with numerous but identical elements (a generic approach). Zbl 1118.68157
Kanovich, Max; Vauzeilles, Jacqueline
2
2007
Finding direct partition bijections by two-directional rewriting techniques. Zbl 1044.05010
Kanovich, Max
2
2004
On domains of definition of optimal algorithms. Zbl 0235.02025
Kanovich, M. I.
2
1971
On complexity of Boolean function minimization. Zbl 0235.02026
Kanovich, M. I.
2
1971
On the decision complexity of algorithms. Zbl 0272.02054
Kanovic, M. I.
2
1969
Intuitionistic phase semantics is almost classical. Zbl 1095.03071
Kanovich, Max I.; Okada, Mitsuhiro; Terui, Kazushige
2
2006
Efficient logical algorithms of analysis and the synthesis of dependencies. Zbl 0606.68040
Kanovich, M. I.
2
1985
Bounded memory protocols. Zbl 1308.68055
Kanovich, Max; Kirigin, Tajana Ban; Nigam, Vivek; Scedrov, Andre
2
2014
Bijections between partitions by two-directional rewriting techniques. Zbl 1020.68042
Kanovich, Max
2
2002
Language models for some extensions of the Lambek calculus. Zbl 07540282
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre
2
2022
Efficient program synthesis: semantics, logic, complexity. Zbl 1493.68114
Kanovich, Max I.
2
1991
The multiplicative-additive Lambek calculus with subexponential and bracket modalities. Zbl 1496.03087
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre
2
2021
On the complexity of verification of time-sensitive distributed systems. Zbl 1498.68161
Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn
2
2021
Quasipolynomial algorithms for recognizing the satisfiability and derivability of propositional formulas. Zbl 0629.03013
Kanovich, M. I.
1
1987
Light linear logics with controlled weakening: expressibility, confluent strong normalization. Zbl 1239.03040
Kanovich, Max
1
2012
Linear logic automata. Zbl 0859.68021
Kanovich, Max I.
1
1996
Some theorems on the complexity of normal algorithms and computations. Zbl 0181.31303
Kanovic, M. I.; Petri, N. V.
1
1969
Estimating the complexity of certain algorithmic problems of analysis. Zbl 0267.02022
Kanovich, M. I.; Kushner, B. A.
1
1969
Light linear logic with controlled weakening. Zbl 1211.03092
Kanovich, Max
1
2009
Efficient program synthesis in computational models. Zbl 0705.68073
Kanovich, Max I.
1
1990
On complexity of the refutation in the constructive propositional logic. Zbl 0725.03003
Kanovich, M. I.
1
1989
A note on rewriting proofs and Fibonacci numbers. Zbl 1133.05006
Kanovich, Max
1
2007
Multiset rewriting over Fibonacci and tribonacci numbers. Zbl 1327.68143
Kanovich, Max
1
2014
Non-associative, non-commutative multi-modal linear logic. Zbl 07628203
Blaisdell, Eben; Kanovich, Max; Kuznetsov, Stepan L.; Pimentel, Elaine; Scedrov, Andre
1
2022
Bracket induction for Lambek calculus with bracket modalities. Zbl 1512.03030
Morrill, Glyn; Kuznetsov, Stepan; Kanovich, Max; Scedrov, Andre
1
2018
Language models for some extensions of the Lambek calculus. Zbl 07540282
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre
2
2022
Non-associative, non-commutative multi-modal linear logic. Zbl 07628203
Blaisdell, Eben; Kanovich, Max; Kuznetsov, Stepan L.; Pimentel, Elaine; Scedrov, Andre
1
2022
The multiplicative-additive Lambek calculus with subexponential and bracket modalities. Zbl 1496.03087
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre
2
2021
On the complexity of verification of time-sensitive distributed systems. Zbl 1498.68161
Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn
2
2021
Soft subexponentials and multiplexing. Zbl 07614531
Kanovich, Max; Kuznetsov, Stepan; Nigam, Vivek; Scedrov, Andre
5
2020
Reconciling Lambek’s restriction, cut-elimination and substitution in the presence of exponential modalities. Zbl 1515.03220
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre
3
2020
Subexponentials in non-commutative linear logic. Zbl 1456.03099
Kanovich, Max; Kuznetsov, Stepan; Nigam, Vivek; Scedrov, Andre
15
2019
The complexity of multiplicative-additive Lambek calculus: 25 years later. Zbl 07176936
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre
4
2019
L-models and R-models for Lambek calculus enriched with additives and the multiplicative unit. Zbl 07176937
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre
4
2019
A logical framework with commutative and non-commutative subexponentials. Zbl 1508.03092
Kanovich, Max; Kuznetsov, Stepan; Nigam, Vivek; Scedrov, Andre
6
2018
Bracket induction for Lambek calculus with bracket modalities. Zbl 1512.03030
Morrill, Glyn; Kuznetsov, Stepan; Kanovich, Max; Scedrov, Andre
1
2018
A rewriting framework and logic for activities subject to regulations. Zbl 1364.68333
Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn; Perovic, Ranko
7
2017
Biabduction (and related problems) in array separation logic. Zbl 1496.03125
Brotherston, James; Gorogiannis, Nikos; Kanovich, Max
6
2017
Undecidability of the Lambek calculus with subexponential and bracket modalities. Zbl 1495.03036
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre
4
2017
A polynomial-time algorithm for the Lambek calculus with brackets of bounded order. Zbl 1434.03076
Kanovich, Max; Kuznetsov, Stepan; Morrill, Glyn; Scedrov, Andre
3
2017
Undecidability of the Lambek calculus with a relevant modality. Zbl 1478.03043
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre
9
2016
Model checking for symbolic-heap separation logic with inductive predicates. Zbl 1347.68221
Brotherston, James; Gorogiannis, Nikos; Kanovich, Max; Rowe, Reuben
6
2016
Timed multiset rewriting and the verification of time-sensitive distributed systems. Zbl 1433.68058
Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn
4
2016
On Lambek’s restriction in the presence of exponential modalities. Zbl 1476.03026
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre
4
2016
Undecidability of propositional separation logic and its neighbours. Zbl 1295.68166
Brotherston, James; Kanovich, Max
20
2014
Foundations for decision problems in separation logic with general inductive predicates. Zbl 1406.03046
Antonopoulos, Timos; Gorogiannis, Nikos; Haase, Christoph; Kanovich, Max; Ouaknine, Joël
16
2014
Bounded memory Dolev-Yao adversaries in collaborative systems. Zbl 1360.68860
Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre
9
2014
Bounded memory protocols. Zbl 1308.68055
Kanovich, Max; Kirigin, Tajana Ban; Nigam, Vivek; Scedrov, Andre
2
2014
Multiset rewriting over Fibonacci and tribonacci numbers. Zbl 1327.68143
Kanovich, Max
1
2014
A rewriting framework for activities subject to regulations. Zbl 1437.68082
Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn; Perovic, Ranko
3
2012
Light linear logics with controlled weakening: expressibility, confluent strong normalization. Zbl 1239.03040
Kanovich, Max
1
2012
Collaborative planning with confidentiality. Zbl 1229.90072
Kanovich, Max; Rowe, Paul; Scedrov, Andre
6
2011
Light linear logic with controlled weakening. Zbl 1211.03092
Kanovich, Max
1
2009
The two-way rewriting in action: removing the mystery of Euler-Glaisher’s map. Zbl 1124.05007
Kanovich, Max
2
2007
Strong planning under uncertainty in domains with numerous but identical elements (a generic approach). Zbl 1118.68157
Kanovich, Max; Vauzeilles, Jacqueline
2
2007
A note on rewriting proofs and Fibonacci numbers. Zbl 1133.05006
Kanovich, Max
1
2007
Intuitionistic phase semantics is almost classical. Zbl 1095.03071
Kanovich, Max I.; Okada, Mitsuhiro; Terui, Kazushige
2
2006
Finding direct partition bijections by two-directional rewriting techniques. Zbl 1044.05010
Kanovich, Max
2
2004
Phase semantics for light linear logic. Zbl 1029.03052
Kanovich, Max I.; Okada, Mitsuhiro; Scedrov, Andre
8
2003
Coping polynomially with numerous but identical elements within planning problems. Zbl 1116.68593
Kanovich, Max; Vauzeilles, Jacqueline
2
2003
Bijections between partitions by two-directional rewriting techniques. Zbl 1020.68042
Kanovich, Max
2
2002
The classical AI planning problems in the mirror of Horn linear logic: Semantics, expressibility, complexity. Zbl 0994.68139
Kanovich, Max; Vauzeilles, Jacqueline
6
2001
Phase semantics for light linear logic. Zbl 0911.68122
Kanovich, Max I.; Okada, Mitsuhiro; Scedrov, Andre
5
1997
Linear logic automata. Zbl 0859.68021
Kanovich, Max I.
1
1996
Petri nets, Horn programs, linear logic and vector games. Zbl 0829.03007
Kanovich, Max I.
11
1995
The direct simulation of Minsky machines in linear logic. Zbl 0826.03018
Kanovich, Max I.
7
1995
Linear logic as a logic of computations. Zbl 0804.03004
Kanovich, Max I.
16
1994
The complexity of Horn fragments of linear logic. Zbl 0812.03007
Kanovich, Max I.
9
1994
Petri nets, Horn programs, linear logic, and vector games. Zbl 0942.03526
Kanovich, Max I.
4
1994
Efficient program synthesis: semantics, logic, complexity. Zbl 1493.68114
Kanovich, Max I.
2
1991
Efficient program synthesis in computational models. Zbl 0705.68073
Kanovich, Max I.
1
1990
What is the logic fo computational tasks? Zbl 0673.03019
Kanovich, M. I.
3
1989
On complexity of the refutation in the constructive propositional logic. Zbl 0725.03003
Kanovich, M. I.
1
1989
Quasipolynomial algorithms for recognizing the satisfiability and derivability of propositional formulas. Zbl 0629.03013
Kanovich, M. I.
1
1987
Efficient logical algorithms of analysis and the synthesis of dependencies. Zbl 0606.68040
Kanovich, M. I.
2
1985
On domains of definition of optimal algorithms. Zbl 0235.02025
Kanovich, M. I.
2
1971
On complexity of Boolean function minimization. Zbl 0235.02026
Kanovich, M. I.
2
1971
On the complexit y of enumeration and decision of predicates. Zbl 0255.02049
Kanovic, M. I.
3
1970
On the decision complexity of algorithms. Zbl 0272.02054
Kanovic, M. I.
2
1969
Some theorems on the complexity of normal algorithms and computations. Zbl 0181.31303
Kanovic, M. I.; Petri, N. V.
1
1969
Estimating the complexity of certain algorithmic problems of analysis. Zbl 0267.02022
Kanovich, M. I.; Kushner, B. A.
1
1969
all top 5

Cited by 169 Authors

29 Kanovich, Max Iosifovich
18 Kuznetsov, Stepan L’vovich
18 Scedrov, Andre
9 Nigam, Vivek
6 Demri, Stéphane P.
6 Talcott, Carolyn L.
5 Ban Kirigin, Tajana
4 Miller, Dale Allen
4 Pimentel, Elaine
3 Deters, Morgan
3 Le, Quang Loc
3 Matheja, Christoph
3 Morrill, Glyn V.
3 Tatsuta, Makoto
3 Zuleger, Florian
2 Baillot, Patrick
2 Blaisdell, Eben
2 Brotherston, James
2 Buss, Samuel R.
2 Cao, Yongzhi
2 Cervesato, Iliano
2 Chen, Taolue
2 Chin, Wei-Ngan
2 Docherty, Simon
2 Galmiche, Didier
2 Heath, Quentin
2 Hou, Zhe
2 Iosif, Radu
2 Jin, Zhao
2 Kamide, Norihiro
2 Kihara, Takayuki
2 Kimura, Daisuke
2 Larchey-Wendling, Dominique
2 Lazić, Ranko
2 Lozes, Etienne
2 Mansutti, Alessio
2 McPheat, Lachlan
2 Noll, Thomas
2 Olarte, Carlos
2 Pagel, Jens
2 Petrov, Sergey V.
2 Pshenitsyn, Tikhon
2 Pym, David J.
2 Speranski, Stanislav O.
2 Straßburger, Lutz
2 Tiu, Alwen Fernanto
2 Vauzeilles, Jacqueline
2 Wang, Hanpin
2 Wu, Zhilin
2 Xavier, Bruno
2 Zhang, Bowen
1 Alechina, Natasha
1 AlTurki, Musab A.
1 Appel, Andrew W.
1 Arbab, Farhad
1 Bartoletti, Massimo
1 Batz, Kevin
1 Berarducci, Alessandro
1 Breitbart, Yuri
1 Brochenin, Rémi
1 Cao, Qinxiang
1 Cao, Tianyue
1 Clarke, Dave
1 Clavel, Manuel
1 Costantini, Stefania
1 Cuellar, Santiago
1 Czerwiński, Wojciech
1 Dal Lago, Ugo
1 Daley, Robert P.
1 Danos, Vincent
1 de Boer, Frank S.
1 De Gouw, Stijn
1 Debant, Alexandre
1 Degano, Pierpaolo
1 Delande, Olivier
1 Delaune, Stéphanie
1 Deuser, Kaya
1 Di Giamberardino, Paolo
1 Distefano, Dino
1 Dudakov, Sergey M.
1 Durán, Francisco
1 Echenim, Mnacho
1 Eker, Steven
1 Escobar, Santiago
1 Fesefeldt, Ira
1 Florek, Wojciech
1 Fofanova, E. M.
1 Formisano, Andrea
1 Girard, Jean-Yves
1 Gorogiannis, Nikos
1 Gu, Xincai
1 Guerrieri, Giulio
1 Gusev, Leonid A.
1 Higuchi, Kojiro
1 Hofmann, Martin
1 Hölzl, Rupert
1 Jansen, Christina
1 Jansen, Marvin
1 Joinet, Jean-Baptiste
1 Kahramanoğulları, Ozan
...and 69 more Authors

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.