Aniello Murano - Author Profile

<!doctype html> <html lang="en"> <head> <meta charset="utf-8"> <title>Aniello Murano - 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/murano.aniello?"> <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:murano.aniello" 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/murano.aniello" 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>Murano, Aniello</h2> </div> <div class="erdos pull-right"> <a href="/collaboration-distance/?a=murano.aniello&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>murano.aniello <a target="_blank" href="/atom/ai/murano.aniello"><img class="feed-icon" alt="Recent zbMATH articles by "Murano, Aniello"" src="/static/feed-icon-14x14.png"></a></td> </tr><tr> <td>Published as:</td> <td><span>Murano, Aniello</span></td> </tr> <tr> <td>External Links:</td> <td> <a href="http://orcid.org/0000-0003-4876-3448" title="0000-0003-4876-3448" style="white-space: nowrap;">ORCID</a> </td> </tr> </table> </div> <div class="indexed"> <table> <tr> <td>Documents Indexed:</td> <td> <a href="/?q=ia%3Amurano.aniello">77 Publications</a> since 2002 </td> </tr> <tr> <td></td> <td> <a href="/?q=ei%3Amurano.aniello">12 Contributions as Editor</a> </td> </tr> <tr> <td>Software Indexed:</td> <td> <a href="/software/?q=ia%3Amurano.aniello">2 Packages</a> </td> </tr> <tr> <td>Co-Authors:</td> <td> <a href="/authors/?q=ai1%3Amurano.aniello">58 Co-Authors</a> with <a href="/?q=ai%3Amurano.aniello+ai1%3Amurano.aniello"> 89 Joint Publications</a> </td> </tr> <tr><td></td><td> <a href="/authors/?q=ai2%3Amurano.aniello">1,267 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%3Amurano.aniello+na%3A1" title="Single-Authored Publications">0</a> </td> <td class="text">single-authored</td> </tr><tr> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Amogavero.fabio" title="Joint Publications">28</a> </td> <td class="text"> <a href="/authors/mogavero.fabio" title="Author Profile"> Mogavero, Fabio </a> </td></tr><tr> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Avardi.moshe-y" title="Joint Publications">17</a> </td> <td class="text"> <a href="/authors/vardi.moshe-y" title="Author Profile"> Vardi, Moshe Ya’akov </a> </td></tr><tr> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Arubin.sasha" title="Joint Publications">13</a> </td> <td class="text"> <a href="/authors/rubin.sasha" title="Author Profile"> Rubin, Sasha </a> </td></tr><tr> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Asorrentino.loredana" title="Joint Publications">12</a> </td> <td class="text"> <a href="/authors/sorrentino.loredana" title="Author Profile"> Sorrentino, Loredana </a> </td></tr><tr> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Abozzelli.laura" title="Joint Publications">11</a> </td> <td class="text"> <a href="/authors/bozzelli.laura" title="Author Profile"> Bozzelli, Laura </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Aperelli.giuseppe" title="Joint Publications">11</a> </td> <td class="text"> <a href="/authors/perelli.giuseppe" title="Author Profile"> Perelli, Giuseppe </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Afaella.marco" title="Joint Publications">9</a> </td> <td class="text"> <a href="/authors/faella.marco" title="Author Profile"> Faella, Marco </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Aaminof.benjamin" title="Joint Publications">8</a> </td> <td class="text"> <a href="/authors/aminof.benjamin" title="Author Profile"> Aminof, Benjamin </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Amaubert.bastien" title="Joint Publications">8</a> </td> <td class="text"> <a href="/authors/maubert.bastien" title="Author Profile"> Maubert, Bastien </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Aperon.adriano" title="Joint Publications">8</a> </td> <td class="text"> <a href="/authors/peron.adriano" title="Author Profile"> Peron, Adriano </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Abianco.alessandro" title="Joint Publications">7</a> </td> <td class="text"> <a href="/authors/bianco.alessandro" title="Author Profile"> Bianco, Alessandro </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Akupferman.orna" title="Joint Publications">5</a> </td> <td class="text"> <a href="/authors/kupferman.orna" title="Author Profile"> Kupferman, Orna </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Ala-torre.salvatore" title="Joint Publications">5</a> </td> <td class="text"> <a href="/authors/la-torre.salvatore" title="Author Profile"> La Torre, Salvatore </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Amalvone.vadim" title="Joint Publications">4</a> </td> <td class="text"> <a href="/authors/malvone.vadim" title="Author Profile"> Malvone, Vadim </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Aparente.mimmo" title="Joint Publications">4</a> </td> <td class="text"> <a href="/authors/parente.mimmo" title="Author Profile"> Parente, Mimmo </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Adella-monica.dario" title="Joint Publications">3</a> </td> <td class="text"> <a href="/authors/della-monica.dario" title="Author Profile"> Della Monica, Dario </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Adi-stasio.antonio" title="Joint Publications">3</a> </td> <td class="text"> <a href="/authors/di-stasio.antonio" title="Author Profile"> Di Stasio, Antonio </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Aferrante.alessandro" title="Joint Publications">3</a> </td> <td class="text"> <a href="/authors/ferrante.alessandro" title="Author Profile"> Ferrante, Alessandro </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Amontanari.angelo" title="Joint Publications">3</a> </td> <td class="text"> <a href="/authors/montanari.angelo" title="Author Profile"> Montanari, Angelo </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Anapoli.margherita" title="Joint Publications">3</a> </td> <td class="text"> <a href="/authors/napoli.margherita" title="Author Profile"> Napoli, Margherita </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Asauro.luigi" title="Joint Publications">3</a> </td> <td class="text"> <a href="/authors/sauro.luigi" title="Author Profile"> Sauro, Luigi </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Abenerecetti.massimo" title="Joint Publications">2</a> </td> <td class="text"> <a href="/authors/benerecetti.massimo" title="Author Profile"> Benerecetti, Massimo </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Abonatti.piero-andrea" title="Joint Publications">2</a> </td> <td class="text"> <a href="/authors/bonatti.piero-andrea" title="Author Profile"> Bonatti, Piero Andrea </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Abouyer.patricia" title="Joint Publications">2</a> </td> <td class="text"> <a href="/authors/bouyer.patricia" title="Author Profile"> Bouyer, Patricia </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Acarotenuto.dario" title="Joint Publications">2</a> </td> <td class="text"> <a href="/authors/carotenuto.dario" title="Author Profile"> Carotenuto, Dario </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Afontaine.gaelle" title="Joint Publications">2</a> </td> <td class="text"> <a href="/authors/fontaine.gaelle" title="Author Profile"> Fontaine, Gaëlle </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Alomuscio.alessio" title="Joint Publications">2</a> </td> <td class="text"> <a href="/authors/lomuscio.alessio" title="Author Profile"> Lomuscio, Alessio </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Alutz.carsten" title="Joint Publications">2</a> </td> <td class="text"> <a href="/authors/lutz.carsten" title="Author Profile"> Lutz, Carsten </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Amorgenstern.gila" title="Joint Publications">2</a> </td> <td class="text"> <a href="/authors/morgenstern.gila" title="Author Profile"> Morgenstern, Gila </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Azimmermann.martin" title="Joint Publications">2</a> </td> <td class="text"> <a href="/authors/zimmermann.martin" title="Author Profile"> Zimmermann, Martin </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Abelardinelli.francesco" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/belardinelli.francesco" title="Author Profile"> Belardinelli, Francesco </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Aberthon.raphael" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/berthon.raphael" title="Author Profile"> Berthon, Raphaël </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Acermak.petr" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/cermak.petr" title="Author Profile"> Čermák, Petr </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Ade-frutos-escrig.david" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/de-frutos-escrig.david" title="Author Profile"> de Frutos-Escrig, David </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Adonnarumma.francesco" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/donnarumma.francesco" title="Author Profile"> Donnarumma, Francesco </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Afijalkow.nathanael" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/fijalkow.nathanael" title="Author Profile"> Fijalkow, Nathanaël </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Agutierrez.julian" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/gutierrez.julian" title="Author Profile"> Gutierrez, Julian </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Ajamroga.wojciech" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/jamroga.wojciech" title="Author Profile"> Jamroga, Wojciech </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Alegay.axel" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/legay.axel" title="Author Profile"> Legay, Axel </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Amarkey.nicolas" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/markey.nicolas" title="Author Profile"> Markey, Nicolas </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Amittelmann.munyque" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/mittelmann.munyque" title="Author Profile"> Mittelmann, Munyque </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Amolinari.alberto" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/molinari.alberto" title="Author Profile"> Molinari, Alberto </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Aneider.daniel" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/neider.daniel" title="Author Profile"> Neider, Daniel </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Aorlandini.andrea" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/orlandini.andrea" title="Author Profile"> Orlandini, Andrea </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Aperrussel.laurent" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/perrussel.laurent" title="Author Profile"> Perrussel, Laurent </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Apinchinat.sophie" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/pinchinat.sophie" title="Author Profile"> Pinchinat, Sophie </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Aprevete.roberto" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/prevete.roberto" title="Author Profile"> Prevete, Roberto </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Aprignano.vincenzo" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/prignano.vincenzo" title="Author Profile"> Prignano, Vincenzo </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Asala.pietro" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/sala.pietro" title="Author Profile"> Sala, Pietro </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Aschwarzentruber.francois" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/schwarzentruber.francois" title="Author Profile"> Schwarzentruber, François </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Asciavicco.guido" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/sciavicco.guido" title="Author Profile"> Sciavicco, Guido </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Aserre.olivier" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/serre.olivier" title="Author Profile"> Serre, Olivier </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Asilva.alexandra" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/silva.alexandra" title="Author Profile"> Silva, Alexandra </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Asteeples.thomas" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/steeples.thomas" title="Author Profile"> Steeples, Thomas </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Astranieri.silvia" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/stranieri.silvia" title="Author Profile"> Stranieri, Silvia </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Avan-der-hoek.wiebe" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/van-der-hoek.wiebe" title="Author Profile"> van der Hoek, Wiebe </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Awooldridge.michael-j" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/wooldridge.michael-j" title="Author Profile"> Wooldridge, Michael J. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+ai%3Azuleger.florian" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/zuleger.florian" title="Author Profile"> Zuleger, Florian </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%3Amurano.aniello+se%3A1143" title="Publications in this Serial">12</a> </td> <td class="text"> <a href="/serials/?q=se%3A1143" title="Serial Profile"> Information and Computation </a> </td></tr><tr> <td class="number"> <a href="/?q=ai%3Amurano.aniello+se%3A735" title="Publications in this Serial">9</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%3Amurano.aniello+se%3A3054" title="Publications in this Serial">5</a> </td> <td class="text"> <a href="/serials/?q=se%3A3054" title="Serial Profile"> ACM Transactions on Computational Logic </a> </td></tr><tr> <td class="number"> <a href="/?q=ai%3Amurano.aniello+se%3A34" title="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> <td class="number"> <a href="/?q=ai%3Amurano.aniello+se%3A2122" title="Publications in this Serial">3</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=ai%3Amurano.aniello+se%3A2629" title="Publications in this Serial">3</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=ai%3Amurano.aniello+se%3A5003" title="Publications in this Serial">3</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=ai%3Amurano.aniello+se%3A9007" title="Publications in this Serial">3</a> </td> <td class="text"> <a href="/serials/?q=se%3A9007" title="Serial Profile"> Electronic Proceedings in Theoretical Computer Science (EPTCS) </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+se%3A12" title="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=ai%3Amurano.aniello+se%3A400" title="Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A400" title="Serial Profile"> Control and Cybernetics </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+se%3A1345" title="Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A1345" title="Serial Profile"> Journal of Logic and Computation </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+se%3A1382" title="Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A1382" title="Serial Profile"> International Journal of Foundations of Computer Science </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+se%3A1839" title="Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A1839" title="Serial Profile"> Formal Methods in System Design </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+se%3A7315" title="Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A7315" title="Serial Profile"> LIPIcs – Leibniz International Proceedings in Informatics </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%3Amurano.aniello+cc%3A68" title="Publications in this Field">87</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%3Amurano.aniello+cc%3A03" title="Publications in this Field">37</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%3Amurano.aniello+cc%3A91" title="Publications in this Field">31</a> </td> <td class="text"> <a href="/classification/?q=cc%3A91" title="Mathematics Subject Classification"> Game theory, economics, finance, and other social and behavioral sciences <span style="white-space: nowrap;">(91-XX)</span> </a> </td></tr><tr> <td class="number"> <a href="/?q=ai%3Amurano.aniello+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%3Amurano.aniello+cc%3A05" title="Publications in this Field">2</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%3Amurano.aniello+cc%3A90" title="Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A90" title="Mathematics Subject Classification"> Operations research, mathematical programming <span style="white-space: nowrap;">(90-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+cc%3A92" title="Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A92" title="Mathematics Subject Classification"> Biology and other natural sciences <span style="white-space: nowrap;">(92-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Amurano.aniello+cc%3A93" title="Publications in this Field">1</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> </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:2002, frequency:2 },{ year:2004, frequency:1 },{ year:2005, frequency:3 },{ year:2006, frequency:2 },{ year:2007, frequency:4 },{ year:2008, frequency:3 },{ year:2009, frequency:2 },{ year:2010, frequency:7 },{ year:2011, frequency:1 },{ year:2012, frequency:5 },{ year:2013, frequency:5 },{ year:2014, frequency:5 },{ year:2015, frequency:5 },{ year:2016, frequency:6 },{ year:2017, frequency:6 },{ year:2018, frequency:11 },{ year:2019, frequency:1 },{ year:2020, frequency:9 },{ year:2021, frequency:3 },{ year:2022, frequency:2 },{ year:2023, frequency:3 },{ year:2024, frequency:2 },{ 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=ai%3Amurano.aniello+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>64 Publications have been cited 461 times in <a href="/?q=ra%3Amurano.aniello">213 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="/1354.68178">Reasoning about strategies: on the model-checking problem.</a> <a class="label nowrap" href="/1354.68178">Zbl 1354.68178</a> <br><a href="/authors/mogavero.fabio" title="Author Profile">Mogavero, Fabio</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/perelli.giuseppe" title="Author Profile">Perelli, Giuseppe</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6483239">55</a> </div> </td> <td> <div class="citation_year">2014</div> </td> </tr> <tr class="pub_ci"> <td> <a class="black" href="/1245.68138">Reasoning about strategies.</a> <a class="label nowrap" href="/1245.68138">Zbl 1245.68138</a> <br><a href="/authors/mogavero.fabio" title="Author Profile">Mogavero, Fabio</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6073526">41</a> </div> </td> <td> <div class="citation_year">2010</div> </td> </tr> <tr class="pub_ci"> <td> <a class="black" href="/1365.68329">What makes <span class="zbmathjax-textsc">Atl</span>* decidable? A decidable fragment of strategy logic.</a> <a class="label nowrap" href="/1365.68329">Zbl 1365.68329</a> <br><a href="/authors/mogavero.fabio" title="Author Profile">Mogavero, Fabio</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/perelli.giuseppe" title="Author Profile">Perelli, Giuseppe</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6086178">26</a> </div> </td> <td> <div class="citation_year">2012</div> </td> </tr> <tr class="pub_ci"> <td> <a class="black" href="/1458.68113">Strategy logic with imperfect information.</a> <a class="label nowrap" href="/1458.68113">Zbl 1458.68113</a> <br><a href="/authors/berthon.raphael" title="Author Profile">Berthon, Raphaël</a>; <a href="/authors/maubert.bastien" title="Author Profile">Maubert, Bastien</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/rubin.sasha" title="Author Profile">Rubin, Sasha</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7297884">22</a> </div> </td> <td> <div class="citation_year">2017</div> </td> </tr> <tr class="pub_ci"> <td> <a class="black" href="/1350.68184">Checking interval properties of computations.</a> <a class="label nowrap" href="/1350.68184">Zbl 1350.68184</a> <br><a href="/authors/molinari.alberto" title="Author Profile">Molinari, Alberto</a>; <a href="/authors/montanari.angelo" title="Author Profile">Montanari, Angelo</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/perelli.giuseppe" title="Author Profile">Perelli, Giuseppe</a>; <a href="/authors/peron.adriano" title="Author Profile">Peron, Adriano</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6642214">20</a> </div> </td> <td> <div class="citation_year">2016</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1448.68312">Reasoning about strategies: on the satisfiability problem.</a> <a class="label nowrap" href="/1448.68312">Zbl 1448.68312</a> <br><a href="/authors/mogavero.fabio" title="Author Profile">Mogavero, Fabio</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/perelli.giuseppe" title="Author Profile">Perelli, Giuseppe</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6712185">17</a> </div> </td> <td> <div class="citation_year">2017</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1151.03016">The complexity of enriched $\mu$-calculi.</a> <a class="label nowrap" href="/1151.03016">Zbl 1151.03016</a> <br><a href="/authors/bonatti.piero-andrea" title="Author Profile">Bonatti, Piero A.</a>; <a href="/authors/lutz.carsten" title="Author Profile">Lutz, Carsten</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5365483">16</a> </div> </td> <td> <div class="citation_year">2008</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1147.68049">Enriched $\mu$-calculi module checking.</a> <a class="label nowrap" href="/1147.68049">Zbl 1147.68049</a> <br><a href="/authors/ferrante.alessandro" title="Author Profile">Ferrante, Alessandro</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/parente.mimmo" title="Author Profile">Parente, Mimmo</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5365473">13</a> </div> </td> <td> <div class="citation_year">2008</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1098.68073">Typeness for $\omega$-regular automata.</a> <a class="label nowrap" href="/1098.68073">Zbl 1098.68073</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/morgenstern.gila" title="Author Profile">Morgenstern, Gila</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5048167">11</a> </div> </td> <td> <div class="citation_year">2006</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1395.68254">Graded modalities in strategy logic.</a> <a class="label nowrap" href="/1395.68254">Zbl 1395.68254</a> <br><a href="/authors/aminof.benjamin" title="Author Profile">Aminof, Benjamin</a>; <a href="/authors/malvone.vadim" title="Author Profile">Malvone, Vadim</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/rubin.sasha" title="Author Profile">Rubin, Sasha</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6889875">11</a> </div> </td> <td> <div class="citation_year">2018</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1209.68312">Pushdown module checking.</a> <a class="label nowrap" href="/1209.68312">Zbl 1209.68312</a> <br><a href="/authors/bozzelli.laura" title="Author Profile">Bozzelli, Laura</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/peron.adriano" title="Author Profile">Peron, Adriano</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5703914">11</a> </div> </td> <td> <div class="citation_year">2010</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1367.68290">On the boundary of behavioral strategies.</a> <a class="label nowrap" href="/1367.68290">Zbl 1367.68290</a> <br><a href="/authors/mogavero.fabio" title="Author Profile">Mogavero, Fabio</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/sauro.luigi" title="Author Profile">Sauro, Luigi</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6738806">10</a> </div> </td> <td> <div class="citation_year">2013</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1366.03182">Substructure temporal logic.</a> <a class="label nowrap" href="/1366.03182">Zbl 1366.03182</a> <br><a href="/authors/benerecetti.massimo" title="Author Profile">Benerecetti, Massimo</a>; <a href="/authors/mogavero.fabio" title="Author Profile">Mogavero, Fabio</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6738817">10</a> </div> </td> <td> <div class="citation_year">2013</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1202.68222">2-visibly pushdown automata.</a> <a class="label nowrap" href="/1202.68222">Zbl 1202.68222</a> <br><a href="/authors/carotenuto.dario" title="Author Profile">Carotenuto, Dario</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/peron.adriano" title="Author Profile">Peron, Adriano</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5215369">9</a> </div> </td> <td> <div class="citation_year">2007</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1475.68475">Solving parity games using an automata-based algorithm.</a> <a class="label nowrap" href="/1475.68475">Zbl 1475.68475</a> <br><a href="/authors/di-stasio.antonio" title="Author Profile">Di Stasio, Antonio</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/perelli.giuseppe" title="Author Profile">Perelli, Giuseppe</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6650023">9</a> </div> </td> <td> <div class="citation_year">2016</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1277.68130">Improved model checking of hierarchical systems.</a> <a class="label nowrap" href="/1277.68130">Zbl 1277.68130</a> <br><a href="/authors/aminof.benjamin" title="Author Profile">Aminof, Benjamin</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6038287">9</a> </div> </td> <td> <div class="citation_year">2012</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1282.68166">Pushdown module checking with imperfect information.</a> <a class="label nowrap" href="/1282.68166">Zbl 1282.68166</a> <br><a href="/authors/aminof.benjamin" title="Author Profile">Aminof, Benjamin</a>; <a href="/authors/legay.axel" title="Author Profile">Legay, Axel</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/serre.olivier" title="Author Profile">Serre, Olivier</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6171335">9</a> </div> </td> <td> <div class="citation_year">2013</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1336.91023">On promptness in parity games.</a> <a class="label nowrap" href="/1336.91023">Zbl 1336.91023</a> <br><a href="/authors/mogavero.fabio" title="Author Profile">Mogavero, Fabio</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/sorrentino.loredana" title="Author Profile">Sorrentino, Loredana</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6579382">9</a> </div> </td> <td> <div class="citation_year">2015</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1407.68297">On promptness in parity games.</a> <a class="label nowrap" href="/1407.68297">Zbl 1407.68297</a> <br><a href="/authors/mogavero.fabio" title="Author Profile">Mogavero, Fabio</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/sorrentino.loredana" title="Author Profile">Sorrentino, Loredana</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6247462">8</a> </div> </td> <td> <div class="citation_year">2013</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1351.68153">Graded computation tree logic.</a> <a class="label nowrap" href="/1351.68153">Zbl 1351.68153</a> <br><a href="/authors/bianco.alessandro" title="Author Profile">Bianco, Alessandro</a>; <a href="/authors/mogavero.fabio" title="Author Profile">Mogavero, Fabio</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6483179">8</a> </div> </td> <td> <div class="citation_year">2012</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1390.68614">A behavioral hierarchy of strategy logic.</a> <a class="label nowrap" href="/1390.68614">Zbl 1390.68614</a> <br><a href="/authors/mogavero.fabio" title="Author Profile">Mogavero, Fabio</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/sauro.luigi" title="Author Profile">Sauro, Luigi</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6355195">7</a> </div> </td> <td> <div class="citation_year">2014</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1353.68161">Ordered multi-stack visibly pushdown automata.</a> <a class="label nowrap" href="/1353.68161">Zbl 1353.68161</a> <br><a href="/authors/carotenuto.dario" title="Author Profile">Carotenuto, Dario</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/peron.adriano" title="Author Profile">Peron, Adriano</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6655881">6</a> </div> </td> <td> <div class="citation_year">2016</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1310.68144">Relentful strategic reasoning in alternating-time temporal logic.</a> <a class="label nowrap" href="/1310.68144">Zbl 1310.68144</a> <br><a href="/authors/mogavero.fabio" title="Author Profile">Mogavero, Fabio</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5834049">6</a> </div> </td> <td> <div class="citation_year">2010</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1143.68446">Pushdown module checking.</a> <a class="label nowrap" href="/1143.68446">Zbl 1143.68446</a> <br><a href="/authors/bozzelli.laura" title="Author Profile">Bozzelli, Laura</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/peron.adriano" title="Author Profile">Peron, Adriano</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5279545">6</a> </div> </td> <td> <div class="citation_year">2005</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1354.03019">Reasoning about substructures and games.</a> <a class="label nowrap" href="/1354.03019">Zbl 1354.03019</a> <br><a href="/authors/benerecetti.massimo" title="Author Profile">Benerecetti, Massimo</a>; <a href="/authors/mogavero.fabio" title="Author Profile">Mogavero, Fabio</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6678794">6</a> </div> </td> <td> <div class="citation_year">2015</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1182.68124">Program complexity in hierarchical module checking.</a> <a class="label nowrap" href="/1182.68124">Zbl 1182.68124</a> <br><a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/napoli.margherita" title="Author Profile">Napoli, Margherita</a>; <a href="/authors/parente.mimmo" title="Author Profile">Parente, Mimmo</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5498351">5</a> </div> </td> <td> <div class="citation_year">2008</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1395.68255">Practical verification of multi-agent systems against <span class="zbmathjax-textsc">Slk</span> specifications.</a> <a class="label nowrap" href="/1395.68255">Zbl 1395.68255</a> <br><a href="/authors/cermak.petr" title="Author Profile">Čermák, Petr</a>; <a href="/authors/lomuscio.alessio" title="Author Profile">Lomuscio, Alessio</a>; <a href="/authors/mogavero.fabio" title="Author Profile">Mogavero, Fabio</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6889872">5</a> </div> </td> <td> <div class="citation_year">2018</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1133.68374">The complexity of enriched $\mu$-calculi.</a> <a class="label nowrap" href="/1133.68374">Zbl 1133.68374</a> <br><a href="/authors/bonatti.piero-andrea" title="Author Profile">Bonatti, Piero A.</a>; <a href="/authors/lutz.carsten" title="Author Profile">Lutz, Carsten</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5189693">5</a> </div> </td> <td> <div class="citation_year">2006</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1235.05093">Exploring the boundary of half-positionality.</a> <a class="label nowrap" href="/1235.05093">Zbl 1235.05093</a> <br><a href="/authors/bianco.alessandro" title="Author Profile">Bianco, Alessandro</a>; <a href="/authors/faella.marco" title="Author Profile">Faella, Marco</a>; <a href="/authors/mogavero.fabio" title="Author Profile">Mogavero, Fabio</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5997541">5</a> </div> </td> <td> <div class="citation_year">2011</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1528.68212">Timed context-free temporal logics.</a> <a class="label nowrap" href="/1528.68212">Zbl 1528.68212</a> <br><a href="/authors/bozzelli.laura" title="Author Profile">Bozzelli, Laura</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/peron.adriano" title="Author Profile">Peron, Adriano</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7447746">5</a> </div> </td> <td> <div class="citation_year">2018</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1057.68057">Automata-theoretic decision of timed games.</a> <a class="label nowrap" href="/1057.68057">Zbl 1057.68057</a> <br><a href="/authors/faella.marco" title="Author Profile">Faella, Marco</a>; <a href="/authors/la-torre.salvatore" title="Author Profile">La Torre, Salvatore</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A2086509">4</a> </div> </td> <td> <div class="citation_year">2002</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1464.68367">Dynamic epistemic logic games with epistemic temporal goals.</a> <a class="label nowrap" href="/1464.68367">Zbl 1464.68367</a> <br><a href="/authors/maubert.bastien" title="Author Profile">Maubert, Bastien</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/pinchinat.sophie" title="Author Profile">Pinchinat, Sophie</a>; <a href="/authors/schwarzentruber.francois" title="Author Profile">Schwarzentruber, Francois</a>; <a href="/authors/stranieri.silvia" title="Author Profile">Stranieri, Silvia</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7368354">4</a> </div> </td> <td> <div class="citation_year">2020</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1483.68193">Equilibria for games with combined qualitative and quantitative objectives.</a> <a class="label nowrap" href="/1483.68193">Zbl 1483.68193</a> <br><a href="/authors/gutierrez.julian" title="Author Profile">Gutierrez, Julian</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/perelli.giuseppe" title="Author Profile">Perelli, Giuseppe</a>; <a href="/authors/rubin.sasha" title="Author Profile">Rubin, Sasha</a>; <a href="/authors/steeples.thomas" title="Author Profile">Steeples, Thomas</a>; <a href="/authors/wooldridge.michael-j" title="Author Profile">Wooldridge, Michael</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7445203">4</a> </div> </td> <td> <div class="citation_year">2021</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1451.68290">Verification of multi-agent systems with public actions against strategy logic.</a> <a class="label nowrap" href="/1451.68290">Zbl 1451.68290</a> <br><a href="/authors/belardinelli.francesco" title="Author Profile">Belardinelli, Francesco</a>; <a href="/authors/lomuscio.alessio" title="Author Profile">Lomuscio, Alessio</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/rubin.sasha" title="Author Profile">Rubin, Sasha</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7229001">4</a> </div> </td> <td> <div class="citation_year">2020</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1390.68612">Reasoning about graded strategy quantifiers.</a> <a class="label nowrap" href="/1390.68612">Zbl 1390.68612</a> <br><a href="/authors/malvone.vadim" title="Author Profile">Malvone, Vadim</a>; <a href="/authors/mogavero.fabio" title="Author Profile">Mogavero, Fabio</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/sorrentino.loredana" title="Author Profile">Sorrentino, Loredana</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6851698">4</a> </div> </td> <td> <div class="citation_year">2018</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/07713582">Reasoning about quality and fuzziness of strategic behaviors.</a> <a class="label nowrap" href="/7713582">Zbl 07713582</a> <br><a href="/authors/bouyer.patricia" title="Author Profile">Bouyer, Patricia</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/markey.nicolas" title="Author Profile">Markey, Nicolas</a>; <a href="/authors/maubert.bastien" title="Author Profile">Maubert, Bastien</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/perelli.giuseppe" title="Author Profile">Perelli, Giuseppe</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7713582">4</a> </div> </td> <td> <div class="citation_year">2023</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1483.03015">Prompt interval temporal logic.</a> <a class="label nowrap" href="/1483.03015">Zbl 1483.03015</a> <br><a href="/authors/della-monica.dario" title="Author Profile">Della Monica, Dario</a>; <a href="/authors/montanari.angelo" title="Author Profile">Montanari, Angelo</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/sala.pietro" title="Author Profile">Sala, Pietro</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6658162">3</a> </div> </td> <td> <div class="citation_year">2016</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1509.68347">Solving parity games: explicit vs symbolic.</a> <a class="label nowrap" href="/1509.68347">Zbl 1509.68347</a> <br><a href="/authors/di-stasio.antonio" title="Author Profile">Di Stasio, Antonio</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6974631">3</a> </div> </td> <td> <div class="citation_year">2018</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1108.68070">Typeness for $\omega$-regular automata.</a> <a class="label nowrap" href="/1108.68070">Zbl 1108.68070</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/morgenstern.gila" title="Author Profile">Morgenstern, Gila</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5067796">3</a> </div> </td> <td> <div class="citation_year">2004</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1471.68126">On CTL* with graded path modalities.</a> <a class="label nowrap" href="/1471.68126">Zbl 1471.68126</a> <br><a href="/authors/aminof.benjamin" title="Author Profile">Aminof, Benjamin</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/rubin.sasha" title="Author Profile">Rubin, Sasha</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6528788">3</a> </div> </td> <td> <div class="citation_year">2015</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1504.68096">Event-clock nested automata.</a> <a class="label nowrap" href="/1504.68096">Zbl 1504.68096</a> <br><a href="/authors/bozzelli.laura" title="Author Profile">Bozzelli, Laura</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/peron.adriano" title="Author Profile">Peron, Adriano</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6894741">3</a> </div> </td> <td> <div class="citation_year">2018</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1507.68184">Improving parity games in practice.</a> <a class="label nowrap" href="/1507.68184">Zbl 1507.68184</a> <br><a href="/authors/di-stasio.antonio" title="Author Profile">Di Stasio, Antonio</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/prignano.vincenzo" title="Author Profile">Prignano, Vincenzo</a>; <a href="/authors/sorrentino.loredana" title="Author Profile">Sorrentino, Loredana</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7377237">2</a> </div> </td> <td> <div class="citation_year">2021</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1433.03050">Alternating-time temporal logics with linear past.</a> <a class="label nowrap" href="/1433.03050">Zbl 1433.03050</a> <br><a href="/authors/bozzelli.laura" title="Author Profile">Bozzelli, Laura</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/sorrentino.loredana" title="Author Profile">Sorrentino, Loredana</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7191315">2</a> </div> </td> <td> <div class="citation_year">2020</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1436.68197">Model-checking graded computation-tree logic with finite path semantics.</a> <a class="label nowrap" href="/1436.68197">Zbl 1436.68197</a> <br><a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/parente.mimmo" title="Author Profile">Parente, Mimmo</a>; <a href="/authors/rubin.sasha" title="Author Profile">Rubin, Sasha</a>; <a href="/authors/sorrentino.loredana" title="Author Profile">Sorrentino, Loredana</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7152280">2</a> </div> </td> <td> <div class="citation_year">2020</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1483.68187">On the complexity of $\mathsf{ATL}$ and $\mathsf{ATL}^*$ module checking.</a> <a class="label nowrap" href="/1483.68187">Zbl 1483.68187</a> <br><a href="/authors/bozzelli.laura" title="Author Profile">Bozzelli, Laura</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7445172">2</a> </div> </td> <td> <div class="citation_year">2017</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1386.91035">Additional winning strategies in reachability games.</a> <a class="label nowrap" href="/1386.91035">Zbl 1386.91035</a> <br><a href="/authors/malvone.vadim" title="Author Profile">Malvone, Vadim</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/sorrentino.loredana" title="Author Profile">Sorrentino, Loredana</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6866097">2</a> </div> </td> <td> <div class="citation_year">2018</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1407.03028">CTL$^\ast$ with graded path modalities.</a> <a class="label nowrap" href="/1407.03028">Zbl 1407.03028</a> <br><a href="/authors/aminof.benjamin" title="Author Profile">Aminof, Benjamin</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/rubin.sasha" title="Author Profile">Rubin, Sasha</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6944929">2</a> </div> </td> <td> <div class="citation_year">2018</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1287.68102">Graded computation tree logic with binary coding.</a> <a class="label nowrap" href="/1287.68102">Zbl 1287.68102</a> <br><a href="/authors/bianco.alessandro" title="Author Profile">Bianco, Alessandro</a>; <a href="/authors/mogavero.fabio" title="Author Profile">Mogavero, Fabio</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5779242">2</a> </div> </td> <td> <div class="citation_year">2010</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1354.68257">Relentful strategic reasoning in alternating-time temporal logic.</a> <a class="label nowrap" href="/1354.68257">Zbl 1354.68257</a> <br><a href="/authors/mogavero.fabio" title="Author Profile">Mogavero, Fabio</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6679288">2</a> </div> </td> <td> <div class="citation_year">2016</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1478.68158">Cycle detection in computation tree logic.</a> <a class="label nowrap" href="/1478.68158">Zbl 1478.68158</a> <br><a href="/authors/fontaine.gaelle" title="Author Profile">Fontaine, Gaëlle</a>; <a href="/authors/mogavero.fabio" title="Author Profile">Mogavero, Fabio</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/perelli.giuseppe" title="Author Profile">Perelli, Giuseppe</a>; <a href="/authors/sorrentino.loredana" title="Author Profile">Sorrentino, Loredana</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7439738">2</a> </div> </td> <td> <div class="citation_year">2016</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1515.68109">Evaluation of temporal datasets via interval temporal logic model checking.</a> <a class="label nowrap" href="/1515.68109">Zbl 1515.68109</a> <br><a href="/authors/della-monica.dario" title="Author Profile">Della Monica, Dario</a>; <a href="/authors/de-frutos-escrig.david" title="Author Profile">de Frutos-Escrig, David</a>; <a href="/authors/montanari.angelo" title="Author Profile">Montanari, Angelo</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/sciavicco.guido" title="Author Profile">Sciavicco, Guido</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7649996">2</a> </div> </td> <td> <div class="citation_year">2017</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1528.68218">Quantifying bounds in strategy logic.</a> <a class="label nowrap" href="/1528.68218">Zbl 1528.68218</a> <br><a href="/authors/fijalkow.nathanael" title="Author Profile">Fijalkow, Nathanaël</a>; <a href="/authors/maubert.bastien" title="Author Profile">Maubert, Bastien</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/rubin.sasha" title="Author Profile">Rubin, Sasha</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7533348">2</a> </div> </td> <td> <div class="citation_year">2018</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1151.68468">Pushdown module checking with imperfect information.</a> <a class="label nowrap" href="/1151.68468">Zbl 1151.68468</a> <br><a href="/authors/aminof.benjamin" title="Author Profile">Aminof, Benjamin</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5344942">1</a> </div> </td> <td> <div class="citation_year">2007</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1247.03026">Branching-time temporal logics with minimal model quantifiers.</a> <a class="label nowrap" href="/1247.03026">Zbl 1247.03026</a> <br><a href="/authors/mogavero.fabio" title="Author Profile">Mogavero, Fabio</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5576374">1</a> </div> </td> <td> <div class="citation_year">2009</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1195.68066">Enriched $\mu $-calculi module checking.</a> <a class="label nowrap" href="/1195.68066">Zbl 1195.68066</a> <br><a href="/authors/ferrante.alessandro" title="Author Profile">Ferrante, Alessandro</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5188978">1</a> </div> </td> <td> <div class="citation_year">2007</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1109.68057">Reasoning about co-Büchi tree automata.</a> <a class="label nowrap" href="/1109.68057">Zbl 1109.68057</a> <br><a href="/authors/la-torre.salvatore" title="Author Profile">La Torre, Salvatore</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A2234623">1</a> </div> </td> <td> <div class="citation_year">2005</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1478.68385">Natural strategic ability.</a> <a class="label nowrap" href="/1478.68385">Zbl 1478.68385</a> <br><a href="/authors/jamroga.wojciech" title="Author Profile">Jamroga, Wojciech</a>; <a href="/authors/malvone.vadim" title="Author Profile">Malvone, Vadim</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7153684">1</a> </div> </td> <td> <div class="citation_year">2019</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1392.68016">Third international symposium on games, automata, logics and formal verification, Napoli, Italy, September 6–8, 2012. Proceedings.</a> <a class="label nowrap" href="/1392.68016">Zbl 1392.68016</a> <br></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6904778">1</a> </div> </td> <td> <div class="citation_year">2012</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1250.05061">Balanced paths in colored graphs.</a> <a class="label nowrap" href="/1250.05061">Zbl 1250.05061</a> <br><a href="/authors/bianco.alessandro" title="Author Profile">Bianco, Alessandro</a>; <a href="/authors/faella.marco" title="Author Profile">Faella, Marco</a>; <a href="/authors/mogavero.fabio" title="Author Profile">Mogavero, Fabio</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5617263">1</a> </div> </td> <td> <div class="citation_year">2009</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1243.68099">Quantitatively fair scheduling.</a> <a class="label nowrap" href="/1243.68099">Zbl 1243.68099</a> <br><a href="/authors/bianco.alessandro" title="Author Profile">Bianco, Alessandro</a>; <a href="/authors/faella.marco" title="Author Profile">Faella, Marco</a>; <a href="/authors/mogavero.fabio" title="Author Profile">Mogavero, Fabio</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6014293">1</a> </div> </td> <td> <div class="citation_year">2012</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1335.92008">Dynamic network functional comparison via approximate-bisimulation.</a> <a class="label nowrap" href="/1335.92008">Zbl 1335.92008</a> <br><a href="/authors/donnarumma.francesco" title="Author Profile">Donnarumma, Francesco</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/prevete.roberto" title="Author Profile">Prevete, Roberto</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6520259">1</a> </div> </td> <td> <div class="citation_year">2015</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1515.68201">Hierarchical cost-parity games.</a> <a class="label nowrap" href="/1515.68201">Zbl 1515.68201</a> <br><a href="/authors/bozzelli.laura" title="Author Profile">Bozzelli, Laura</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/perelli.giuseppe" title="Author Profile">Perelli, Giuseppe</a>; <a href="/authors/sorrentino.loredana" title="Author Profile">Sorrentino, Loredana</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7649991">1</a> </div> </td> <td> <div class="citation_year">2017</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/07855161">Robust alternating-time temporal logic.</a> <a class="label nowrap" href="/7855161">Zbl 07855161</a> <br><a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/neider.daniel" title="Author Profile">Neider, Daniel</a>; <a href="/authors/zimmermann.martin" title="Author Profile">Zimmermann, Martin</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7855161">1</a> </div> </td> <td> <div class="citation_year">2023</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1528.68213">Context-free timed formalisms: robust automata and linear temporal logics.</a> <a class="label nowrap" href="/1528.68213">Zbl 1528.68213</a> <br><a href="/authors/bozzelli.laura" title="Author Profile">Bozzelli, Laura</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/peron.adriano" title="Author Profile">Peron, Adriano</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7488446">1</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py"> <td> <a class="black" href="/07713582">Reasoning about quality and fuzziness of strategic behaviors.</a> <a class="label nowrap" href="/7713582">Zbl 07713582</a> <br><a href="/authors/bouyer.patricia" title="Author Profile">Bouyer, Patricia</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/markey.nicolas" title="Author Profile">Markey, Nicolas</a>; <a href="/authors/maubert.bastien" title="Author Profile">Maubert, Bastien</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/perelli.giuseppe" title="Author Profile">Perelli, Giuseppe</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7713582">4</a> </div> </td> <td> <div class="citation_year">2023</div> </td> </tr> <tr class="pub_py"> <td> <a class="black" href="/07855161">Robust alternating-time temporal logic.</a> <a class="label nowrap" href="/7855161">Zbl 07855161</a> <br><a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/neider.daniel" title="Author Profile">Neider, Daniel</a>; <a href="/authors/zimmermann.martin" title="Author Profile">Zimmermann, Martin</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7855161">1</a> </div> </td> <td> <div class="citation_year">2023</div> </td> </tr> <tr class="pub_py"> <td> <a class="black" href="/1528.68213">Context-free timed formalisms: robust automata and linear temporal logics.</a> <a class="label nowrap" href="/1528.68213">Zbl 1528.68213</a> <br><a href="/authors/bozzelli.laura" title="Author Profile">Bozzelli, Laura</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/peron.adriano" title="Author Profile">Peron, Adriano</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7488446">1</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py"> <td> <a class="black" href="/1483.68193">Equilibria for games with combined qualitative and quantitative objectives.</a> <a class="label nowrap" href="/1483.68193">Zbl 1483.68193</a> <br><a href="/authors/gutierrez.julian" title="Author Profile">Gutierrez, Julian</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/perelli.giuseppe" title="Author Profile">Perelli, Giuseppe</a>; <a href="/authors/rubin.sasha" title="Author Profile">Rubin, Sasha</a>; <a href="/authors/steeples.thomas" title="Author Profile">Steeples, Thomas</a>; <a href="/authors/wooldridge.michael-j" title="Author Profile">Wooldridge, Michael</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7445203">4</a> </div> </td> <td> <div class="citation_year">2021</div> </td> </tr> <tr class="pub_py"> <td> <a class="black" href="/1507.68184">Improving parity games in practice.</a> <a class="label nowrap" href="/1507.68184">Zbl 1507.68184</a> <br><a href="/authors/di-stasio.antonio" title="Author Profile">Di Stasio, Antonio</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/prignano.vincenzo" title="Author Profile">Prignano, Vincenzo</a>; <a href="/authors/sorrentino.loredana" title="Author Profile">Sorrentino, Loredana</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7377237">2</a> </div> </td> <td> <div class="citation_year">2021</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1464.68367">Dynamic epistemic logic games with epistemic temporal goals.</a> <a class="label nowrap" href="/1464.68367">Zbl 1464.68367</a> <br><a href="/authors/maubert.bastien" title="Author Profile">Maubert, Bastien</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/pinchinat.sophie" title="Author Profile">Pinchinat, Sophie</a>; <a href="/authors/schwarzentruber.francois" title="Author Profile">Schwarzentruber, Francois</a>; <a href="/authors/stranieri.silvia" title="Author Profile">Stranieri, Silvia</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7368354">4</a> </div> </td> <td> <div class="citation_year">2020</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1451.68290">Verification of multi-agent systems with public actions against strategy logic.</a> <a class="label nowrap" href="/1451.68290">Zbl 1451.68290</a> <br><a href="/authors/belardinelli.francesco" title="Author Profile">Belardinelli, Francesco</a>; <a href="/authors/lomuscio.alessio" title="Author Profile">Lomuscio, Alessio</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/rubin.sasha" title="Author Profile">Rubin, Sasha</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7229001">4</a> </div> </td> <td> <div class="citation_year">2020</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1433.03050">Alternating-time temporal logics with linear past.</a> <a class="label nowrap" href="/1433.03050">Zbl 1433.03050</a> <br><a href="/authors/bozzelli.laura" title="Author Profile">Bozzelli, Laura</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/sorrentino.loredana" title="Author Profile">Sorrentino, Loredana</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7191315">2</a> </div> </td> <td> <div class="citation_year">2020</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1436.68197">Model-checking graded computation-tree logic with finite path semantics.</a> <a class="label nowrap" href="/1436.68197">Zbl 1436.68197</a> <br><a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/parente.mimmo" title="Author Profile">Parente, Mimmo</a>; <a href="/authors/rubin.sasha" title="Author Profile">Rubin, Sasha</a>; <a href="/authors/sorrentino.loredana" title="Author Profile">Sorrentino, Loredana</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7152280">2</a> </div> </td> <td> <div class="citation_year">2020</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1478.68385">Natural strategic ability.</a> <a class="label nowrap" href="/1478.68385">Zbl 1478.68385</a> <br><a href="/authors/jamroga.wojciech" title="Author Profile">Jamroga, Wojciech</a>; <a href="/authors/malvone.vadim" title="Author Profile">Malvone, Vadim</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7153684">1</a> </div> </td> <td> <div class="citation_year">2019</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1395.68254">Graded modalities in strategy logic.</a> <a class="label nowrap" href="/1395.68254">Zbl 1395.68254</a> <br><a href="/authors/aminof.benjamin" title="Author Profile">Aminof, Benjamin</a>; <a href="/authors/malvone.vadim" title="Author Profile">Malvone, Vadim</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/rubin.sasha" title="Author Profile">Rubin, Sasha</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6889875">11</a> </div> </td> <td> <div class="citation_year">2018</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1395.68255">Practical verification of multi-agent systems against <span class="zbmathjax-textsc">Slk</span> specifications.</a> <a class="label nowrap" href="/1395.68255">Zbl 1395.68255</a> <br><a href="/authors/cermak.petr" title="Author Profile">Čermák, Petr</a>; <a href="/authors/lomuscio.alessio" title="Author Profile">Lomuscio, Alessio</a>; <a href="/authors/mogavero.fabio" title="Author Profile">Mogavero, Fabio</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6889872">5</a> </div> </td> <td> <div class="citation_year">2018</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1528.68212">Timed context-free temporal logics.</a> <a class="label nowrap" href="/1528.68212">Zbl 1528.68212</a> <br><a href="/authors/bozzelli.laura" title="Author Profile">Bozzelli, Laura</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/peron.adriano" title="Author Profile">Peron, Adriano</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7447746">5</a> </div> </td> <td> <div class="citation_year">2018</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1390.68612">Reasoning about graded strategy quantifiers.</a> <a class="label nowrap" href="/1390.68612">Zbl 1390.68612</a> <br><a href="/authors/malvone.vadim" title="Author Profile">Malvone, Vadim</a>; <a href="/authors/mogavero.fabio" title="Author Profile">Mogavero, Fabio</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/sorrentino.loredana" title="Author Profile">Sorrentino, Loredana</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6851698">4</a> </div> </td> <td> <div class="citation_year">2018</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1509.68347">Solving parity games: explicit vs symbolic.</a> <a class="label nowrap" href="/1509.68347">Zbl 1509.68347</a> <br><a href="/authors/di-stasio.antonio" title="Author Profile">Di Stasio, Antonio</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6974631">3</a> </div> </td> <td> <div class="citation_year">2018</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1504.68096">Event-clock nested automata.</a> <a class="label nowrap" href="/1504.68096">Zbl 1504.68096</a> <br><a href="/authors/bozzelli.laura" title="Author Profile">Bozzelli, Laura</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/peron.adriano" title="Author Profile">Peron, Adriano</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6894741">3</a> </div> </td> <td> <div class="citation_year">2018</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1386.91035">Additional winning strategies in reachability games.</a> <a class="label nowrap" href="/1386.91035">Zbl 1386.91035</a> <br><a href="/authors/malvone.vadim" title="Author Profile">Malvone, Vadim</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/sorrentino.loredana" title="Author Profile">Sorrentino, Loredana</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6866097">2</a> </div> </td> <td> <div class="citation_year">2018</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1407.03028">CTL$^\ast$ with graded path modalities.</a> <a class="label nowrap" href="/1407.03028">Zbl 1407.03028</a> <br><a href="/authors/aminof.benjamin" title="Author Profile">Aminof, Benjamin</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/rubin.sasha" title="Author Profile">Rubin, Sasha</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6944929">2</a> </div> </td> <td> <div class="citation_year">2018</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1528.68218">Quantifying bounds in strategy logic.</a> <a class="label nowrap" href="/1528.68218">Zbl 1528.68218</a> <br><a href="/authors/fijalkow.nathanael" title="Author Profile">Fijalkow, Nathanaël</a>; <a href="/authors/maubert.bastien" title="Author Profile">Maubert, Bastien</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/rubin.sasha" title="Author Profile">Rubin, Sasha</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7533348">2</a> </div> </td> <td> <div class="citation_year">2018</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1458.68113">Strategy logic with imperfect information.</a> <a class="label nowrap" href="/1458.68113">Zbl 1458.68113</a> <br><a href="/authors/berthon.raphael" title="Author Profile">Berthon, Raphaël</a>; <a href="/authors/maubert.bastien" title="Author Profile">Maubert, Bastien</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/rubin.sasha" title="Author Profile">Rubin, Sasha</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7297884">22</a> </div> </td> <td> <div class="citation_year">2017</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1448.68312">Reasoning about strategies: on the satisfiability problem.</a> <a class="label nowrap" href="/1448.68312">Zbl 1448.68312</a> <br><a href="/authors/mogavero.fabio" title="Author Profile">Mogavero, Fabio</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/perelli.giuseppe" title="Author Profile">Perelli, Giuseppe</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6712185">17</a> </div> </td> <td> <div class="citation_year">2017</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1483.68187">On the complexity of $\mathsf{ATL}$ and $\mathsf{ATL}^*$ module checking.</a> <a class="label nowrap" href="/1483.68187">Zbl 1483.68187</a> <br><a href="/authors/bozzelli.laura" title="Author Profile">Bozzelli, Laura</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7445172">2</a> </div> </td> <td> <div class="citation_year">2017</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1515.68109">Evaluation of temporal datasets via interval temporal logic model checking.</a> <a class="label nowrap" href="/1515.68109">Zbl 1515.68109</a> <br><a href="/authors/della-monica.dario" title="Author Profile">Della Monica, Dario</a>; <a href="/authors/de-frutos-escrig.david" title="Author Profile">de Frutos-Escrig, David</a>; <a href="/authors/montanari.angelo" title="Author Profile">Montanari, Angelo</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/sciavicco.guido" title="Author Profile">Sciavicco, Guido</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7649996">2</a> </div> </td> <td> <div class="citation_year">2017</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1515.68201">Hierarchical cost-parity games.</a> <a class="label nowrap" href="/1515.68201">Zbl 1515.68201</a> <br><a href="/authors/bozzelli.laura" title="Author Profile">Bozzelli, Laura</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/perelli.giuseppe" title="Author Profile">Perelli, Giuseppe</a>; <a href="/authors/sorrentino.loredana" title="Author Profile">Sorrentino, Loredana</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7649991">1</a> </div> </td> <td> <div class="citation_year">2017</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1350.68184">Checking interval properties of computations.</a> <a class="label nowrap" href="/1350.68184">Zbl 1350.68184</a> <br><a href="/authors/molinari.alberto" title="Author Profile">Molinari, Alberto</a>; <a href="/authors/montanari.angelo" title="Author Profile">Montanari, Angelo</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/perelli.giuseppe" title="Author Profile">Perelli, Giuseppe</a>; <a href="/authors/peron.adriano" title="Author Profile">Peron, Adriano</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6642214">20</a> </div> </td> <td> <div class="citation_year">2016</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1475.68475">Solving parity games using an automata-based algorithm.</a> <a class="label nowrap" href="/1475.68475">Zbl 1475.68475</a> <br><a href="/authors/di-stasio.antonio" title="Author Profile">Di Stasio, Antonio</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/perelli.giuseppe" title="Author Profile">Perelli, Giuseppe</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6650023">9</a> </div> </td> <td> <div class="citation_year">2016</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1353.68161">Ordered multi-stack visibly pushdown automata.</a> <a class="label nowrap" href="/1353.68161">Zbl 1353.68161</a> <br><a href="/authors/carotenuto.dario" title="Author Profile">Carotenuto, Dario</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/peron.adriano" title="Author Profile">Peron, Adriano</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6655881">6</a> </div> </td> <td> <div class="citation_year">2016</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1483.03015">Prompt interval temporal logic.</a> <a class="label nowrap" href="/1483.03015">Zbl 1483.03015</a> <br><a href="/authors/della-monica.dario" title="Author Profile">Della Monica, Dario</a>; <a href="/authors/montanari.angelo" title="Author Profile">Montanari, Angelo</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/sala.pietro" title="Author Profile">Sala, Pietro</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6658162">3</a> </div> </td> <td> <div class="citation_year">2016</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1354.68257">Relentful strategic reasoning in alternating-time temporal logic.</a> <a class="label nowrap" href="/1354.68257">Zbl 1354.68257</a> <br><a href="/authors/mogavero.fabio" title="Author Profile">Mogavero, Fabio</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6679288">2</a> </div> </td> <td> <div class="citation_year">2016</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1478.68158">Cycle detection in computation tree logic.</a> <a class="label nowrap" href="/1478.68158">Zbl 1478.68158</a> <br><a href="/authors/fontaine.gaelle" title="Author Profile">Fontaine, Gaëlle</a>; <a href="/authors/mogavero.fabio" title="Author Profile">Mogavero, Fabio</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/perelli.giuseppe" title="Author Profile">Perelli, Giuseppe</a>; <a href="/authors/sorrentino.loredana" title="Author Profile">Sorrentino, Loredana</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7439738">2</a> </div> </td> <td> <div class="citation_year">2016</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1336.91023">On promptness in parity games.</a> <a class="label nowrap" href="/1336.91023">Zbl 1336.91023</a> <br><a href="/authors/mogavero.fabio" title="Author Profile">Mogavero, Fabio</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/sorrentino.loredana" title="Author Profile">Sorrentino, Loredana</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6579382">9</a> </div> </td> <td> <div class="citation_year">2015</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1354.03019">Reasoning about substructures and games.</a> <a class="label nowrap" href="/1354.03019">Zbl 1354.03019</a> <br><a href="/authors/benerecetti.massimo" title="Author Profile">Benerecetti, Massimo</a>; <a href="/authors/mogavero.fabio" title="Author Profile">Mogavero, Fabio</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6678794">6</a> </div> </td> <td> <div class="citation_year">2015</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1471.68126">On CTL* with graded path modalities.</a> <a class="label nowrap" href="/1471.68126">Zbl 1471.68126</a> <br><a href="/authors/aminof.benjamin" title="Author Profile">Aminof, Benjamin</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/rubin.sasha" title="Author Profile">Rubin, Sasha</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6528788">3</a> </div> </td> <td> <div class="citation_year">2015</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1335.92008">Dynamic network functional comparison via approximate-bisimulation.</a> <a class="label nowrap" href="/1335.92008">Zbl 1335.92008</a> <br><a href="/authors/donnarumma.francesco" title="Author Profile">Donnarumma, Francesco</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/prevete.roberto" title="Author Profile">Prevete, Roberto</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6520259">1</a> </div> </td> <td> <div class="citation_year">2015</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1354.68178">Reasoning about strategies: on the model-checking problem.</a> <a class="label nowrap" href="/1354.68178">Zbl 1354.68178</a> <br><a href="/authors/mogavero.fabio" title="Author Profile">Mogavero, Fabio</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/perelli.giuseppe" title="Author Profile">Perelli, Giuseppe</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6483239">55</a> </div> </td> <td> <div class="citation_year">2014</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1390.68614">A behavioral hierarchy of strategy logic.</a> <a class="label nowrap" href="/1390.68614">Zbl 1390.68614</a> <br><a href="/authors/mogavero.fabio" title="Author Profile">Mogavero, Fabio</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/sauro.luigi" title="Author Profile">Sauro, Luigi</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6355195">7</a> </div> </td> <td> <div class="citation_year">2014</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1367.68290">On the boundary of behavioral strategies.</a> <a class="label nowrap" href="/1367.68290">Zbl 1367.68290</a> <br><a href="/authors/mogavero.fabio" title="Author Profile">Mogavero, Fabio</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/sauro.luigi" title="Author Profile">Sauro, Luigi</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6738806">10</a> </div> </td> <td> <div class="citation_year">2013</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1366.03182">Substructure temporal logic.</a> <a class="label nowrap" href="/1366.03182">Zbl 1366.03182</a> <br><a href="/authors/benerecetti.massimo" title="Author Profile">Benerecetti, Massimo</a>; <a href="/authors/mogavero.fabio" title="Author Profile">Mogavero, Fabio</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6738817">10</a> </div> </td> <td> <div class="citation_year">2013</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1282.68166">Pushdown module checking with imperfect information.</a> <a class="label nowrap" href="/1282.68166">Zbl 1282.68166</a> <br><a href="/authors/aminof.benjamin" title="Author Profile">Aminof, Benjamin</a>; <a href="/authors/legay.axel" title="Author Profile">Legay, Axel</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/serre.olivier" title="Author Profile">Serre, Olivier</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6171335">9</a> </div> </td> <td> <div class="citation_year">2013</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1407.68297">On promptness in parity games.</a> <a class="label nowrap" href="/1407.68297">Zbl 1407.68297</a> <br><a href="/authors/mogavero.fabio" title="Author Profile">Mogavero, Fabio</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/sorrentino.loredana" title="Author Profile">Sorrentino, Loredana</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6247462">8</a> </div> </td> <td> <div class="citation_year">2013</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1365.68329">What makes <span class="zbmathjax-textsc">Atl</span>* decidable? A decidable fragment of strategy logic.</a> <a class="label nowrap" href="/1365.68329">Zbl 1365.68329</a> <br><a href="/authors/mogavero.fabio" title="Author Profile">Mogavero, Fabio</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/perelli.giuseppe" title="Author Profile">Perelli, Giuseppe</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6086178">26</a> </div> </td> <td> <div class="citation_year">2012</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1277.68130">Improved model checking of hierarchical systems.</a> <a class="label nowrap" href="/1277.68130">Zbl 1277.68130</a> <br><a href="/authors/aminof.benjamin" title="Author Profile">Aminof, Benjamin</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6038287">9</a> </div> </td> <td> <div class="citation_year">2012</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1351.68153">Graded computation tree logic.</a> <a class="label nowrap" href="/1351.68153">Zbl 1351.68153</a> <br><a href="/authors/bianco.alessandro" title="Author Profile">Bianco, Alessandro</a>; <a href="/authors/mogavero.fabio" title="Author Profile">Mogavero, Fabio</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6483179">8</a> </div> </td> <td> <div class="citation_year">2012</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1392.68016">Third international symposium on games, automata, logics and formal verification, Napoli, Italy, September 6–8, 2012. Proceedings.</a> <a class="label nowrap" href="/1392.68016">Zbl 1392.68016</a> <br></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6904778">1</a> </div> </td> <td> <div class="citation_year">2012</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1243.68099">Quantitatively fair scheduling.</a> <a class="label nowrap" href="/1243.68099">Zbl 1243.68099</a> <br><a href="/authors/bianco.alessandro" title="Author Profile">Bianco, Alessandro</a>; <a href="/authors/faella.marco" title="Author Profile">Faella, Marco</a>; <a href="/authors/mogavero.fabio" title="Author Profile">Mogavero, Fabio</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6014293">1</a> </div> </td> <td> <div class="citation_year">2012</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1235.05093">Exploring the boundary of half-positionality.</a> <a class="label nowrap" href="/1235.05093">Zbl 1235.05093</a> <br><a href="/authors/bianco.alessandro" title="Author Profile">Bianco, Alessandro</a>; <a href="/authors/faella.marco" title="Author Profile">Faella, Marco</a>; <a href="/authors/mogavero.fabio" title="Author Profile">Mogavero, Fabio</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5997541">5</a> </div> </td> <td> <div class="citation_year">2011</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1245.68138">Reasoning about strategies.</a> <a class="label nowrap" href="/1245.68138">Zbl 1245.68138</a> <br><a href="/authors/mogavero.fabio" title="Author Profile">Mogavero, Fabio</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6073526">41</a> </div> </td> <td> <div class="citation_year">2010</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1209.68312">Pushdown module checking.</a> <a class="label nowrap" href="/1209.68312">Zbl 1209.68312</a> <br><a href="/authors/bozzelli.laura" title="Author Profile">Bozzelli, Laura</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/peron.adriano" title="Author Profile">Peron, Adriano</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5703914">11</a> </div> </td> <td> <div class="citation_year">2010</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1310.68144">Relentful strategic reasoning in alternating-time temporal logic.</a> <a class="label nowrap" href="/1310.68144">Zbl 1310.68144</a> <br><a href="/authors/mogavero.fabio" title="Author Profile">Mogavero, Fabio</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5834049">6</a> </div> </td> <td> <div class="citation_year">2010</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1287.68102">Graded computation tree logic with binary coding.</a> <a class="label nowrap" href="/1287.68102">Zbl 1287.68102</a> <br><a href="/authors/bianco.alessandro" title="Author Profile">Bianco, Alessandro</a>; <a href="/authors/mogavero.fabio" title="Author Profile">Mogavero, Fabio</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5779242">2</a> </div> </td> <td> <div class="citation_year">2010</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1247.03026">Branching-time temporal logics with minimal model quantifiers.</a> <a class="label nowrap" href="/1247.03026">Zbl 1247.03026</a> <br><a href="/authors/mogavero.fabio" title="Author Profile">Mogavero, Fabio</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5576374">1</a> </div> </td> <td> <div class="citation_year">2009</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1250.05061">Balanced paths in colored graphs.</a> <a class="label nowrap" href="/1250.05061">Zbl 1250.05061</a> <br><a href="/authors/bianco.alessandro" title="Author Profile">Bianco, Alessandro</a>; <a href="/authors/faella.marco" title="Author Profile">Faella, Marco</a>; <a href="/authors/mogavero.fabio" title="Author Profile">Mogavero, Fabio</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5617263">1</a> </div> </td> <td> <div class="citation_year">2009</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1151.03016">The complexity of enriched $\mu$-calculi.</a> <a class="label nowrap" href="/1151.03016">Zbl 1151.03016</a> <br><a href="/authors/bonatti.piero-andrea" title="Author Profile">Bonatti, Piero A.</a>; <a href="/authors/lutz.carsten" title="Author Profile">Lutz, Carsten</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5365483">16</a> </div> </td> <td> <div class="citation_year">2008</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1147.68049">Enriched $\mu$-calculi module checking.</a> <a class="label nowrap" href="/1147.68049">Zbl 1147.68049</a> <br><a href="/authors/ferrante.alessandro" title="Author Profile">Ferrante, Alessandro</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/parente.mimmo" title="Author Profile">Parente, Mimmo</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5365473">13</a> </div> </td> <td> <div class="citation_year">2008</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1182.68124">Program complexity in hierarchical module checking.</a> <a class="label nowrap" href="/1182.68124">Zbl 1182.68124</a> <br><a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/napoli.margherita" title="Author Profile">Napoli, Margherita</a>; <a href="/authors/parente.mimmo" title="Author Profile">Parente, Mimmo</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5498351">5</a> </div> </td> <td> <div class="citation_year">2008</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1202.68222">2-visibly pushdown automata.</a> <a class="label nowrap" href="/1202.68222">Zbl 1202.68222</a> <br><a href="/authors/carotenuto.dario" title="Author Profile">Carotenuto, Dario</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/peron.adriano" title="Author Profile">Peron, Adriano</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5215369">9</a> </div> </td> <td> <div class="citation_year">2007</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1151.68468">Pushdown module checking with imperfect information.</a> <a class="label nowrap" href="/1151.68468">Zbl 1151.68468</a> <br><a href="/authors/aminof.benjamin" title="Author Profile">Aminof, Benjamin</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5344942">1</a> </div> </td> <td> <div class="citation_year">2007</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1195.68066">Enriched $\mu $-calculi module checking.</a> <a class="label nowrap" href="/1195.68066">Zbl 1195.68066</a> <br><a href="/authors/ferrante.alessandro" title="Author Profile">Ferrante, Alessandro</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5188978">1</a> </div> </td> <td> <div class="citation_year">2007</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1098.68073">Typeness for $\omega$-regular automata.</a> <a class="label nowrap" href="/1098.68073">Zbl 1098.68073</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/morgenstern.gila" title="Author Profile">Morgenstern, Gila</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5048167">11</a> </div> </td> <td> <div class="citation_year">2006</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1133.68374">The complexity of enriched $\mu$-calculi.</a> <a class="label nowrap" href="/1133.68374">Zbl 1133.68374</a> <br><a href="/authors/bonatti.piero-andrea" title="Author Profile">Bonatti, Piero A.</a>; <a href="/authors/lutz.carsten" title="Author Profile">Lutz, Carsten</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5189693">5</a> </div> </td> <td> <div class="citation_year">2006</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1143.68446">Pushdown module checking.</a> <a class="label nowrap" href="/1143.68446">Zbl 1143.68446</a> <br><a href="/authors/bozzelli.laura" title="Author Profile">Bozzelli, Laura</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a>; <a href="/authors/peron.adriano" title="Author Profile">Peron, Adriano</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5279545">6</a> </div> </td> <td> <div class="citation_year">2005</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1109.68057">Reasoning about co-Büchi tree automata.</a> <a class="label nowrap" href="/1109.68057">Zbl 1109.68057</a> <br><a href="/authors/la-torre.salvatore" title="Author Profile">La Torre, Salvatore</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A2234623">1</a> </div> </td> <td> <div class="citation_year">2005</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1108.68070">Typeness for $\omega$-regular automata.</a> <a class="label nowrap" href="/1108.68070">Zbl 1108.68070</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/morgenstern.gila" title="Author Profile">Morgenstern, Gila</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5067796">3</a> </div> </td> <td> <div class="citation_year">2004</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1057.68057">Automata-theoretic decision of timed games.</a> <a class="label nowrap" href="/1057.68057">Zbl 1057.68057</a> <br><a href="/authors/faella.marco" title="Author Profile">Faella, Marco</a>; <a href="/authors/la-torre.salvatore" title="Author Profile">La Torre, Salvatore</a>; <a href="/authors/murano.aniello" title="Author Profile">Murano, Aniello</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A2086509">4</a> </div> </td> <td> <div class="citation_year">2002</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 282 Authors</h3> <table class="profile"> <tr> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Amurano.aniello" title="Citing Publications by this Author">36</a> </td> <td class="text"> <a href="/authors/murano.aniello" title="Author Profile"> Murano, Aniello </a> </td></tr><tr> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Abozzelli.laura" title="Citing Publications by this Author">20</a> </td> <td class="text"> <a href="/authors/bozzelli.laura" title="Author Profile"> Bozzelli, Laura </a> </td></tr><tr> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Aperon.adriano" title="Citing Publications by this Author">20</a> </td> <td class="text"> <a href="/authors/peron.adriano" title="Author Profile"> Peron, Adriano </a> </td></tr><tr> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Amontanari.angelo" title="Citing Publications by this Author">18</a> </td> <td class="text"> <a href="/authors/montanari.angelo" title="Author Profile"> Montanari, Angelo </a> </td></tr><tr> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Akupferman.orna" title="Citing Publications by this Author">17</a> </td> <td class="text"> <a href="/authors/kupferman.orna" title="Author Profile"> Kupferman, Orna </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Amogavero.fabio" title="Citing Publications by this Author">16</a> </td> <td class="text"> <a href="/authors/mogavero.fabio" title="Author Profile"> Mogavero, Fabio </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Aperelli.giuseppe" title="Citing Publications by this Author">13</a> </td> <td class="text"> <a href="/authors/perelli.giuseppe" title="Author Profile"> Perelli, Giuseppe </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Asala.pietro" title="Citing Publications by this Author">13</a> </td> <td class="text"> <a href="/authors/sala.pietro" title="Author Profile"> Sala, Pietro </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Agutierrez.julian" title="Citing Publications by this Author">11</a> </td> <td class="text"> <a href="/authors/gutierrez.julian" title="Author Profile"> Gutierrez, Julian </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Abouyer.patricia" title="Citing Publications by this Author">10</a> </td> <td class="text"> <a href="/authors/bouyer.patricia" title="Author Profile"> Bouyer, Patricia </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Awooldridge.michael-j" title="Citing Publications by this Author">10</a> </td> <td class="text"> <a href="/authors/wooldridge.michael-j" title="Author Profile"> Wooldridge, Michael J. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Amolinari.alberto" title="Citing Publications by this Author">9</a> </td> <td class="text"> <a href="/authors/molinari.alberto" title="Author Profile"> Molinari, Alberto </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Abenerecetti.massimo" title="Citing Publications by this Author">8</a> </td> <td class="text"> <a href="/authors/benerecetti.massimo" title="Author Profile"> Benerecetti, Massimo </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Amarkey.nicolas" title="Citing Publications by this Author">8</a> </td> <td class="text"> <a href="/authors/markey.nicolas" title="Author Profile"> Markey, Nicolas </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Asorrentino.loredana" title="Citing Publications by this Author">8</a> </td> <td class="text"> <a href="/authors/sorrentino.loredana" title="Author Profile"> Sorrentino, Loredana </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Arubin.sasha" title="Citing Publications by this Author">7</a> </td> <td class="text"> <a href="/authors/rubin.sasha" title="Author Profile"> Rubin, Sasha </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Aavni.guy" title="Citing Publications by this Author">6</a> </td> <td class="text"> <a href="/authors/avni.guy" title="Author Profile"> Avni, Guy </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Adella-monica.dario" title="Citing Publications by this Author">6</a> </td> <td class="text"> <a href="/authors/della-monica.dario" title="Author Profile"> Della Monica, Dario </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Araskin.jean-francois" title="Citing Publications by this Author">6</a> </td> <td class="text"> <a href="/authors/raskin.jean-francois" title="Author Profile"> Raskin, Jean-François </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Avardi.moshe-y" title="Citing Publications by this Author">6</a> </td> <td class="text"> <a href="/authors/vardi.moshe-y" title="Author Profile"> Vardi, Moshe Ya’akov </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Aaminof.benjamin" title="Citing Publications by this Author">5</a> </td> <td class="text"> <a href="/authors/aminof.benjamin" title="Author Profile"> Aminof, Benjamin </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Abelardinelli.francesco" title="Citing Publications by this Author">5</a> </td> <td class="text"> <a href="/authors/belardinelli.francesco" title="Author Profile"> Belardinelli, Francesco </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Aboker.udi" title="Citing Publications by this Author">5</a> </td> <td class="text"> <a href="/authors/boker.udi" title="Author Profile"> Boker, Udi </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Adellerba.daniele" title="Citing Publications by this Author">5</a> </td> <td class="text"> <a href="/authors/dellerba.daniele" title="Author Profile"> Dell’Erba, Daniele </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Ahenzinger.thomas-a" title="Citing Publications by this Author">5</a> </td> <td class="text"> <a href="/authors/henzinger.thomas-a" title="Author Profile"> Henzinger, Thomas A. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Ala-torre.salvatore" title="Citing Publications by this Author">5</a> </td> <td class="text"> <a href="/authors/la-torre.salvatore" title="Author Profile"> La Torre, Salvatore </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Amalvone.vadim" title="Citing Publications by this Author">5</a> </td> <td class="text"> <a href="/authors/malvone.vadim" title="Author Profile"> Malvone, Vadim </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Anaumov.pavel-g" title="Citing Publications by this Author">5</a> </td> <td class="text"> <a href="/authors/naumov.pavel-g" title="Author Profile"> Naumov, Pavel G. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Asciavicco.guido" title="Citing Publications by this Author">5</a> </td> <td class="text"> <a href="/authors/sciavicco.guido" title="Author Profile"> Sciavicco, Guido </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Azimmermann.martin" title="Citing Publications by this Author">5</a> </td> <td class="text"> <a href="/authors/zimmermann.martin" title="Author Profile"> Zimmermann, Martin </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Abruyere.veronique" title="Citing Publications by this Author">4</a> </td> <td class="text"> <a href="/authors/bruyere.veronique" title="Author Profile"> Bruyère, Véronique </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Agoranko.valentin-f" title="Citing Publications by this Author">4</a> </td> <td class="text"> <a href="/authors/goranko.valentin-f" title="Author Profile"> Goranko, Valentin F. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Aharrenstein.paul" title="Citing Publications by this Author">4</a> </td> <td class="text"> <a href="/authors/harrenstein.paul" title="Author Profile"> Harrenstein, Paul </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Akutrib.martin" title="Citing Publications by this Author">4</a> </td> <td class="text"> <a href="/authors/kutrib.martin" title="Author Profile"> Kutrib, Martin </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Amaubert.bastien" title="Citing Publications by this Author">4</a> </td> <td class="text"> <a href="/authors/maubert.bastien" title="Author Profile"> Maubert, Bastien </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Anapoli.margherita" title="Citing Publications by this Author">4</a> </td> <td class="text"> <a href="/authors/napoli.margherita" title="Author Profile"> Napoli, Margherita </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Arandour.mickael" title="Citing Publications by this Author">4</a> </td> <td class="text"> <a href="/authors/randour.mickael" title="Author Profile"> Randour, Mickael </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Aschewe.sven" title="Citing Publications by this Author">4</a> </td> <td class="text"> <a href="/authors/schewe.sven" title="Author Profile"> Schewe, Sven </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Atouili.tayssir" title="Citing Publications by this Author">4</a> </td> <td class="text"> <a href="/authors/touili.tayssir" title="Author Profile"> Touili, Tayssir </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Avandenhove.pierre" title="Citing Publications by this Author">4</a> </td> <td class="text"> <a href="/authors/vandenhove.pierre" title="Author Profile"> Vandenhove, Pierre </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Adi-stasio.antonio" title="Citing Publications by this Author">3</a> </td> <td class="text"> <a href="/authors/di-stasio.antonio" title="Author Profile"> Di Stasio, Antonio </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Agardy.patrick" title="Citing Publications by this Author">3</a> </td> <td class="text"> <a href="/authors/gardy.patrick" title="Author Profile"> Gardy, Patrick </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Ajamroga.wojciech" title="Citing Publications by this Author">3</a> </td> <td class="text"> <a href="/authors/jamroga.wojciech" title="Author Profile"> Jamroga, Wojciech </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Alehtinen.karoliina" title="Citing Publications by this Author">3</a> </td> <td class="text"> <a href="/authors/lehtinen.karoliina" title="Author Profile"> Lehtinen, Karoliina </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Amalcher.andreas" title="Citing Publications by this Author">3</a> </td> <td class="text"> <a href="/authors/malcher.andreas" title="Author Profile"> Malcher, Andreas </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Amunoz-velasco.emilio" title="Citing Publications by this Author">3</a> </td> <td class="text"> <a href="/authors/munoz-velasco.emilio" title="Author Profile"> Muñoz-Velasco, Emilio </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Atao.jia" title="Citing Publications by this Author">3</a> </td> <td class="text"> <a href="/authors/tao.jia" title="Author Profile"> Tao, Jia </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Aaghajohari.milad" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/aghajohari.milad" title="Author Profile"> Aghajohari, Milad </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Aalon.ravid" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/alon.ravid" title="Author Profile"> Alon, Ravid </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Abednarczyk.bartosz" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/bednarczyk.bartosz" title="Author Profile"> Bednarczyk, Bartosz </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Abollig.benedikt" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/bollig.benedikt" title="Author Profile"> Bollig, Benedikt </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Abrenguier.romain" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/brenguier.romain" title="Author Profile"> Brenguier, Romain </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Abresolin.davide" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/bresolin.davide" title="Author Profile"> Bresolin, Davide </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Abrihaye.thomas" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/brihaye.thomas" title="Author Profile"> Brihaye, Thomas </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Acalude.cristian-s" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/calude.cristian-s" title="Author Profile"> Calude, Cristian S. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Acasares.antonio" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/casares.antonio" title="Author Profile"> Casares, Antonio </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Achatterjee.krishnendu" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/chatterjee.krishnendu" title="Author Profile"> Chatterjee, Krishnendu </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Achiari.michele" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/chiari.michele" title="Author Profile"> Chiari, Michele </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Adima.catalin" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/dima.catalin" title="Author Profile"> Dima, Cătălin </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Aeiter.thomas" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/eiter.thomas" title="Author Profile"> Eiter, Thomas </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Afaella.marco" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/faella.marco" title="Author Profile"> Faella, Marco </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Afijalkow.nathanael" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/fijalkow.nathanael" title="Author Profile"> Fijalkow, Nathanaël </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Afiliot.emmanuel" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/filiot.emmanuel" title="Author Profile"> Filiot, Emmanuel </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Afontaine.gaelle" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/fontaine.gaelle" title="Author Profile"> Fontaine, Gaëlle </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Afrench.tim" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/french.tim" title="Author Profile"> French, Tim </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Agoeminne.aline" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/goeminne.aline" title="Author Profile"> Goeminne, Aline </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Aguelev.dimitar-p" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/guelev.dimitar-p" title="Author Profile"> Guelev, Dimitar P. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Aholzer.markus" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/holzer.markus" title="Author Profile"> Holzer, Markus </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Ahuang.chung-hao" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/huang.chung-hao" title="Author Profile"> Huang, Chung-Hao </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Ajain.sanjay" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/jain.sanjay" title="Author Profile"> Jain, Sanjay </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Akhoussainov.bakhadyr-m" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/khoussainov.bakhadyr-m" title="Author Profile"> Khoussainov, Bakhadyr M. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Alaroussinie.francois" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/laroussinie.francois" title="Author Profile"> Laroussinie, François </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Aleroux.stephane" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/leroux.stephane" title="Author Profile"> Leroux, Stéphane </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Ali.wei.2" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/li.wei.2" title="Author Profile"> Li, Wei </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Ali.yanjun" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/li.yanjun" title="Author Profile"> Li, Yanjun </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Alomuscio.alessio" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/lomuscio.alessio" title="Author Profile"> Lomuscio, Alessio </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Amandrioli.dino" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/mandrioli.dino" title="Author Profile"> Mandrioli, Dino </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Amarti-oliet.narciso" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/marti-oliet.narciso" title="Author Profile"> Martí-Oliet, Narciso </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Amccabe-dansted.john-christopher" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/mccabe-dansted.john-christopher" title="Author Profile"> McCabe-Dansted, John Christopher </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Aokhotin.alexander" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/okhotin.alexander" title="Author Profile"> Okhotin, Alexander </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Aortiz.magdalena" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/ortiz.magdalena" title="Author Profile"> Ortiz, Magdalena </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Aoualhadj.youssouf" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/oualhadj.youssouf" title="Author Profile"> Oualhadj, Youssouf </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Aparente.mimmo" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/parente.mimmo" title="Author Profile"> Parente, Mimmo </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Aperrussel.laurent" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/perrussel.laurent" title="Author Profile"> Perrussel, Laurent </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Apita.isabel" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/pita.isabel" title="Author Profile"> Pita, Isabel </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Apommellet.adrien" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/pommellet.adrien" title="Author Profile"> Pommellet, Adrien </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Apradella.matteo" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/pradella.matteo" title="Author Profile"> Pradella, Matteo </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Areynolds.mark-alexander" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/reynolds.mark-alexander" title="Author Profile"> Reynolds, Mark Alexander </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Asalomaa.kai-t" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/salomaa.kai-t" title="Author Profile"> Salomaa, Kai T. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Asankur.ocan" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/sankur.ocan" title="Author Profile"> Sankur, Ocan </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Aschwarzentruber.francois" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/schwarzentruber.francois" title="Author Profile"> Schwarzentruber, François </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Asimkus.mantas" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/simkus.mantas" title="Author Profile"> Šimkus, Mantas </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Asong.fu" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/song.fu" title="Author Profile"> Song, Fu </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Astan.ionel-eduard" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/stan.ionel-eduard" title="Author Profile"> Stan, Ionel Eduard </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Asteeples.thomas" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/steeples.thomas" title="Author Profile"> Steeples, Thomas </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Astephan.frank" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/stephan.frank" title="Author Profile"> Stephan, Frank </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Avan-dijk.tom" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/van-dijk.tom" title="Author Profile"> van Dijk, Tom </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Averdejo.alberto" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/verdejo.alberto" title="Author Profile"> Verdejo, Alberto </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Awang.farn" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/wang.farn" title="Author Profile"> Wang, Farn </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+ai%3Awang.yanjing" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/wang.yanjing" title="Author Profile"> Wang, Yanjing </a> </td></tr> <tr class="more"> <td colspan="2">...and 182 more Authors</td> </tr> </table> </div> <div class="facet2nd"><a tabindex="0" class="more">all <i class="caret"></i></a> <a tabindex="0" class="less">top 5 <i class="caret"></i></a><h3>Cited in 32 Serials</h3> <table class="profile"> <tr> <td class="number"> <a href="/?q=ra%3Amurano.aniello+se%3A1143" title="Citing Publications in this Serial">32</a> </td> <td class="text"> <a href="/serials/?q=se%3A1143" title="Serial Profile"> Information and Computation </a> </td></tr><tr> <td class="number"> <a href="/?q=ra%3Amurano.aniello+se%3A34" title="Citing Publications in this Serial">17</a> </td> <td class="text"> <a href="/serials/?q=se%3A34" title="Serial Profile"> Artificial Intelligence </a> </td></tr><tr> <td class="number"> <a href="/?q=ra%3Amurano.aniello+se%3A735" title="Citing Publications in this Serial">16</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%3Amurano.aniello+se%3A3054" title="Citing Publications in this Serial">11</a> </td> <td class="text"> <a href="/serials/?q=se%3A3054" title="Serial Profile"> ACM Transactions on Computational Logic </a> </td></tr><tr> <td class="number"> <a href="/?q=ra%3Amurano.aniello+se%3A5003" title="Citing Publications in this Serial">10</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%3Amurano.aniello+se%3A12" title="Citing Publications in this Serial">4</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%3Amurano.aniello+se%3A968" title="Citing Publications in this Serial">3</a> </td> <td class="text"> <a href="/serials/?q=se%3A968" title="Serial Profile"> Annals of Pure and Applied Logic </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+se%3A1382" title="Citing Publications in this Serial">3</a> </td> <td class="text"> <a href="/serials/?q=se%3A1382" title="Serial Profile"> International Journal of Foundations of Computer Science </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+se%3A1899" title="Citing Publications in this Serial">3</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%3Amurano.aniello+se%3A2122" title="Citing Publications in this Serial">3</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%3Amurano.aniello+se%3A8501" title="Citing Publications in this Serial">3</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><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+se%3A10666" title="Citing Publications in this Serial">3</a> </td> <td class="text"> <a href="/serials/?q=se%3A10666" title="Serial Profile"> TheoretiCS </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+se%3A113" title="Citing Publications in this Serial">2</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%3Amurano.aniello+se%3A1839" title="Citing Publications in this Serial">2</a> </td> <td class="text"> <a href="/serials/?q=se%3A1839" title="Serial Profile"> Formal Methods in System Design </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+se%3A2093" title="Citing Publications in this Serial">2</a> </td> <td class="text"> <a href="/serials/?q=se%3A2093" title="Serial Profile"> The Journal of Artificial Intelligence Research (JAIR) </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+se%3A6757" title="Citing Publications in this Serial">2</a> </td> <td class="text"> <a href="/serials/?q=se%3A6757" title="Serial Profile"> Algorithms </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+se%3A7125" title="Citing Publications in this Serial">2</a> </td> <td class="text"> <a href="/serials/?q=se%3A7125" title="Serial Profile"> Games </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+se%3A428" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A428" title="Serial Profile"> Fuzzy Sets and Systems </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+se%3A454" title="Citing Publications in this Serial">1</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%3Amurano.aniello+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%3Amurano.aniello+se%3A516" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A516" title="Serial Profile"> Journal of Philosophical Logic </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+se%3A632" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A632" title="Serial Profile"> Programming and Computer Software </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+se%3A706" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A706" title="Serial Profile"> SIAM Journal on Computing </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+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%3Amurano.aniello+se%3A1150" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A1150" title="Serial Profile"> Journal of Automated Reasoning </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+se%3A1412" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A1412" title="Serial Profile"> Designs, Codes and Cryptography </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+se%3A1840" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A1840" title="Serial Profile"> Journal of Logic, Language and Information </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+se%3A2291" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A2291" title="Serial Profile"> Theory of Computing Systems </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+se%3A2295" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A2295" title="Serial Profile"> Journal of Automata, Languages and Combinatorics </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+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%3Amurano.aniello+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%3Amurano.aniello+se%3A7011" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A7011" title="Serial Profile"> RAIRO. Theoretical Informatics and Applications </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 9 Fields</h3> <table class="profile"> <tr> <td class="number"> <a href="/?q=ra%3Amurano.aniello+cc%3A68" title="Citing Publications in this Field">192</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%3Amurano.aniello+cc%3A03" title="Citing Publications in this Field">102</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%3Amurano.aniello+cc%3A91" title="Citing Publications in this Field">74</a> </td> <td class="text"> <a href="/classification/?q=cc%3A91" title="Mathematics Subject Classification"> Game theory, economics, finance, and other social and behavioral sciences <span style="white-space: nowrap;">(91-XX)</span> </a> </td></tr><tr> <td class="number"> <a href="/?q=ra%3Amurano.aniello+cc%3A05" title="Citing Publications in this Field">7</a> </td> <td class="text"> <a href="/classification/?q=cc%3A05" title="Mathematics Subject Classification"> Combinatorics <span style="white-space: nowrap;">(05-XX)</span> </a> </td></tr><tr> <td class="number"> <a href="/?q=ra%3Amurano.aniello+cc%3A00" title="Citing Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A00" title="Mathematics Subject Classification"> General and overarching topics; collections <span style="white-space: nowrap;">(00-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+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%3Amurano.aniello+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%3Amurano.aniello+cc%3A92" title="Citing Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A92" title="Mathematics Subject Classification"> Biology and other natural sciences <span style="white-space: nowrap;">(92-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Amurano.aniello+cc%3A94" title="Citing Publications in this Field">1</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> </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:2003, frequency:1 },{ year:2005, frequency:1 },{ year:2006, frequency:1 },{ year:2007, frequency:2 },{ year:2009, frequency:2 },{ year:2010, frequency:3 },{ year:2011, frequency:2 },{ year:2012, frequency:4 },{ year:2013, frequency:1 },{ year:2014, frequency:7 },{ year:2015, frequency:12 },{ year:2016, frequency:10 },{ year:2017, frequency:20 },{ year:2018, frequency:34 },{ year:2019, frequency:18 },{ year:2020, frequency:22 },{ year:2021, frequency:16 },{ year:2022, frequency:20 },{ year:2023, frequency:23 },{ year:2024, frequency:8 },{ year:2025, frequency:6 }]; 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%3Amurano.aniello+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

Aniello Murano - Author Profile - zbMATH Open