Max Iosifovich Kanovich - Author Profile

<!doctype html> <html lang="en"> <head> <meta charset="utf-8"> <title>Max Iosifovich Kanovich - Author Profile - zbMATH Open</title> <meta name="viewport" content="width=device-width, minimum-scale=0.1, maximum-scale=5.0"> <meta name="robots" content="noarchive"> <meta name="referrer" content="origin-when-cross-origin"> <link href="https://static.zbmath.org/contrib/bootstrap/v3.3.7/css/bootstrap.min.css" rel="stylesheet" media="screen,print"> <link href="https://static.zbmath.org/contrib/bootstrap/v3.3.7/css/bootstrap-theme.min.css" rel="stylesheet" media="screen,print"> <link href="https://static.zbmath.org/contrib/bootstrap-lightbox/v0.7.0/bootstrap-lightbox.min.css" rel="stylesheet" media="screen,print"> <link rel="stylesheet" href="https://static.zbmath.org/contrib/bootstrap-select/v1.13.14/css/bootstrap-select.min.css"> <link href="/static/css/smoothness/jquery-ui-1.10.1.custom.min.css" rel="stylesheet" media="screen"> <link href="/static/styles.css?v=20241024" rel="stylesheet" media="screen,print"> <link href="https://static.zbmath.org/zbMathJax/v0.1.38/zbmathjax.css" rel="stylesheet" media="screen,print"> <link rel="shortcut icon" href="/static/zbmath.ico"> <script type="application/ld+json"> { "@context": "http://schema.org", "@type": "Organization", "url": "https://zbmath.org/", "logo": "https://zbmath.org/static/zbMATH.png" } </script> </head> <body> <div id="line"></div> <span id="clear" style="cursor: pointer;">×</span> <div id="page"> <div id="head"> <nav id="menu" class="navbar navbar-default"> <div class="container-fluid"> <div class="navbar-header"> <button type="button" class="navbar-toggle collapsed" data-toggle="collapse" data-target="#zbnav" aria-expanded="false"> <span class="sr-only">Toggle navigation</span> <span class="icon-bar"></span> <span class="icon-bar"></span> <span class="icon-bar"></span> </button> <a class="navbar-brand" href="#"> <img class="logo" src="/static/zbmath.gif" alt="zbMATH Open logo"> </a> </div> <div id="zbnav" class="collapse navbar-collapse"> <ul class="nav navbar-nav pages"> <li class="about"> <a href="/about/">About</a> </li> <li class="frequently-asked-questions"> <a href="/frequently-asked-questions/">FAQ</a> </li> <li class="general-help"> <a href="/general-help/">General Help</a> </li> <li class="reviewer-service"> <a href="https://zbmath.org/reviewer-service/" target="_self" >Reviewer Service</a> </li> <li> <a href="/tools-and-resources/">Tools & Resources</a> </li> <li class="contact"> <a href="/contact/">Contact</a> </li> </ul> <ul class="nav navbar-nav navbar-right prefs"> <li class="preferences dropdown"> <a data-toggle="dropdown" href="#">Preferences <i class="caret"></i></a> <ul class="dropdown-menu preferences"> <li> <form id="preferences" class="navbar-form" method="post" action="/preferences/" onsubmit="return confirm('This website uses cookies for the purposes of storing preference information on your device. Do you agree to this?\n\nPlease refer to our Privacy Policy to learn more about our use of cookies.')" > <input type="hidden" name="path" value="/authors/kanovich.max-i?"> <span class=""> <label class="title">Search Form</label> <div class="form-group"> <input id="search-multi-line" type="radio" name="search" value="multi-line" checked> <label for="search-multi-line" class="radio">Multi-Line Search (default)</label> </div> <div class="form-group"> <input id="search-one-line" type="radio" name="search" value="one-line"> <label for="search-one-line" class="radio">One-Line Search</label> </div> </span> <span class="count"> <label class="title">Hits per Page</label> <div class="form-group"> <input id="count-10" type="radio" name="count" value="10"> <label for="count-10" class="radio">10</label> </div> <div class="form-group"> <input id="count-20" type="radio" name="count" value="20"> <label for="count-20" class="radio">20</label> </div> <div class="form-group"> <input id="count-50" type="radio" name="count" value="50"> <label for="count-50" class="radio">50</label> </div> <div class="form-group"> <input id="count-100" type="radio" name="count" value="100" checked> <label for="count-100" class="radio">100 (default)</label> </div> <div class="form-group"> <input id="count-200" type="radio" name="count" value="200"> <label for="count-200" class="radio">200</label> </div> </span> <span class="format"> <label class="title">Display Format</label> <div class="form-group"> <input id="format-mathjax" type="radio" name="format" value="mathjax" checked> <label for="format-mathjax" class="radio">MathJax (default)</label> </div> <div class="form-group"> <input id="format-amstex" type="radio" name="format" value="latex"> <label for="format-amstex" class="radio">LaTeX</label> </div> </span> <span class="ranking"> <label class="title">Documents Sorting</label> <div class="form-group"> <input id="documents-ranking-default" type="radio" name="documents_ranking" value="date" checked> <label for="documents-ranking-default" class="radio">Newest first (default)</label> </div> <div class="form-group"> <input id="documents-ranking-references" type="radio" name="documents_ranking" value="references"> <label for="documents-ranking-references" class="radio">Citations</label> </div> <div class="form-group"> <input id="documents-ranking-relevance" type="radio" name="documents_ranking" value="relevance"> <label for="documents-ranking-relevance" class="radio">Relevance</label> </div> </span> <span class="ranking"> <label class="title">Authors Sorting</label> <div class="form-group"> <input id="authors-ranking-default" type="radio" name="authors_ranking" value="alpha" checked> <label for="authors-ranking-default" class="radio">Alphabetically (default)</label> </div> <div class="form-group"> <input id="authors-ranking-references" type="radio" name="authors_ranking" value="references"> <label for="authors-ranking-references" class="radio">Citations</label> </div> </span> <span class="ranking"> <label class="title">Serials Sorting</label> <div class="form-group"> <input id="serials-ranking-default" type="radio" name="serials_ranking" value="alpha" checked> <label for="serials-ranking-default" class="radio">Alphabetically (default)</label> </div> <div class="form-group"> <input id="serials-ranking-references" type="radio" name="serials_ranking" value="references"> <label for="serials-ranking-references" class="radio">Citations</label> </div> </span> <span class="ranking"> <label class="title">Software Sorting</label> <div class="form-group"> <input id="software-ranking-default" type="radio" name="software_ranking" value="references" checked> <label for="software-ranking-default" class="radio">Citations (default)</label> </div> <div class="form-group"> <input id="software-ranking-alpha" type="radio" name="software_ranking" value="alpha"> <label for="software-ranking-alpha" class="radio">Alphabetically</label> </div> </span> <button type="submit" class="btn btn-default">OK</button> <div class="clearfix"> </form> </li> </ul> </li> </ul> </div> </div> </nav> <div id="tabs"> <h1 class="logo"> <a class="logo" href="/"> <img class="logo" src="/static/zbmath.gif" alt="zbMATH Open — the first resource for mathematics" > </a> </h1> <nav> <ul class="nav nav-tabs"> <li class="tab-documents"> <a href="/">Documents</a> </li> <li class="tab-authors active"> <a href="/authors/">Authors</a> </li> <li class="tab-serials"> <a href="/serials/">Serials</a> </li> <li class="tab-software"> <a href="/software/">Software</a> </li> <li class="tab-classification"> <a href="/classification/">Classification</a> </li> <li class="tab-formulae"> <a href="/formulae/">Formulæ</a> </li> </ul> </nav> <div class="clearfix"></div> </div> <div class="content-fixed"> <div class="content-formular"> <div style="display: none;"> <div class="row ml-0"id="multi-line-new-line" style="display: none;"> <div class="col-xs-12 form-inline multi-line"> <select class="form-control multi-line-field multi-line-selectpicker" name="ml-0-f" aria-label="field"> <option data-type="input" value="any" selected>Anywhere</option> <option data-type="input" value="ln">Family Name</option> <option data-type="input" value="fn">Given Name</option> <option data-type="input" value="cc">Main Fields</option> <option data-type="input" value="ai">zbMATH Author ID</option> <option data-type="input" value="en">External ID</option> <option data-type="multiselect-aw" value="aw">Awards</option> <option data-divider="true"></option> <option data-function="remove-line" data-content='<span class="glyphicon glyphicon-minus" aria-hidden="true"></span> remove line' value="any">remove line</option> </select><input name="ml-0-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value"><select class="form-control multi-line-operators multi-line-selectpicker" name="ml-0-op" aria-label="operator"> <option value="and" selected>AND</option> <option value="andnot">AND NOT</option> <option value="or">OR</option> </select></div> </div> <input name="ml-0-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value" id="multi-line-type-input"> <span class="multi-line-value" id="multi-line-type-range"><span style="padding-left: 5px;">from</span> <input name="ml-0-v1" class="form-control multi-line-input" type="text" value="" aria-label="value"> until <input name="ml-0-v2" class="form-control multi-line-input" type="text" value="" aria-label="value"></span> <input name="ml-0-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value" id="multi-line-type-input-cc" placeholder="field given by first two MSC digits"> <input name="ml-0-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value" id="multi-line-type-input-en" placeholder="e.g. ORCID, MGP, …"> <span class="multi-line-value" id="multi-line-type-multiselect-aw"> <select class="multi-line-selectpicker" data-width="100%" multiple> <option value="Abel Prize">Abel Prize</option> <option value="Breakthrough Prize in Mathematics">Breakthrough Prize in Mathematics</option> <option value="Carl Friedrich Gauss Prize">Carl Friedrich Gauss Prize</option> <option value="Chern Medal">Chern Medal</option> <option value="Clay Research Award">Clay Research Award</option> <option value="EMS Prize">EMS Prize</option> <option value="Fields Medal">Fields Medal</option> <option value="Kyoto Prize in Basic Sciences">Kyoto Prize in Basic Sciences</option> <option value="Nevanlinna Prize">Nevanlinna Prize</option> <option value="Nobel Memorial Prize in Economic Sciences">Nobel Memorial Prize in Economic Sciences</option> <option value="Nobel Prize in Physics">Nobel Prize in Physics</option> <option value="Shaw Prize">Shaw Prize</option> <option value="Turing Award">Turing Award</option> <option value="Wolf Prize">Wolf Prize</option> </select> <input type="hidden" class="multi-line-input" name="ml-0-v" value=""> </span> </div> <form name="authors" method="GET" action="/authors/" autocomplete="off"> <div class="authors multi-line" style="display: none;"> <div class="forms"> <ul class="nav forms"> <li class="one-line"> <span tabindex="0" class="glyphicon glyphicon-question-sign" title="One-Line Search allows for free logical combinations of search fields" aria-label="One-Line Search allows for free logical combinations of search fields" data-placement="bottom"></span> <a style="display: inline-block;" href="#">One-Line Search <span class="glyphicon glyphicon-search"></span></a> </li> </ul> </div> <div class="clearfix"></div> <div class="container-fluid"> <input type="hidden" id="multi-line-ml" name="ml" value="3"> <div id="multi-line-row-wrapper"> <div class="row ml-1"> <div class="col-xs-12 form-inline multi-line"> <select class="form-control multi-line-field multi-line-selectpicker" name="ml-1-f" aria-label="field"> <option data-type="input" value="any" selected>Anywhere</option> <option data-type="input" value="ln">Family Name</option> <option data-type="input" value="fn">Given Name</option> <option data-type="input" value="cc">Main Fields</option> <option data-type="input" value="ai">zbMATH Author ID</option> <option data-type="input" value="en">External ID</option> <option data-type="multiselect-aw" value="aw">Awards</option> <option data-divider="true"></option> <option data-function="remove-line" data-content='<span class="glyphicon glyphicon-minus" aria-hidden="true"></span> remove line' value="any">remove line</option> </select><input name="ml-1-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value"><select class="form-control multi-line-operators multi-line-selectpicker" name="ml-1-op" aria-label="operator"> <option value="and" selected>AND</option> <option value="andnot">AND NOT</option> <option value="or">OR</option> </select></div> </div> <div class="row ml-2"> <div class="col-xs-12 form-inline multi-line"> <select class="form-control multi-line-field multi-line-selectpicker" name="ml-2-f" aria-label="field"> <option data-type="input" value="any">Anywhere</option> <option data-type="input" value="ln" selected>Family Name</option> <option data-type="input" value="fn">Given Name</option> <option data-type="input" value="cc">Main Fields</option> <option data-type="input" value="ai">zbMATH Author ID</option> <option data-type="input" value="en">External ID</option> <option data-type="multiselect-aw" value="aw">Awards</option> <option data-divider="true"></option> <option data-function="remove-line" data-content='<span class="glyphicon glyphicon-minus" aria-hidden="true"></span> remove line' value="any">remove line</option> </select><input name="ml-2-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value"><select class="form-control multi-line-operators multi-line-selectpicker" name="ml-2-op" aria-label="operator"> <option value="and" selected>AND</option> <option value="andnot">AND NOT</option> <option value="or">OR</option> </select></div> </div> <div class="row ml-3"> <div class="col-xs-12 form-inline multi-line"> <select class="form-control multi-line-field multi-line-selectpicker" name="ml-3-f" aria-label="field"> <option data-type="input" value="any">Anywhere</option> <option data-type="input" value="ln">Family Name</option> <option data-type="input" value="fn" selected>Given Name</option> <option data-type="input" value="cc">Main Fields</option> <option data-type="input" value="ai">zbMATH Author ID</option> <option data-type="input" value="en">External ID</option> <option data-type="multiselect-aw" value="aw">Awards</option> <option data-divider="true"></option> <option data-function="remove-line" data-content='<span class="glyphicon glyphicon-minus" aria-hidden="true"></span> remove line' value="any">remove line</option> </select><input name="ml-3-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value"><div id="multi-line-plus"> <a href="#"><span class="glyphicon glyphicon-plus" aria-hidden="true"></span> add line</a> </div></div> </div> </div> <div class="row"> <div class="col-xs-12 buttons"> <a tabindex="0" class="btn btn-default clear-all">Reset all <span class="glyphicon glyphicon-remove"></span></a> <div class="submit"> <button class="btn btn-default search" type="submit">Search <span class="glyphicon glyphicon-search"></span></button> </div> </div> </div> </div> </div> </form> <form class="form-inline" name="authors" method="GET" action="/authors/"> <div class="authors one-line" style="display: block;"> <div class="forms"> <ul class="nav forms"> <li class="multi-line"><a href="#">New Multi-Line Search <span class="glyphicon glyphicon-list"></span></a></li> </ul> </div> <div id="search-row" class="input-group box"> <span> <div id="search-field"> <input class="query form-control" type="text" name="q" value="ai:kanovich.max-i" aria-label="Search for authors" placeholder="Search for authors" autocomplete="off"> </div> <div class="search-buttons input-group-btn"> <div class="btn-group"> <button class="btn btn-default search" type="submit"><span class="virtual">Search</span> <span class="glyphicon glyphicon-search" style="top: 2px;"></span></button> </div> </div> </span> <span> <div class="search-buttons input-group-btn"> <div class="btn-group"> <div class="btn-group fields"> <button class="btn btn-default dropdown-toggle" data-toggle="dropdown">Fields <i class="caret"></i></button> <ul id="fields" class="dropdown-menu pull-right"> <li><a href="#"><span class="token item">any:</span><span> </span>anywhere (default)</a></li> <li><a href="#"><span class="token item">ai:</span><span>  </span>author code</a></li> <li><a href="#"><span class="token item">au:</span><span>  </span>author name</a></li> <li><a href="#"><span class="token item">any:</span><span>  </span>anywhere</a></li> <li><a href="#"><span class="token item">aw:</span><span>  </span>award</a></li> <li><a href="#"><span class="token item">cc:</span><span>  </span>main field</a></li> <li><a href="#"><span class="token item">cm:</span><span>  </span>collectives of</a></li> <li><a href="#"><span class="token item">co:</span><span>  </span>in collective</a></li> <li><a href="#"><span class="token item">en:</span><span>  </span>external id type</a></li> <li><a href="#"><span class="token item">fn:</span><span>  </span>first name</a></li> <li><a href="#"><span class="token item">ln:</span><span>  </span>last name</a></li> <li><a href="#"><span class="token item">py:</span><span>  </span>publication year</a></li> <li><a href="#"><span class="token item">rv:</span><span>  </span>reviewer</a></li> <li><a href="#"><span class="token item">st:</span><span>  </span>state</a></li> </ul> </div> <div class="btn-group operators"> <button class="btn btn-default dropdown-toggle" data-toggle="dropdown">Operators <i class="caret"></i></button> <ul id="operators" class="dropdown-menu pull-right"> <li><a href="#"><span class="token">a <span class="item">&</span> b </span><span> </span>logical and (default)</a></li> <li><a href="#"><span class="token">a <span class="item">|</span> b </span><span> </span>logical or</a></li> <li><a href="#"><span class="token"><span class="item">!</span>ab   </span><span> </span>logical not</a></li> <li><a href="#"><span class="token">abc<span class="item">*</span>  </span><span> </span>right wildcard</a></li> <li><a href="#"><span class="token"><span class="item">"</span>ab c<span class="item">"</span></span><span> </span>phrase</a></li> <li><a href="#"><span class="token"><span class="item">(</span>ab c<span class="item">)</span></span><span> </span>parentheses</a></li> </ul> </div> </div> </div> <div class="special"> <ul class="nav help-button"> <li class="dropdown pull-right"> <a href="#">Help <i class="caret"></i></a> </li> </ul> </div> </span> </div> <div class="help"><h2>Examples</h2> <div id="help-terms" role="table"> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/?q=Simon+Donald%2A">Simon Donald*</a></span> <span class="search-explanation" role="cell" role="cell">Search in <strong>all parts</strong> of an author's name (results contain <em>Simon, Donald</em> M. and <em>Donald</em>son, <em>Simon</em> Kirwan).</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/?q=ln%3A+Donald%2A+fn%3A+Simon">ln: Donald* fn: Simon</a></span> <span class="search-explanation" role="cell" role="cell">Search for specified family (<strong>ln</strong>) and given (<strong>fn</strong>) name.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/?q=au%3A+Stefan+M%C3%BCller+cc%3A49">au: Stefan Müller cc:49</a></span> <span class="search-explanation" role="cell" role="cell">Combine name search (<strong>au</strong>) with main MSC fields (<strong>cc</strong>).</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/?q=au%3A+Helga+Bunke">au: Helga Bunke</a></span> <span class="search-explanation" role="cell" role="cell">Search results include <strong>name variations</strong>, in particular <strong>name changes</strong>, different <strong>transliterations</strong> and <strong>pseudonyms</strong>. Names of collectives will be displayed as a separate entity.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/?q=%28st%3Ar+%26+b%29+%7C+%28st%3Ao%29">(st:r & b) | (st:o)</a></span> <span class="search-explanation" role="cell" role="cell">Search results include all <strong><u>r</u>eviewers</strong> with <strong><u>b</u>iographic information</strong> or <strong>c<u>o</u>llectives</strong>.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/?q=%28en%3AMGP+%7C+wikidata%29+ln%3Aa%2A">(en:MGP | wikidata) ln:a*</a></span> <span class="search-explanation" role="cell" role="cell">Search results include all authors having either an <strong><u>en</u>try</strong> in the <em>Math Genealogy</em> Project or in <em>Wikidata</em> and whose family name starts with <em>A</em>.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/?q=aw%3A+Fields+Abel">aw: Fields Abel</a></span> <span class="search-explanation" role="cell" role="cell">Search for all <em>Fields Medal</em> <strong><u>aw</u>ard winners</strong> who also received an <em>Abel Prize</em>. The <strong>&</strong> operator is default and ommitted here.</span> </div> </div> <p style="margin-bottom:0.5cm;"></p> <h2>Fields</h2> <div id="help-fields" role="table"> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"> <strong>ai</strong> </span> <span class="search-explanation" role="cell" role="cell"> zbMATH author ID </span> </div> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"> <strong>au</strong> </span> <span class="search-explanation" role="cell" role="cell"> Author name </span> </div> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"> <strong>any</strong> </span> <span class="search-explanation" role="cell" role="cell"> Includes ai, au, aw, cc </span> </div> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"> <strong>aw</strong> </span> <span class="search-explanation" role="cell" role="cell"> Name of an award (to find laureates) </span> </div> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"> <strong>cc</strong> </span> <span class="search-explanation" role="cell" role="cell"> Main Fields of the author (given by first two MSC digits) </span> </div> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"> <strong>cm</strong> </span> <span class="search-explanation" role="cell" role="cell"> Name of a collective (to find members of this collective) </span> </div> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"> <strong>co</strong> </span> <span class="search-explanation" role="cell" role="cell"> Name of an author (to find collectives the author is a member of) </span> </div> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"> <strong>en</strong> </span> <span class="search-explanation" role="cell" role="cell"> External author ID: ORCID, MGP, Wikidata object number and others </span> </div> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"> <strong>fn</strong> </span> <span class="search-explanation" role="cell" role="cell"> First name </span> </div> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"> <strong>ln</strong> </span> <span class="search-explanation" role="cell" role="cell"> Last name </span> </div> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"> <strong>py</strong> </span> <span class="search-explanation" role="cell" role="cell"> Year(s) in which the author has published. Interval search with “-” </span> </div> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"> <strong>rv</strong> </span> <span class="search-explanation" role="cell" role="cell"> Reviewer ID </span> </div> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"> <strong>st</strong> </span> <span class="search-explanation" role="cell" role="cell"> State: has biographic references (<em>st:b</em>), is cited (<em>st:c</em>), is collective (st:o), has references (<em>st:r</em>) </span> </div> </div> <p style="margin-bottom:0.5cm;"></p> <h2>Operators</h2> <div id="operators-fields" role="table"> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"><strong>a & b</strong></span> <span class="search-explanation" role="cell" role="cell">logical and</span> </div> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"><strong>a | b</strong></span> <span class="search-explanation" role="cell" role="cell">logical or</span> </div> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"><strong>!ab</strong></span> <span class="search-explanation" role="cell" role="cell">logical not</span> </div> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"><strong>abc*</strong></span> <span class="search-explanation" role="cell" role="cell">right wildcard</span> </div> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"><strong>ab c</strong></span> <span class="search-explanation" role="cell" role="cell">phrase</span> </div> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"><strong>(ab c)</strong></span> <span class="search-explanation" role="cell" role="cell">parentheses</span> </div> </div> <p> See also our <a href="/general-help/">General Help</a>. </p></div> </div> </form> <form class="form-inline" name="authors" method="get" action="/authors/"> <div class="authors structured" style="display: none;"> <div class="forms"> <ul class="nav forms"> <li class="one-line"><span tabindex="0" class="glyphicon glyphicon-question-sign" title="One-Line Search allows for free logical combinations of search fields" aria-label="One-Line Search allows for free logical combinations of search fields" data-placement="bottom"></span> <a style="display: inline-block;" href="#">One-Line Search <span class="glyphicon glyphicon-search"></span></a></li> </ul> </div> <div class="clearfix"></div> <div class="container-fluid two-columns"> <div class="row"> <div class="col-xs-12 col-sm-6"> <div class="form-group field ln"> <label for="ln">Family Name:</label> <input id="ln" name="ln" class="form-control" type="text" value="" placeholder=""> </div> <div class="form-group field fn"> <label for="fn">Given Name:</label> <input id="fn" name="fn" class="form-control" type="text" value="" placeholder=""> </div> <div class="form-group field cc"> <label for="cc">Main Fields:</label> <input id="cc" name="cc" class="form-control" type="text" value="" placeholder=""> <span tabindex="0" class="glyphicon glyphicon-question-sign" title="field given by first two MSC digits" aria-label="field given by first two MSC digits"></span> </div> <div class="form-group field st checkboxes-wrapper"> <label>Status:</label> <div class="checkboxes"> <input type="checkbox" id="st-z" name="st" class="form-control" value="z"> <label for="st-z" title="restrict to Authors who are zbMATH Reviewers"> Reviewer</label><br> <input type="checkbox" id="st-b" name="st" class="form-control" value="b"> <label for="st-b" title="restrict to Authors having Biographic References"> Biographic References</label><br> </div> </div> </div> <div class="col-xs-12 col-sm-6"> <div class="form-group field ai"> <label for="ai">zbMATH Author ID:</label> <input id="ai" name="ai" class="form-control" type="text" value="" placeholder=""> </div> <div class="form-group field en"> <label for="en">External ID:</label> <input id="en" name="en" class="form-control" type="text" value="" placeholder=""> <span tabindex="0" class="glyphicon glyphicon-question-sign" title="e.g. ORCID, MGP, …" aria-label="e.g. ORCID, MGP, ..."></span> </div> <div class="form-group field any"> <label for="any">Anywhere:</label> <input id="any" name="any" class="form-control" type="text" value="" placeholder=""> </div> <div class="form-group field aw"> <label for="aw">Awards:</label> <select id="aw" name="aw" class="form-control"> <option value=""></option> <option value="Abel Prize">Abel Prize</option> <option value="Breakthrough Prize in Mathematics">Breakthrough Prize in Mathematics</option> <option value="Carl Friedrich Gauss Prize">Carl Friedrich Gauss Prize</option> <option value="Chern Medal">Chern Medal</option> <option value="Clay Research Award">Clay Research Award</option> <option value="EMS Prize">EMS Prize</option> <option value="Fields Medal">Fields Medal</option> <option value="Kyoto Prize in Basic Sciences">Kyoto Prize in Basic Sciences</option> <option value="Nevanlinna Prize">Nevanlinna Prize</option> <option value="Nobel Memorial Prize in Economic Sciences">Nobel Memorial Prize in Economic Sciences</option> <option value="Nobel Prize in Physics">Nobel Prize in Physics</option> <option value="Shaw Prize">Shaw Prize</option> <option value="Turing Award">Turing Award</option> <option value="Wolf Prize">Wolf Prize</option> </select> </div> </div> </div> </div> <div class="clearfix"></div> <div class="container-fluid"> <div class="row buttons"> <div class="col-xs-6"> <a tabindex="0" class="btn btn-default clear-all">Clear all <span class="glyphicon glyphicon-remove"></span></a> </div> <div class="col-xs-12 col-sm-6"> <div class="submit"> <button class="btn btn-default search" type="submit">Search <span class="glyphicon glyphicon-search"></span></button> </div> </div> </div> </div> <div class="clearfix"></div> </div> </form> <div class="clear"></div> </div><div class="content-shadow"></div> </div> </div> <div id="body"> <div id="main"> <div class="messages"> </div> <div id="authors"> <div class="content-main"> <article> <div class="head"> <div class="pull-right"> <a class="btn btn-default matrix edit-profile" type="button" href="/author-profile/edit/kanovich.max-i" target="_blank">Edit Profile <span class="glyphicon glyphicon-new-window" aria-hidden="true"></span><span class="sr-only">(opens in new tab)</span></a> </div> <h2>Kanovich, Max Iosifovich</h2> </div> <div class="erdos pull-right"> <a href="/collaboration-distance/?a=kanovich.max-i&b=erdos.paul" title="Compute Co-Author Distance to Erdős or any other Author"> Co-Author Distance </a> </div> <div class="text" style="max-width: 80%;"> <table> <tr> <td>Author ID:</td> <td>kanovich.max-i <a target="_blank" href="/atom/ai/kanovich.max-i"><img class="feed-icon" alt="Recent zbMATH articles by "Kanovich, Max Iosifovich"" src="/static/feed-icon-14x14.png"></a></td> </tr><tr> <td>Published as:</td> <td><span>Kanovich, Max</span>; <span>Kanovich, M. I.</span>; <span id="more_spellings" class="more_spellings collapse"><span>Kanovic, M. I.</span>; <span>Kanovich, Max I.</span>; <span>Kanovic, Max I.</span> </span> <a role="button" data-toggle="collapse" href="#more_spellings" aria-expanded="false" aria-controls="more_spellings"><span>more...</span><span style="display: none;">less</span></a></td> </tr> <tr> <td>Homepage:</td> <td><a href="http://www.eecs.qmul.ac.uk/~mik/">http://www.eecs.qmul.ac.uk/~mik/</a></td> </tr> <tr> <td>External Links:</td> <td> <a href="http://genealogy.math.ndsu.nodak.edu/id.php?id=168510" title="168510" style="white-space: nowrap;">MGP</a> · <a href="http://orcid.org/0000-0002-7502-1653" title="0000-0002-7502-1653" style="white-space: nowrap;">ORCID</a> · <a href="https://www.wikidata.org/wiki/Q102403179" title="Q102403179" style="white-space: nowrap;">Wikidata</a> · <a href="http://www.mathnet.ru/php/person.phtml?option_lang=eng&personid=72223" title="72223" style="white-space: nowrap;">Math-Net.Ru</a> · <a href="http://dblp.uni-trier.de/pid/39/5019" title="39/5019" style="white-space: nowrap;">dblp</a> </td> </tr> </table> </div> <div class="indexed"> <table> <tr> <td>Documents Indexed:</td> <td> <a href="/?q=ia%3Akanovich.max-i">110 Publications</a> since 1969, including <a href="/?q=ia%3Akanovich.max-i+dt%3Ap">1 Additional arXiv Preprint</a> </td> </tr> <tr> <td></td> <td> <a href="/?q=ei%3Akanovich.max-i">1 Contribution as Editor</a> </td> </tr> <tr> <td>Co-Authors:</td> <td> <a href="/authors/?q=ai1%3Akanovich.max-i">22 Co-Authors</a> with <a href="/?q=ai%3Akanovich.max-i+ai1%3Akanovich.max-i"> 41 Joint Publications</a> </td> </tr> <tr><td></td><td> <a href="/authors/?q=ai2%3Akanovich.max-i">481 Co-Co-Authors</a> </td> </table> </div> <div class="profile"> <div class="facet1st"><a tabindex="0" class="more">all <i class="caret"></i></a> <a tabindex="0" class="less">top 5 <i class="caret"></i></a><h3>Co-Authors</h3> <table class="profile"> <tr class="single_authored"> <td class="number"> <a href="/?q=ai%3Akanovich.max-i+na%3A1" title="Single-Authored Publications">70</a> </td> <td class="text">single-authored</td> </tr><tr> <td class="number"> <a href="/?q=ai%3Akanovich.max-i+ai%3Ascedrov.andre" title="Joint Publications">28</a> </td> <td class="text"> <a href="/authors/scedrov.andre" title="Author Profile"> Ščedrov, Andrej </a> </td></tr><tr> <td class="number"> <a href="/?q=ai%3Akanovich.max-i+ai%3Akuznetsov.s-l" title="Joint Publications">17</a> </td> <td class="text"> <a href="/authors/kuznetsov.s-l" title="Author Profile"> Kuznetsov, Stepan L’vovich </a> </td></tr><tr> <td class="number"> <a href="/?q=ai%3Akanovich.max-i+ai%3Anigam.vivek" title="Joint Publications">11</a> </td> <td class="text"> <a href="/authors/nigam.vivek" title="Author Profile"> Nigam, Vivek </a> </td></tr><tr> <td class="number"> <a href="/?q=ai%3Akanovich.max-i+ai%3Aban-kirigin.tajana" title="Joint Publications">8</a> </td> <td class="text"> <a href="/authors/ban-kirigin.tajana" title="Author Profile"> Ban Kirigin, Tajana </a> </td></tr><tr> <td class="number"> <a href="/?q=ai%3Akanovich.max-i+ai%3Atalcott.carolyn-l" title="Joint Publications">6</a> </td> <td class="text"> <a href="/authors/talcott.carolyn-l" title="Author Profile"> Talcott, Carolyn L. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akanovich.max-i+ai%3Abrotherston.james" title="Joint Publications">4</a> </td> <td class="text"> <a href="/authors/brotherston.james" title="Author Profile"> Brotherston, James </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akanovich.max-i+ai%3Avauzeilles.jacqueline" title="Joint Publications">4</a> </td> <td class="text"> <a href="/authors/vauzeilles.jacqueline" title="Author Profile"> Vauzeilles, Jacqueline </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akanovich.max-i+ai%3Ablaisdell.eben" title="Joint Publications">3</a> </td> <td class="text"> <a href="/authors/blaisdell.eben" title="Author Profile"> Blaisdell, Eben </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akanovich.max-i+ai%3Agorogiannis.nikos" title="Joint Publications">3</a> </td> <td class="text"> <a href="/authors/gorogiannis.nikos" title="Author Profile"> Gorogiannis, Nikos </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akanovich.max-i+ai%3Aokada.mitsuhiro" title="Joint Publications">3</a> </td> <td class="text"> <a href="/authors/okada.mitsuhiro" title="Author Profile"> Okada, Mitsuhiro </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akanovich.max-i+ai%3Apimentel.elaine" title="Joint Publications">3</a> </td> <td class="text"> <a href="/authors/pimentel.elaine" title="Author Profile"> Pimentel, Elaine </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akanovich.max-i+ai%3Aalturki.musab-a" title="Joint Publications">2</a> </td> <td class="text"> <a href="/authors/alturki.musab-a" title="Author Profile"> AlTurki, Musab A. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akanovich.max-i+ai%3Amorrill.glyn-v" title="Joint Publications">2</a> </td> <td class="text"> <a href="/authors/morrill.glyn-v" title="Author Profile"> Morrill, Glyn V. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akanovich.max-i+ai%3Aperovic.ranko" title="Joint Publications">2</a> </td> <td class="text"> <a href="/authors/perovic.ranko" title="Author Profile"> Perovic, Ranko </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akanovich.max-i+ai%3Aantonopoulos.timos" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/antonopoulos.timos" title="Author Profile"> Antonopoulos, Timos </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akanovich.max-i+ai%3Adikovsky.alexander-ja" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/dikovsky.alexander-ja" title="Author Profile"> Dikovsky, Alexander Yakovlevich </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akanovich.max-i+ai%3Ahaase.christoph" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/haase.christoph" title="Author Profile"> Haase, Christoph </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akanovich.max-i+ai%3Akushner.boris-a" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/kushner.boris-a" title="Author Profile"> Kushner, Boris A. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akanovich.max-i+ai%3Aouaknine.joel-o" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/ouaknine.joel-o" title="Author Profile"> Ouaknine, Joel O. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akanovich.max-i+ai%3Apetri.n-v" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/petri.n-v" title="Author Profile"> Petri, N. V. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akanovich.max-i+ai%3Arowe.reuben-n-s" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/rowe.reuben-n-s" title="Author Profile"> Rowe, Reuben N. S. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akanovich.max-i+ai%3Aterui.kazushige" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/terui.kazushige" title="Author Profile"> Terui, Kazushige </a> </td></tr> </table> </div> <div class="facet2nd"><a tabindex="0" class="more">all <i class="caret"></i></a> <a tabindex="0" class="less">top 5 <i class="caret"></i></a><h3>Serials</h3> <table class="profile"> <tr> <td class="number"> <a href="/?q=ai%3Akanovich.max-i+se%3A717" title="Publications in this Serial">32</a> </td> <td class="text"> <a href="/serials/?q=se%3A717" title="Serial Profile"> Soviet Mathematics. Doklady </a> </td></tr><tr> <td class="number"> <a href="/?q=ai%3Akanovich.max-i+se%3A968" title="Publications in this Serial">5</a> </td> <td class="text"> <a href="/serials/?q=se%3A968" title="Serial Profile"> Annals of Pure and Applied Logic </a> </td></tr><tr> <td class="number"> <a href="/?q=ai%3Akanovich.max-i+se%3A1381" title="Publications in this Serial">5</a> </td> <td class="text"> <a href="/serials/?q=se%3A1381" title="Serial Profile"> Mathematical Structures in Computer Science </a> </td></tr><tr> <td class="number"> <a href="/?q=ai%3Akanovich.max-i+se%3A735" title="Publications in this Serial">3</a> </td> <td class="text"> <a href="/serials/?q=se%3A735" title="Serial Profile"> Theoretical Computer Science </a> </td></tr><tr> <td class="number"> <a href="/?q=ai%3Akanovich.max-i+se%3A1096" title="Publications in this Serial">3</a> </td> <td class="text"> <a href="/serials/?q=se%3A1096" title="Serial Profile"> Soviet Journal of Computer and Systems Sciences </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akanovich.max-i+se%3A69" title="Publications in this Serial">2</a> </td> <td class="text"> <a href="/serials/?q=se%3A69" title="Serial Profile"> Discrete Mathematics </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akanovich.max-i+se%3A1143" title="Publications in this Serial">2</a> </td> <td class="text"> <a href="/serials/?q=se%3A1143" title="Serial Profile"> Information and Computation </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akanovich.max-i+se%3A483" title="Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A483" title="Serial Profile"> Journal of Computer and System Sciences </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akanovich.max-i+se%3A1062" title="Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A1062" title="Serial Profile"> The Journal of Logic Programming </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akanovich.max-i+se%3A1150" title="Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A1150" title="Serial Profile"> Journal of Automated Reasoning </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akanovich.max-i+se%3A1345" title="Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A1345" title="Serial Profile"> Journal of Logic and Computation </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akanovich.max-i+se%3A1840" title="Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A1840" title="Serial Profile"> Journal of Logic, Language and Information </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akanovich.max-i+se%3A1918" title="Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A1918" title="Serial Profile"> Voprosy Kibernetiki (Moskva) </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akanovich.max-i+se%3A2408" title="Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A2408" title="Serial Profile"> Journal of the ACM </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akanovich.max-i+se%3A2999" title="Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A2999" title="Serial Profile"> Computer Languages, Systems & Structures </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akanovich.max-i+se%3A4432" title="Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A4432" title="Serial Profile"> Translations. Series 2. American Mathematical Society </a> </td></tr> </table> </div> <div class="facet3rd"><a tabindex="0" class="more">all <i class="caret"></i></a> <a tabindex="0" class="less">top 5 <i class="caret"></i></a><h3>Fields</h3> <table class="profile"> <tr> <td class="number"> <a href="/?q=ai%3Akanovich.max-i+cc%3A03" title="Publications in this Field">79</a> </td> <td class="text"> <a href="/classification/?q=cc%3A03" title="Mathematics Subject Classification"> Mathematical logic and foundations <span style="white-space: nowrap;">(03-XX)</span> </a> </td></tr><tr> <td class="number"> <a href="/?q=ai%3Akanovich.max-i+cc%3A68" title="Publications in this Field">76</a> </td> <td class="text"> <a href="/classification/?q=cc%3A68" title="Mathematics Subject Classification"> Computer science <span style="white-space: nowrap;">(68-XX)</span> </a> </td></tr><tr> <td class="number"> <a href="/?q=ai%3Akanovich.max-i+cc%3A05" title="Publications in this Field">5</a> </td> <td class="text"> <a href="/classification/?q=cc%3A05" title="Mathematics Subject Classification"> Combinatorics <span style="white-space: nowrap;">(05-XX)</span> </a> </td></tr><tr> <td class="number"> <a href="/?q=ai%3Akanovich.max-i+cc%3A94" title="Publications in this Field">3</a> </td> <td class="text"> <a href="/classification/?q=cc%3A94" title="Mathematics Subject Classification"> Information and communication theory, circuits <span style="white-space: nowrap;">(94-XX)</span> </a> </td></tr><tr> <td class="number"> <a href="/?q=ai%3Akanovich.max-i+cc%3A11" title="Publications in this Field">2</a> </td> <td class="text"> <a href="/classification/?q=cc%3A11" title="Mathematics Subject Classification"> Number theory <span style="white-space: nowrap;">(11-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akanovich.max-i+cc%3A00" title="Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A00" title="Mathematics Subject Classification"> General and overarching topics; collections <span style="white-space: nowrap;">(00-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akanovich.max-i+cc%3A06" title="Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A06" title="Mathematics Subject Classification"> Order, lattices, ordered algebraic structures <span style="white-space: nowrap;">(06-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akanovich.max-i+cc%3A90" title="Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A90" title="Mathematics Subject Classification"> Operations research, mathematical programming <span style="white-space: nowrap;">(90-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akanovich.max-i+cc%3A91" title="Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A91" title="Mathematics Subject Classification"> Game theory, economics, finance, and other social and behavioral sciences <span style="white-space: nowrap;">(91-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akanovich.max-i+cc%3A92" title="Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A92" title="Mathematics Subject Classification"> Biology and other natural sciences <span style="white-space: nowrap;">(92-XX)</span> </a> </td></tr> </table> </div> <div class="diagram svg-diagram"> <h3>Publications by Year</h3> <div class="diagram ai-diagram" aria-label="publications by year"></div> <style> rect:hover { fill: steelblue; } .axis path, .axis line { fill: none; stroke: #000; shape-rendering: crispEdges; } .bar { fill: steelblue; } a:hover .bar, a:focus .bar { stroke: black; fill-opacity: 60%; } </style> <script src="/static/js/d3.v3.min.js"></script> <script> var margin = { top: 20, right: 0, bottom: 30, left: 50 }; var width = 930 - margin.left - margin.right; var height = 150 - margin.top - margin.bottom; var svg = d3.selectAll(".ai-diagram").append("svg") .attr("width", width + margin.left + margin.right) .attr("height", height + margin.top + margin.bottom) .append("g") .attr("transform", "translate(" + margin.left + "," + margin.top + ")"); var data = [{ year:1969, frequency:4 },{ year:1970, frequency:3 },{ year:1971, frequency:2 },{ year:1972, frequency:2 },{ year:1973, frequency:3 },{ year:1974, frequency:4 },{ year:1975, frequency:3 },{ year:1977, frequency:5 },{ year:1978, frequency:2 },{ year:1979, frequency:1 },{ year:1982, frequency:2 },{ year:1983, frequency:5 },{ year:1984, frequency:3 },{ year:1985, frequency:3 },{ year:1986, frequency:1 },{ year:1987, frequency:5 },{ year:1988, frequency:2 },{ year:1989, frequency:5 },{ year:1990, frequency:1 },{ year:1991, frequency:1 },{ year:1994, frequency:4 },{ year:1995, frequency:2 },{ year:1996, frequency:1 },{ year:1997, frequency:1 },{ year:2001, frequency:2 },{ year:2002, frequency:1 },{ year:2003, frequency:2 },{ year:2004, frequency:1 },{ year:2006, frequency:1 },{ year:2007, frequency:3 },{ year:2009, frequency:1 },{ year:2011, frequency:2 },{ year:2012, frequency:2 },{ year:2014, frequency:5 },{ year:2016, frequency:5 },{ year:2017, frequency:4 },{ year:2018, frequency:3 },{ year:2019, frequency:5 },{ year:2020, frequency:2 },{ year:2021, frequency:2 },{ year:2022, frequency:3 },{ year:2023, frequency:2 }]; data.forEach(function(d) { d.year = +d.year; d.frequency = +d.frequency; }); var xScale = d3.scale.ordinal() .rangeRoundBands([0, width], .1); var yScale = d3.scale.linear() .range([height, 0]); // fill if less than 20 years span var zero = d3.max( [ 20 - ( d3.max( data, d => d.year ) + 1 - d3.min( data, d => d.year ) ), 0 ] ); // generate range from min to max xScale.domain( d3.range( d3.min( data, d => d.year ), d3.max( data, d => d.year ) + 1 + zero ) ); yScale.domain( [ 0, d3.max( data, d => d.frequency ) ] ); var xAxis = d3.svg.axis() .scale(xScale) .tickValues( // show ticks every 5 years for range up to 50 years, every 10 // years up to 100 years, and every 20 years above that xScale.domain().filter( function(d, i) { let ticks; if (xScale.domain().length <= 50) { ticks = 5; } else if (xScale.domain().length <= 100) { ticks = 10; } else { ticks = 20; } return !(d % ticks); } ) ) .tickSize(6,3,0) // removes end tick .orient("bottom"); var yAxis = d3.svg.axis() .scale(yScale) .ticks(3) // number of ticks .tickFormat(d3.format("d")) // only integers .tickSize(6,3,0) // removes end tick .orient("left"); svg.selectAll(".bar") .data(data) .enter() .append("a") .attr( "xlink:href", d => "/?q=ai%3Akanovich.max-i+py%3A" + d.year ) .attr( "title", d => d.frequency + " Publication" + (d.frequency > 1 ? "s" : "") + " in " + d.year ) .append("rect") .attr("class", "bar") .attr("x", d => xScale(d.year)) .attr("width", xScale.rangeBand()) .attr("y", d => yScale(d.frequency)) .attr("height", d => height - yScale(d.frequency)); svg.append("g") .attr("class", "x axis") .attr("transform", "translate(0," + height + ")") .call(xAxis); svg.append("g") .attr("class", "y axis") .call(yAxis) .append("text") .attr("transform", "rotate(-90)") .attr("y", 6) .attr("dy", ".75em") .style("text-anchor", "end") .text(""); </script> </div> </div> <div class="publications sort_by_ci hide_more"><div class="more_less"> <a tabindex="0" class="more">all cited Publications <i class="caret"></i></a> <a tabindex="0" class="less">top 5 cited Publications <i class="caret"></i></a> </div><h3>Citations contained in zbMATH Open</h3> <table> <thead> <tr> <th> <strong>58 Publications have been cited 273 times in <a href="/?q=ra%3Akanovich.max-i">149 Documents</a> </strong> </th> <th> <a tabindex="0" class="sort_cited">Cited by<span class="pub_ci"> ▼</span></a> </th> <th> <a tabindex="0" class="sort_year">Year<span class="pub_py"> ▼</span></a> </th> </tr> </thead> <tbody> <tr class="pub_ci"> <td> <a class="black" href="/1295.68166">Undecidability of propositional separation logic and its neighbours.</a> <a class="label nowrap" href="/1295.68166">Zbl 1295.68166</a> <br><a href="/authors/brotherston.james" title="Author Profile">Brotherston, James</a>; <a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6344018">21</a> </div> </td> <td> <div class="citation_year">2014</div> </td> </tr> <tr class="pub_ci"> <td> <a class="black" href="/1406.03046">Foundations for decision problems in separation logic with general inductive predicates.</a> <a class="label nowrap" href="/1406.03046">Zbl 1406.03046</a> <br><a href="/authors/antonopoulos.timos" title="Author Profile">Antonopoulos, Timos</a>; <a href="/authors/gorogiannis.nikos" title="Author Profile">Gorogiannis, Nikos</a>; <a href="/authors/haase.christoph" title="Author Profile">Haase, Christoph</a>; <a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/ouaknine.joel-o" title="Author Profile">Ouaknine, Joël</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6286349">19</a> </div> </td> <td> <div class="citation_year">2014</div> </td> </tr> <tr class="pub_ci"> <td> <a class="black" href="/1456.03099">Subexponentials in non-commutative linear logic.</a> <a class="label nowrap" href="/1456.03099">Zbl 1456.03099</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/kuznetsov.s-l" title="Author Profile">Kuznetsov, Stepan</a>; <a href="/authors/nigam.vivek" title="Author Profile">Nigam, Vivek</a>; <a href="/authors/scedrov.andre" title="Author Profile">Scedrov, Andre</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7114855">17</a> </div> </td> <td> <div class="citation_year">2019</div> </td> </tr> <tr class="pub_ci"> <td> <a class="black" href="/0804.03004">Linear logic as a logic of computations.</a> <a class="label nowrap" href="/0804.03004">Zbl 0804.03004</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max I.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A584684">15</a> </div> </td> <td> <div class="citation_year">1994</div> </td> </tr> <tr class="pub_ci"> <td> <a class="black" href="/0829.03007">Petri nets, Horn programs, linear logic and vector games.</a> <a class="label nowrap" href="/0829.03007">Zbl 0829.03007</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max I.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A802551">12</a> </div> </td> <td> <div class="citation_year">1995</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1478.03043">Undecidability of the Lambek calculus with a relevant modality.</a> <a class="label nowrap" href="/1478.03043">Zbl 1478.03043</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/kuznetsov.s-l" title="Author Profile">Kuznetsov, Stepan</a>; <a href="/authors/scedrov.andre" title="Author Profile">Scedrov, Andre</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6658641">10</a> </div> </td> <td> <div class="citation_year">2016</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0812.03007">The complexity of Horn fragments of linear logic.</a> <a class="label nowrap" href="/0812.03007">Zbl 0812.03007</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max I.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A683707">9</a> </div> </td> <td> <div class="citation_year">1994</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1029.03052">Phase semantics for light linear logic.</a> <a class="label nowrap" href="/1029.03052">Zbl 1029.03052</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max I.</a>; <a href="/authors/okada.mitsuhiro" title="Author Profile">Okada, Mitsuhiro</a>; <a href="/authors/scedrov.andre" title="Author Profile">Scedrov, Andre</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1956202">8</a> </div> </td> <td> <div class="citation_year">2003</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1347.68221">Model checking for symbolic-heap separation logic with inductive predicates.</a> <a class="label nowrap" href="/1347.68221">Zbl 1347.68221</a> <br><a href="/authors/brotherston.james" title="Author Profile">Brotherston, James</a>; <a href="/authors/gorogiannis.nikos" title="Author Profile">Gorogiannis, Nikos</a>; <a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/rowe.reuben-n-s" title="Author Profile">Rowe, Reuben</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6642944">7</a> </div> </td> <td> <div class="citation_year">2016</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0994.68139">The classical AI planning problems in the mirror of Horn linear logic: Semantics, expressibility, complexity.</a> <a class="label nowrap" href="/0994.68139">Zbl 0994.68139</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/vauzeilles.jacqueline" title="Author Profile">Vauzeilles, Jacqueline</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1750642">7</a> </div> </td> <td> <div class="citation_year">2001</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0826.03018">The direct simulation of Minsky machines in linear logic.</a> <a class="label nowrap" href="/0826.03018">Zbl 0826.03018</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max I.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A786490">7</a> </div> </td> <td> <div class="citation_year">1995</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1229.90072">Collaborative planning with confidentiality.</a> <a class="label nowrap" href="/1229.90072">Zbl 1229.90072</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/?q=ai%3Arowe.paul-d%7Crowe.paul-p" title="Author Profile">Rowe, Paul</a>; <a href="/authors/scedrov.andre" title="Author Profile">Scedrov, Andre</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5903836">7</a> </div> </td> <td> <div class="citation_year">2011</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1360.68860">Bounded memory Dolev-Yao adversaries in collaborative systems.</a> <a class="label nowrap" href="/1360.68860">Zbl 1360.68860</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/ban-kirigin.tajana" title="Author Profile">Ban Kirigin, Tajana</a>; <a href="/authors/nigam.vivek" title="Author Profile">Nigam, Vivek</a>; <a href="/authors/scedrov.andre" title="Author Profile">Scedrov, Andre</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6359042">6</a> </div> </td> <td> <div class="citation_year">2014</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1364.68333">A rewriting framework and logic for activities subject to regulations.</a> <a class="label nowrap" href="/1364.68333">Zbl 1364.68333</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/ban-kirigin.tajana" title="Author Profile">Ban Kirigin, Tajana</a>; <a href="/authors/nigam.vivek" title="Author Profile">Nigam, Vivek</a>; <a href="/authors/scedrov.andre" title="Author Profile">Scedrov, Andre</a>; <a href="/authors/talcott.carolyn-l" title="Author Profile">Talcott, Carolyn</a>; <a href="/authors/perovic.ranko" title="Author Profile">Perovic, Ranko</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6699405">6</a> </div> </td> <td> <div class="citation_year">2017</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1508.03092">A logical framework with commutative and non-commutative subexponentials.</a> <a class="label nowrap" href="/1508.03092">Zbl 1508.03092</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/kuznetsov.s-l" title="Author Profile">Kuznetsov, Stepan</a>; <a href="/authors/nigam.vivek" title="Author Profile">Nigam, Vivek</a>; <a href="/authors/scedrov.andre" title="Author Profile">Scedrov, Andre</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6958102">6</a> </div> </td> <td> <div class="citation_year">2018</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1496.03125">Biabduction (and related problems) in array separation logic.</a> <a class="label nowrap" href="/1496.03125">Zbl 1496.03125</a> <br><a href="/authors/brotherston.james" title="Author Profile">Brotherston, James</a>; <a href="/authors/gorogiannis.nikos" title="Author Profile">Gorogiannis, Nikos</a>; <a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6778421">6</a> </div> </td> <td> <div class="citation_year">2017</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/07614531">Soft subexponentials and multiplexing.</a> <a class="label nowrap" href="/7614531">Zbl 07614531</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/kuznetsov.s-l" title="Author Profile">Kuznetsov, Stepan</a>; <a href="/authors/nigam.vivek" title="Author Profile">Nigam, Vivek</a>; <a href="/authors/scedrov.andre" title="Author Profile">Scedrov, Andre</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7614531">6</a> </div> </td> <td> <div class="citation_year">2020</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1495.03036">Undecidability of the Lambek calculus with subexponential and bracket modalities.</a> <a class="label nowrap" href="/1495.03036">Zbl 1495.03036</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/kuznetsov.s-l" title="Author Profile">Kuznetsov, Stepan</a>; <a href="/authors/scedrov.andre" title="Author Profile">Scedrov, Andre</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6810964">5</a> </div> </td> <td> <div class="citation_year">2017</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0911.68122">Phase semantics for light linear logic.</a> <a class="label nowrap" href="/0911.68122">Zbl 0911.68122</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max I.</a>; <a href="/authors/okada.mitsuhiro" title="Author Profile">Okada, Mitsuhiro</a>; <a href="/authors/scedrov.andre" title="Author Profile">Scedrov, Andre</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1231574">5</a> </div> </td> <td> <div class="citation_year">1997</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1530.03091">The complexity of multiplicative-additive Lambek calculus: 25 years later.</a> <a class="label nowrap" href="/1530.03091">Zbl 1530.03091</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/kuznetsov.s-l" title="Author Profile">Kuznetsov, Stepan</a>; <a href="/authors/scedrov.andre" title="Author Profile">Scedrov, Andre</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7176936">4</a> </div> </td> <td> <div class="citation_year">2019</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1530.03160">L-models and R-models for Lambek calculus enriched with additives and the multiplicative unit.</a> <a class="label nowrap" href="/1530.03160">Zbl 1530.03160</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/kuznetsov.s-l" title="Author Profile">Kuznetsov, Stepan</a>; <a href="/authors/scedrov.andre" title="Author Profile">Scedrov, Andre</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7176937">4</a> </div> </td> <td> <div class="citation_year">2019</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1515.03220">Reconciling Lambek’s restriction, cut-elimination and substitution in the presence of exponential modalities.</a> <a class="label nowrap" href="/1515.03220">Zbl 1515.03220</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/kuznetsov.s-l" title="Author Profile">Kuznetsov, Stepan</a>; <a href="/authors/scedrov.andre" title="Author Profile">Scedrov, Andre</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7194699">4</a> </div> </td> <td> <div class="citation_year">2020</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1434.03076">A polynomial-time algorithm for the Lambek calculus with brackets of bounded order.</a> <a class="label nowrap" href="/1434.03076">Zbl 1434.03076</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/kuznetsov.s-l" title="Author Profile">Kuznetsov, Stepan</a>; <a href="/authors/morrill.glyn-v" title="Author Profile">Morrill, Glyn</a>; <a href="/authors/scedrov.andre" title="Author Profile">Scedrov, Andre</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7204441">4</a> </div> </td> <td> <div class="citation_year">2017</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0942.03526">Petri nets, Horn programs, linear logic, and vector games.</a> <a class="label nowrap" href="/0942.03526">Zbl 0942.03526</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max I.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1479638">4</a> </div> </td> <td> <div class="citation_year">1994</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1437.68082">A rewriting framework for activities subject to regulations.</a> <a class="label nowrap" href="/1437.68082">Zbl 1437.68082</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/ban-kirigin.tajana" title="Author Profile">Ban Kirigin, Tajana</a>; <a href="/authors/nigam.vivek" title="Author Profile">Nigam, Vivek</a>; <a href="/authors/scedrov.andre" title="Author Profile">Scedrov, Andre</a>; <a href="/authors/talcott.carolyn-l" title="Author Profile">Talcott, Carolyn</a>; <a href="/authors/perovic.ranko" title="Author Profile">Perovic, Ranko</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7205340">3</a> </div> </td> <td> <div class="citation_year">2012</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1118.68157">Strong planning under uncertainty in domains with numerous but identical elements (a generic approach).</a> <a class="label nowrap" href="/1118.68157">Zbl 1118.68157</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/vauzeilles.jacqueline" title="Author Profile">Vauzeilles, Jacqueline</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5171332">3</a> </div> </td> <td> <div class="citation_year">2007</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0255.02049">On the complexit y of enumeration and decision of predicates.</a> <a class="label nowrap" href="/0255.02049">Zbl 0255.02049</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovic, M. I.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3402606">3</a> </div> </td> <td> <div class="citation_year">1970</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1095.03071">Intuitionistic phase semantics is almost classical.</a> <a class="label nowrap" href="/1095.03071">Zbl 1095.03071</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max I.</a>; <a href="/authors/okada.mitsuhiro" title="Author Profile">Okada, Mitsuhiro</a>; <a href="/authors/terui.kazushige" title="Author Profile">Terui, Kazushige</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5025121">3</a> </div> </td> <td> <div class="citation_year">2006</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1476.03026">On Lambek’s restriction in the presence of exponential modalities.</a> <a class="label nowrap" href="/1476.03026">Zbl 1476.03026</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/kuznetsov.s-l" title="Author Profile">Kuznetsov, Stepan</a>; <a href="/authors/scedrov.andre" title="Author Profile">Scedrov, Andre</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6751236">3</a> </div> </td> <td> <div class="citation_year">2016</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1547.03172">Language models for some extensions of the Lambek calculus.</a> <a class="label nowrap" href="/1547.03172">Zbl 1547.03172</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/kuznetsov.s-l" title="Author Profile">Kuznetsov, Stepan</a>; <a href="/authors/scedrov.andre" title="Author Profile">Scedrov, Andre</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7540282">3</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1308.68055">Bounded memory protocols.</a> <a class="label nowrap" href="/1308.68055">Zbl 1308.68055</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/ban-kirigin.tajana" title="Author Profile">Kirigin, Tajana Ban</a>; <a href="/authors/nigam.vivek" title="Author Profile">Nigam, Vivek</a>; <a href="/authors/scedrov.andre" title="Author Profile">Scedrov, Andre</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6421322">2</a> </div> </td> <td> <div class="citation_year">2014</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0606.68040">Efficient logical algorithms of analysis and the synthesis of dependencies.</a> <a class="label nowrap" href="/0606.68040">Zbl 0606.68040</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, M. I.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3980485">2</a> </div> </td> <td> <div class="citation_year">1985</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1020.68042">Bijections between partitions by two-directional rewriting techniques.</a> <a class="label nowrap" href="/1020.68042">Zbl 1020.68042</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1948153">2</a> </div> </td> <td> <div class="citation_year">2002</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0673.03019">What is the logic fo computational tasks?</a> <a class="label nowrap" href="/0673.03019">Zbl 0673.03019</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, M. I.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4101150">2</a> </div> </td> <td> <div class="citation_year">1989</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1124.05007">The two-way rewriting in action: removing the mystery of Euler-Glaisher’s map.</a> <a class="label nowrap" href="/1124.05007">Zbl 1124.05007</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5156489">2</a> </div> </td> <td> <div class="citation_year">2007</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1116.68593">Coping polynomially with numerous but identical elements within planning problems.</a> <a class="label nowrap" href="/1116.68593">Zbl 1116.68593</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/vauzeilles.jacqueline" title="Author Profile">Vauzeilles, Jacqueline</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5166496">2</a> </div> </td> <td> <div class="citation_year">2003</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0235.02025">On domains of definition of optimal algorithms.</a> <a class="label nowrap" href="/0235.02025">Zbl 0235.02025</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, M. I.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3372020">2</a> </div> </td> <td> <div class="citation_year">1971</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0235.02026">On complexity of Boolean function minimization.</a> <a class="label nowrap" href="/0235.02026">Zbl 0235.02026</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, M. I.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3372021">2</a> </div> </td> <td> <div class="citation_year">1971</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0272.02054">On the decision complexity of algorithms.</a> <a class="label nowrap" href="/0272.02054">Zbl 0272.02054</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovic, M. I.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3427324">2</a> </div> </td> <td> <div class="citation_year">1969</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1433.68058">Timed multiset rewriting and the verification of time-sensitive distributed systems.</a> <a class="label nowrap" href="/1433.68058">Zbl 1433.68058</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/ban-kirigin.tajana" title="Author Profile">Ban Kirigin, Tajana</a>; <a href="/authors/nigam.vivek" title="Author Profile">Nigam, Vivek</a>; <a href="/authors/scedrov.andre" title="Author Profile">Scedrov, Andre</a>; <a href="/authors/talcott.carolyn-l" title="Author Profile">Talcott, Carolyn</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6839700">2</a> </div> </td> <td> <div class="citation_year">2016</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1044.05010">Finding direct partition bijections by two-directional rewriting techniques.</a> <a class="label nowrap" href="/1044.05010">Zbl 1044.05010</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A2092829">2</a> </div> </td> <td> <div class="citation_year">2004</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0181.31303">Some theorems on the complexity of normal algorithms and computations.</a> <a class="label nowrap" href="/0181.31303">Zbl 0181.31303</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, M. I.</a>; <a href="/authors/petri.n-v" title="Author Profile">Petri, N. V.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3288611">2</a> </div> </td> <td> <div class="citation_year">1969</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1496.03087">The multiplicative-additive Lambek calculus with subexponential and bracket modalities.</a> <a class="label nowrap" href="/1496.03087">Zbl 1496.03087</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/kuznetsov.s-l" title="Author Profile">Kuznetsov, Stepan</a>; <a href="/authors/scedrov.andre" title="Author Profile">Scedrov, Andre</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7363544">2</a> </div> </td> <td> <div class="citation_year">2021</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1519.68054">On the complexity of pointer arithmetic in separation logic.</a> <a class="label nowrap" href="/1519.68054">Zbl 1519.68054</a> <br><a href="/authors/brotherston.james" title="Author Profile">Brotherston, James</a>; <a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7721440">2</a> </div> </td> <td> <div class="citation_year">2018</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1512.03030">Bracket induction for Lambek calculus with bracket modalities.</a> <a class="label nowrap" href="/1512.03030">Zbl 1512.03030</a> <br><a href="/authors/morrill.glyn-v" title="Author Profile">Morrill, Glyn</a>; <a href="/authors/kuznetsov.s-l" title="Author Profile">Kuznetsov, Stepan</a>; <a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/scedrov.andre" title="Author Profile">Scedrov, Andre</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7694505">2</a> </div> </td> <td> <div class="citation_year">2018</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1498.68161">On the complexity of verification of time-sensitive distributed systems.</a> <a class="label nowrap" href="/1498.68161">Zbl 1498.68161</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/ban-kirigin.tajana" title="Author Profile">Ban Kirigin, Tajana</a>; <a href="/authors/nigam.vivek" title="Author Profile">Nigam, Vivek</a>; <a href="/authors/scedrov.andre" title="Author Profile">Scedrov, Andre</a>; <a href="/authors/talcott.carolyn-l" title="Author Profile">Talcott, Carolyn</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7556476">2</a> </div> </td> <td> <div class="citation_year">2021</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1493.68114">Efficient program synthesis: semantics, logic, complexity.</a> <a class="label nowrap" href="/1493.68114">Zbl 1493.68114</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max I.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7572021">2</a> </div> </td> <td> <div class="citation_year">1991</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1327.68143">Multiset rewriting over Fibonacci and tribonacci numbers.</a> <a class="label nowrap" href="/1327.68143">Zbl 1327.68143</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6302162">1</a> </div> </td> <td> <div class="citation_year">2014</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1239.03040">Light linear logics with controlled weakening: expressibility, confluent strong normalization.</a> <a class="label nowrap" href="/1239.03040">Zbl 1239.03040</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6022770">1</a> </div> </td> <td> <div class="citation_year">2012</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0725.03003">On complexity of the refutation in the constructive propositional logic.</a> <a class="label nowrap" href="/0725.03003">Zbl 0725.03003</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, M. I.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4195902">1</a> </div> </td> <td> <div class="citation_year">1989</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0705.68073">Efficient program synthesis in computational models.</a> <a class="label nowrap" href="/0705.68073">Zbl 0705.68073</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max I.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4157898">1</a> </div> </td> <td> <div class="citation_year">1990</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0859.68021">Linear logic automata.</a> <a class="label nowrap" href="/0859.68021">Zbl 0859.68021</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max I.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A909719">1</a> </div> </td> <td> <div class="citation_year">1996</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1133.05006">A note on rewriting proofs and Fibonacci numbers.</a> <a class="label nowrap" href="/1133.05006">Zbl 1133.05006</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5223578">1</a> </div> </td> <td> <div class="citation_year">2007</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0267.02022">Estimating the complexity of certain algorithmic problems of analysis.</a> <a class="label nowrap" href="/0267.02022">Zbl 0267.02022</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, M. I.</a>; <a href="/authors/kushner.boris-a" title="Author Profile">Kushner, B. A.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3420721">1</a> </div> </td> <td> <div class="citation_year">1969</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0629.03013">Quasipolynomial algorithms for recognizing the satisfiability and derivability of propositional formulas.</a> <a class="label nowrap" href="/0629.03013">Zbl 0629.03013</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, M. I.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4023248">1</a> </div> </td> <td> <div class="citation_year">1987</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/07628203">Non-associative, non-commutative multi-modal linear logic.</a> <a class="label nowrap" href="/7628203">Zbl 07628203</a> <br><a href="/authors/blaisdell.eben" title="Author Profile">Blaisdell, Eben</a>; <a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/kuznetsov.s-l" title="Author Profile">Kuznetsov, Stepan L.</a>; <a href="/authors/pimentel.elaine" title="Author Profile">Pimentel, Elaine</a>; <a href="/authors/scedrov.andre" title="Author Profile">Scedrov, Andre</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7628203">1</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1211.03092">Light linear logic with controlled weakening.</a> <a class="label nowrap" href="/1211.03092">Zbl 1211.03092</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5510295">1</a> </div> </td> <td> <div class="citation_year">2009</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1530.68257">Undecidability of a newly proposed calculus for CatLog3.</a> <a class="label nowrap" href="/1530.68257">Zbl 1530.68257</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/kuznetsov.s-l" title="Author Profile">Kuznetsov, Stepan</a>; <a href="/authors/scedrov.andre" title="Author Profile">Scedrov, Andre</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7800297">1</a> </div> </td> <td> <div class="citation_year">2019</div> </td> </tr> <tr class="pub_py"> <td> <a class="black" href="/1547.03172">Language models for some extensions of the Lambek calculus.</a> <a class="label nowrap" href="/1547.03172">Zbl 1547.03172</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/kuznetsov.s-l" title="Author Profile">Kuznetsov, Stepan</a>; <a href="/authors/scedrov.andre" title="Author Profile">Scedrov, Andre</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7540282">3</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py"> <td> <a class="black" href="/07628203">Non-associative, non-commutative multi-modal linear logic.</a> <a class="label nowrap" href="/7628203">Zbl 07628203</a> <br><a href="/authors/blaisdell.eben" title="Author Profile">Blaisdell, Eben</a>; <a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/kuznetsov.s-l" title="Author Profile">Kuznetsov, Stepan L.</a>; <a href="/authors/pimentel.elaine" title="Author Profile">Pimentel, Elaine</a>; <a href="/authors/scedrov.andre" title="Author Profile">Scedrov, Andre</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7628203">1</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py"> <td> <a class="black" href="/1496.03087">The multiplicative-additive Lambek calculus with subexponential and bracket modalities.</a> <a class="label nowrap" href="/1496.03087">Zbl 1496.03087</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/kuznetsov.s-l" title="Author Profile">Kuznetsov, Stepan</a>; <a href="/authors/scedrov.andre" title="Author Profile">Scedrov, Andre</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7363544">2</a> </div> </td> <td> <div class="citation_year">2021</div> </td> </tr> <tr class="pub_py"> <td> <a class="black" href="/1498.68161">On the complexity of verification of time-sensitive distributed systems.</a> <a class="label nowrap" href="/1498.68161">Zbl 1498.68161</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/ban-kirigin.tajana" title="Author Profile">Ban Kirigin, Tajana</a>; <a href="/authors/nigam.vivek" title="Author Profile">Nigam, Vivek</a>; <a href="/authors/scedrov.andre" title="Author Profile">Scedrov, Andre</a>; <a href="/authors/talcott.carolyn-l" title="Author Profile">Talcott, Carolyn</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7556476">2</a> </div> </td> <td> <div class="citation_year">2021</div> </td> </tr> <tr class="pub_py"> <td> <a class="black" href="/07614531">Soft subexponentials and multiplexing.</a> <a class="label nowrap" href="/7614531">Zbl 07614531</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/kuznetsov.s-l" title="Author Profile">Kuznetsov, Stepan</a>; <a href="/authors/nigam.vivek" title="Author Profile">Nigam, Vivek</a>; <a href="/authors/scedrov.andre" title="Author Profile">Scedrov, Andre</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7614531">6</a> </div> </td> <td> <div class="citation_year">2020</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1515.03220">Reconciling Lambek’s restriction, cut-elimination and substitution in the presence of exponential modalities.</a> <a class="label nowrap" href="/1515.03220">Zbl 1515.03220</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/kuznetsov.s-l" title="Author Profile">Kuznetsov, Stepan</a>; <a href="/authors/scedrov.andre" title="Author Profile">Scedrov, Andre</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7194699">4</a> </div> </td> <td> <div class="citation_year">2020</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1456.03099">Subexponentials in non-commutative linear logic.</a> <a class="label nowrap" href="/1456.03099">Zbl 1456.03099</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/kuznetsov.s-l" title="Author Profile">Kuznetsov, Stepan</a>; <a href="/authors/nigam.vivek" title="Author Profile">Nigam, Vivek</a>; <a href="/authors/scedrov.andre" title="Author Profile">Scedrov, Andre</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7114855">17</a> </div> </td> <td> <div class="citation_year">2019</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1530.03091">The complexity of multiplicative-additive Lambek calculus: 25 years later.</a> <a class="label nowrap" href="/1530.03091">Zbl 1530.03091</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/kuznetsov.s-l" title="Author Profile">Kuznetsov, Stepan</a>; <a href="/authors/scedrov.andre" title="Author Profile">Scedrov, Andre</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7176936">4</a> </div> </td> <td> <div class="citation_year">2019</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1530.03160">L-models and R-models for Lambek calculus enriched with additives and the multiplicative unit.</a> <a class="label nowrap" href="/1530.03160">Zbl 1530.03160</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/kuznetsov.s-l" title="Author Profile">Kuznetsov, Stepan</a>; <a href="/authors/scedrov.andre" title="Author Profile">Scedrov, Andre</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7176937">4</a> </div> </td> <td> <div class="citation_year">2019</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1530.68257">Undecidability of a newly proposed calculus for CatLog3.</a> <a class="label nowrap" href="/1530.68257">Zbl 1530.68257</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/kuznetsov.s-l" title="Author Profile">Kuznetsov, Stepan</a>; <a href="/authors/scedrov.andre" title="Author Profile">Scedrov, Andre</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7800297">1</a> </div> </td> <td> <div class="citation_year">2019</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1508.03092">A logical framework with commutative and non-commutative subexponentials.</a> <a class="label nowrap" href="/1508.03092">Zbl 1508.03092</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/kuznetsov.s-l" title="Author Profile">Kuznetsov, Stepan</a>; <a href="/authors/nigam.vivek" title="Author Profile">Nigam, Vivek</a>; <a href="/authors/scedrov.andre" title="Author Profile">Scedrov, Andre</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6958102">6</a> </div> </td> <td> <div class="citation_year">2018</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1519.68054">On the complexity of pointer arithmetic in separation logic.</a> <a class="label nowrap" href="/1519.68054">Zbl 1519.68054</a> <br><a href="/authors/brotherston.james" title="Author Profile">Brotherston, James</a>; <a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7721440">2</a> </div> </td> <td> <div class="citation_year">2018</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1512.03030">Bracket induction for Lambek calculus with bracket modalities.</a> <a class="label nowrap" href="/1512.03030">Zbl 1512.03030</a> <br><a href="/authors/morrill.glyn-v" title="Author Profile">Morrill, Glyn</a>; <a href="/authors/kuznetsov.s-l" title="Author Profile">Kuznetsov, Stepan</a>; <a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/scedrov.andre" title="Author Profile">Scedrov, Andre</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7694505">2</a> </div> </td> <td> <div class="citation_year">2018</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1364.68333">A rewriting framework and logic for activities subject to regulations.</a> <a class="label nowrap" href="/1364.68333">Zbl 1364.68333</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/ban-kirigin.tajana" title="Author Profile">Ban Kirigin, Tajana</a>; <a href="/authors/nigam.vivek" title="Author Profile">Nigam, Vivek</a>; <a href="/authors/scedrov.andre" title="Author Profile">Scedrov, Andre</a>; <a href="/authors/talcott.carolyn-l" title="Author Profile">Talcott, Carolyn</a>; <a href="/authors/perovic.ranko" title="Author Profile">Perovic, Ranko</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6699405">6</a> </div> </td> <td> <div class="citation_year">2017</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1496.03125">Biabduction (and related problems) in array separation logic.</a> <a class="label nowrap" href="/1496.03125">Zbl 1496.03125</a> <br><a href="/authors/brotherston.james" title="Author Profile">Brotherston, James</a>; <a href="/authors/gorogiannis.nikos" title="Author Profile">Gorogiannis, Nikos</a>; <a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6778421">6</a> </div> </td> <td> <div class="citation_year">2017</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1495.03036">Undecidability of the Lambek calculus with subexponential and bracket modalities.</a> <a class="label nowrap" href="/1495.03036">Zbl 1495.03036</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/kuznetsov.s-l" title="Author Profile">Kuznetsov, Stepan</a>; <a href="/authors/scedrov.andre" title="Author Profile">Scedrov, Andre</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6810964">5</a> </div> </td> <td> <div class="citation_year">2017</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1434.03076">A polynomial-time algorithm for the Lambek calculus with brackets of bounded order.</a> <a class="label nowrap" href="/1434.03076">Zbl 1434.03076</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/kuznetsov.s-l" title="Author Profile">Kuznetsov, Stepan</a>; <a href="/authors/morrill.glyn-v" title="Author Profile">Morrill, Glyn</a>; <a href="/authors/scedrov.andre" title="Author Profile">Scedrov, Andre</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7204441">4</a> </div> </td> <td> <div class="citation_year">2017</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1478.03043">Undecidability of the Lambek calculus with a relevant modality.</a> <a class="label nowrap" href="/1478.03043">Zbl 1478.03043</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/kuznetsov.s-l" title="Author Profile">Kuznetsov, Stepan</a>; <a href="/authors/scedrov.andre" title="Author Profile">Scedrov, Andre</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6658641">10</a> </div> </td> <td> <div class="citation_year">2016</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1347.68221">Model checking for symbolic-heap separation logic with inductive predicates.</a> <a class="label nowrap" href="/1347.68221">Zbl 1347.68221</a> <br><a href="/authors/brotherston.james" title="Author Profile">Brotherston, James</a>; <a href="/authors/gorogiannis.nikos" title="Author Profile">Gorogiannis, Nikos</a>; <a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/rowe.reuben-n-s" title="Author Profile">Rowe, Reuben</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6642944">7</a> </div> </td> <td> <div class="citation_year">2016</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1476.03026">On Lambek’s restriction in the presence of exponential modalities.</a> <a class="label nowrap" href="/1476.03026">Zbl 1476.03026</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/kuznetsov.s-l" title="Author Profile">Kuznetsov, Stepan</a>; <a href="/authors/scedrov.andre" title="Author Profile">Scedrov, Andre</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6751236">3</a> </div> </td> <td> <div class="citation_year">2016</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1433.68058">Timed multiset rewriting and the verification of time-sensitive distributed systems.</a> <a class="label nowrap" href="/1433.68058">Zbl 1433.68058</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/ban-kirigin.tajana" title="Author Profile">Ban Kirigin, Tajana</a>; <a href="/authors/nigam.vivek" title="Author Profile">Nigam, Vivek</a>; <a href="/authors/scedrov.andre" title="Author Profile">Scedrov, Andre</a>; <a href="/authors/talcott.carolyn-l" title="Author Profile">Talcott, Carolyn</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6839700">2</a> </div> </td> <td> <div class="citation_year">2016</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1295.68166">Undecidability of propositional separation logic and its neighbours.</a> <a class="label nowrap" href="/1295.68166">Zbl 1295.68166</a> <br><a href="/authors/brotherston.james" title="Author Profile">Brotherston, James</a>; <a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6344018">21</a> </div> </td> <td> <div class="citation_year">2014</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1406.03046">Foundations for decision problems in separation logic with general inductive predicates.</a> <a class="label nowrap" href="/1406.03046">Zbl 1406.03046</a> <br><a href="/authors/antonopoulos.timos" title="Author Profile">Antonopoulos, Timos</a>; <a href="/authors/gorogiannis.nikos" title="Author Profile">Gorogiannis, Nikos</a>; <a href="/authors/haase.christoph" title="Author Profile">Haase, Christoph</a>; <a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/ouaknine.joel-o" title="Author Profile">Ouaknine, Joël</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6286349">19</a> </div> </td> <td> <div class="citation_year">2014</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1360.68860">Bounded memory Dolev-Yao adversaries in collaborative systems.</a> <a class="label nowrap" href="/1360.68860">Zbl 1360.68860</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/ban-kirigin.tajana" title="Author Profile">Ban Kirigin, Tajana</a>; <a href="/authors/nigam.vivek" title="Author Profile">Nigam, Vivek</a>; <a href="/authors/scedrov.andre" title="Author Profile">Scedrov, Andre</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6359042">6</a> </div> </td> <td> <div class="citation_year">2014</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1308.68055">Bounded memory protocols.</a> <a class="label nowrap" href="/1308.68055">Zbl 1308.68055</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/ban-kirigin.tajana" title="Author Profile">Kirigin, Tajana Ban</a>; <a href="/authors/nigam.vivek" title="Author Profile">Nigam, Vivek</a>; <a href="/authors/scedrov.andre" title="Author Profile">Scedrov, Andre</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6421322">2</a> </div> </td> <td> <div class="citation_year">2014</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1327.68143">Multiset rewriting over Fibonacci and tribonacci numbers.</a> <a class="label nowrap" href="/1327.68143">Zbl 1327.68143</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6302162">1</a> </div> </td> <td> <div class="citation_year">2014</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1437.68082">A rewriting framework for activities subject to regulations.</a> <a class="label nowrap" href="/1437.68082">Zbl 1437.68082</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/ban-kirigin.tajana" title="Author Profile">Ban Kirigin, Tajana</a>; <a href="/authors/nigam.vivek" title="Author Profile">Nigam, Vivek</a>; <a href="/authors/scedrov.andre" title="Author Profile">Scedrov, Andre</a>; <a href="/authors/talcott.carolyn-l" title="Author Profile">Talcott, Carolyn</a>; <a href="/authors/perovic.ranko" title="Author Profile">Perovic, Ranko</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7205340">3</a> </div> </td> <td> <div class="citation_year">2012</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1239.03040">Light linear logics with controlled weakening: expressibility, confluent strong normalization.</a> <a class="label nowrap" href="/1239.03040">Zbl 1239.03040</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6022770">1</a> </div> </td> <td> <div class="citation_year">2012</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1229.90072">Collaborative planning with confidentiality.</a> <a class="label nowrap" href="/1229.90072">Zbl 1229.90072</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/?q=au%3ARowe%2C%2BPaul" title="Author Profile">Rowe, Paul</a>; <a href="/authors/scedrov.andre" title="Author Profile">Scedrov, Andre</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5903836">7</a> </div> </td> <td> <div class="citation_year">2011</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1211.03092">Light linear logic with controlled weakening.</a> <a class="label nowrap" href="/1211.03092">Zbl 1211.03092</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5510295">1</a> </div> </td> <td> <div class="citation_year">2009</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1118.68157">Strong planning under uncertainty in domains with numerous but identical elements (a generic approach).</a> <a class="label nowrap" href="/1118.68157">Zbl 1118.68157</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/vauzeilles.jacqueline" title="Author Profile">Vauzeilles, Jacqueline</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5171332">3</a> </div> </td> <td> <div class="citation_year">2007</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1124.05007">The two-way rewriting in action: removing the mystery of Euler-Glaisher’s map.</a> <a class="label nowrap" href="/1124.05007">Zbl 1124.05007</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5156489">2</a> </div> </td> <td> <div class="citation_year">2007</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1133.05006">A note on rewriting proofs and Fibonacci numbers.</a> <a class="label nowrap" href="/1133.05006">Zbl 1133.05006</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5223578">1</a> </div> </td> <td> <div class="citation_year">2007</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1095.03071">Intuitionistic phase semantics is almost classical.</a> <a class="label nowrap" href="/1095.03071">Zbl 1095.03071</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max I.</a>; <a href="/authors/okada.mitsuhiro" title="Author Profile">Okada, Mitsuhiro</a>; <a href="/authors/terui.kazushige" title="Author Profile">Terui, Kazushige</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5025121">3</a> </div> </td> <td> <div class="citation_year">2006</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1044.05010">Finding direct partition bijections by two-directional rewriting techniques.</a> <a class="label nowrap" href="/1044.05010">Zbl 1044.05010</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A2092829">2</a> </div> </td> <td> <div class="citation_year">2004</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1029.03052">Phase semantics for light linear logic.</a> <a class="label nowrap" href="/1029.03052">Zbl 1029.03052</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max I.</a>; <a href="/authors/okada.mitsuhiro" title="Author Profile">Okada, Mitsuhiro</a>; <a href="/authors/scedrov.andre" title="Author Profile">Scedrov, Andre</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1956202">8</a> </div> </td> <td> <div class="citation_year">2003</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1116.68593">Coping polynomially with numerous but identical elements within planning problems.</a> <a class="label nowrap" href="/1116.68593">Zbl 1116.68593</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/vauzeilles.jacqueline" title="Author Profile">Vauzeilles, Jacqueline</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5166496">2</a> </div> </td> <td> <div class="citation_year">2003</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1020.68042">Bijections between partitions by two-directional rewriting techniques.</a> <a class="label nowrap" href="/1020.68042">Zbl 1020.68042</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1948153">2</a> </div> </td> <td> <div class="citation_year">2002</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0994.68139">The classical AI planning problems in the mirror of Horn linear logic: Semantics, expressibility, complexity.</a> <a class="label nowrap" href="/0994.68139">Zbl 0994.68139</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max</a>; <a href="/authors/vauzeilles.jacqueline" title="Author Profile">Vauzeilles, Jacqueline</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1750642">7</a> </div> </td> <td> <div class="citation_year">2001</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0911.68122">Phase semantics for light linear logic.</a> <a class="label nowrap" href="/0911.68122">Zbl 0911.68122</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max I.</a>; <a href="/authors/okada.mitsuhiro" title="Author Profile">Okada, Mitsuhiro</a>; <a href="/authors/scedrov.andre" title="Author Profile">Scedrov, Andre</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1231574">5</a> </div> </td> <td> <div class="citation_year">1997</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0859.68021">Linear logic automata.</a> <a class="label nowrap" href="/0859.68021">Zbl 0859.68021</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max I.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A909719">1</a> </div> </td> <td> <div class="citation_year">1996</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0829.03007">Petri nets, Horn programs, linear logic and vector games.</a> <a class="label nowrap" href="/0829.03007">Zbl 0829.03007</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max I.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A802551">12</a> </div> </td> <td> <div class="citation_year">1995</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0826.03018">The direct simulation of Minsky machines in linear logic.</a> <a class="label nowrap" href="/0826.03018">Zbl 0826.03018</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max I.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A786490">7</a> </div> </td> <td> <div class="citation_year">1995</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0804.03004">Linear logic as a logic of computations.</a> <a class="label nowrap" href="/0804.03004">Zbl 0804.03004</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max I.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A584684">15</a> </div> </td> <td> <div class="citation_year">1994</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0812.03007">The complexity of Horn fragments of linear logic.</a> <a class="label nowrap" href="/0812.03007">Zbl 0812.03007</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max I.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A683707">9</a> </div> </td> <td> <div class="citation_year">1994</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0942.03526">Petri nets, Horn programs, linear logic, and vector games.</a> <a class="label nowrap" href="/0942.03526">Zbl 0942.03526</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max I.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1479638">4</a> </div> </td> <td> <div class="citation_year">1994</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1493.68114">Efficient program synthesis: semantics, logic, complexity.</a> <a class="label nowrap" href="/1493.68114">Zbl 1493.68114</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max I.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7572021">2</a> </div> </td> <td> <div class="citation_year">1991</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0705.68073">Efficient program synthesis in computational models.</a> <a class="label nowrap" href="/0705.68073">Zbl 0705.68073</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, Max I.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4157898">1</a> </div> </td> <td> <div class="citation_year">1990</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0673.03019">What is the logic fo computational tasks?</a> <a class="label nowrap" href="/0673.03019">Zbl 0673.03019</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, M. I.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4101150">2</a> </div> </td> <td> <div class="citation_year">1989</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0725.03003">On complexity of the refutation in the constructive propositional logic.</a> <a class="label nowrap" href="/0725.03003">Zbl 0725.03003</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, M. I.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4195902">1</a> </div> </td> <td> <div class="citation_year">1989</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0629.03013">Quasipolynomial algorithms for recognizing the satisfiability and derivability of propositional formulas.</a> <a class="label nowrap" href="/0629.03013">Zbl 0629.03013</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, M. I.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4023248">1</a> </div> </td> <td> <div class="citation_year">1987</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0606.68040">Efficient logical algorithms of analysis and the synthesis of dependencies.</a> <a class="label nowrap" href="/0606.68040">Zbl 0606.68040</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, M. I.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3980485">2</a> </div> </td> <td> <div class="citation_year">1985</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0235.02025">On domains of definition of optimal algorithms.</a> <a class="label nowrap" href="/0235.02025">Zbl 0235.02025</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, M. I.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3372020">2</a> </div> </td> <td> <div class="citation_year">1971</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0235.02026">On complexity of Boolean function minimization.</a> <a class="label nowrap" href="/0235.02026">Zbl 0235.02026</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, M. I.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3372021">2</a> </div> </td> <td> <div class="citation_year">1971</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0255.02049">On the complexit y of enumeration and decision of predicates.</a> <a class="label nowrap" href="/0255.02049">Zbl 0255.02049</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovic, M. I.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3402606">3</a> </div> </td> <td> <div class="citation_year">1970</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0272.02054">On the decision complexity of algorithms.</a> <a class="label nowrap" href="/0272.02054">Zbl 0272.02054</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovic, M. I.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3427324">2</a> </div> </td> <td> <div class="citation_year">1969</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0181.31303">Some theorems on the complexity of normal algorithms and computations.</a> <a class="label nowrap" href="/0181.31303">Zbl 0181.31303</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, M. I.</a>; <a href="/authors/petri.n-v" title="Author Profile">Petri, N. V.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3288611">2</a> </div> </td> <td> <div class="citation_year">1969</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0267.02022">Estimating the complexity of certain algorithmic problems of analysis.</a> <a class="label nowrap" href="/0267.02022">Zbl 0267.02022</a> <br><a href="/authors/kanovich.max-i" title="Author Profile">Kanovich, M. I.</a>; <a href="/authors/kushner.boris-a" title="Author Profile">Kushner, B. A.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3420721">1</a> </div> </td> <td> <div class="citation_year">1969</div> </td> </tr> </tbody> </table><div class="more_less"> <a tabindex="0" class="more">all cited Publications <i class="caret"></i></a> <a tabindex="0" class="less">top 5 cited Publications <i class="caret"></i></a> </div></div> <div class="profile"> <div class="facet1st"><a tabindex="0" class="more">all <i class="caret"></i></a> <a tabindex="0" class="less">top 5 <i class="caret"></i></a><h3>Cited by 185 Authors</h3> <table class="profile"> <tr> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Akanovich.max-i" title="Citing Publications by this Author">30</a> </td> <td class="text"> <a href="/authors/kanovich.max-i" title="Author Profile"> Kanovich, Max Iosifovich </a> </td></tr><tr> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Akuznetsov.s-l" title="Citing Publications by this Author">19</a> </td> <td class="text"> <a href="/authors/kuznetsov.s-l" title="Author Profile"> Kuznetsov, Stepan L’vovich </a> </td></tr><tr> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Ascedrov.andre" title="Citing Publications by this Author">18</a> </td> <td class="text"> <a href="/authors/scedrov.andre" title="Author Profile"> Ščedrov, Andrej </a> </td></tr><tr> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Anigam.vivek" title="Citing Publications by this Author">10</a> </td> <td class="text"> <a href="/authors/nigam.vivek" title="Author Profile"> Nigam, Vivek </a> </td></tr><tr> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Ademri.stephane-p" title="Citing Publications by this Author">6</a> </td> <td class="text"> <a href="/authors/demri.stephane-p" title="Author Profile"> Demri, Stéphane P. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Atalcott.carolyn-l" title="Citing Publications by this Author">6</a> </td> <td class="text"> <a href="/authors/talcott.carolyn-l" title="Author Profile"> Talcott, Carolyn L. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Aban-kirigin.tajana" title="Citing Publications by this Author">5</a> </td> <td class="text"> <a href="/authors/ban-kirigin.tajana" title="Author Profile"> Ban Kirigin, Tajana </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Abrotherston.james" title="Citing Publications by this Author">4</a> </td> <td class="text"> <a href="/authors/brotherston.james" title="Author Profile"> Brotherston, James </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Akimura.daisuke" title="Citing Publications by this Author">4</a> </td> <td class="text"> <a href="/authors/kimura.daisuke" title="Author Profile"> Kimura, Daisuke </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Amiller.dale-a" title="Citing Publications by this Author">4</a> </td> <td class="text"> <a href="/authors/miller.dale-a" title="Author Profile"> Miller, Dale Allen </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Apimentel.elaine" title="Citing Publications by this Author">4</a> </td> <td class="text"> <a href="/authors/pimentel.elaine" title="Author Profile"> Pimentel, Elaine </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Atatsuta.makoto" title="Citing Publications by this Author">4</a> </td> <td class="text"> <a href="/authors/tatsuta.makoto" title="Author Profile"> Tatsuta, Makoto </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Adeters.morgan" title="Citing Publications by this Author">3</a> </td> <td class="text"> <a href="/authors/deters.morgan" title="Author Profile"> Deters, Morgan </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Alazic.ranko" title="Citing Publications by this Author">3</a> </td> <td class="text"> <a href="/authors/lazic.ranko" title="Author Profile"> Lazić, Ranko </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Ale.quang-loc" title="Citing Publications by this Author">3</a> </td> <td class="text"> <a href="/authors/le.quang-loc" title="Author Profile"> Le, Quang Loc </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Amatheja.christoph" title="Citing Publications by this Author">3</a> </td> <td class="text"> <a href="/authors/matheja.christoph" title="Author Profile"> Matheja, Christoph </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Amorrill.glyn-v" title="Citing Publications by this Author">3</a> </td> <td class="text"> <a href="/authors/morrill.glyn-v" title="Author Profile"> Morrill, Glyn V. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Astrassburger.lutz" title="Citing Publications by this Author">3</a> </td> <td class="text"> <a href="/authors/strassburger.lutz" title="Author Profile"> Straßburger, Lutz </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Azuleger.florian" title="Citing Publications by this Author">3</a> </td> <td class="text"> <a href="/authors/zuleger.florian" title="Author Profile"> Zuleger, Florian </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Abaillot.patrick" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/baillot.patrick" title="Author Profile"> Baillot, Patrick </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Ablaisdell.eben" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/blaisdell.eben" title="Author Profile"> Blaisdell, Eben </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Abuss.samuel-r" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/buss.samuel-r" title="Author Profile"> Buss, Samuel R. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Acao.yongzhi" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/cao.yongzhi" title="Author Profile"> Cao, Yongzhi </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Acervesato.iliano" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/cervesato.iliano" title="Author Profile"> Cervesato, Iliano </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Achen.taolue" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/chen.taolue" title="Author Profile"> Chen, Taolue </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Achin.wei-ngan" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/chin.wei-ngan" title="Author Profile"> Chin, Wei-Ngan </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Aczerwinski.wojciech" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/czerwinski.wojciech" title="Author Profile"> Czerwiński, Wojciech </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Adocherty.simon" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/docherty.simon" title="Author Profile"> Docherty, Simon </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Agalmiche.didier" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/galmiche.didier" title="Author Profile"> Galmiche, Didier </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Agorogiannis.nikos" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/gorogiannis.nikos" title="Author Profile"> Gorogiannis, Nikos </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Aheath.quentin" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/heath.quentin" title="Author Profile"> Heath, Quentin </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Ahou.zhe" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/hou.zhe" title="Author Profile"> Hou, Zhe </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Aiosif.radu" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/iosif.radu" title="Author Profile"> Iosif, Radu </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Ajin.zhao" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/jin.zhao" title="Author Profile"> Jin, Zhao </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Akamide.norihiro" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/kamide.norihiro" title="Author Profile"> Kamide, Norihiro </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Akihara.takayuki" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/kihara.takayuki" title="Author Profile"> Kihara, Takayuki </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Alarchey-wendling.dominique" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/larchey-wendling.dominique" title="Author Profile"> Larchey-Wendling, Dominique </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Alasota.slawomir" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/lasota.slawomir" title="Author Profile"> Lasota, Sławomir </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Aleroux.jerome" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/leroux.jerome" title="Author Profile"> Leroux, Jérôme </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Alitak.tadeusz" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/litak.tadeusz" title="Author Profile"> Litak, Tadeusz </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Alozes.etienne" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/lozes.etienne" title="Author Profile"> Lozes, Etienne </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Amansutti.alessio" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/mansutti.alessio" title="Author Profile"> Mansutti, Alessio </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Amazowiecki.filip" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/mazowiecki.filip" title="Author Profile"> Mazowiecki, Filip </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Amcpheat.lachlan" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/mcpheat.lachlan" title="Author Profile"> McPheat, Lachlan </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Anakazawa.koji" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/nakazawa.koji" title="Author Profile"> Nakazawa, Koji </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Anoll.thomas" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/noll.thomas" title="Author Profile"> Noll, Thomas </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Aolarte.carlos" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/olarte.carlos" title="Author Profile"> Olarte, Carlos </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Apagel.jens" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/pagel.jens" title="Author Profile"> Pagel, Jens </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Apetrov.sergey-v" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/petrov.sergey-v" title="Author Profile"> Petrov, Sergey V. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Apshenitsyn.tikhon" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/pshenitsyn.tikhon" title="Author Profile"> Pshenitsyn, Tikhon </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Apym.david-j" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/pym.david-j" title="Author Profile"> Pym, David J. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Asadrzadeh.mehrnoosh" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/sadrzadeh.mehrnoosh" title="Author Profile"> Sadrzadeh, Mehrnoosh </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Asperanski.stanislav-o" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/speranski.stanislav-o" title="Author Profile"> Speranski, Stanislav O. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Atiu.alwen-fernanto" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/tiu.alwen-fernanto" title="Author Profile"> Tiu, Alwen Fernanto </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Avauzeilles.jacqueline" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/vauzeilles.jacqueline" title="Author Profile"> Vauzeilles, Jacqueline </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Awang.hanpin" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/wang.hanpin" title="Author Profile"> Wang, Hanpin </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Awu.zhilin" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/wu.zhilin" title="Author Profile"> Wu, Zhilin </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Axavier.bruno" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/xavier.bruno" title="Author Profile"> Xavier, Bruno </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Azhang.bowen" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/zhang.bowen" title="Author Profile"> Zhang, Bowen </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Aakbar-tabatabai.amirhossein" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/akbar-tabatabai.amirhossein" title="Author Profile"> Akbar Tabatabai, Amirhossein </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Aalechina.natasha" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/alechina.natasha" title="Author Profile"> Alechina, Natasha </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Aalturki.musab-a" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/alturki.musab-a" title="Author Profile"> AlTurki, Musab A. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Aappel.andrew-w" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/appel.andrew-w" title="Author Profile"> Appel, Andrew W. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Aarbab.farhad" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/arbab.farhad" title="Author Profile"> Arbab, Farhad </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Abartoletti.massimo" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/bartoletti.massimo" title="Author Profile"> Bartoletti, Massimo </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Abatz.kevin" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/batz.kevin" title="Author Profile"> Batz, Kevin </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Aberarducci.alessandro" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/berarducci.alessandro" title="Author Profile"> Berarducci, Alessandro </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Abournez.olivier" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/bournez.olivier" title="Author Profile"> Bournez, Olivier </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Abreitbart.yuri" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/breitbart.yuri" title="Author Profile"> Breitbart, Yuri </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Abrochenin.remi" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/brochenin.remi" title="Author Profile"> Brochenin, Rémi </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Acao.qinxiang" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/cao.qinxiang" title="Author Profile"> Cao, Qinxiang </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Acao.tianyue" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/cao.tianyue" title="Author Profile"> Cao, Tianyue </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Aclarke.dave" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/clarke.dave" title="Author Profile"> Clarke, Dave </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Aclavel.manuel" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/clavel.manuel" title="Author Profile"> Clavel, Manuel </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Acostantini.stefania" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/costantini.stefania" title="Author Profile"> Costantini, Stefania </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Acuellar.santiago" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/cuellar.santiago" title="Author Profile"> Cuellar, Santiago </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Adal-lago.ugo" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/dal-lago.ugo" title="Author Profile"> Dal Lago, Ugo </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Adaley.robert-p" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/daley.robert-p" title="Author Profile"> Daley, Robert P. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Adanos.vincent" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/danos.vincent" title="Author Profile"> Danos, Vincent </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Ade-boer.frank-s" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/de-boer.frank-s" title="Author Profile"> de Boer, Frank S. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Ade-gouw.stijn" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/de-gouw.stijn" title="Author Profile"> De Gouw, Stijn </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Adebant.alexandre" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/debant.alexandre" title="Author Profile"> Debant, Alexandre </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Adegano.pierpaolo" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/degano.pierpaolo" title="Author Profile"> Degano, Pierpaolo </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Adelande.olivier" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/delande.olivier" title="Author Profile"> Delande, Olivier </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Adelaune.stephanie" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/delaune.stephanie" title="Author Profile"> Delaune, Stéphanie </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Adeuser.kaya" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/deuser.kaya" title="Author Profile"> Deuser, Kaya </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Adi-giamberardino.paolo" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/di-giamberardino.paolo" title="Author Profile"> Di Giamberardino, Paolo </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Adistefano.dino" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/distefano.dino" title="Author Profile"> Distefano, Dino </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Adowek.gilles" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/dowek.gilles" title="Author Profile"> Dowek, Gilles </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Adudakov.sergey-m" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/dudakov.sergey-m" title="Author Profile"> Dudakov, Sergey M. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Aduran.francisco" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/duran.francisco" title="Author Profile"> Durán, Francisco </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Aechenim.mnacho" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/echenim.mnacho" title="Author Profile"> Echenim, Mnacho </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Aeker.steven" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/eker.steven" title="Author Profile"> Eker, Steven </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Aescobar.santiago" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/escobar.santiago" title="Author Profile"> Escobar, Santiago </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Afesefeldt.ira" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/fesefeldt.ira" title="Author Profile"> Fesefeldt, Ira </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Aflorek.wojciech" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/florek.wojciech" title="Author Profile"> Florek, Wojciech </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Afofanova.e-m" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/fofanova.e-m" title="Author Profile"> Fofanova, E. M. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Aformisano.andrea" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/formisano.andrea" title="Author Profile"> Formisano, Andrea </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Agilleron.remi" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/gilleron.remi" title="Author Profile"> Gilleron, Rémi </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+ai%3Agirard.jean-yves" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/girard.jean-yves" title="Author Profile"> Girard, Jean-Yves </a> </td></tr> <tr class="more"> <td colspan="2">...and 85 more Authors</td> </tr> </table> </div> <div class="facet2nd"><a tabindex="0" class="more">all <i class="caret"></i></a> <a tabindex="0" class="less">top 5 <i class="caret"></i></a><h3>Cited in 32 Serials</h3> <table class="profile"> <tr> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+se%3A735" title="Citing Publications in this Serial">13</a> </td> <td class="text"> <a href="/serials/?q=se%3A735" title="Serial Profile"> Theoretical Computer Science </a> </td></tr><tr> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+se%3A968" title="Citing Publications in this Serial">13</a> </td> <td class="text"> <a href="/serials/?q=se%3A968" title="Serial Profile"> Annals of Pure and Applied Logic </a> </td></tr><tr> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+se%3A1143" title="Citing Publications in this Serial">8</a> </td> <td class="text"> <a href="/serials/?q=se%3A1143" title="Serial Profile"> Information and Computation </a> </td></tr><tr> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+se%3A1840" title="Citing Publications in this Serial">6</a> </td> <td class="text"> <a href="/serials/?q=se%3A1840" title="Serial Profile"> Journal of Logic, Language and Information </a> </td></tr><tr> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+se%3A5003" title="Citing Publications in this Serial">6</a> </td> <td class="text"> <a href="/serials/?q=se%3A5003" title="Serial Profile"> Logical Methods in Computer Science </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+se%3A1381" title="Citing Publications in this Serial">4</a> </td> <td class="text"> <a href="/serials/?q=se%3A1381" title="Serial Profile"> Mathematical Structures in Computer Science </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+se%3A1899" title="Citing Publications in this Serial">4</a> </td> <td class="text"> <a href="/serials/?q=se%3A1899" title="Serial Profile"> Journal of Applied Non-Classical Logics </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+se%3A3054" title="Citing Publications in this Serial">4</a> </td> <td class="text"> <a href="/serials/?q=se%3A3054" title="Serial Profile"> ACM Transactions on Computational Logic </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+se%3A295" title="Citing Publications in this Serial">3</a> </td> <td class="text"> <a href="/serials/?q=se%3A295" title="Serial Profile"> Algebra and Logic </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+se%3A69" title="Citing Publications in this Serial">2</a> </td> <td class="text"> <a href="/serials/?q=se%3A69" title="Serial Profile"> Discrete Mathematics </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+se%3A454" title="Citing Publications in this Serial">2</a> </td> <td class="text"> <a href="/serials/?q=se%3A454" title="Serial Profile"> Information Sciences </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+se%3A483" title="Citing Publications in this Serial">2</a> </td> <td class="text"> <a href="/serials/?q=se%3A483" title="Serial Profile"> Journal of Computer and System Sciences </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+se%3A722" title="Citing Publications in this Serial">2</a> </td> <td class="text"> <a href="/serials/?q=se%3A722" title="Serial Profile"> Studia Logica </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+se%3A1150" title="Citing Publications in this Serial">2</a> </td> <td class="text"> <a href="/serials/?q=se%3A1150" title="Serial Profile"> Journal of Automated Reasoning </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+se%3A1744" title="Citing Publications in this Serial">2</a> </td> <td class="text"> <a href="/serials/?q=se%3A1744" title="Serial Profile"> Archive for Mathematical Logic </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+se%3A34" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A34" title="Serial Profile"> Artificial Intelligence </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+se%3A170" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A170" title="Serial Profile"> Moscow University Mathematics Bulletin </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+se%3A331" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A331" title="Serial Profile"> Applied Mathematics and Computation </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+se%3A522" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A522" title="Serial Profile"> Journal of Soviet Mathematics </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+se%3A653" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A653" title="Serial Profile"> RAIRO, Informatique Théorique </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+se%3A744" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A744" title="Serial Profile"> Transactions of the American Mathematical Society </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+se%3A831" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A831" title="Serial Profile"> Advances in Applied Mathematics </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+se%3A1279" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A1279" title="Serial Profile"> Formal Aspects of Computing </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+se%3A2109" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A2109" title="Serial Profile"> The Bulletin of Symbolic Logic </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+se%3A2291" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A2291" title="Serial Profile"> Theory of Computing Systems </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+se%3A2408" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A2408" title="Serial Profile"> Journal of the ACM </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+se%3A2868" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A2868" title="Serial Profile"> Theory and Practice of Logic Programming </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+se%3A2999" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A2999" title="Serial Profile"> Computer Languages, Systems & Structures </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+se%3A3250" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A3250" title="Serial Profile"> Sibirskie Èlektronnye Matematicheskie Izvestiya </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+se%3A6723" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A6723" title="Serial Profile"> The Review of Symbolic Logic </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+se%3A7870" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A7870" title="Serial Profile"> Communications in Mathematics and Statistics </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+se%3A8501" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A8501" title="Serial Profile"> Journal of Logical and Algebraic Methods in Programming </a> </td></tr> </table> </div> <div class="facet3rd"><a tabindex="0" class="more">all <i class="caret"></i></a> <a tabindex="0" class="less">top 5 <i class="caret"></i></a><h3>Cited in 17 Fields</h3> <table class="profile"> <tr> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+cc%3A03" title="Citing Publications in this Field">120</a> </td> <td class="text"> <a href="/classification/?q=cc%3A03" title="Mathematics Subject Classification"> Mathematical logic and foundations <span style="white-space: nowrap;">(03-XX)</span> </a> </td></tr><tr> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+cc%3A68" title="Citing Publications in this Field">99</a> </td> <td class="text"> <a href="/classification/?q=cc%3A68" title="Mathematics Subject Classification"> Computer science <span style="white-space: nowrap;">(68-XX)</span> </a> </td></tr><tr> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+cc%3A05" title="Citing Publications in this Field">5</a> </td> <td class="text"> <a href="/classification/?q=cc%3A05" title="Mathematics Subject Classification"> Combinatorics <span style="white-space: nowrap;">(05-XX)</span> </a> </td></tr><tr> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+cc%3A93" title="Citing Publications in this Field">4</a> </td> <td class="text"> <a href="/classification/?q=cc%3A93" title="Mathematics Subject Classification"> Systems theory; control <span style="white-space: nowrap;">(93-XX)</span> </a> </td></tr><tr> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+cc%3A94" title="Citing Publications in this Field">4</a> </td> <td class="text"> <a href="/classification/?q=cc%3A94" title="Mathematics Subject Classification"> Information and communication theory, circuits <span style="white-space: nowrap;">(94-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+cc%3A06" title="Citing Publications in this Field">3</a> </td> <td class="text"> <a href="/classification/?q=cc%3A06" title="Mathematics Subject Classification"> Order, lattices, ordered algebraic structures <span style="white-space: nowrap;">(06-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+cc%3A11" title="Citing Publications in this Field">3</a> </td> <td class="text"> <a href="/classification/?q=cc%3A11" title="Mathematics Subject Classification"> Number theory <span style="white-space: nowrap;">(11-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+cc%3A20" title="Citing Publications in this Field">2</a> </td> <td class="text"> <a href="/classification/?q=cc%3A20" title="Mathematics Subject Classification"> Group theory and generalizations <span style="white-space: nowrap;">(20-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+cc%3A60" title="Citing Publications in this Field">2</a> </td> <td class="text"> <a href="/classification/?q=cc%3A60" title="Mathematics Subject Classification"> Probability theory and stochastic processes <span style="white-space: nowrap;">(60-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+cc%3A91" title="Citing Publications in this Field">2</a> </td> <td class="text"> <a href="/classification/?q=cc%3A91" title="Mathematics Subject Classification"> Game theory, economics, finance, and other social and behavioral sciences <span style="white-space: nowrap;">(91-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+cc%3A00" title="Citing Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A00" title="Mathematics Subject Classification"> General and overarching topics; collections <span style="white-space: nowrap;">(00-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+cc%3A01" title="Citing Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A01" title="Mathematics Subject Classification"> History and biography <span style="white-space: nowrap;">(01-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+cc%3A12" title="Citing Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A12" title="Mathematics Subject Classification"> Field theory and polynomials <span style="white-space: nowrap;">(12-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+cc%3A13" title="Citing Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A13" title="Mathematics Subject Classification"> Commutative algebra <span style="white-space: nowrap;">(13-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+cc%3A18" title="Citing Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A18" title="Mathematics Subject Classification"> Category theory; homological algebra <span style="white-space: nowrap;">(18-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+cc%3A90" title="Citing Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A90" title="Mathematics Subject Classification"> Operations research, mathematical programming <span style="white-space: nowrap;">(90-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akanovich.max-i+cc%3A92" title="Citing Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A92" title="Mathematics Subject Classification"> Biology and other natural sciences <span style="white-space: nowrap;">(92-XX)</span> </a> </td></tr> </table> </div> <div class="diagram svg-diagram"> <h3>Citations by Year</h3> <div class="diagram ci-diagram" aria-label="citations by year"></div> <style> rect:hover { fill: steelblue; } .axis path, .axis line { fill: none; stroke: #000; shape-rendering: crispEdges; } .bar { fill: steelblue; } a:hover .bar, a:focus .bar { stroke: black; fill-opacity: 60%; } </style> <script> var margin = { top: 20, right: 0, bottom: 30, left: 50 }; var width = 930 - margin.left - margin.right; var height = 150 - margin.top - margin.bottom; var svg = d3.selectAll(".ci-diagram").append("svg") .attr("width", width + margin.left + margin.right) .attr("height", height + margin.top + margin.bottom) .append("g") .attr("transform", "translate(" + margin.left + "," + margin.top + ")"); var data = [{ year:1974, frequency:1 },{ year:1979, frequency:1 },{ year:1981, frequency:1 },{ year:1989, frequency:2 },{ year:1991, frequency:1 },{ year:1994, frequency:2 },{ year:1995, frequency:2 },{ year:1996, frequency:1 },{ year:1997, frequency:1 },{ year:1998, frequency:1 },{ year:1999, frequency:1 },{ year:2000, frequency:2 },{ year:2001, frequency:1 },{ year:2003, frequency:3 },{ year:2004, frequency:5 },{ year:2006, frequency:2 },{ year:2007, frequency:4 },{ year:2008, frequency:1 },{ year:2009, frequency:5 },{ year:2010, frequency:4 },{ year:2011, frequency:3 },{ year:2012, frequency:5 },{ year:2013, frequency:1 },{ year:2014, frequency:7 },{ year:2015, frequency:10 },{ year:2016, frequency:6 },{ year:2017, frequency:11 },{ year:2018, frequency:7 },{ year:2019, frequency:9 },{ year:2020, frequency:7 },{ year:2021, frequency:13 },{ year:2022, frequency:16 },{ year:2023, frequency:9 },{ year:2024, frequency:3 },{ year:2025, frequency:1 }]; data.forEach(function(d) { d.year = +d.year; d.frequency = +d.frequency; }); var xScale = d3.scale.ordinal() .rangeRoundBands([0, width], .1); var yScale = d3.scale.linear() .range([height, 0]); // fill if less than 20 years span var zero = d3.max( [ 20 - ( d3.max( data, d => d.year ) + 1 - d3.min( data, d => d.year ) ), 0 ] ); // generate range from min to max xScale.domain( d3.range( d3.min( data, d => d.year ), d3.max( data, d => d.year ) + 1 + zero ) ); yScale.domain( [ 0, d3.max( data, d => d.frequency ) ] ); var xAxis = d3.svg.axis() .scale(xScale) .tickValues( // show ticks every 5 years for range up to 50 years, every 10 // years up to 100 years, and every 20 years above that xScale.domain().filter( function(d, i) { let ticks; if (xScale.domain().length <= 50) { ticks = 5; } else if (xScale.domain().length <= 100) { ticks = 10; } else { ticks = 20; } return !(d % ticks); } ) ) .tickSize(6,3,0) // removes end tick .orient("bottom"); var yAxis = d3.svg.axis() .scale(yScale) .ticks(3) // number of ticks .tickFormat(d3.format("d")) // only integers .tickSize(6,3,0) // removes end tick .orient("left"); svg.selectAll(".bar") .data(data) .enter() .append("a") .attr( "xlink:href", d => "/?q=ra%3Akanovich.max-i+py%3A" + d.year ) .attr( "title", d => d.frequency + " Citation" + (d.frequency > 1 ? "s" : "") + " in " + d.year ) .append("rect") .attr("class", "bar") .attr("x", d => xScale(d.year)) .attr("width", xScale.rangeBand()) .attr("y", d => yScale(d.frequency)) .attr("height", d => height - yScale(d.frequency)); svg.append("g") .attr("class", "x axis") .attr("transform", "translate(0," + height + ")") .call(xAxis); svg.append("g") .attr("class", "y axis") .call(yAxis) .append("text") .attr("transform", "rotate(-90)") .attr("y", 6) .attr("dy", ".75em") .style("text-anchor", "end") .text(""); </script> </div> </div> <div class="wikidata_query"> <h3> <a role="button" data-toggle="collapse" href="#wikidata_timeline" aria-expanded="false" aria-controls="wikidata_timeline" onclick="$(this).children('.glyphicon').toggle();"> <span class="glyphicon glyphicon-triangle-right" aria-hidden="true"></span> <span class="glyphicon glyphicon-triangle-bottom" aria-hidden="true" style="display: none;"></span> Wikidata Timeline </a> </h3> <div class="collapse" id="wikidata_timeline"> <iframe style="width: 100%; height: 401px; border: 1px solid #aaa;" data-src="https://query.wikidata.org/embed.html#PREFIX%20xsd%3A%20%3Chttp%3A%2F%2Fwww.w3.org%2F2001%2FXMLSchema%23%3E%0A%0A%23defaultView%3ATimeline%0ASELECT%20DISTINCT%20%3Ftimestamp%20%3Fentity%20%3FrelationLabel%20%3FentityLabel%20%28SAMPLE%28%3Fimage%29%20AS%20%3Fimg%29%20WHERE%20%7B%0A%20%20BIND%28wd%3AQ102403179%20AS%20%3Fperson%29%0A%20%20%7B%0A%20%20%20%20%3Fperson%20%3Fproperty%20%3Ftimestamp.%0A%20%20%20%20%3Fentity%20wikibase%3AdirectClaim%20%3Fproperty.%0A%20%20%20%20FILTER%28%28DATATYPE%28%3Ftimestamp%29%29%20%3D%20xsd%3AdateTime%29%0A%20%20%7D%0A%20%20UNION%0A%20%20%7B%0A%20%20%20%20%3Fperson%20%3FentityToStatement%20%3Fstatement.%0A%20%20%20%20OPTIONAL%20%7B%3Fperson%20wdt%3AP570%20%3FdDate.%7D%0A%20%20%20%20%3Fstatement%20%3FstatementToQualifier%20%3Ftimestamp.%0A%20%20%20%20%3Fstatement%20%3FstatementToValue%20%3Fentity.%0A%20%20%20%20%3Frelation%20wikibase%3AstatementProperty%20%3FstatementToValue.%0A%20%20%20%20FILTER%28REGEX%28STR%28%3FentityToStatement%29%2C%20%22prop%2FP%22%29%29%0A%20%20%20%20FILTER%28REGEX%28STR%28%3FstatementToQualifier%29%2C%20%22prop%2Fqualifier%2FP%22%29%29%0A%20%20%20%20FILTER%28%28DATATYPE%28%3Ftimestamp%29%29%20%3D%20xsd%3AdateTime%29%0A%20%20%20%20BIND%20%28IF%28%21BOUND%28%3FdDate%29%2C%20now%28%29%2C%20%3FdDate%29%20AS%20%3FdeathDate%29%0A%20%20%20%20FILTER%28%3Ftimestamp%20%3C%3D%20%3FdeathDate%29%0A%20%20%7D%0A%20%20UNION%0A%20%20%7B%0A%20%20%20%20BIND%28wd%3AP50%20AS%20%3Frelation%29%0A%20%20%20%20%3Frelation%20wikibase%3AdirectClaim%20%3Fproperty.%0A%20%20%20%20%3Fentity%20%3Fproperty%20%3Fperson.%0A%20%20%20%20%3Fentity%20wdt%3AP577%20%3Ftimestamp.%0A%20%20%20%20FILTER%28NOT%20EXISTS%20%7B%20%3Fperson%20wdt%3AP800%20%3Fentity%20%7D%29%0A%20%20%7D%0A%20%20UNION%0A%20%20%7B%0A%20%20%20%20BIND%28wd%3AP800%20AS%20%3Frelation%29%0A%20%20%20%20%3Frelation%20wikibase%3AdirectClaim%20%3Fproperty.%0A%20%20%20%20%3Fperson%20%3Fproperty%20%3Fentity.%0A%20%20%20%20%3Fentity%20wdt%3AP577%20%3Ftimestamp.%0A%20%20%7D%0A%20%20OPTIONAL%20%7B%20%3Fentity%20wdt%3AP18%20%3Fimage%20%7D%0A%20%20SERVICE%20wikibase%3Alabel%20%7B%20bd%3AserviceParam%20wikibase%3Alanguage%20%22en%2Cde%2Cfr%22%20%7D%0A%7D%0AGROUP%20BY%20%3Ftimestamp%20%3Fentity%20%3FrelationLabel%20%3FentityLabel" referrerpolicy="origin"></iframe> <small>The data are displayed as stored in Wikidata under a <a href="https://creativecommons.org/publicdomain/zero/1.0/">Creative Commons CC0 License</a>. Updates and corrections should be made <a href="https://www.wikidata.org/">in Wikidata</a>.</small> </div> </div> </article> </div> </div> <div class="clearfix"></div> </div> </div> <div id="foot"><div class="copyright"> © 2025 <a target="fiz" href="https://www.fiz-karlsruhe.de/en">FIZ Karlsruhe GmbH</a> <a href="/privacy-policy/">Privacy Policy</a> <a href="/legal-notices/">Legal Notices</a> <a href="/terms-conditions/">Terms & Conditions</a> <div class="info"> <ul class="nav"> <li class="mastodon"> <a href="https://mathstodon.xyz/@zbMATH" target="_blank" class="no-new-tab-icon"> <img src="/static/mastodon.png" title="zbMATH at Mathstodon (opens in new tab)" alt="Mastodon logo"> </a> </li> </ul> </div> </div> <div class="clearfix" style="height: 0px;"></div> </div> </div> <script src="https://static.zbmath.org/contrib/jquery/1.9.1/jquery.min.js"></script> <script src="https://static.zbmath.org/contrib/jquery-caret/1.5.2/jquery.caret.min.js"></script> <script src="/static/js/jquery-ui-1.10.1.custom.min.js"></script> <script src="https://static.zbmath.org/contrib/bootstrap/v3.3.7zb1/js/bootstrap.min.js"></script> <script src="https://static.zbmath.org/contrib/bootstrap-lightbox/v0.7.0/bootstrap-lightbox.min.js"></script> <script src="https://static.zbmath.org/contrib/retina/unknown/retina.js"></script> <script src="https://static.zbmath.org/contrib/bootstrap-select/v1.13.14/js/bootstrap-select.min.js"></script> <script> var SCRIPT_ROOT = ""; </script> <script src="/static/scripts.js?v=20240926"> </script> <script src="https://static.zbmath.org/contrib/mathjax/2.7.1/MathJax.js?config=TeX-AMS-MML_HTMLorMML"></script> <script type="text/x-mathjax-config"> MathJax.Hub.Config({ "HTML-CSS": { preferredFont: "TeX", availableFonts: [ "STIX", "TeX" ], linebreaks: { automatic: true }, EqnChunk: (MathJax.Hub.Browser.isMobile ? 10 : 50) }, tex2jax: { processEscapes: true, ignoreClass: "tex2jax_ignore|dno" }, TeX: { Macros: { Aut: "\\operatorname{Aut}", Hom: "\\operatorname{Hom}" }, noUndefined: { attributes: { mathcolor: "#039", //"red", mathbackground: "white", //"#FFEEEE", mathsize: "90%" } } }, messageStyle: "none" }); </script> <script type="text/javascript"> $(document).ready(function() { $("#MathInput").stop(true, true).keyup(function() { $.ajax({ url: "/mwsq/", type: "POST", data: { query : $("#MathInput").val() }, dataType: "text" }) .done(function(xml) { $("#MathPreview").html(xml); $(window).resize(); }); }); var press = jQuery.Event("keyup"); press.ctrlKey = false; press.which = 40; $("#MathInput").trigger(press); }); </script> <div id="new_tab_icon" style="display: none"> <span class="glyphicon glyphicon-new-window" aria-hidden="true"></span><span class="sr-only">(opens in new tab)</span></div> </body> </html>

CINXE.COM

Max Iosifovich Kanovich - Author Profile - zbMATH Open