François Fages - Author Profile

<!doctype html> <html lang="en"> <head> <meta charset="utf-8"> <title>François Fages - 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/fages.francois?"> <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:fages.francois" 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/fages.francois" 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>Fages, François</h2> </div> <div class="erdos pull-right"> <a href="/collaboration-distance/?a=fages.francois&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>fages.francois <a target="_blank" href="/atom/ai/fages.francois"><img class="feed-icon" alt="Recent zbMATH articles by "Fages, François"" src="/static/feed-icon-14x14.png"></a></td> </tr><tr> <td>Published as:</td> <td><span>Fages, François</span>; <span>Fages, Francois</span>; <span id="more_spellings" class="more_spellings collapse"><span>Fages, F.</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> </table> </div> <div class="indexed"> <table> <tr> <td>Documents Indexed:</td> <td> <a href="/?q=ia%3Afages.francois">60 Publications</a> since 1983 </td> </tr> <tr> <td></td> <td> <a href="/?q=ei%3Afages.francois">12 Contributions as Editor</a> </td> </tr> <tr> <td>Software Indexed:</td> <td> <a href="/software/?q=ia%3Afages.francois">4 Packages</a> </td> </tr> <tr> <td>Co-Authors:</td> <td> <a href="/authors/?q=ai1%3Afages.francois">63 Co-Authors</a> with <a href="/?q=ai%3Afages.francois+ai1%3Afages.francois"> 63 Joint Publications</a> </td> </tr> <tr><td></td><td> <a href="/authors/?q=ai2%3Afages.francois">1,148 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%3Afages.francois+na%3A1" title="Single-Authored Publications">9</a> </td> <td class="text">single-authored</td> </tr><tr> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Asoliman.sylvain" title="Joint Publications">22</a> </td> <td class="text"> <a href="/authors/soliman.sylvain" title="Author Profile"> Soliman, Sylvain </a> </td></tr><tr> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Ahemery.mathieu" title="Joint Publications">7</a> </td> <td class="text"> <a href="/authors/hemery.mathieu" title="Author Profile"> Hemery, Mathieu </a> </td></tr><tr> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Arossi.francesca" title="Joint Publications">6</a> </td> <td class="text"> <a href="/authors/rossi.francesca" title="Author Profile"> Rossi, Francesca </a> </td></tr><tr> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Acoquery.emmanuel" title="Joint Publications">5</a> </td> <td class="text"> <a href="/authors/coquery.emmanuel" title="Author Profile"> Coquery, Emmanuel </a> </td></tr><tr> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Amartinez.thierry" title="Joint Publications">5</a> </td> <td class="text"> <a href="/authors/martinez.thierry" title="Author Profile"> Martinez, Thierry </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Aalbert.luc" title="Joint Publications">3</a> </td> <td class="text"> <a href="/authors/albert.luc" title="Author Profile"> Albert, Luc </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Ahaemmerle.remy" title="Joint Publications">3</a> </td> <td class="text"> <a href="/authors/haemmerle.remy" title="Author Profile"> Haemmerlé, Rémy </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Arizk.aurelien" title="Joint Publications">3</a> </td> <td class="text"> <a href="/authors/rizk.aurelien" title="Author Profile"> Rizk, Aurélien </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Aruet.paul" title="Joint Publications">3</a> </td> <td class="text"> <a href="/authors/ruet.paul" title="Author Profile"> Ruet, Paul </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Aatzeni.paolo" title="Joint Publications">2</a> </td> <td class="text"> <a href="/authors/atzeni.paolo" title="Author Profile"> Atzeni, Paolo </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Acasas.rafael" title="Joint Publications">2</a> </td> <td class="text"> <a href="/authors/casas.rafael" title="Author Profile"> Casas, Rafael </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Achabrier-rivier.nathalie" title="Joint Publications">2</a> </td> <td class="text"> <a href="/authors/chabrier-rivier.nathalie" title="Author Profile"> Chabrier-Rivier, Nathalie </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Adegrand.elisabeth" title="Joint Publications">2</a> </td> <td class="text"> <a href="/authors/degrand.elisabeth" title="Author Profile"> Degrand, Elisabeth </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Agay.steven" title="Joint Publications">2</a> </td> <td class="text"> <a href="/authors/gay.steven" title="Author Profile"> Gay, Steven </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Agreugny.elea-thibault" title="Joint Publications">2</a> </td> <td class="text"> <a href="/authors/greugny.elea-thibault" title="Author Profile"> Greugny, Eléa Thibault </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Ahacid.mohand-said" title="Joint Publications">2</a> </td> <td class="text"> <a href="/authors/hacid.mohand-said" title="Author Profile"> Hacid, Mohand-Said </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Ahuet.gerard-p" title="Joint Publications">2</a> </td> <td class="text"> <a href="/authors/huet.gerard-p" title="Author Profile"> Huet, Gerard P. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Akifer.michael" title="Joint Publications">2</a> </td> <td class="text"> <a href="/authors/kifer.michael" title="Author Profile"> Kifer, Michael </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Amartin.julien" title="Joint Publications">2</a> </td> <td class="text"> <a href="/authors/martin.julien" title="Author Profile"> Martin, Julien </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Amylopoulos.john" title="Joint Publications">2</a> </td> <td class="text"> <a href="/authors/mylopoulos.john" title="Author Profile"> Mylopoulos, John </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Apernici.barbara" title="Joint Publications">2</a> </td> <td class="text"> <a href="/authors/pernici.barbara" title="Author Profile"> Pernici, Barbara </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Ashvaiko.pavel" title="Joint Publications">2</a> </td> <td class="text"> <a href="/authors/shvaiko.pavel" title="Author Profile"> Shvaiko, Pavel </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Asolnon.christine" title="Joint Publications">2</a> </td> <td class="text"> <a href="/authors/solnon.christine" title="Author Profile"> Solnon, Christine </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Aspaccapietra.stefano" title="Joint Publications">2</a> </td> <td class="text"> <a href="/authors/spaccapietra.stefano" title="Author Profile"> Spaccapietra, Stefano </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Astamatas.georgios-n" title="Joint Publications">2</a> </td> <td class="text"> <a href="/authors/stamatas.georgios-n" title="Author Profile"> Stamatas, Georgios N. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Atrujillo.juan-j" title="Joint Publications">2</a> </td> <td class="text"> <a href="/authors/trujillo.juan-j" title="Author Profile"> Trujillo, Juan J. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Azaihrayeu.ilya" title="Joint Publications">2</a> </td> <td class="text"> <a href="/authors/zaihrayeu.ilya" title="Author Profile"> Zaihrayeu, Ilya </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Aaggoun.abder" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/aggoun.abder" title="Author Profile"> Aggoun, Abder </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Aapt.krzysztof-rafal" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/apt.krzysztof-rafal" title="Author Profile"> Apt, Krzysztof Rafal </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Aazevedo.francisco" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/azevedo.francisco" title="Author Profile"> Azevedo, Francisco </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Abarahona.pedro" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/barahona.pedro" title="Author Profile"> Barahona, Pedro </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Abatt.gregory" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/batt.gregory" title="Author Profile"> Batt, Grégory </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Abaudier.adrien" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/baudier.adrien" title="Author Profile"> Baudier, Adrien </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Abournez.olivier" title="Joint Publications">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=ai%3Afages.francois+ai%3Acarcano.arthur" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/carcano.arthur" title="Author Profile"> Carcano, Arthur </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Acarlsson.mats" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/carlsson.mats" title="Author Profile"> Carlsson, Mats </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Achabrier.nathalie" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/chabrier.nathalie" title="Author Profile"> Chabrier, Nathalie </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Achiaverini.marc" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/chiaverini.marc" title="Author Profile"> Chiaverini, Marc </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Adanos.vincent" title="Joint Publications">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=ai%3Afages.francois+ai%3Ade-givry.simon" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/de-givry.simon" title="Author Profile"> de Givry, Simon </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Ade-maria.elisabetta" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/de-maria.elisabetta" title="Author Profile"> De Maria, Elisabetta </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Aderansart.pierre" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/deransart.pierre" title="Author Profile"> Deransart, Pierre </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Afaltings.boi" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/faltings.boi" title="Author Profile"> Faltings, Boi Volkert </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Afowler.julian" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/fowler.julian" title="Author Profile"> Fowler, Julian </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Agori.roberta" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/gori.roberta" title="Author Profile"> Gori, Roberta </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Alal.akash" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/lal.akash" title="Author Profile"> Lal, Akash </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Ale-guludec.guillaume" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/le-guludec.guillaume" title="Author Profile"> Le Guludec, Guillaume </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Anabli.faten" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/nabli.faten" title="Author Profile"> Nabli, Faten </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Aoddi.angelo" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/oddi.angelo" title="Author Profile"> Oddi, Angelo </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Apaltrinieri.massimo" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/paltrinieri.massimo" title="Author Profile"> Paltrinieri, Massimo </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Apetcu.adrian" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/petcu.adrian" title="Author Profile"> Petcu, Adrian </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Apiazza.carla" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/piazza.carla" title="Author Profile"> Piazza, Carla </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Apouly.amaury" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/pouly.amaury" title="Author Profile"> Pouly, Amaury </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Aradulescu.ovidiu" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/radulescu.ovidiu" title="Author Profile"> Radulescu, Ovidiu </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Arosenblueth.david-a" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/rosenblueth.david-a" title="Author Profile"> Rosenblueth, David A. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Aschachter.vincent" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/schachter.vincent" title="Author Profile"> Schachter, Vincent </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Asmaus.jan-georg" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/smaus.jan-georg" title="Author Profile"> Smaus, Jan-Georg </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Asola.thierry" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/sola.thierry" title="Author Profile"> Sola, Thierry </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Aszeredi.peter" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/szeredi.peter" title="Author Profile"> Szeredi, Péter </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Aszmolyan.peter" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/szmolyan.peter" title="Author Profile"> Szmolyan, Peter </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Atorrecillas.a" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/torrecillas.a" title="Author Profile"> Torrecillas, A. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Avancza.jozsef" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/vancza.jozsef" title="Author Profile"> Váncza, József </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+ai%3Azimmermann.paul" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/zimmermann.paul" title="Author Profile"> Zimmermann, Paul </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%3Afages.francois+se%3A735" title="Publications in this Serial">11</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%3Afages.francois+se%3A4014" title="Publications in this Serial">9</a> </td> <td class="text"> <a href="/serials/?q=se%3A4014" title="Serial Profile"> Lecture Notes in Computer Science </a> </td></tr><tr> <td class="number"> <a href="/?q=ai%3Afages.francois+se%3A1062" title="Publications in this Serial">2</a> </td> <td class="text"> <a href="/serials/?q=se%3A1062" title="Serial Profile"> The Journal of Logic Programming </a> </td></tr><tr> <td class="number"> <a href="/?q=ai%3Afages.francois+se%3A7526" title="Publications in this Serial">2</a> </td> <td class="text"> <a href="/serials/?q=se%3A7526" title="Serial Profile"> Journal of Theoretical Biology </a> </td></tr><tr> <td class="number"> <a href="/?q=ai%3Afages.francois+se%3A68" title="Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A68" title="Serial Profile"> Discrete Applied Mathematics </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+se%3A1072" title="Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A1072" title="Serial Profile"> Journal of Symbolic Computation </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+se%3A1143" title="Publications in this Serial">1</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%3Afages.francois+se%3A1149" title="Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A1149" title="Serial Profile"> Computers & Operations Research </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+se%3A2206" title="Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A2206" title="Serial Profile"> Constraints </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+se%3A2680" title="Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A2680" title="Serial Profile"> RAIRO. Operations Research </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+se%3A2868" title="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=ai%3Afages.francois+se%3A6483" title="Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A6483" title="Serial Profile"> ACM Communications in Computer Algebra </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%3Afages.francois+cc%3A68" title="Publications in this Field">54</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%3Afages.francois+cc%3A92" title="Publications in this Field">28</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><tr> <td class="number"> <a href="/?q=ai%3Afages.francois+cc%3A00" title="Publications in this Field">12</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> <td class="number"> <a href="/?q=ai%3Afages.francois+cc%3A03" title="Publications in this Field">7</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%3Afages.francois+cc%3A90" title="Publications in this Field">4</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%3Afages.francois+cc%3A05" title="Publications in this Field">3</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 class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+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%3Afages.francois+cc%3A34" title="Publications in this Field">2</a> </td> <td class="text"> <a href="/classification/?q=cc%3A34" title="Mathematics Subject Classification"> Ordinary differential equations <span style="white-space: nowrap;">(34-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+cc%3A93" title="Publications in this Field">2</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 class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+cc%3A08" title="Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A08" title="Mathematics Subject Classification"> General algebraic systems <span style="white-space: nowrap;">(08-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+cc%3A20" title="Publications in this Field">1</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=ai%3Afages.francois+cc%3A26" title="Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A26" title="Mathematics Subject Classification"> Real functions <span style="white-space: nowrap;">(26-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+cc%3A49" title="Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A49" title="Mathematics Subject Classification"> Calculus of variations and optimal control; optimization <span style="white-space: nowrap;">(49-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+cc%3A62" title="Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A62" title="Mathematics Subject Classification"> Statistics <span style="white-space: nowrap;">(62-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Afages.francois+cc%3A65" title="Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A65" title="Mathematics Subject Classification"> Numerical analysis <span style="white-space: nowrap;">(65-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:1983, frequency:1 },{ year:1984, frequency:1 },{ year:1986, frequency:1 },{ year:1987, frequency:1 },{ year:1988, frequency:2 },{ year:1991, frequency:2 },{ year:1993, frequency:1 },{ year:1996, frequency:1 },{ year:1997, frequency:2 },{ year:1998, frequency:3 },{ year:1999, frequency:2 },{ year:2000, frequency:1 },{ year:2001, frequency:2 },{ year:2002, frequency:1 },{ year:2003, frequency:2 },{ year:2004, frequency:2 },{ year:2005, frequency:4 },{ year:2006, frequency:5 },{ year:2007, frequency:5 },{ year:2008, frequency:5 },{ year:2009, frequency:3 },{ year:2011, frequency:3 },{ year:2013, frequency:1 },{ year:2014, frequency:2 },{ year:2015, frequency:1 },{ year:2016, frequency:3 },{ year:2017, frequency:2 },{ year:2018, frequency:2 },{ year:2019, frequency:1 },{ year:2020, frequency:3 },{ year:2021, frequency:1 },{ year:2022, frequency:2 },{ year:2023, frequency:1 },{ year:2024, frequency:3 }]; 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%3Afages.francois+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>46 Publications have been cited 384 times in <a href="/?q=ra%3Afages.francois">273 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="/0615.03002">Complete sets of unifiers and matchers in equational theories.</a> <a class="label nowrap" href="/0615.03002">Zbl 0615.03002</a> <br><a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/huet.gerard-p" title="Author Profile">Huet, Gérard</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3995626">34</a> </div> </td> <td> <div class="citation_year">1986</div> </td> </tr> <tr class="pub_ci"> <td> <a class="black" href="/0547.03012">Associative-commutative unification.</a> <a class="label nowrap" href="/0547.03012">Zbl 0547.03012</a> <br><a href="/authors/fages.francois" title="Author Profile">Fages, François</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3871322">34</a> </div> </td> <td> <div class="citation_year">1984</div> </td> </tr> <tr class="pub_ci"> <td> <a class="black" href="/1003.68065">Linear concurrent constraint programming: Operational and phase semantics.</a> <a class="label nowrap" href="/1003.68065">Zbl 1003.68065</a> <br><a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/ruet.paul" title="Author Profile">Ruet, Paul</a>; <a href="/authors/soliman.sylvain" title="Author Profile">Soliman, Sylvain</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1853157">28</a> </div> </td> <td> <div class="citation_year">2001</div> </td> </tr> <tr class="pub_ci"> <td> <a class="black" href="/1071.68098">Modeling and querying biomolecular interaction networks.</a> <a class="label nowrap" href="/1071.68098">Zbl 1071.68098</a> <br><a href="/authors/chabrier-rivier.nathalie" title="Author Profile">Chabrier-Rivier, Nathalie</a>; <a href="/authors/chiaverini.marc" title="Author Profile">Chiaverini, Marc</a>; <a href="/authors/danos.vincent" title="Author Profile">Danos, Vincent</a>; <a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/schachter.vincent" title="Author Profile">Schächter, Vincent</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A2110963">28</a> </div> </td> <td> <div class="citation_year">2004</div> </td> </tr> <tr class="pub_ci"> <td> <a class="black" href="/1416.92070">Strong Turing completeness of continuous chemical reaction networks and compilation of mixed analog-digital programs.</a> <a class="label nowrap" href="/1416.92070">Zbl 1416.92070</a> <br><a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/le-guludec.guillaume" title="Author Profile">Le Guludec, Guillaume</a>; <a href="/authors/bournez.olivier" title="Author Profile">Bournez, Olivier</a>; <a href="/authors/pouly.amaury" title="Author Profile">Pouly, Amaury</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7085565">24</a> </div> </td> <td> <div class="citation_year">2017</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0638.68103">Associative-commutative unification.</a> <a class="label nowrap" href="/0638.68103">Zbl 0638.68103</a> <br><a href="/authors/fages.francois" title="Author Profile">Fages, François</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4041329">22</a> </div> </td> <td> <div class="citation_year">1987</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1155.68049">Abstract interpretation and types for systems biology.</a> <a class="label nowrap" href="/1155.68049">Zbl 1155.68049</a> <br><a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/soliman.sylvain" title="Author Profile">Soliman, Sylvain</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5492884">20</a> </div> </td> <td> <div class="citation_year">2008</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1112.92312">Symbolic model checking of biochemical networks.</a> <a class="label nowrap" href="/1112.92312">Zbl 1112.92312</a> <br><a href="/authors/chabrier.nathalie" title="Author Profile">Chabrier, Nathalie</a>; <a href="/authors/fages.francois" title="Author Profile">Fages, François</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1950556">18</a> </div> </td> <td> <div class="citation_year">2003</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0545.03003">Complete sets of unifiers and matchers in equational theories.</a> <a class="label nowrap" href="/0545.03003">Zbl 0545.03003</a> <br><a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/huet.gerard-p" title="Author Profile">Huet, Gérard</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3867289">15</a> </div> </td> <td> <div class="citation_year">1983</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1088.68817">The biochemical abstract machine BIOCHAM.</a> <a class="label nowrap" href="/1088.68817">Zbl 1088.68817</a> <br><a href="/authors/chabrier-rivier.nathalie" title="Author Profile">Chabrier-Rivier, Nathalie</a>; <a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/soliman.sylvain" title="Author Profile">Soliman, Sylvain</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A2240502">13</a> </div> </td> <td> <div class="citation_year">2005</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0737.68014">A new fixpoint semantics for general logic programs compared with the well-founded and the stable model semantics.</a> <a class="label nowrap" href="/0737.68014">Zbl 0737.68014</a> <br><a href="/authors/fages.francois" title="Author Profile">Fages, François</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A25193">13</a> </div> </td> <td> <div class="citation_year">1991</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1216.68164">Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures.</a> <a class="label nowrap" href="/1216.68164">Zbl 1216.68164</a> <br><a href="/authors/rizk.aurelien" title="Author Profile">Rizk, Aurélien</a>; <a href="/authors/batt.gregory" title="Author Profile">Batt, Grégory</a>; <a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/soliman.sylvain" title="Author Profile">Soliman, Sylvain</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5914349">12</a> </div> </td> <td> <div class="citation_year">2011</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1337.92089">Inferring reaction systems from ordinary differential equations.</a> <a class="label nowrap" href="/1337.92089">Zbl 1337.92089</a> <br><a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/gay.steven" title="Author Profile">Gay, Steven</a>; <a href="/authors/soliman.sylvain" title="Author Profile">Soliman, Sylvain</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6486779">12</a> </div> </td> <td> <div class="citation_year">2015</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0908.03033">Concurrent constraint programming and non-commutative logic.</a> <a class="label nowrap" href="/0908.03033">Zbl 0908.03033</a> <br><a href="/authors/ruet.paul" title="Author Profile">Ruet, Paul</a>; <a href="/authors/fages.francois" title="Author Profile">Fages, François</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1223634">8</a> </div> </td> <td> <div class="citation_year">1998</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0882.68034">Constructive negation by pruning.</a> <a class="label nowrap" href="/0882.68034">Zbl 0882.68034</a> <br><a href="/authors/fages.francois" title="Author Profile">Fages, François</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1057483">7</a> </div> </td> <td> <div class="citation_year">1997</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1506.92033">On the complexity of quadratization for polynomial differential equations.</a> <a class="label nowrap" href="/1506.92033">Zbl 1506.92033</a> <br><a href="/authors/hemery.mathieu" title="Author Profile">Hemery, Mathieu</a>; <a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/soliman.sylvain" title="Author Profile">Soliman, Sylvain</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7636369">7</a> </div> </td> <td> <div class="citation_year">2020</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1160.68545">On temporal logic constraint solving for analyzing numerical data time series.</a> <a class="label nowrap" href="/1160.68545">Zbl 1160.68545</a> <br><a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/rizk.aurelien" title="Author Profile">Rizk, Aurélien</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5382263">6</a> </div> </td> <td> <div class="citation_year">2008</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1300.05179">On the subgraph epimorphism problem.</a> <a class="label nowrap" href="/1300.05179">Zbl 1300.05179</a> <br><a href="/authors/gay.steven" title="Author Profile">Gay, Steven</a>; <a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/martinez.thierry" title="Author Profile">Martinez, Thierry</a>; <a href="/authors/soliman.sylvain" title="Author Profile">Soliman, Sylvain</a>; <a href="/authors/solnon.christine" title="Author Profile">Solnon, Christine</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6344085">5</a> </div> </td> <td> <div class="citation_year">2014</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1402.92303">Dynamics of the interlocked positive feedback loops explaining the robust epigenetic switching in <span class="zbmathjax-textit">Candida albicans</span>.</a> <a class="label nowrap" href="/1402.92303">Zbl 1402.92303</a> <br><a href="/authors/?q=ai%3Asriram.k-p%7Csriram.kotikalapudi%7Csriram.karthik" title="Author Profile">Sriram, K.</a>; <a href="/authors/soliman.sylvain" title="Author Profile">Soliman, Sylvain</a>; <a href="/authors/fages.francois" title="Author Profile">Fages, François</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6975240">5</a> </div> </td> <td> <div class="citation_year">2009</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1491.92052">Compiling elementary mathematical functions into finite chemical reaction networks via a polynomialization algorithm for ODEs.</a> <a class="label nowrap" href="/1491.92052">Zbl 1491.92052</a> <br><a href="/authors/hemery.mathieu" title="Author Profile">Hemery, Mathieu</a>; <a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/soliman.sylvain" title="Author Profile">Soliman, Sylvain</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7532536">5</a> </div> </td> <td> <div class="citation_year">2021</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1336.92031">On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity.</a> <a class="label nowrap" href="/1336.92031">Zbl 1336.92031</a> <br><a href="/authors/nabli.faten" title="Author Profile">Nabli, Faten</a>; <a href="/authors/martinez.thierry" title="Author Profile">Martinez, Thierry</a>; <a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/soliman.sylvain" title="Author Profile">Soliman, Sylvain</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6570969">5</a> </div> </td> <td> <div class="citation_year">2016</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1406.92265">Graphical requirements for multistationarity in reaction networks and their verification in BioModels.</a> <a class="label nowrap" href="/1406.92265">Zbl 1406.92265</a> <br><a href="/authors/baudier.adrien" title="Author Profile">Baudier, Adrien</a>; <a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/soliman.sylvain" title="Author Profile">Soliman, Sylvain</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7010313">5</a> </div> </td> <td> <div class="citation_year">2018</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0874.68045">Combining explicit negation and negation by failure via Belnap’s logic.</a> <a class="label nowrap" href="/0874.68045">Zbl 0874.68045</a> <br><a href="/authors/ruet.paul" title="Author Profile">Ruet, Paul</a>; <a href="/authors/fages.francois" title="Author Profile">Fages, François</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A985539">4</a> </div> </td> <td> <div class="citation_year">1997</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1375.92021">From reaction models to influence graphs and back: a theorem.</a> <a class="label nowrap" href="/1375.92021">Zbl 1375.92021</a> <br><a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/soliman.sylvain" title="Author Profile">Soliman, Sylvain</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5288989">4</a> </div> </td> <td> <div class="citation_year">2008</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1137.68534">Model revision from temporal logic properties in computational systems biology.</a> <a class="label nowrap" href="/1137.68534">Zbl 1137.68534</a> <br><a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/soliman.sylvain" title="Author Profile">Soliman, Sylvain</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5255047">4</a> </div> </td> <td> <div class="citation_year">2008</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1066.68514">Typing constraint logic programs.</a> <a class="label nowrap" href="/1066.68514">Zbl 1066.68514</a> <br><a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/coquery.emmanuel" title="Author Profile">Coquery, Emmanuel</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A2048625">4</a> </div> </td> <td> <div class="citation_year">2001</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1131.68378">Modules for Prolog revisited.</a> <a class="label nowrap" href="/1131.68378">Zbl 1131.68378</a> <br><a href="/authors/haemmerle.remy" title="Author Profile">Haemmerlé, Rémy</a>; <a href="/authors/fages.francois" title="Author Profile">Fages, François</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5248024">4</a> </div> </td> <td> <div class="citation_year">2006</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1135.68367">Closures and modules within linear logic concurrent constraint programming.</a> <a class="label nowrap" href="/1135.68367">Zbl 1135.68367</a> <br><a href="/authors/haemmerle.remy" title="Author Profile">Haemmerlé, Rémy</a>; <a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/soliman.sylvain" title="Author Profile">Soliman, Sylvain</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5267253">4</a> </div> </td> <td> <div class="citation_year">2007</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1506.92030">Graphical conditions for rate independence in chemical reaction networks.</a> <a class="label nowrap" href="/1506.92030">Zbl 1506.92030</a> <br><a href="/authors/degrand.elisabeth" title="Author Profile">Degrand, Élisabeth</a>; <a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/soliman.sylvain" title="Author Profile">Soliman, Sylvain</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7636366">4</a> </div> </td> <td> <div class="citation_year">2020</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0920.68031">Experiments in reactive constraint logic programming.</a> <a class="label nowrap" href="/0920.68031">Zbl 0920.68031</a> <br><a href="/authors/fages.francois" title="Author Profile">Fages, Francois</a>; <a href="/authors/fowler.julian" title="Author Profile">Fowler, Julian</a>; <a href="/authors/sola.thierry" title="Author Profile">Sola, Thierry</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1293686">3</a> </div> </td> <td> <div class="citation_year">1998</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1156.68377">Temporal logic constraints in the biochemical abstract machine BIOCHAM.</a> <a class="label nowrap" href="/1156.68377">Zbl 1156.68377</a> <br><a href="/authors/fages.francois" title="Author Profile">Fages, François</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5491958">2</a> </div> </td> <td> <div class="citation_year">2006</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0661.68090">Average case complexity analysis of the RETE multi-pattern match algorithm.</a> <a class="label nowrap" href="/0661.68090">Zbl 0661.68090</a> <br><a href="/authors/albert.luc" title="Author Profile">Albert, Luc</a>; <a href="/authors/fages.francois" title="Author Profile">Fages, François</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4080959">2</a> </div> </td> <td> <div class="citation_year">1988</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1211.92015">Design, optimization and predictions of a coupled model of the cell cycle, circadian clock, DNA repair system, irinotecan metabolism and exposure control under temporal logic constraints.</a> <a class="label nowrap" href="/1211.92015">Zbl 1211.92015</a> <br><a href="/authors/de-maria.elisabetta" title="Author Profile">De Maria, Elisabetta</a>; <a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/rizk.aurelien" title="Author Profile">Rizk, Aurélien</a>; <a href="/authors/soliman.sylvain" title="Author Profile">Soliman, Sylvain</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5883069">2</a> </div> </td> <td> <div class="citation_year">2011</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1416.92069">Probably approximately correct learning of regulatory networks from time-series data.</a> <a class="label nowrap" href="/1416.92069">Zbl 1416.92069</a> <br><a href="/authors/carcano.arthur" title="Author Profile">Carcano, Arthur</a>; <a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/soliman.sylvain" title="Author Profile">Soliman, Sylvain</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7085563">2</a> </div> </td> <td> <div class="citation_year">2017</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0779.68043">Average-case analysis of unification algorithms.</a> <a class="label nowrap" href="/0779.68043">Zbl 0779.68043</a> <br><a href="/authors/albert.luc" title="Author Profile">Albert, Luc</a>; <a href="/authors/casas.rafael" title="Author Profile">Casas, Rafael</a>; <a href="/authors/fages.francois" title="Author Profile">Fages, François</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A417369">2</a> </div> </td> <td> <div class="citation_year">1993</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1355.68034">A hierarchy of semantics for normal constraint logic programs.</a> <a class="label nowrap" href="/1355.68034">Zbl 1355.68034</a> <br><a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/gori.roberta" title="Author Profile">Gori, Roberta</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6676197">2</a> </div> </td> <td> <div class="citation_year">1996</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1505.92075">Algebraic biochemistry: a framework for analog online computation in cells.</a> <a class="label nowrap" href="/1505.92075">Zbl 1505.92075</a> <br><a href="/authors/hemery.mathieu" title="Author Profile">Hemery, Mathieu</a>; <a href="/authors/fages.francois" title="Author Profile">Fages, François</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7643442">2</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0764.68056">Average case analysis of unification algorithms.</a> <a class="label nowrap" href="/0764.68056">Zbl 0764.68056</a> <br><a href="/authors/albert.luc" title="Author Profile">Albert, Luc</a>; <a href="/authors/casas.rafael" title="Author Profile">Casas, Rafael</a>; <a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/torrecillas.a" title="Author Profile">Torrecillas, A.</a>; <a href="/authors/zimmermann.paul" title="Author Profile">Zimmermann, Paul</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A176505">1</a> </div> </td> <td> <div class="citation_year">1991</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1248.68453">From rules to constraint programs with the Rules2CP modelling language.</a> <a class="label nowrap" href="/1248.68453">Zbl 1248.68453</a> <br><a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/martin.julien" title="Author Profile">Martin, Julien</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5590890">1</a> </div> </td> <td> <div class="citation_year">2009</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1205.68121">Subtyping constraints in quasi-lattices.</a> <a class="label nowrap" href="/1205.68121">Zbl 1205.68121</a> <br><a href="/authors/coquery.emmanuel" title="Author Profile">Coquery, Emmanuel</a>; <a href="/authors/fages.francois" title="Author Profile">Fages, François</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5590994">1</a> </div> </td> <td> <div class="citation_year">2003</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1088.68827">CMBSlib: A library for comparing formalisms and models of biological systems.</a> <a class="label nowrap" href="/1088.68827">Zbl 1088.68827</a> <br><a href="/authors/soliman.sylvain" title="Author Profile">Soliman, Sylvain</a>; <a href="/authors/fages.francois" title="Author Profile">Fages, François</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A2240507">1</a> </div> </td> <td> <div class="citation_year">2005</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0919.00071">JFPLC ’99. Huitièmes journées Francophones de programmation logique et programmation par constraintes. Lyon, France, 2-4 juin 1999. (JFPLC ’99. 8th Francophones meeting on logic programming and programming by constraints).</a> <a class="label nowrap" href="/0919.00071">Zbl 0919.00071</a> <br></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4219031">1</a> </div> </td> <td> <div class="citation_year">1999</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1086.90054">A constraint programming approach to cutset problems.</a> <a class="label nowrap" href="/1086.90054">Zbl 1086.90054</a> <br><a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/lal.akash" title="Author Profile">Lal, Akash</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5023414">1</a> </div> </td> <td> <div class="citation_year">2006</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1382.92143">Influence systems vs reaction systems.</a> <a class="label nowrap" href="/1382.92143">Zbl 1382.92143</a> <br><a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/martinez.thierry" title="Author Profile">Martinez, Thierry</a>; <a href="/authors/rosenblueth.david-a" title="Author Profile">Rosenblueth, David A.</a>; <a href="/authors/soliman.sylvain" title="Author Profile">Soliman, Sylvain</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6852192">1</a> </div> </td> <td> <div class="citation_year">2016</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1505.92037">Stability versus meta-stability in a skin microbiome model.</a> <a class="label nowrap" href="/1505.92037">Zbl 1505.92037</a> <br><a href="/authors/greugny.elea-thibault" title="Author Profile">Greugny, Eléa Thibault</a>; <a href="/authors/stamatas.georgios-n" title="Author Profile">Stamatas, Georgios N.</a>; <a href="/authors/fages.francois" title="Author Profile">Fages, François</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7643450">1</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/07811879">On a model of online analog computation in the cell with absolute functional robustness: algebraic characterization, function compiler and error control.</a> <a class="label nowrap" href="/7811879">Zbl 07811879</a> <br><a href="/authors/hemery.mathieu" title="Author Profile">Hemery, Mathieu</a>; <a href="/authors/fages.francois" title="Author Profile">Fages, François</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7811879">1</a> </div> </td> <td> <div class="citation_year">2024</div> </td> </tr> <tr class="pub_py"> <td> <a class="black" href="/07811879">On a model of online analog computation in the cell with absolute functional robustness: algebraic characterization, function compiler and error control.</a> <a class="label nowrap" href="/7811879">Zbl 07811879</a> <br><a href="/authors/hemery.mathieu" title="Author Profile">Hemery, Mathieu</a>; <a href="/authors/fages.francois" title="Author Profile">Fages, François</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7811879">1</a> </div> </td> <td> <div class="citation_year">2024</div> </td> </tr> <tr class="pub_py"> <td> <a class="black" href="/1505.92075">Algebraic biochemistry: a framework for analog online computation in cells.</a> <a class="label nowrap" href="/1505.92075">Zbl 1505.92075</a> <br><a href="/authors/hemery.mathieu" title="Author Profile">Hemery, Mathieu</a>; <a href="/authors/fages.francois" title="Author Profile">Fages, François</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7643442">2</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py"> <td> <a class="black" href="/1505.92037">Stability versus meta-stability in a skin microbiome model.</a> <a class="label nowrap" href="/1505.92037">Zbl 1505.92037</a> <br><a href="/authors/greugny.elea-thibault" title="Author Profile">Greugny, Eléa Thibault</a>; <a href="/authors/stamatas.georgios-n" title="Author Profile">Stamatas, Georgios N.</a>; <a href="/authors/fages.francois" title="Author Profile">Fages, François</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7643450">1</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py"> <td> <a class="black" href="/1491.92052">Compiling elementary mathematical functions into finite chemical reaction networks via a polynomialization algorithm for ODEs.</a> <a class="label nowrap" href="/1491.92052">Zbl 1491.92052</a> <br><a href="/authors/hemery.mathieu" title="Author Profile">Hemery, Mathieu</a>; <a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/soliman.sylvain" title="Author Profile">Soliman, Sylvain</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7532536">5</a> </div> </td> <td> <div class="citation_year">2021</div> </td> </tr> <tr class="pub_py"> <td> <a class="black" href="/1506.92033">On the complexity of quadratization for polynomial differential equations.</a> <a class="label nowrap" href="/1506.92033">Zbl 1506.92033</a> <br><a href="/authors/hemery.mathieu" title="Author Profile">Hemery, Mathieu</a>; <a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/soliman.sylvain" title="Author Profile">Soliman, Sylvain</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7636369">7</a> </div> </td> <td> <div class="citation_year">2020</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1506.92030">Graphical conditions for rate independence in chemical reaction networks.</a> <a class="label nowrap" href="/1506.92030">Zbl 1506.92030</a> <br><a href="/authors/degrand.elisabeth" title="Author Profile">Degrand, Élisabeth</a>; <a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/soliman.sylvain" title="Author Profile">Soliman, Sylvain</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7636366">4</a> </div> </td> <td> <div class="citation_year">2020</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1406.92265">Graphical requirements for multistationarity in reaction networks and their verification in BioModels.</a> <a class="label nowrap" href="/1406.92265">Zbl 1406.92265</a> <br><a href="/authors/baudier.adrien" title="Author Profile">Baudier, Adrien</a>; <a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/soliman.sylvain" title="Author Profile">Soliman, Sylvain</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7010313">5</a> </div> </td> <td> <div class="citation_year">2018</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1416.92070">Strong Turing completeness of continuous chemical reaction networks and compilation of mixed analog-digital programs.</a> <a class="label nowrap" href="/1416.92070">Zbl 1416.92070</a> <br><a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/le-guludec.guillaume" title="Author Profile">Le Guludec, Guillaume</a>; <a href="/authors/bournez.olivier" title="Author Profile">Bournez, Olivier</a>; <a href="/authors/pouly.amaury" title="Author Profile">Pouly, Amaury</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7085565">24</a> </div> </td> <td> <div class="citation_year">2017</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1416.92069">Probably approximately correct learning of regulatory networks from time-series data.</a> <a class="label nowrap" href="/1416.92069">Zbl 1416.92069</a> <br><a href="/authors/carcano.arthur" title="Author Profile">Carcano, Arthur</a>; <a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/soliman.sylvain" title="Author Profile">Soliman, Sylvain</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7085563">2</a> </div> </td> <td> <div class="citation_year">2017</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1336.92031">On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity.</a> <a class="label nowrap" href="/1336.92031">Zbl 1336.92031</a> <br><a href="/authors/nabli.faten" title="Author Profile">Nabli, Faten</a>; <a href="/authors/martinez.thierry" title="Author Profile">Martinez, Thierry</a>; <a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/soliman.sylvain" title="Author Profile">Soliman, Sylvain</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6570969">5</a> </div> </td> <td> <div class="citation_year">2016</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1382.92143">Influence systems vs reaction systems.</a> <a class="label nowrap" href="/1382.92143">Zbl 1382.92143</a> <br><a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/martinez.thierry" title="Author Profile">Martinez, Thierry</a>; <a href="/authors/rosenblueth.david-a" title="Author Profile">Rosenblueth, David A.</a>; <a href="/authors/soliman.sylvain" title="Author Profile">Soliman, Sylvain</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6852192">1</a> </div> </td> <td> <div class="citation_year">2016</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1337.92089">Inferring reaction systems from ordinary differential equations.</a> <a class="label nowrap" href="/1337.92089">Zbl 1337.92089</a> <br><a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/gay.steven" title="Author Profile">Gay, Steven</a>; <a href="/authors/soliman.sylvain" title="Author Profile">Soliman, Sylvain</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6486779">12</a> </div> </td> <td> <div class="citation_year">2015</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1300.05179">On the subgraph epimorphism problem.</a> <a class="label nowrap" href="/1300.05179">Zbl 1300.05179</a> <br><a href="/authors/gay.steven" title="Author Profile">Gay, Steven</a>; <a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/martinez.thierry" title="Author Profile">Martinez, Thierry</a>; <a href="/authors/soliman.sylvain" title="Author Profile">Soliman, Sylvain</a>; <a href="/authors/solnon.christine" title="Author Profile">Solnon, Christine</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6344085">5</a> </div> </td> <td> <div class="citation_year">2014</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1216.68164">Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures.</a> <a class="label nowrap" href="/1216.68164">Zbl 1216.68164</a> <br><a href="/authors/rizk.aurelien" title="Author Profile">Rizk, Aurélien</a>; <a href="/authors/batt.gregory" title="Author Profile">Batt, Grégory</a>; <a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/soliman.sylvain" title="Author Profile">Soliman, Sylvain</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5914349">12</a> </div> </td> <td> <div class="citation_year">2011</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1211.92015">Design, optimization and predictions of a coupled model of the cell cycle, circadian clock, DNA repair system, irinotecan metabolism and exposure control under temporal logic constraints.</a> <a class="label nowrap" href="/1211.92015">Zbl 1211.92015</a> <br><a href="/authors/de-maria.elisabetta" title="Author Profile">De Maria, Elisabetta</a>; <a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/rizk.aurelien" title="Author Profile">Rizk, Aurélien</a>; <a href="/authors/soliman.sylvain" title="Author Profile">Soliman, Sylvain</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5883069">2</a> </div> </td> <td> <div class="citation_year">2011</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1402.92303">Dynamics of the interlocked positive feedback loops explaining the robust epigenetic switching in <span class="zbmathjax-textit">Candida albicans</span>.</a> <a class="label nowrap" href="/1402.92303">Zbl 1402.92303</a> <br><a href="/authors/?q=au%3ASriram%2C%2BK." title="Author Profile">Sriram, K.</a>; <a href="/authors/soliman.sylvain" title="Author Profile">Soliman, Sylvain</a>; <a href="/authors/fages.francois" title="Author Profile">Fages, François</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6975240">5</a> </div> </td> <td> <div class="citation_year">2009</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1248.68453">From rules to constraint programs with the Rules2CP modelling language.</a> <a class="label nowrap" href="/1248.68453">Zbl 1248.68453</a> <br><a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/martin.julien" title="Author Profile">Martin, Julien</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5590890">1</a> </div> </td> <td> <div class="citation_year">2009</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1155.68049">Abstract interpretation and types for systems biology.</a> <a class="label nowrap" href="/1155.68049">Zbl 1155.68049</a> <br><a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/soliman.sylvain" title="Author Profile">Soliman, Sylvain</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5492884">20</a> </div> </td> <td> <div class="citation_year">2008</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1160.68545">On temporal logic constraint solving for analyzing numerical data time series.</a> <a class="label nowrap" href="/1160.68545">Zbl 1160.68545</a> <br><a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/rizk.aurelien" title="Author Profile">Rizk, Aurélien</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5382263">6</a> </div> </td> <td> <div class="citation_year">2008</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1375.92021">From reaction models to influence graphs and back: a theorem.</a> <a class="label nowrap" href="/1375.92021">Zbl 1375.92021</a> <br><a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/soliman.sylvain" title="Author Profile">Soliman, Sylvain</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5288989">4</a> </div> </td> <td> <div class="citation_year">2008</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1137.68534">Model revision from temporal logic properties in computational systems biology.</a> <a class="label nowrap" href="/1137.68534">Zbl 1137.68534</a> <br><a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/soliman.sylvain" title="Author Profile">Soliman, Sylvain</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5255047">4</a> </div> </td> <td> <div class="citation_year">2008</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1135.68367">Closures and modules within linear logic concurrent constraint programming.</a> <a class="label nowrap" href="/1135.68367">Zbl 1135.68367</a> <br><a href="/authors/haemmerle.remy" title="Author Profile">Haemmerlé, Rémy</a>; <a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/soliman.sylvain" title="Author Profile">Soliman, Sylvain</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5267253">4</a> </div> </td> <td> <div class="citation_year">2007</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1131.68378">Modules for Prolog revisited.</a> <a class="label nowrap" href="/1131.68378">Zbl 1131.68378</a> <br><a href="/authors/haemmerle.remy" title="Author Profile">Haemmerlé, Rémy</a>; <a href="/authors/fages.francois" title="Author Profile">Fages, François</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5248024">4</a> </div> </td> <td> <div class="citation_year">2006</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1156.68377">Temporal logic constraints in the biochemical abstract machine BIOCHAM.</a> <a class="label nowrap" href="/1156.68377">Zbl 1156.68377</a> <br><a href="/authors/fages.francois" title="Author Profile">Fages, François</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5491958">2</a> </div> </td> <td> <div class="citation_year">2006</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1086.90054">A constraint programming approach to cutset problems.</a> <a class="label nowrap" href="/1086.90054">Zbl 1086.90054</a> <br><a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/lal.akash" title="Author Profile">Lal, Akash</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5023414">1</a> </div> </td> <td> <div class="citation_year">2006</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1088.68817">The biochemical abstract machine BIOCHAM.</a> <a class="label nowrap" href="/1088.68817">Zbl 1088.68817</a> <br><a href="/authors/chabrier-rivier.nathalie" title="Author Profile">Chabrier-Rivier, Nathalie</a>; <a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/soliman.sylvain" title="Author Profile">Soliman, Sylvain</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A2240502">13</a> </div> </td> <td> <div class="citation_year">2005</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1088.68827">CMBSlib: A library for comparing formalisms and models of biological systems.</a> <a class="label nowrap" href="/1088.68827">Zbl 1088.68827</a> <br><a href="/authors/soliman.sylvain" title="Author Profile">Soliman, Sylvain</a>; <a href="/authors/fages.francois" title="Author Profile">Fages, François</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A2240507">1</a> </div> </td> <td> <div class="citation_year">2005</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1071.68098">Modeling and querying biomolecular interaction networks.</a> <a class="label nowrap" href="/1071.68098">Zbl 1071.68098</a> <br><a href="/authors/chabrier-rivier.nathalie" title="Author Profile">Chabrier-Rivier, Nathalie</a>; <a href="/authors/chiaverini.marc" title="Author Profile">Chiaverini, Marc</a>; <a href="/authors/danos.vincent" title="Author Profile">Danos, Vincent</a>; <a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/schachter.vincent" title="Author Profile">Schächter, Vincent</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A2110963">28</a> </div> </td> <td> <div class="citation_year">2004</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1112.92312">Symbolic model checking of biochemical networks.</a> <a class="label nowrap" href="/1112.92312">Zbl 1112.92312</a> <br><a href="/authors/chabrier.nathalie" title="Author Profile">Chabrier, Nathalie</a>; <a href="/authors/fages.francois" title="Author Profile">Fages, François</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1950556">18</a> </div> </td> <td> <div class="citation_year">2003</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1205.68121">Subtyping constraints in quasi-lattices.</a> <a class="label nowrap" href="/1205.68121">Zbl 1205.68121</a> <br><a href="/authors/coquery.emmanuel" title="Author Profile">Coquery, Emmanuel</a>; <a href="/authors/fages.francois" title="Author Profile">Fages, François</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5590994">1</a> </div> </td> <td> <div class="citation_year">2003</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1003.68065">Linear concurrent constraint programming: Operational and phase semantics.</a> <a class="label nowrap" href="/1003.68065">Zbl 1003.68065</a> <br><a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/ruet.paul" title="Author Profile">Ruet, Paul</a>; <a href="/authors/soliman.sylvain" title="Author Profile">Soliman, Sylvain</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1853157">28</a> </div> </td> <td> <div class="citation_year">2001</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1066.68514">Typing constraint logic programs.</a> <a class="label nowrap" href="/1066.68514">Zbl 1066.68514</a> <br><a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/coquery.emmanuel" title="Author Profile">Coquery, Emmanuel</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A2048625">4</a> </div> </td> <td> <div class="citation_year">2001</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0919.00071">JFPLC ’99. Huitièmes journées Francophones de programmation logique et programmation par constraintes. Lyon, France, 2-4 juin 1999. (JFPLC ’99. 8th Francophones meeting on logic programming and programming by constraints).</a> <a class="label nowrap" href="/0919.00071">Zbl 0919.00071</a> <br></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4219031">1</a> </div> </td> <td> <div class="citation_year">1999</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0908.03033">Concurrent constraint programming and non-commutative logic.</a> <a class="label nowrap" href="/0908.03033">Zbl 0908.03033</a> <br><a href="/authors/ruet.paul" title="Author Profile">Ruet, Paul</a>; <a href="/authors/fages.francois" title="Author Profile">Fages, François</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1223634">8</a> </div> </td> <td> <div class="citation_year">1998</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0920.68031">Experiments in reactive constraint logic programming.</a> <a class="label nowrap" href="/0920.68031">Zbl 0920.68031</a> <br><a href="/authors/fages.francois" title="Author Profile">Fages, Francois</a>; <a href="/authors/fowler.julian" title="Author Profile">Fowler, Julian</a>; <a href="/authors/sola.thierry" title="Author Profile">Sola, Thierry</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1293686">3</a> </div> </td> <td> <div class="citation_year">1998</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0882.68034">Constructive negation by pruning.</a> <a class="label nowrap" href="/0882.68034">Zbl 0882.68034</a> <br><a href="/authors/fages.francois" title="Author Profile">Fages, François</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1057483">7</a> </div> </td> <td> <div class="citation_year">1997</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0874.68045">Combining explicit negation and negation by failure via Belnap’s logic.</a> <a class="label nowrap" href="/0874.68045">Zbl 0874.68045</a> <br><a href="/authors/ruet.paul" title="Author Profile">Ruet, Paul</a>; <a href="/authors/fages.francois" title="Author Profile">Fages, François</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A985539">4</a> </div> </td> <td> <div class="citation_year">1997</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1355.68034">A hierarchy of semantics for normal constraint logic programs.</a> <a class="label nowrap" href="/1355.68034">Zbl 1355.68034</a> <br><a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/gori.roberta" title="Author Profile">Gori, Roberta</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6676197">2</a> </div> </td> <td> <div class="citation_year">1996</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0779.68043">Average-case analysis of unification algorithms.</a> <a class="label nowrap" href="/0779.68043">Zbl 0779.68043</a> <br><a href="/authors/albert.luc" title="Author Profile">Albert, Luc</a>; <a href="/authors/casas.rafael" title="Author Profile">Casas, Rafael</a>; <a href="/authors/fages.francois" title="Author Profile">Fages, François</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A417369">2</a> </div> </td> <td> <div class="citation_year">1993</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0737.68014">A new fixpoint semantics for general logic programs compared with the well-founded and the stable model semantics.</a> <a class="label nowrap" href="/0737.68014">Zbl 0737.68014</a> <br><a href="/authors/fages.francois" title="Author Profile">Fages, François</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A25193">13</a> </div> </td> <td> <div class="citation_year">1991</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0764.68056">Average case analysis of unification algorithms.</a> <a class="label nowrap" href="/0764.68056">Zbl 0764.68056</a> <br><a href="/authors/albert.luc" title="Author Profile">Albert, Luc</a>; <a href="/authors/casas.rafael" title="Author Profile">Casas, Rafael</a>; <a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/torrecillas.a" title="Author Profile">Torrecillas, A.</a>; <a href="/authors/zimmermann.paul" title="Author Profile">Zimmermann, Paul</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A176505">1</a> </div> </td> <td> <div class="citation_year">1991</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0661.68090">Average case complexity analysis of the RETE multi-pattern match algorithm.</a> <a class="label nowrap" href="/0661.68090">Zbl 0661.68090</a> <br><a href="/authors/albert.luc" title="Author Profile">Albert, Luc</a>; <a href="/authors/fages.francois" title="Author Profile">Fages, François</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4080959">2</a> </div> </td> <td> <div class="citation_year">1988</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0638.68103">Associative-commutative unification.</a> <a class="label nowrap" href="/0638.68103">Zbl 0638.68103</a> <br><a href="/authors/fages.francois" title="Author Profile">Fages, François</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4041329">22</a> </div> </td> <td> <div class="citation_year">1987</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0615.03002">Complete sets of unifiers and matchers in equational theories.</a> <a class="label nowrap" href="/0615.03002">Zbl 0615.03002</a> <br><a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/huet.gerard-p" title="Author Profile">Huet, Gérard</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3995626">34</a> </div> </td> <td> <div class="citation_year">1986</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0547.03012">Associative-commutative unification.</a> <a class="label nowrap" href="/0547.03012">Zbl 0547.03012</a> <br><a href="/authors/fages.francois" title="Author Profile">Fages, François</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3871322">34</a> </div> </td> <td> <div class="citation_year">1984</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0545.03003">Complete sets of unifiers and matchers in equational theories.</a> <a class="label nowrap" href="/0545.03003">Zbl 0545.03003</a> <br><a href="/authors/fages.francois" title="Author Profile">Fages, François</a>; <a href="/authors/huet.gerard-p" title="Author Profile">Huet, Gérard</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3867289">15</a> </div> </td> <td> <div class="citation_year">1983</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 444 Authors</h3> <table class="profile"> <tr> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Afages.francois" title="Citing Publications by this Author">25</a> </td> <td class="text"> <a href="/authors/fages.francois" title="Author Profile"> Fages, François </a> </td></tr><tr> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Asoliman.sylvain" title="Citing Publications by this Author">15</a> </td> <td class="text"> <a href="/authors/soliman.sylvain" title="Author Profile"> Soliman, Sylvain </a> </td></tr><tr> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Aolarte.carlos" title="Citing Publications by this Author">13</a> </td> <td class="text"> <a href="/authors/olarte.carlos" title="Author Profile"> Olarte, Carlos </a> </td></tr><tr> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Abaader.franz" title="Citing Publications by this Author">10</a> </td> <td class="text"> <a href="/authors/baader.franz" title="Author Profile"> Baader, Franz </a> </td></tr><tr> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Afernandez.maribel" title="Citing Publications by this Author">7</a> </td> <td class="text"> <a href="/authors/fernandez.maribel" title="Author Profile"> Fernández, Maribel </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Apimentel.elaine" title="Citing Publications by this Author">7</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%3Afages.francois+ai%3Aayala-rincon.mauricio" title="Citing Publications by this Author">6</a> </td> <td class="text"> <a href="/authors/ayala-rincon.mauricio" title="Author Profile"> Ayala-Rincón, Mauricio </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Arueda.camilo" title="Citing Publications by this Author">6</a> </td> <td class="text"> <a href="/authors/rueda.camilo" title="Author Profile"> Rueda, Camilo </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Asobrinho.daniele-nantes" title="Citing Publications by this Author">6</a> </td> <td class="text"> <a href="/authors/sobrinho.daniele-nantes" title="Author Profile"> Sobrinho, Daniele Nantes </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Avalencia.frank-d" title="Citing Publications by this Author">6</a> </td> <td class="text"> <a href="/authors/valencia.frank-d" title="Author Profile"> Valencia, Frank D. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Ahemery.mathieu" title="Citing Publications by this Author">5</a> </td> <td class="text"> <a href="/authors/hemery.mathieu" title="Author Profile"> Hemery, Mathieu </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Aniehren.joachim" title="Citing Publications by this Author">5</a> </td> <td class="text"> <a href="/authors/niehren.joachim" title="Author Profile"> Niehren, Joachim </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Aschmidt-schauss.manfred" title="Citing Publications by this Author">5</a> </td> <td class="text"> <a href="/authors/schmidt-schauss.manfred" title="Author Profile"> Schmidt-Schauß, Manfred </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Aboudet.alexandre" title="Citing Publications by this Author">4</a> </td> <td class="text"> <a href="/authors/boudet.alexandre" title="Author Profile"> Boudet, Alexandre </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Afalaschi.moreno" title="Citing Publications by this Author">4</a> </td> <td class="text"> <a href="/authors/falaschi.moreno" title="Author Profile"> Falaschi, Moreno </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Aguzman.michell" title="Citing Publications by this Author">4</a> </td> <td class="text"> <a href="/authors/guzman.michell" title="Author Profile"> Guzmán, Michell </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Alathrop.james-i" title="Citing Publications by this Author">4</a> </td> <td class="text"> <a href="/authors/lathrop.james-i" title="Author Profile"> Lathrop, James I. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Alhoussaine.cedric" title="Citing Publications by this Author">4</a> </td> <td class="text"> <a href="/authors/lhoussaine.cedric" title="Author Profile"> Lhoussaine, Cédric </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Amilazzo.paolo" title="Citing Publications by this Author">4</a> </td> <td class="text"> <a href="/authors/milazzo.paolo" title="Author Profile"> Milazzo, Paolo </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Anarendran.paliath" title="Citing Publications by this Author">4</a> </td> <td class="text"> <a href="/authors/narendran.paliath" title="Author Profile"> Narendran, Paliath </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Anigam.vivek" title="Citing Publications by this Author">4</a> </td> <td class="text"> <a href="/authors/nigam.vivek" title="Author Profile"> Nigam, Vivek </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Atroina.angelo" title="Citing Publications by this Author">4</a> </td> <td class="text"> <a href="/authors/troina.angelo" title="Author Profile"> Troina, Angelo </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Awan.li" title="Citing Publications by this Author">4</a> </td> <td class="text"> <a href="/authors/wan.li" title="Author Profile"> Wan, Li </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Azhou.qinghua" title="Citing Publications by this Author">4</a> </td> <td class="text"> <a href="/authors/zhou.qinghua" title="Author Profile"> Zhou, Qinghua </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Aabdulrab.habib" title="Citing Publications by this Author">3</a> </td> <td class="text"> <a href="/authors/abdulrab.habib" title="Author Profile"> Abdulrab, Habib </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Aandrei.oana" title="Citing Publications by this Author">3</a> </td> <td class="text"> <a href="/authors/andrei.oana" title="Author Profile"> Andrei, Oana </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Abarbuti.roberto" title="Citing Publications by this Author">3</a> </td> <td class="text"> <a href="/authors/barbuti.roberto" title="Author Profile"> Barbuti, Roberto </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Abournez.olivier" title="Citing Publications by this Author">3</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%3Afages.francois+ai%3Abrim.lubos" title="Citing Publications by this Author">3</a> </td> <td class="text"> <a href="/authors/brim.lubos" title="Author Profile"> Brim, Luboš </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Acalder.muffy" title="Citing Publications by this Author">3</a> </td> <td class="text"> <a href="/authors/calder.muffy" title="Author Profile"> Calder, Muffy </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Ade-carvalho-segundo.washington" title="Citing Publications by this Author">3</a> </td> <td class="text"> <a href="/authors/de-carvalho-segundo.washington" title="Author Profile"> de Carvalho-Segundo, Washington </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Ahermann.miki" title="Citing Publications by this Author">3</a> </td> <td class="text"> <a href="/authors/hermann.miki" title="Author Profile"> Hermann, Miki </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Akirchner.helene" title="Citing Publications by this Author">3</a> </td> <td class="text"> <a href="/authors/kirchner.helene" title="Author Profile"> Kirchner, Hélène </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Aklinge.titus-h" title="Citing Publications by this Author">3</a> </td> <td class="text"> <a href="/authors/klinge.titus-h" title="Author Profile"> Klinge, Titus H. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Akolaitis.phokion-g" title="Citing Publications by this Author">3</a> </td> <td class="text"> <a href="/authors/kolaitis.phokion-g" title="Author Profile"> Kolaitis, Phokion G. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Akutsia.temur" title="Citing Publications by this Author">3</a> </td> <td class="text"> <a href="/authors/kutsia.temur" title="Author Profile"> Kutsia, Temur </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Alevi.francesca" title="Citing Publications by this Author">3</a> </td> <td class="text"> <a href="/authors/levi.francesca" title="Author Profile"> Levi, Francesca </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Alifschitz.vladimir" title="Citing Publications by this Author">3</a> </td> <td class="text"> <a href="/authors/lifschitz.vladimir" title="Author Profile"> Lifschitz, Vladimir </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Alutz.jack-h" title="Citing Publications by this Author">3</a> </td> <td class="text"> <a href="/authors/lutz.jack-h" title="Author Profile"> Lutz, Jack H. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Amonteiro.pedro-t" title="Citing Publications by this Author">3</a> </td> <td class="text"> <a href="/authors/monteiro.pedro-t" title="Author Profile"> Monteiro, Pedro T. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Aperchy.salim" title="Citing Publications by this Author">3</a> </td> <td class="text"> <a href="/authors/perchy.salim" title="Author Profile"> Perchy, Salim </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Apiazza.carla" title="Citing Publications by this Author">3</a> </td> <td class="text"> <a href="/authors/piazza.carla" title="Author Profile"> Piazza, Carla </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Arizk.aurelien" title="Citing Publications by this Author">3</a> </td> <td class="text"> <a href="/authors/rizk.aurelien" title="Author Profile"> Rizk, Aurélien </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Aruet.paul" title="Citing Publications by this Author">3</a> </td> <td class="text"> <a href="/authors/ruet.paul" title="Author Profile"> Ruet, Paul </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Asafranek.david" title="Citing Publications by this Author">3</a> </td> <td class="text"> <a href="/authors/safranek.david" title="Author Profile"> Šafránek, David </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Asilva.gabriel-ferreira" title="Citing Publications by this Author">3</a> </td> <td class="text"> <a href="/authors/silva.gabriel-ferreira" title="Author Profile"> Silva, Gabriel Ferreira </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Asnyder.wayne" title="Citing Publications by this Author">3</a> </td> <td class="text"> <a href="/authors/snyder.wayne" title="Author Profile"> Snyder, Wayne </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Asoloveichik.david" title="Citing Publications by this Author">3</a> </td> <td class="text"> <a href="/authors/soloveichik.david" title="Author Profile"> Soloveichik, David </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Athieffry.denis" title="Citing Publications by this Author">3</a> </td> <td class="text"> <a href="/authors/thieffry.denis" title="Author Profile"> Thieffry, Denis </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Avaginay.athenais" title="Citing Publications by this Author">3</a> </td> <td class="text"> <a href="/authors/vaginay.athenais" title="Author Profile"> Vaginay, Athénaïs </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Aversari.cristian" title="Citing Publications by this Author">3</a> </td> <td class="text"> <a href="/authors/versari.cristian" title="Author Profile"> Versari, Cristian </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Aapt.krzysztof-rafal" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/apt.krzysztof-rafal" title="Author Profile"> Apt, Krzysztof Rafal </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Abaral.chitta-r" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/baral.chitta-r" title="Author Profile"> Baral, Chitta R. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Abarnat.jiri" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/barnat.jiri" title="Author Profile"> Barnat, Jiří </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Abenhamou.belaid" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/benhamou.belaid" title="Author Profile"> Benhamou, Belaid </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Aburckert.hans-jurgen" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/burckert.hans-jurgen" title="Author Profile"> Bürckert, Hans Jürgen </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Abychkov.andrey" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/bychkov.andrey" title="Author Profile"> Bychkov, Andrey </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Acerna.ivana" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/cerna.ivana" title="Author Profile"> Černá, Ivana </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Achaouiya.claudine" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/chaouiya.claudine" title="Author Profile"> Chaouiya, Claudine </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Achen.ho-lin" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/chen.ho-lin" title="Author Profile"> Chen, Ho-Lin </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Achiarugi.davide" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/chiarugi.davide" title="Author Profile"> Chiarugi, Davide </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Acollavizza.helene" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/collavizza.helene" title="Author Profile"> Collavizza, Hélène </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Acomet.jean-paul" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/comet.jean-paul" title="Author Profile"> Comet, Jean-Paul </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Acontejean.evelyne" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/contejean.evelyne" title="Author Profile"> Contejean, Evelyne </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Ade-jong.hidde" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/de-jong.hidde" title="Author Profile"> de Jong, Hidde </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Adershowitz.nachum" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/dershowitz.nachum" title="Author Profile"> Dershowitz, Nachum </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Adonaldson.robin-a" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/donaldson.robin-a" title="Author Profile"> Donaldson, Robin A. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Adoty.david" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/doty.david" title="Author Profile"> Doty, David </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Adrazan.sven" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/drazan.sven" title="Author Profile"> Drazan, Sven </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Adumas.estelle" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/dumas.estelle" title="Author Profile"> Dumas, Estelle </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Afisher.jasmin" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/fisher.jasmin" title="Author Profile"> Fisher, Jasmin </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Afortenbacher.albrecht" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/fortenbacher.albrecht" title="Author Profile"> Fortenbacher, Albrecht </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Agabbrielli.maurizio" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/gabbrielli.maurizio" title="Author Profile"> Gabbrielli, Maurizio </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Agallier.jean-h" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/gallier.jean-h" title="Author Profile"> Gallier, Jean H. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Agibart.laetitia" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/gibart.laetitia" title="Author Profile"> Gibart, Laetitia </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Agori.roberta" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/gori.roberta" title="Author Profile"> Gori, Roberta </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Agoubault-larrecq.jean" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/goubault-larrecq.jean" title="Author Profile"> Goubault-Larrecq, Jean </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Agreugny.elea-thibault" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/greugny.elea-thibault" title="Author Profile"> Greugny, Eléa Thibault </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Ahermith.diana" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/hermith.diana" title="Author Profile"> Hermith, Diana </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Ahitzler.pascal" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/hitzler.pascal" title="Author Profile"> Hitzler, Pascal </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Ahorne.ross" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/horne.ross" title="Author Profile"> Horne, Ross </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Ahsiang.jieh" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/hsiang.jieh" title="Author Profile"> Hsiang, Jieh </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Ajohn.mathias" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/john.mathias" title="Author Profile"> John, Mathias </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Ajouannaud.jean-pierre" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/jouannaud.jean-pierre" title="Author Profile"> Jouannaud, Jean-Pierre </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Akapur.deepak" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/kapur.deepak" title="Author Profile"> Kapur, Deepak </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Akhurshid.sarfraz" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/khurshid.sarfraz" title="Author Profile"> Khurshid, Sarfraz </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Akirchner.claude" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/kirchner.claude" title="Author Profile"> Kirchner, Claude </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Akramer.boris" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/kramer.boris" title="Author Profile"> Krämer, Boris </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Alatch.dana-may" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/latch.dana-may" title="Author Profile"> Latch, Dana May </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Ali.jizi" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/li.jizi" title="Author Profile"> Li, Jizi </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Amaggiolo-schettini.andrea" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/maggiolo-schettini.andrea" title="Author Profile"> Maggiolo-Schettini, Andrea </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Amateescu.radu" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/mateescu.radu" title="Author Profile"> Mateescu, Radu </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Amccreesh.ciaran" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/mccreesh.ciaran" title="Author Profile"> McCreesh, Ciaran </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Ameseguer.jose" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/meseguer.jose" title="Author Profile"> Meseguer Guaita, José </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Analdi.aurelien" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/naldi.aurelien" title="Author Profile"> Naldi, Aurélien </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Anutt.werner" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/nutt.werner" title="Author Profile"> Nutt, Werner </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Aorejas.fernando" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/orejas.fernando" title="Author Profile"> Orejas, Fernando </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Apalamidessi.catuscia" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/palamidessi.catuscia" title="Author Profile"> Palamidessi, Catuscia </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Apasarella.edelmira" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/pasarella.edelmira" title="Author Profile"> Pasarella, Edelmira </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+ai%3Apino.elvira" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/pino.elvira" title="Author Profile"> Pino, Elvira </a> </td></tr> <tr class="more"> <td colspan="2">...and 344 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 52 Serials</h3> <table class="profile"> <tr> <td class="number"> <a href="/?q=ra%3Afages.francois+se%3A735" title="Citing Publications in this Serial">50</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%3Afages.francois+se%3A1072" title="Citing Publications in this Serial">24</a> </td> <td class="text"> <a href="/serials/?q=se%3A1072" title="Serial Profile"> Journal of Symbolic Computation </a> </td></tr><tr> <td class="number"> <a href="/?q=ra%3Afages.francois+se%3A2868" title="Citing Publications in this Serial">11</a> </td> <td class="text"> <a href="/serials/?q=se%3A2868" title="Serial Profile"> Theory and Practice of Logic Programming </a> </td></tr><tr> <td class="number"> <a href="/?q=ra%3Afages.francois+se%3A1150" title="Citing Publications in this Serial">8</a> </td> <td class="text"> <a href="/serials/?q=se%3A1150" title="Serial Profile"> Journal of Automated Reasoning </a> </td></tr><tr> <td class="number"> <a href="/?q=ra%3Afages.francois+se%3A1143" title="Citing Publications in this Serial">7</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=ra%3Afages.francois+se%3A2206" title="Citing Publications in this Serial">5</a> </td> <td class="text"> <a href="/serials/?q=se%3A2206" title="Serial Profile"> Constraints </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+se%3A2952" title="Citing Publications in this Serial">5</a> </td> <td class="text"> <a href="/serials/?q=se%3A2952" title="Serial Profile"> Natural Computing </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+se%3A34" title="Citing Publications in this Serial">4</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%3Afages.francois+se%3A7526" title="Citing Publications in this Serial">4</a> </td> <td class="text"> <a href="/serials/?q=se%3A7526" title="Serial Profile"> Journal of Theoretical Biology </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+se%3A113" title="Citing Publications in this Serial">3</a> </td> <td class="text"> <a href="/serials/?q=se%3A113" title="Serial Profile"> Information Processing Letters </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+se%3A2826" title="Citing Publications in this Serial">3</a> </td> <td class="text"> <a href="/serials/?q=se%3A2826" title="Serial Profile"> The Journal of Logic and Algebraic Programming </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+se%3A12" title="Citing Publications in this Serial">2</a> </td> <td class="text"> <a href="/serials/?q=se%3A12" title="Serial Profile"> Acta Informatica </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+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%3Afages.francois+se%3A524" title="Citing Publications in this Serial">2</a> </td> <td class="text"> <a href="/serials/?q=se%3A524" title="Serial Profile"> The Journal of Symbolic Logic </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+se%3A1381" title="Citing Publications in this Serial">2</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%3Afages.francois+se%3A1734" title="Citing Publications in this Serial">2</a> </td> <td class="text"> <a href="/serials/?q=se%3A1734" title="Serial Profile"> RAIRO. Informatique Théorique et Applications </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+se%3A2122" title="Citing Publications in this Serial">2</a> </td> <td class="text"> <a href="/serials/?q=se%3A2122" title="Serial Profile"> Annals of Mathematics and Artificial Intelligence </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+se%3A2324" title="Citing Publications in this Serial">2</a> </td> <td class="text"> <a href="/serials/?q=se%3A2324" title="Serial Profile"> Abstract and Applied Analysis </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+se%3A2448" title="Citing Publications in this Serial">2</a> </td> <td class="text"> <a href="/serials/?q=se%3A2448" title="Serial Profile"> Chaos </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+se%3A2997" title="Citing Publications in this Serial">2</a> </td> <td class="text"> <a href="/serials/?q=se%3A2997" title="Serial Profile"> SIAM Journal on Applied Dynamical Systems </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+se%3A5003" title="Citing Publications in this Serial">2</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%3Afages.francois+se%3A64" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A64" title="Serial Profile"> Computer Methods in Applied Mechanics and Engineering </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+se%3A133" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A133" title="Serial Profile"> Journal of Mathematical Biology </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+se%3A173" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A173" title="Serial Profile"> Nonlinearity </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+se%3A241" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A241" title="Serial Profile"> Bulletin of Mathematical Biology </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+se%3A250" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A250" title="Serial Profile"> Chaos, Solitons and Fractals </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+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%3Afages.francois+se%3A348" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A348" title="Serial Profile"> Automatica </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+se%3A380" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A380" title="Serial Profile"> Cahiers de Topologie et Géométrie Différentielle Catégoriques </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+se%3A473" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A473" title="Serial Profile"> Journal of Algebra </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+se%3A483" title="Citing 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=ra%3Afages.francois+se%3A518" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A518" title="Serial Profile"> Journal of Pure and Applied Algebra </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+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%3Afages.francois+se%3A705" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A705" title="Serial Profile"> Semigroup Forum </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+se%3A722" title="Citing Publications in this Serial">1</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%3Afages.francois+se%3A1115" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A1115" title="Serial Profile"> New Generation Computing </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+se%3A1181" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A1181" title="Serial Profile"> International Journal of Approximate Reasoning </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+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%3Afages.francois+se%3A1373" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A1373" title="Serial Profile"> International Journal of Adaptive Control and Signal Processing </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+se%3A1772" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A1772" title="Serial Profile"> Applicable Algebra in Engineering, Communication and Computing </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+se%3A1809" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A1809" title="Serial Profile"> Cybernetics and Systems Analysis </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+se%3A1875" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A1875" title="Serial Profile"> Applied Categorical Structures </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+se%3A1899" title="Citing Publications in this Serial">1</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%3Afages.francois+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%3Afages.francois+se%3A2629" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A2629" title="Serial Profile"> Fundamenta Informaticae </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+se%3A2785" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A2785" title="Serial Profile"> Nonlinear Analysis. Real World Applications </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+se%3A3054" title="Citing Publications in this Serial">1</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%3Afages.francois+se%3A3118" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A3118" title="Serial Profile"> Journal of Applied Logic </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+se%3A3242" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A3242" title="Serial Profile"> Mathematical Biosciences and Engineering </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+se%3A6483" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A6483" title="Serial Profile"> ACM Communications in Computer Algebra </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+se%3A6687" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A6687" title="Serial Profile"> Journal of Logic and Analysis </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+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 29 Fields</h3> <table class="profile"> <tr> <td class="number"> <a href="/?q=ra%3Afages.francois+cc%3A68" title="Citing Publications in this Field">224</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%3Afages.francois+cc%3A03" title="Citing Publications in this Field">86</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%3Afages.francois+cc%3A92" title="Citing Publications in this Field">80</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><tr> <td class="number"> <a href="/?q=ra%3Afages.francois+cc%3A20" title="Citing Publications in this Field">13</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> <td class="number"> <a href="/?q=ra%3Afages.francois+cc%3A08" title="Citing Publications in this Field">12</a> </td> <td class="text"> <a href="/classification/?q=cc%3A08" title="Mathematics Subject Classification"> General algebraic systems <span style="white-space: nowrap;">(08-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+cc%3A34" title="Citing Publications in this Field">10</a> </td> <td class="text"> <a href="/classification/?q=cc%3A34" title="Mathematics Subject Classification"> Ordinary differential equations <span style="white-space: nowrap;">(34-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+cc%3A94" title="Citing Publications in this Field">10</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%3Afages.francois+cc%3A05" title="Citing Publications in this Field">6</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 class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+cc%3A06" title="Citing Publications in this Field">6</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%3Afages.francois+cc%3A37" title="Citing Publications in this Field">5</a> </td> <td class="text"> <a href="/classification/?q=cc%3A37" title="Mathematics Subject Classification"> Dynamical systems and ergodic theory <span style="white-space: nowrap;">(37-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+cc%3A60" title="Citing Publications in this Field">5</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%3Afages.francois+cc%3A93" title="Citing Publications in this Field">5</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 class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+cc%3A18" title="Citing Publications in this Field">4</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%3Afages.francois+cc%3A65" title="Citing Publications in this Field">3</a> </td> <td class="text"> <a href="/classification/?q=cc%3A65" title="Mathematics Subject Classification"> Numerical analysis <span style="white-space: nowrap;">(65-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+cc%3A00" title="Citing Publications in this Field">2</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%3Afages.francois+cc%3A01" title="Citing Publications in this Field">2</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%3Afages.francois+cc%3A11" title="Citing 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=ra%3Afages.francois+cc%3A26" title="Citing Publications in this Field">2</a> </td> <td class="text"> <a href="/classification/?q=cc%3A26" title="Mathematics Subject Classification"> Real functions <span style="white-space: nowrap;">(26-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+cc%3A16" title="Citing Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A16" title="Mathematics Subject Classification"> Associative rings and algebras <span style="white-space: nowrap;">(16-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+cc%3A35" title="Citing Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A35" title="Mathematics Subject Classification"> Partial differential equations <span style="white-space: nowrap;">(35-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+cc%3A39" title="Citing Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A39" title="Mathematics Subject Classification"> Difference and functional equations <span style="white-space: nowrap;">(39-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+cc%3A49" title="Citing Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A49" title="Mathematics Subject Classification"> Calculus of variations and optimal control; optimization <span style="white-space: nowrap;">(49-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+cc%3A54" title="Citing Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A54" title="Mathematics Subject Classification"> General topology <span style="white-space: nowrap;">(54-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+cc%3A62" title="Citing Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A62" title="Mathematics Subject Classification"> Statistics <span style="white-space: nowrap;">(62-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+cc%3A70" title="Citing Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A70" title="Mathematics Subject Classification"> Mechanics of particles and systems <span style="white-space: nowrap;">(70-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+cc%3A74" title="Citing Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A74" title="Mathematics Subject Classification"> Mechanics of deformable solids <span style="white-space: nowrap;">(74-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+cc%3A80" title="Citing Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A80" title="Mathematics Subject Classification"> Classical thermodynamics, heat transfer <span style="white-space: nowrap;">(80-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Afages.francois+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%3Afages.francois+cc%3A91" title="Citing 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> </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:1985, frequency:2 },{ year:1986, frequency:4 },{ year:1987, frequency:5 },{ year:1988, frequency:3 },{ year:1989, frequency:21 },{ year:1990, frequency:5 },{ year:1991, frequency:9 },{ year:1992, frequency:11 },{ year:1993, frequency:2 },{ year:1994, frequency:4 },{ year:1995, frequency:1 },{ year:1996, frequency:2 },{ year:1997, frequency:7 },{ year:1998, frequency:3 },{ year:1999, frequency:1 },{ year:2000, frequency:3 },{ year:2001, frequency:2 },{ year:2002, frequency:1 },{ year:2003, frequency:2 },{ year:2004, frequency:3 },{ year:2005, frequency:3 },{ year:2006, frequency:1 },{ year:2007, frequency:5 },{ year:2008, frequency:14 },{ year:2009, frequency:13 },{ year:2010, frequency:7 },{ year:2011, frequency:7 },{ year:2012, frequency:9 },{ year:2013, frequency:9 },{ year:2014, frequency:10 },{ year:2015, frequency:10 },{ year:2016, frequency:8 },{ year:2017, frequency:5 },{ year:2018, frequency:9 },{ year:2019, frequency:9 },{ year:2020, frequency:16 },{ year:2021, frequency:10 },{ year:2022, frequency:13 },{ year:2023, frequency:10 },{ year:2024, frequency:13 },{ 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%3Afages.francois+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> </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

François Fages - Author Profile - zbMATH Open