Max Kanovich

994 total citations
44 papers, 322 citations indexed

About

Max Kanovich is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Max Kanovich has authored 44 papers receiving a total of 322 indexed citations (citations by other indexed papers that have themselves been cited), including 37 papers in Artificial Intelligence, 30 papers in Computational Theory and Mathematics and 14 papers in Computer Networks and Communications. Recurrent topics in Max Kanovich's work include Logic, programming, and type systems (24 papers), Formal Methods in Verification (19 papers) and Logic, Reasoning, and Knowledge (17 papers). Max Kanovich is often cited by papers focused on Logic, programming, and type systems (24 papers), Formal Methods in Verification (19 papers) and Logic, Reasoning, and Knowledge (17 papers). Max Kanovich collaborates with scholars based in United Kingdom, Russia and United States. Max Kanovich's co-authors include Andre Scedrov, J G. Brotherston, Rohit Chadha, Mitsuhiro Okada, Vivek Nigam, Nikos Gorogiannis, Carolyn Talcott, Paul Brunet, Kazushige Terui and Musab A. Alturki and has published in prestigious journals such as Journal of the ACM, Theoretical Computer Science and Journal of Computer and System Sciences.

In The Last Decade

Max Kanovich

43 papers receiving 306 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Max Kanovich United Kingdom	11	275	186	106	48	36	44	322
Rohit Chadha United States	10	193 0.7×	126 0.7×	78 0.7×	52 1.1×	32 0.9×	30	262
Roger Villemaire Canada	9	210 0.8×	197 1.1×	88 0.8×	121 2.5×	14 0.4×	33	362
Carlos Caleiro Portugal	10	215 0.8×	175 0.9×	97 0.9×	80 1.7×	39 1.1×	53	311
Patrik Simons Germany	5	660 2.4×	152 0.8×	98 0.9×	45 0.9×	15 0.4×	5	686
Antoni Mazurkiewicz Poland	7	209 0.8×	329 1.8×	109 1.0×	15 0.3×	13 0.4×	18	412
M.E. Stickel United States	6	210 0.8×	77 0.4×	78 0.7×	22 0.5×	19 0.5×	10	256
Daniele Gorla Italy	10	205 0.7×	116 0.6×	116 1.1×	59 1.2×	31 0.9×	39	263
Daniele Varacca France	8	149 0.5×	145 0.8×	45 0.4×	20 0.4×	9 0.3×	17	197
Petr Jančar Czechia	12	222 0.8×	325 1.7×	45 0.4×	21 0.4×	10 0.3×	48	359
Jesper Bengtson Sweden	10	269 1.0×	141 0.8×	133 1.3×	63 1.3×	17 0.5×	18	303

Countries citing papers authored by Max Kanovich

Since Specialization

Citations

This map shows the geographic impact of Max Kanovich's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Max Kanovich with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Max Kanovich more than expected).

Fields of papers citing papers by Max Kanovich

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Max Kanovich. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Max Kanovich. The network helps show where Max Kanovich may publish in the future.

Co-authorship network of co-authors of Max Kanovich

This figure shows the co-authorship network connecting the top 25 collaborators of Max Kanovich. A scholar is included among the top collaborators of Max Kanovich based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Max Kanovich. Max Kanovich is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Kanovich, Max, et al.. (2014). Progressing Collaborative Systems. Advances in computer science : an international journal. 3(3). 78–86. 2 indexed citations

Kanovich, Max, et al.. (2014). Bounded memory Dolev–Yao adversaries in collaborative systems. Information and Computation. 238. 233–261. 8 indexed citations

Kanovich, Max. (2014). Multiset rewriting over Fibonacci and Tribonacci numbers. Journal of Computer and System Sciences. 80(6). 1138–1151. 2 indexed citations

Kanovich, Max, et al.. (2014). Bounded memory protocols. Computer Languages Systems & Structures. 40(3-4). 137–154. 2 indexed citations

Kanovich, Max, et al.. (2013). Bounded memory protocols and progressing collaborative systems. UCL Discovery (University College London). 1 indexed citations

Brotherston, J G. & Max Kanovich. (2010). Undecidability of Propositional Separation Logic and Its Neighbours. 130–139. 21 indexed citations

Kanovich, Max. (2007). The two-way rewriting in action: Removing the mystery of Euler–Glaisher's map. Discrete Mathematics. 307(15). 1909–1935. 3 indexed citations

Kanovich, Max, et al.. (2007). Strong planning under uncertainty in domains with numerous but identical elements (a generic approach). Theoretical Computer Science. 379(1-2). 84–119. 7 indexed citations

Kanovich, Max. (2004). Finding direct partition bijections by two-directional rewriting techniques. Discrete Mathematics. 285(1-3). 151–166. 3 indexed citations

10.

Kanovich, Max, Mitsuhiro Okada, & Andre Scedrov. (2003). Phase semantics for light linear logic. Theoretical Computer Science. 294(3). 525–549. 12 indexed citations

11.

Kanovich, Max. (2002). The complexity of neutrals in linear logic. f 9. 486–495. 1 indexed citations

12.

Chadha, Rohit, Max Kanovich, & Andre Scedrov. (2001). Inductive methods and contract-signing protocols. 176–185. 40 indexed citations

13.

Kanovich, Max, Mitsuhiro Okada, & Andre Scedrov. (1998). Specifying Real-Time Finite-State Systems in Linear Logic (Extended Abstract). Electronic Notes in Theoretical Computer Science. 16(1). 42–59. 9 indexed citations

14.

Kanovich, Max. (1995). Petri nets, Horn programs, Linear Logic and vector games. Annals of Pure and Applied Logic. 75(1-2). 107–135. 18 indexed citations

15.

Kanovich, Max. (1994). Computational and Concurrency Aspects of Linear Logic.. IFIP Congress. 336–341. 2 indexed citations

16.

Kanovich, Max. (1994). The complexity of Horn fragments of Linear Logic. Annals of Pure and Applied Logic. 69(2-3). 195–241. 26 indexed citations

17.

Kanovich, Max. (1994). Linear logic as a logic of computations. Annals of Pure and Applied Logic. 67(1-3). 183–212. 23 indexed citations

18.

Kanovich, Max, et al.. (1994). The RUMORS system of Russian synthesis. 1. 177–177. 1 indexed citations

19.

Kanovich, Max. (1993). The expressive power of modalized purely implicational calculi. 1 indexed citations

20.

Kanovich, Max. (1991). Fast theorem proving in intuitionistic propositional logic. Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands. 1–16. 5 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact