Orna Kupferman - Author Profile

<!doctype html> <html lang="en"> <head> <meta charset="utf-8"> <title>Orna Kupferman - 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/kupferman.orna?"> <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:kupferman.orna" 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/kupferman.orna" 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>Kupferman, Orna</h2> </div> <div class="erdos pull-right"> <a href="/collaboration-distance/?a=kupferman.orna&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>kupferman.orna <a target="_blank" href="/atom/ai/kupferman.orna"><img class="feed-icon" alt="Recent zbMATH articles by "Kupferman, Orna"" src="/static/feed-icon-14x14.png"></a></td> </tr><tr> <td>Published as:</td> <td><span>Kupferman, Orna</span>; <span>Bernholtz, O.</span></td> </tr> <tr> <td>Homepage:</td> <td><a href="http://www.cs.huji.ac.il/~ornak/">http://www.cs.huji.ac.il/~ornak/</a></td> </tr> <tr> <td>External Links:</td> <td> <a href="http://genealogy.math.ndsu.nodak.edu/id.php?id=102936" title="102936" style="white-space: nowrap;">MGP</a> · <a href="http://orcid.org/0000-0003-4699-6117" title="0000-0003-4699-6117" style="white-space: nowrap;">ORCID</a> · <a href="https://www.wikidata.org/wiki/Q16130473" title="Q16130473" style="white-space: nowrap;">Wikidata</a> · <a href="https://scholar.google.com/citations?user=5o111aIAAAAJ" title="5o111aIAAAAJ" style="white-space: nowrap;">Google Scholar</a> · <a href="http://dblp.uni-trier.de/pid/k/OrnaKupferman" title="k/OrnaKupferman" style="white-space: nowrap;">dblp</a> · <a href="https://www.idref.fr/201476037" title="201476037" style="white-space: nowrap;">IdRef</a> · <a href="https://www.theses.fr/201476037" title="201476037" style="white-space: nowrap;">theses.fr</a> </td> </tr> </table> </div> <div class="indexed"> <table> <tr> <td>Documents Indexed:</td> <td> <a href="/?q=ia%3Akupferman.orna">220 Publications</a> since 1994 </td> </tr> <tr> <td></td> <td> <a href="/?q=ei%3Akupferman.orna">2 Contributions as Editor</a> </td> </tr> <tr> <td>Co-Authors:</td> <td> <a href="/authors/?q=ai1%3Akupferman.orna">101 Co-Authors</a> with <a href="/?q=ai%3Akupferman.orna+ai1%3Akupferman.orna"> 211 Joint Publications</a> </td> </tr> <tr><td></td><td> <a href="/authors/?q=ai2%3Akupferman.orna">2,347 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%3Akupferman.orna+na%3A1" title="Single-Authored Publications">11</a> </td> <td class="text">single-authored</td> </tr><tr> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Avardi.moshe-y" title="Joint Publications">60</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%3Akupferman.orna+ai%3Aavni.guy" title="Joint Publications">19</a> </td> <td class="text"> <a href="/authors/avni.guy" title="Author Profile"> Avni, Guy </a> </td></tr><tr> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Aalmagor.shaull" title="Joint Publications">18</a> </td> <td class="text"> <a href="/authors/almagor.shaull" title="Author Profile"> Almagor, Shaull </a> </td></tr><tr> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Ahenzinger.thomas-a" title="Joint Publications">15</a> </td> <td class="text"> <a href="/authors/henzinger.thomas-a" title="Author Profile"> Henzinger, Thomas A. </a> </td></tr><tr> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Aboker.udi" title="Joint Publications">13</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=ai%3Akupferman.orna+ai%3Apiterman.nir" title="Joint Publications">10</a> </td> <td class="text"> <a href="/authors/piterman.nir" title="Author Profile"> Piterman, Nir </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Avardi.gal" title="Joint Publications">10</a> </td> <td class="text"> <a href="/authors/vardi.gal" title="Author Profile"> Vardi, Gal </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Aaminof.benjamin" title="Joint Publications">9</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%3Akupferman.orna+ai%3Achockler.hana" title="Joint Publications">9</a> </td> <td class="text"> <a href="/authors/chockler.hana" title="Author Profile"> Chockler, Hana </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Atamir.tami" title="Joint Publications">9</a> </td> <td class="text"> <a href="/authors/tamir.tami" title="Author Profile"> Tamir, Tami </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Agrumberg.orna" title="Joint Publications">8</a> </td> <td class="text"> <a href="/authors/grumberg.orna" title="Author Profile"> Grumberg, Orna </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Afaran.rachel" title="Joint Publications">7</a> </td> <td class="text"> <a href="/authors/faran.rachel" title="Author Profile"> Faran, Rachel </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Alustig.yoad" title="Joint Publications">7</a> </td> <td class="text"> <a href="/authors/lustig.yoad" title="Author Profile"> Lustig, Yoad </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Asheinvald.sarai" title="Joint Publications">6</a> </td> <td class="text"> <a href="/authors/sheinvald.sarai" title="Author Profile"> Sheinvald, Sarai </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Aball.thomas" title="Joint Publications">5</a> </td> <td class="text"> <a href="/authors/ball.thomas" title="Author Profile"> Ball, Thomas </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Aguha.shibashis" title="Joint Publications">5</a> </td> <td class="text"> <a href="/authors/guha.shibashis" title="Author Profile"> Guha, Shibashis </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Akuperberg.denis" title="Joint Publications">5</a> </td> <td class="text"> <a href="/authors/kuperberg.denis" title="Author Profile"> Kuperberg, Denis </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Alampert.robby" title="Joint Publications">5</a> </td> <td class="text"> <a href="/authors/lampert.robby" title="Author Profile"> Lampert, Robby </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Amurano.aniello" title="Joint Publications">5</a> </td> <td class="text"> <a href="/authors/murano.aniello" title="Author Profile"> Murano, Aniello </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Afogarty.seth-j" title="Joint Publications">4</a> </td> <td class="text"> <a href="/authors/fogarty.seth-j" title="Author Profile"> Fogarty, Seth J. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Aleshkowitz.ofer" title="Joint Publications">4</a> </td> <td class="text"> <a href="/authors/leshkowitz.ofer" title="Author Profile"> Leshkowitz, Ofer </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Awilke.thomas" title="Joint Publications">4</a> </td> <td class="text"> <a href="/authors/wilke.thomas" title="Author Profile"> Wilke, Thomas </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Aabu.radi-bader" title="Joint Publications">3</a> </td> <td class="text"> <a href="/authors/abu.radi-bader" title="Author Profile"> Abu, Radi Bader </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Abustan.doron" title="Joint Publications">3</a> </td> <td class="text"> <a href="/authors/bustan.doron" title="Author Profile"> Bustan, Doron </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Ahalamish.shulamit" title="Joint Publications">3</a> </td> <td class="text"> <a href="/authors/halamish.shulamit" title="Author Profile"> Halamish, Shulamit </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Amajumdar.rupak" title="Joint Publications">3</a> </td> <td class="text"> <a href="/authors/majumdar.rupak" title="Author Profile"> Majumdar, Rupak </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Aradi.bader-abu" title="Joint Publications">3</a> </td> <td class="text"> <a href="/authors/radi.bader-abu" title="Author Profile"> Radi, Bader Abu </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Ashenwald.noam" title="Joint Publications">3</a> </td> <td class="text"> <a href="/authors/shenwald.noam" title="Author Profile"> Shenwald, Noam </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Aalon.ravid" title="Joint Publications">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=ai%3Akupferman.orna+ai%3Aalur.rajeev" title="Joint Publications">2</a> </td> <td class="text"> <a href="/authors/alur.rajeev" title="Author Profile"> Alur, Rajeev </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Achatterjee.krishnendu" title="Joint Publications">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=ai%3Akupferman.orna+ai%3Afisman.dana" title="Joint Publications">2</a> </td> <td class="text"> <a href="/authors/fisman.dana" title="Author Profile"> Fisman, Dana </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Afriedgut.ehud" title="Joint Publications">2</a> </td> <td class="text"> <a href="/authors/friedgut.ehud" title="Author Profile"> Friedgut, Ehud </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Ahalpern.joseph-y" title="Joint Publications">2</a> </td> <td class="text"> <a href="/authors/halpern.joseph-y" title="Author Profile"> Halpern, Joseph Yehuda </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Aharel.david" title="Joint Publications">2</a> </td> <td class="text"> <a href="/authors/harel.david" title="Author Profile"> Harel, David </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Akurshan.robert-p" title="Joint Publications">2</a> </td> <td class="text"> <a href="/authors/kurshan.robert-p" title="Author Profile"> Kurshan, Robert P. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+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%3Akupferman.orna+ai%3Amosheiff.jonathan" title="Joint Publications">2</a> </td> <td class="text"> <a href="/authors/mosheiff.jonathan" title="Author Profile"> Mosheiff, Jonathan </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Aperelli.giuseppe" title="Joint Publications">2</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%3Akupferman.orna+ai%3Apetruschka.asaf" title="Joint Publications">2</a> </td> <td class="text"> <a href="/authors/petruschka.asaf" title="Author Profile"> Petruschka, Asaf </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Arajamani.sriram-k" title="Joint Publications">2</a> </td> <td class="text"> <a href="/authors/rajamani.sriram-k" title="Author Profile"> Rajamani, Sriram K. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Arosenberg.adin" title="Joint Publications">2</a> </td> <td class="text"> <a href="/authors/rosenberg.adin" title="Author Profile"> Rosenberg, Adin </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Asickert.salomon" title="Joint Publications">2</a> </td> <td class="text"> <a href="/authors/sickert.salomon" title="Author Profile"> Sickert, Salomon </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Askrzypczak.michal" title="Joint Publications">2</a> </td> <td class="text"> <a href="/authors/skrzypczak.michal" title="Author Profile"> Skrzypczak, Michał </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Avelner.yaron" title="Joint Publications">2</a> </td> <td class="text"> <a href="/authors/velner.yaron" title="Author Profile"> Velner, Yaron </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Awolper.pierre" title="Joint Publications">2</a> </td> <td class="text"> <a href="/authors/wolper.pierre" title="Author Profile"> Wolper, Pierre </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Ayannakakis.mihalis" title="Joint Publications">2</a> </td> <td class="text"> <a href="/authors/yannakakis.mihalis" title="Author Profile"> Yannakakis, Mihalis </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Aarmoni.roy" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/armoni.roy" title="Author Profile"> Armoni, Roy </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Aben-david.shoham" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/ben-david.shoham" title="Author Profile"> Ben-David, Shoham </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Abeyersdorff.olaf" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/beyersdorff.olaf" title="Author Profile"> Beyersdorff, Olaf </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Abielous.gili" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/bielous.gili" title="Author Profile"> Bielous, Gili </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Abouyer.patricia" title="Joint Publications">1</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%3Akupferman.orna+ai%3Acastellani.ilaria" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/castellani.ilaria" title="Author Profile"> Castellani, Ilaria </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Achakrabarti.arindam" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/chakrabarti.arindam" title="Author Profile"> Chakrabarti, Arindam </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Ade-alfaro.luca" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/de-alfaro.luca" title="Author Profile"> de Alfaro, Luca </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Aesparza.javier" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/esparza.javier" title="Author Profile"> Esparza, Javier </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Aflaisher.alon" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/flaisher.alon" title="Author Profile"> Flaisher, Alon </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Agastin.paul" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/gastin.paul" title="Author Profile"> Gastin, Paul </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Agonen.hila" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/gonen.hila" title="Author Profile"> Gonen, Hila </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Agurumurthy.sankar" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/gurumurthy.sankar" title="Author Profile"> Gurumurthy, Sankar </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Ahasson.matan" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/hasson.matan" title="Author Profile"> Hasson, Matan </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Ahefetz.dan" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/hefetz.dan" title="Author Profile"> Hefetz, Dan </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Ahirshfeld.yoram" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/hirshfeld.yoram" title="Author Profile"> Hirshfeld, Yoram </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Aholzmann.gerard-j" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/holzmann.gerard-j" title="Author Profile"> Holzmann, Gerard J. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Ajecker.ismael" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/jecker.ismael" title="Author Profile"> Jecker, Ismaël </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Ajurdzinski.marcin" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/jurdzinski.marcin" title="Author Profile"> Jurdziński, Marcin </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Akante.mamadou-moustapha" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/kante.mamadou-moustapha" title="Author Profile"> Kanté, Mamadou Moustapha </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Akhalimov.ayrat" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/khalimov.ayrat" title="Author Profile"> Khalimov, Ayrat </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Aking.valerie" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/king.valerie" title="Author Profile"> King, Valerie </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Akrishnan.sriram-c" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/krishnan.sriram-c" title="Author Profile"> Krishnan, Sriram C. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Alavee.nir" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/lavee.nir" title="Author Profile"> Lavee, Nir </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Alellouche.amir" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/lellouche.amir" title="Author Profile"> Lellouche, Amir </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Alev.omer" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/lev.omer" title="Author Profile"> Lev, Omer </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Alokshtanov.daniel" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/lokshtanov.daniel" title="Author Profile"> Lokshtanov, Daniel </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Amadhusudan.parthasarathy" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/madhusudan.parthasarathy" title="Author Profile"> Madhusudan, Parthasarathy </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Amang.freddy-y-c" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/mang.freddy-y-c" title="Author Profile"> Mang, Freddy Y. C. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+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%3Akupferman.orna+ai%3Amaubert.bastien" title="Joint Publications">1</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%3Akupferman.orna+ai%3Amazzocchi.nicolas" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/mazzocchi.nicolas" title="Author Profile"> Mazzocchi, Nicolas </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Apery.eyal" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/pery.eyal" title="Author Profile"> Pery, Eyal </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Apnueli.amir" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/pnueli.amir" title="Author Profile"> Pnueli, Amir </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Aqadeer.shaz" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/qadeer.shaz" title="Author Profile"> Qadeer, Shaz </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Arandour.mickael" title="Joint Publications">1</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=ai%3Akupferman.orna+ai%3Aringert.jan-oliver" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/ringert.jan-oliver" title="Author Profile"> Ringert, Jan Oliver </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Asafra.muli" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/safra.muli" title="Author Profile"> Safra, Muli </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Asagiv.mooly" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/sagiv.mooly" title="Author Profile"> Sagiv, Mooly </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Asangiorgi.davide" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/sangiorgi.davide" title="Author Profile"> Sangiorgi, Davide </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Asattler.ulrike" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/sattler.ulrike" title="Author Profile"> Sattler, Ulrike </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Ashamash-halevy.naama" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/shamash-halevy.naama" title="Author Profile"> Shamash Halevy, Naama </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Ashamash.halevy-naama" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/shamash.halevy-naama" title="Author Profile"> Shamash, Halevy Naama </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Ashamir.eli" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/shamir.eli" title="Author Profile"> Shamir, Eli </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Ashamir.shoham" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/shamir.shoham" title="Author Profile"> Shamir, Shoham </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Asheinvald-faragy.sarai" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/sheinvald-faragy.sarai" title="Author Profile"> Sheinvald-Faragy, Sarai </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Ashevach.zohar" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/shevach.zohar" title="Author Profile"> Shevach, Zohar </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Asobocinski.pawel" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/sobocinski.pawel" title="Author Profile"> Sobociński, Paweł </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Asomenzi.fabio" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/somenzi.fabio" title="Author Profile"> Somenzi, Fabio </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Asteinitz.avital" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/steinitz.avital" title="Author Profile"> Steinitz, Avital </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Athiagarajan.pazhamaneri-subramaniam" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/thiagarajan.pazhamaneri-subramaniam" title="Author Profile"> Thiagarajan, Pazhamaneri Subramaniam </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Aweiner.sigal" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/weiner.sigal" title="Author Profile"> Weiner, Sigal </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+ai%3Ayorsh.greta" title="Joint Publications">1</a> </td> <td class="text"> <a href="/authors/yorsh.greta" title="Author Profile"> Yorsh, Greta </a> </td></tr> <tr class="more"> <td colspan="2">...and 1 more Co-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>Serials</h3> <table class="profile"> <tr> <td class="number"> <a href="/?q=ai%3Akupferman.orna+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%3Akupferman.orna+se%3A3054" title="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=ai%3Akupferman.orna+se%3A735" title="Publications in this Serial">8</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%3Akupferman.orna+se%3A1839" title="Publications in this Serial">6</a> </td> <td class="text"> <a href="/serials/?q=se%3A1839" title="Serial Profile"> Formal Methods in System Design </a> </td></tr><tr> <td class="number"> <a href="/?q=ai%3Akupferman.orna+se%3A1382" title="Publications in this Serial">5</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%3Akupferman.orna+se%3A2408" title="Publications in this Serial">3</a> </td> <td class="text"> <a href="/serials/?q=se%3A2408" title="Serial Profile"> Journal of the ACM </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+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%3Akupferman.orna+se%3A1345" title="Publications in this Serial">2</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%3Akupferman.orna+se%3A12" title="Publications in this Serial">1</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%3Akupferman.orna+se%3A113" title="Publications in this Serial">1</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=ai%3Akupferman.orna+se%3A483" title="Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A483" title="Serial Profile"> Journal of Computer and System Sciences </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+se%3A968" title="Publications in this Serial">1</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=ai%3Akupferman.orna+se%3A1410" title="Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A1410" title="Serial Profile"> Discrete Event Dynamic Systems </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+se%3A2109" title="Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A2109" title="Serial Profile"> The Bulletin of Symbolic Logic </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+se%3A2122" title="Publications in this Serial">1</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%3Akupferman.orna+se%3A2295" title="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=ai%3Akupferman.orna+se%3A2379" title="Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A2379" title="Serial Profile"> Chicago Journal of Theoretical Computer Science </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+se%3A2469" title="Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A2469" title="Serial Profile"> Bulletin of the European Association for Theoretical Computer Science EATCS </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+se%3A4014" title="Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A4014" title="Serial Profile"> Lecture Notes in Computer Science </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+se%3A6273" title="Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A6273" title="Serial Profile"> Foundations and Trends in Theoretical Computer Science </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+se%3A7104" title="Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A7104" title="Serial Profile"> ACM Transactions on Algorithms </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+se%3A7125" title="Publications in this Serial">1</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=ai%3Akupferman.orna+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%3Akupferman.orna+cc%3A68" title="Publications in this Field">214</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%3Akupferman.orna+cc%3A03" title="Publications in this Field">73</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%3Akupferman.orna+cc%3A91" title="Publications in this Field">34</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%3Akupferman.orna+cc%3A05" title="Publications in this Field">8</a> </td> <td class="text"> <a href="/classification/?q=cc%3A05" title="Mathematics Subject Classification"> Combinatorics <span style="white-space: nowrap;">(05-XX)</span> </a> </td></tr><tr> <td class="number"> <a href="/?q=ai%3Akupferman.orna+cc%3A00" title="Publications in this Field">2</a> </td> <td class="text"> <a href="/classification/?q=cc%3A00" title="Mathematics Subject Classification"> General and overarching topics; collections <span style="white-space: nowrap;">(00-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ai%3Akupferman.orna+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%3Akupferman.orna+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:1994, frequency:1 },{ year:1996, frequency:3 },{ year:1997, frequency:3 },{ year:1998, frequency:5 },{ year:1999, frequency:6 },{ year:2000, frequency:6 },{ year:2001, frequency:8 },{ year:2002, frequency:10 },{ year:2003, frequency:8 },{ year:2004, frequency:5 },{ year:2005, frequency:7 },{ year:2006, frequency:12 },{ year:2007, frequency:9 },{ year:2008, frequency:4 },{ year:2009, frequency:3 },{ year:2010, frequency:14 },{ year:2011, frequency:8 },{ year:2012, frequency:7 },{ year:2013, frequency:11 },{ year:2014, frequency:10 },{ year:2015, frequency:11 },{ year:2016, frequency:9 },{ year:2017, frequency:7 },{ year:2018, frequency:14 },{ year:2019, frequency:7 },{ year:2020, frequency:10 },{ year:2021, frequency:5 },{ year:2022, frequency:9 },{ year:2023, frequency:6 },{ year:2024, frequency:4 }]; 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%3Akupferman.orna+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>182 Publications have been cited 2,140 times in <a href="/?q=ra%3Akupferman.orna">1,229 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="/1326.68181">Alternating-time temporal logic.</a> <a class="label nowrap" href="/1326.68181">Zbl 1326.68181</a> <br><a href="/authors/alur.rajeev" title="Author Profile">Alur, Rajeev</a>; <a href="/authors/henzinger.thomas-a" title="Author Profile">Henzinger, Thomas A.</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6516596">341</a> </div> </td> <td> <div class="citation_year">2002</div> </td> </tr> <tr class="pub_ci"> <td> <a class="black" href="/1133.68376">An automata-theoretic approach to branching-time model checking.</a> <a class="label nowrap" href="/1133.68376">Zbl 1133.68376</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a>; <a href="/authors/wolper.pierre" title="Author Profile">Wolper, Pierre</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5271290">123</a> </div> </td> <td> <div class="citation_year">2000</div> </td> </tr> <tr class="pub_ci"> <td> <a class="black" href="/0995.68061">Model checking of safety properties.</a> <a class="label nowrap" href="/0995.68061">Zbl 0995.68061</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1675859">79</a> </div> </td> <td> <div class="citation_year">2001</div> </td> </tr> <tr class="pub_ci"> <td> <a class="black" href="/1070.68524">Alternating refinement relations.</a> <a class="label nowrap" href="/1070.68524">Zbl 1070.68524</a> <br><a href="/authors/alur.rajeev" title="Author Profile">Alur, Rajeev</a>; <a href="/authors/henzinger.thomas-a" title="Author Profile">Henzinger, Thomas A.</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A2209335">65</a> </div> </td> <td> <div class="citation_year">1998</div> </td> </tr> <tr class="pub_ci"> <td> <a class="black" href="/1171.68551">Weak alternating automata are not that weak.</a> <a class="label nowrap" href="/1171.68551">Zbl 1171.68551</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5456469">59</a> </div> </td> <td> <div class="citation_year">2001</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1284.68396">Rational synthesis.</a> <a class="label nowrap" href="/1284.68396">Zbl 1284.68396</a> <br><a href="/authors/fisman.dana" title="Author Profile">Fisman, Dana</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/lustig.yoad" title="Author Profile">Lustig, Yoad</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5702241">56</a> </div> </td> <td> <div class="citation_year">2010</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1154.91306">Concurrent reachability games.</a> <a class="label nowrap" href="/1154.91306">Zbl 1154.91306</a> <br><a href="/authors/de-alfaro.luca" title="Author Profile">de Alfaro, Luca</a>; <a href="/authors/henzinger.thomas-a" title="Author Profile">Henzinger, Thomas A.</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5221687">47</a> </div> </td> <td> <div class="citation_year">2007</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1132.68455">Lattice automata.</a> <a class="label nowrap" href="/1132.68455">Zbl 1132.68455</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/lustig.yoad" title="Author Profile">Lustig, Yoad</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5259435">46</a> </div> </td> <td> <div class="citation_year">2007</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1348.68089">What’s decidable about weighted automata?</a> <a class="label nowrap" href="/1348.68089">Zbl 1348.68089</a> <br><a href="/authors/almagor.shaull" title="Author Profile">Almagor, Shaull</a>; <a href="/authors/boker.udi" title="Author Profile">Boker, Udi</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5954811">45</a> </div> </td> <td> <div class="citation_year">2011</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1009.68071">Fair simulation.</a> <a class="label nowrap" href="/1009.68071">Zbl 1009.68071</a> <br><a href="/authors/henzinger.thomas-a" title="Author Profile">Henzinger, Thomas A.</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/rajamani.sriram-k" title="Author Profile">Rajamani, Sriram K.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1853240">36</a> </div> </td> <td> <div class="citation_year">2002</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1192.68416">From liveness to promptness.</a> <a class="label nowrap" href="/1192.68416">Zbl 1192.68416</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/piterman.nir" title="Author Profile">Piterman, Nir</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5637100">36</a> </div> </td> <td> <div class="citation_year">2009</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0953.68090">Synthesis with incomplete information.</a> <a class="label nowrap" href="/0953.68090">Zbl 0953.68090</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1444727">32</a> </div> </td> <td> <div class="citation_year">2000</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1005.68525">Weak alternating automata and tree automata emptiness.</a> <a class="label nowrap" href="/1005.68525">Zbl 1005.68525</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1775458">32</a> </div> </td> <td> <div class="citation_year">1998</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1372.68173">Synthesis with rational environments.</a> <a class="label nowrap" href="/1372.68173">Zbl 1372.68173</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</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%3A6627930">31</a> </div> </td> <td> <div class="citation_year">2016</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1354.68169">Temporal specifications with accumulative values.</a> <a class="label nowrap" href="/1354.68169">Zbl 1354.68169</a> <br><a href="/authors/boker.udi" title="Author Profile">Boker, Udi</a>; <a href="/authors/chatterjee.krishnendu" title="Author Profile">Chatterjee, Krishnendu</a>; <a href="/authors/henzinger.thomas-a" title="Author Profile">Henzinger, Thomas A.</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6483232">27</a> </div> </td> <td> <div class="citation_year">2014</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1003.68071">Module checking.</a> <a class="label nowrap" href="/1003.68071">Zbl 1003.68071</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a>; <a href="/authors/wolper.pierre" title="Author Profile">Wolper, Pierre</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1853154">27</a> </div> </td> <td> <div class="citation_year">2001</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1284.68352">Variable automata over infinite alphabets.</a> <a class="label nowrap" href="/1284.68352">Zbl 1284.68352</a> <br><a href="/authors/grumberg.orna" title="Author Profile">Grumberg, Orna</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/sheinvald.sarai" title="Author Profile">Sheinvald, Sarai</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5712497">26</a> </div> </td> <td> <div class="citation_year">2010</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1072.03014">The complexity of the graded $\mu$-calculus.</a> <a class="label nowrap" href="/1072.03014">Zbl 1072.03014</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/sattler.ulrike" title="Author Profile">Sattler, Ulrike</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A2090317">26</a> </div> </td> <td> <div class="citation_year">2002</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1188.68193">Safraless compositional synthesis.</a> <a class="label nowrap" href="/1188.68193">Zbl 1188.68193</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/piterman.nir" title="Author Profile">Piterman, Nir</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5187394">25</a> </div> </td> <td> <div class="citation_year">2006</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1046.68597">Model checking of safety properties.</a> <a class="label nowrap" href="/1046.68597">Zbl 1046.68597</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A2102704">23</a> </div> </td> <td> <div class="citation_year">1999</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0932.03029">Church’s problem revisited.</a> <a class="label nowrap" href="/0932.03029">Zbl 0932.03029</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1340723">21</a> </div> </td> <td> <div class="citation_year">1999</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0974.68083">An automata-theoretic approach to reasoning about infinite-state systems.</a> <a class="label nowrap" href="/0974.68083">Zbl 0974.68083</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1670767">19</a> </div> </td> <td> <div class="citation_year">2000</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1367.68195">From linear time to branching time.</a> <a class="label nowrap" href="/1367.68195">Zbl 1367.68195</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6743965">18</a> </div> </td> <td> <div class="citation_year">2005</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0999.68124">Open systems in reactive environments: Control and synthesis.</a> <a class="label nowrap" href="/0999.68124">Zbl 0999.68124</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/madhusudan.parthasarathy" title="Author Profile">Madhusudan, P.</a>; <a href="/authors/thiagarajan.pazhamaneri-subramaniam" title="Author Profile">Thiagarajan, P. S.</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1759605">18</a> </div> </td> <td> <div class="citation_year">2000</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0961.68085">Vacuity detection in temporal model checking.</a> <a class="label nowrap" href="/0961.68085">Zbl 0961.68085</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1487861">17</a> </div> </td> <td> <div class="citation_year">1999</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1426.68161">Formally reasoning about quality.</a> <a class="label nowrap" href="/1426.68161">Zbl 1426.68161</a> <br><a href="/authors/almagor.shaull" title="Author Profile">Almagor, Shaull</a>; <a href="/authors/boker.udi" title="Author Profile">Boker, Udi</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6912634">16</a> </div> </td> <td> <div class="citation_year">2016</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1159.68311">Regular vacuity.</a> <a class="label nowrap" href="/1159.68311">Zbl 1159.68311</a> <br><a href="/authors/bustan.doron" title="Author Profile">Bustan, Doron</a>; <a href="/authors/flaisher.alon" title="Author Profile">Flaisher, Alon</a>; <a href="/authors/grumberg.orna" title="Author Profile">Grumberg, Orna</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5065732">15</a> </div> </td> <td> <div class="citation_year">2005</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1300.68071">Reasoning about online algorithms with weighted automata.</a> <a class="label nowrap" href="/1300.68071">Zbl 1300.68071</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/lampert.robby" title="Author Profile">Lampert, Robby</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6370639">15</a> </div> </td> <td> <div class="citation_year">2010</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1097.03034">Relating word and tree automata.</a> <a class="label nowrap" href="/1097.03034">Zbl 1097.03034</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/safra.muli" title="Author Profile">Safra, Shmuel</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A2242226">15</a> </div> </td> <td> <div class="citation_year">2006</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1023.68624">Pushdown specifications.</a> <a class="label nowrap" href="/1023.68624">Zbl 1023.68624</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/piterman.nir" title="Author Profile">Piterman, Nir</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1980931">15</a> </div> </td> <td> <div class="citation_year">2002</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1392.68255">Automata theory and model checking.</a> <a class="label nowrap" href="/1392.68255">Zbl 1392.68255</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6908870">15</a> </div> </td> <td> <div class="citation_year">2018</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1334.68112">Nondeterminism in the presence of a diverse or unknown future.</a> <a class="label nowrap" href="/1334.68112">Zbl 1334.68112</a> <br><a href="/authors/boker.udi" title="Author Profile">Boker, Udi</a>; <a href="/authors/kuperberg.denis" title="Author Profile">Kuperberg, Denis</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/skrzypczak.michal" title="Author Profile">Skrzypczak, Michał</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6196323">15</a> </div> </td> <td> <div class="citation_year">2013</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1374.68317">Repairing multi-player games.</a> <a class="label nowrap" href="/1374.68317">Zbl 1374.68317</a> <br><a href="/authors/almagor.shaull" title="Author Profile">Almagor, Shaull</a>; <a href="/authors/avni.guy" title="Author Profile">Avni, Guy</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6774221">14</a> </div> </td> <td> <div class="citation_year">2015</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1477.68163">Discounting in LTL.</a> <a class="label nowrap" href="/1477.68163">Zbl 1477.68163</a> <br><a href="/authors/almagor.shaull" title="Author Profile">Almagor, Shaull</a>; <a href="/authors/boker.udi" title="Author Profile">Boker, Udi</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6400486">14</a> </div> </td> <td> <div class="citation_year">2014</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1367.68185">What causes a system to satisfy a specification?</a> <a class="label nowrap" href="/1367.68185">Zbl 1367.68185</a> <br><a href="/authors/chockler.hana" title="Author Profile">Chockler, Hana</a>; <a href="/authors/halpern.joseph-y" title="Author Profile">Halpern, Joseph Y.</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6744060">13</a> </div> </td> <td> <div class="citation_year">2008</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1096.68081">Büchi complementation made tighter.</a> <a class="label nowrap" href="/1096.68081">Zbl 1096.68081</a> <br><a href="/authors/friedgut.ehud" title="Author Profile">Friedgut, Ehud</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5048166">13</a> </div> </td> <td> <div class="citation_year">2006</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1353.91012">Network-formation games with regular objectives.</a> <a class="label nowrap" href="/1353.91012">Zbl 1353.91012</a> <br><a href="/authors/avni.guy" title="Author Profile">Avni, Guy</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/tamir.tami" title="Author Profile">Tamir, Tami</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6654484">12</a> </div> </td> <td> <div class="citation_year">2016</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1179.68070">On complementing nondeterministic Büchi automata.</a> <a class="label nowrap" href="/1179.68070">Zbl 1179.68070</a> <br><a href="/authors/gurumurthy.sankar" title="Author Profile">Gurumurthy, Sankar</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/somenzi.fabio" title="Author Profile">Somenzi, Fabio</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5667296">12</a> </div> </td> <td> <div class="citation_year">2003</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0978.68077">On the complexity of parity word automata.</a> <a class="label nowrap" href="/0978.68077">Zbl 0978.68077</a> <br><a href="/authors/king.valerie" title="Author Profile">King, Valerie</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1701356">11</a> </div> </td> <td> <div class="citation_year">2001</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1009.68082">On the complexity of verifying concurrent transition systems.</a> <a class="label nowrap" href="/1009.68082">Zbl 1009.68082</a> <br><a href="/authors/harel.david" title="Author Profile">Harel, David</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1853244">11</a> </div> </td> <td> <div class="citation_year">2002</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1491.68096">How deterministic are good-for-games automata?</a> <a class="label nowrap" href="/1491.68096">Zbl 1491.68096</a> <br><a href="/authors/boker.udi" title="Author Profile">Boker, Udi</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/skrzypczak.michal" title="Author Profile">Skrzypczak, Michał</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7278090">11</a> </div> </td> <td> <div class="citation_year">2018</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="/1457.91106">Hierarchical network formation games.</a> <a class="label nowrap" href="/1457.91106">Zbl 1457.91106</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/tamir.tami" title="Author Profile">Tamir, Tami</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7228161">11</a> </div> </td> <td> <div class="citation_year">2017</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0996.68107">$\mu$-calculus synthesis.</a> <a class="label nowrap" href="/0996.68107">Zbl 0996.68107</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1759436">11</a> </div> </td> <td> <div class="citation_year">2000</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1335.68130">Formalizing and reasoning about quality.</a> <a class="label nowrap" href="/1335.68130">Zbl 1335.68130</a> <br><a href="/authors/almagor.shaull" title="Author Profile">Almagor, Shaull</a>; <a href="/authors/boker.udi" title="Author Profile">Boker, Udi</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6196315">11</a> </div> </td> <td> <div class="citation_year">2013</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1403.91059">Dynamic resource allocation games.</a> <a class="label nowrap" href="/1403.91059">Zbl 1403.91059</a> <br><a href="/authors/avni.guy" title="Author Profile">Avni, Guy</a>; <a href="/authors/henzinger.thomas-a" title="Author Profile">Henzinger, Thomas A.</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6630965">10</a> </div> </td> <td> <div class="citation_year">2016</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1200.68155">Latticed simulation relations and games.</a> <a class="label nowrap" href="/1200.68155">Zbl 1200.68155</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/lustig.yoad" title="Author Profile">Lustig, Yoad</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5697180">10</a> </div> </td> <td> <div class="citation_year">2010</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0945.68522">Freedom, weakness, and determinism: From linear-time to branching-time.</a> <a class="label nowrap" href="/0945.68522">Zbl 0945.68522</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1392310">10</a> </div> </td> <td> <div class="citation_year">1998</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1151.68485">Sanity checks in formal verification.</a> <a class="label nowrap" href="/1151.68485">Zbl 1151.68485</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5187271">10</a> </div> </td> <td> <div class="citation_year">2006</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1274.68158">Unifying Büchi complementation constructions.</a> <a class="label nowrap" href="/1274.68158">Zbl 1274.68158</a> <br><a href="/authors/fogarty.seth-j" title="Author Profile">Fogarty, Seth J.</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/wilke.thomas" title="Author Profile">Wilke, Thomas</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6152243">9</a> </div> </td> <td> <div class="citation_year">2013</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1245.03022"><span class="zbmathjax-textit">Once</span> and <span class="zbmathjax-textit">for all</span>.</a> <a class="label nowrap" href="/1245.03022">Zbl 1245.03022</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/pnueli.amir" title="Author Profile">Pnueli, Amir</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6067713">9</a> </div> </td> <td> <div class="citation_year">2012</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1151.68462">Finding shortest witnesses to the nonemptiness of automata on infinite words.</a> <a class="label nowrap" href="/1151.68462">Zbl 1151.68462</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/sheinvald-faragy.sarai" title="Author Profile">Sheinvald-Faragy, Sarai</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5187247">9</a> </div> </td> <td> <div class="citation_year">2006</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1074.68036">From pre-historic to post-modern symbolic model checking.</a> <a class="label nowrap" href="/1074.68036">Zbl 1074.68036</a> <br><a href="/authors/henzinger.thomas-a" title="Author Profile">Henzinger, Thomas A.</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/qadeer.shaz" title="Author Profile">Qadeer, Shaz</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A2100109">9</a> </div> </td> <td> <div class="citation_year">2003</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1288.68148">Alternation removal in Büchi automata.</a> <a class="label nowrap" href="/1288.68148">Zbl 1288.68148</a> <br><a href="/authors/boker.udi" title="Author Profile">Boker, Udi</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/rosenberg.adin" title="Author Profile">Rosenberg, Adin</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5780535">9</a> </div> </td> <td> <div class="citation_year">2010</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1336.68155">Profile trees for Büchi word automata, with application to determinization.</a> <a class="label nowrap" href="/1336.68155">Zbl 1336.68155</a> <br><a href="/authors/fogarty.seth-j" title="Author Profile">Fogarty, Seth</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a>; <a href="/authors/wilke.thomas" title="Author Profile">Wilke, Thomas</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6516969">9</a> </div> </td> <td> <div class="citation_year">2015</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="/1275.68094">On bounded specifications.</a> <a class="label nowrap" href="/1275.68094">Zbl 1275.68094</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5884891">8</a> </div> </td> <td> <div class="citation_year">2001</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1006.68086">Extended temporal logic revisited.</a> <a class="label nowrap" href="/1006.68086">Zbl 1006.68086</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/piterman.nir" title="Author Profile">Piterman, Nir</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1863182">8</a> </div> </td> <td> <div class="citation_year">2001</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1081.68051">Abstraction for falsification.</a> <a class="label nowrap" href="/1081.68051">Zbl 1081.68051</a> <br><a href="/authors/ball.thomas" title="Author Profile">Ball, Thomas</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/yorsh.greta" title="Author Profile">Yorsh, Greta</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A2245546">8</a> </div> </td> <td> <div class="citation_year">2005</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1126.68481">From complementation to certification.</a> <a class="label nowrap" href="/1126.68481">Zbl 1126.68481</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5196486">8</a> </div> </td> <td> <div class="citation_year">2004</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1327.68161">The blow-up in translating LTL to deterministic automata.</a> <a class="label nowrap" href="/1327.68161">Zbl 1327.68161</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/rosenberg.adin" title="Author Profile">Rosenberg, Adin</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6527944">8</a> </div> </td> <td> <div class="citation_year">2011</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1369.91007">Congestion games with multisets of resources and applications in synthesis.</a> <a class="label nowrap" href="/1369.91007">Zbl 1369.91007</a> <br><a href="/authors/avni.guy" title="Author Profile">Avni, Guy</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/tamir.tami" title="Author Profile">Tamir, Tami</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6744930">7</a> </div> </td> <td> <div class="citation_year">2015</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1134.68317">On verifying fault tolerance of distributed protocols.</a> <a class="label nowrap" href="/1134.68317">Zbl 1134.68317</a> <br><a href="/authors/fisman.dana" title="Author Profile">Fisman, Dana</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/lustig.yoad" title="Author Profile">Lustig, Yoad</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5262377">7</a> </div> </td> <td> <div class="citation_year">2008</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1288.68158">An automata-theoretic approach to infinite-state systems.</a> <a class="label nowrap" href="/1288.68158">Zbl 1288.68158</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/piterman.nir" title="Author Profile">Piterman, Nir</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5780219">7</a> </div> </td> <td> <div class="citation_year">2010</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1108.68486">Reasoning about systems with transition fairness.</a> <a class="label nowrap" href="/1108.68486">Zbl 1108.68486</a> <br><a href="/authors/aminof.benjamin" title="Author Profile">Aminof, Benjamin</a>; <a href="/authors/ball.thomas" title="Author Profile">Ball, Thomas</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A2227656">7</a> </div> </td> <td> <div class="citation_year">2005</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1122.68470">A measured collapse of the modal $\mu $-calculus alternation hierarchy.</a> <a class="label nowrap" href="/1122.68470">Zbl 1122.68470</a> <br><a href="/authors/bustan.doron" title="Author Profile">Bustan, Doron</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5196884">7</a> </div> </td> <td> <div class="citation_year">2004</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1441.91014">Timed network games.</a> <a class="label nowrap" href="/1441.91014">Zbl 1441.91014</a> <br><a href="/authors/avni.guy" title="Author Profile">Avni, Guy</a>; <a href="/authors/guha.shibashis" title="Author Profile">Guha, Shibashis</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7204371">7</a> </div> </td> <td> <div class="citation_year">2017</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0942.68072">Augmenting branching temporal logics with existential quantification over atomic propositions.</a> <a class="label nowrap" href="/0942.68072">Zbl 0942.68072</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1286042">7</a> </div> </td> <td> <div class="citation_year">1999</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1526.68003">What’s decidable about weighted automata?</a> <a class="label nowrap" href="/1526.68003">Zbl 1526.68003</a> <br><a href="/authors/almagor.shaull" title="Author Profile">Almagor, Shaull</a>; <a href="/authors/boker.udi" title="Author Profile">Boker, Udi</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7452651">7</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1348.68116">Max and sum semantics for alternating weighted automata.</a> <a class="label nowrap" href="/1348.68116">Zbl 1348.68116</a> <br><a href="/authors/almagor.shaull" title="Author Profile">Almagor, Shaull</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5954776">7</a> </div> </td> <td> <div class="citation_year">2011</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1230.68144">Temporal synthesis for bounded systems and environments.</a> <a class="label nowrap" href="/1230.68144">Zbl 1230.68144</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/lustig.yoad" title="Author Profile">Lustig, Yoad</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a>; <a href="/authors/yannakakis.mihalis" title="Author Profile">Yannakakis, Mihalis</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5999582">7</a> </div> </td> <td> <div class="citation_year">2011</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1348.91069">Network-formation games with regular objectives.</a> <a class="label nowrap" href="/1348.91069">Zbl 1348.91069</a> <br><a href="/authors/avni.guy" title="Author Profile">Avni, Guy</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/tamir.tami" title="Author Profile">Tamir, Tami</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6286330">6</a> </div> </td> <td> <div class="citation_year">2014</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1161.68572">On the construction of fine automata for safety properties.</a> <a class="label nowrap" href="/1161.68572">Zbl 1161.68572</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/lampert.robby" title="Author Profile">Lampert, Robby</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5321056">6</a> </div> </td> <td> <div class="citation_year">2006</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1135.03336">From liveness to promptness.</a> <a class="label nowrap" href="/1135.03336">Zbl 1135.03336</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/piterman.nir" title="Author Profile">Piterman, Nir</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5216249">6</a> </div> </td> <td> <div class="citation_year">2007</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1159.68313">Verifying quantitative properties using bound functions.</a> <a class="label nowrap" href="/1159.68313">Zbl 1159.68313</a> <br><a href="/authors/chakrabarti.arindam" title="Author Profile">Chakrabarti, Arindam</a>; <a href="/authors/chatterjee.krishnendu" title="Author Profile">Chatterjee, Krishnendu</a>; <a href="/authors/henzinger.thomas-a" title="Author Profile">Henzinger, Thomas A.</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/majumdar.rupak" title="Author Profile">Majumdar, Rupak</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5065723">6</a> </div> </td> <td> <div class="citation_year">2005</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1086.68071">$\omega$-regular languages are testable with a constant number of queries.</a> <a class="label nowrap" href="/1086.68071">Zbl 1086.68071</a> <br><a href="/authors/chockler.hana" title="Author Profile">Chockler, Hana</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A2132495">6</a> </div> </td> <td> <div class="citation_year">2004</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1417.68097">Synthesis from component libraries with costs.</a> <a class="label nowrap" href="/1417.68097">Zbl 1417.68097</a> <br><a href="/authors/avni.guy" title="Author Profile">Avni, Guy</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6344621">6</a> </div> </td> <td> <div class="citation_year">2014</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0924.03045">The weakness of self-complementation.</a> <a class="label nowrap" href="/0924.03045">Zbl 0924.03045</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1304332">6</a> </div> </td> <td> <div class="citation_year">1999</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1291.68224">Rigorous approximated determinization of weighted automata.</a> <a class="label nowrap" href="/1291.68224">Zbl 1291.68224</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/lampert.robby" title="Author Profile">Lampert, Robby</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6234588">6</a> </div> </td> <td> <div class="citation_year">2013</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1527.68120">Minimizing GFG transition-based automata.</a> <a class="label nowrap" href="/1527.68120">Zbl 1527.68120</a> <br><a href="/authors/abu.radi-bader" title="Author Profile">Abu, Radi Bader</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7561593">6</a> </div> </td> <td> <div class="citation_year">2019</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1418.91097">An abstraction-refinement methodology for reasoning about network games.</a> <a class="label nowrap" href="/1418.91097">Zbl 1418.91097</a> <br><a href="/authors/avni.guy" title="Author Profile">Avni, Guy</a>; <a href="/authors/guha.shibashis" title="Author Profile">Guha, Shibashis</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6991153">5</a> </div> </td> <td> <div class="citation_year">2018</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1392.68225">Minimizing expected cost under hard Boolean constraints, with applications to quantitative synthesis.</a> <a class="label nowrap" href="/1392.68225">Zbl 1392.68225</a> <br><a href="/authors/almagor.shaull" title="Author Profile">Almagor, Shaull</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/velner.yaron" title="Author Profile">Velner, Yaron</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6851931">5</a> </div> </td> <td> <div class="citation_year">2016</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1360.68537">Regular sensing.</a> <a class="label nowrap" href="/1360.68537">Zbl 1360.68537</a> <br><a href="/authors/almagor.shaull" title="Author Profile">Almagor, Shaull</a>; <a href="/authors/kuperberg.denis" title="Author Profile">Kuperberg, Denis</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6707764">5</a> </div> </td> <td> <div class="citation_year">2014</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0857.03009">Buy one, get one free!!!</a> <a class="label nowrap" href="/0857.03009">Zbl 0857.03009</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/grumberg.orna" title="Author Profile">Grumberg, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A935190">5</a> </div> </td> <td> <div class="citation_year">1996</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1410.68228">An automata-theoretic approach to reasoning about parameterized systems and specifications.</a> <a class="label nowrap" href="/1410.68228">Zbl 1410.68228</a> <br><a href="/authors/grumberg.orna" title="Author Profile">Grumberg, Orna</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/sheinvald.sarai" title="Author Profile">Sheinvald, Sarai</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6314168">5</a> </div> </td> <td> <div class="citation_year">2013</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1165.68408">On locally checkable properties.</a> <a class="label nowrap" href="/1165.68408">Zbl 1165.68408</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/lustig.yoad" title="Author Profile">Lustig, Yoad</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5279582">5</a> </div> </td> <td> <div class="citation_year">2006</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1135.68465">Leaping loops in the presence of abstraction.</a> <a class="label nowrap" href="/1135.68465">Zbl 1135.68465</a> <br><a href="/authors/ball.thomas" title="Author Profile">Ball, Thomas</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/sagiv.mooly" title="Author Profile">Sagiv, Mooly</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5216255">5</a> </div> </td> <td> <div class="citation_year">2007</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1141.68473">Latticed simulation relations and games.</a> <a class="label nowrap" href="/1141.68473">Zbl 1141.68473</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/lustig.yoad" title="Author Profile">Lustig, Yoad</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5297046">5</a> </div> </td> <td> <div class="citation_year">2007</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0939.68083">Robust satisfaction.</a> <a class="label nowrap" href="/0939.68083">Zbl 0939.68083</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1361134">5</a> </div> </td> <td> <div class="citation_year">1999</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1351.68135">Translating to co-Büchi made tight, unified, and useful.</a> <a class="label nowrap" href="/1351.68135">Zbl 1351.68135</a> <br><a href="/authors/boker.udi" title="Author Profile">Boker, Udi</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6483183">5</a> </div> </td> <td> <div class="citation_year">2012</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1478.68141">Good-enough synthesis.</a> <a class="label nowrap" href="/1478.68141">Zbl 1478.68141</a> <br><a href="/authors/almagor.shaull" title="Author Profile">Almagor, Shaull</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7307982">5</a> </div> </td> <td> <div class="citation_year">2020</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1305.68108">Promptness in $\omega $-regular automata.</a> <a class="label nowrap" href="/1305.68108">Zbl 1305.68108</a> <br><a href="/authors/almagor.shaull" title="Author Profile">Almagor, Shaull</a>; <a href="/authors/hirshfeld.yoram" title="Author Profile">Hirshfeld, Yoram</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5795619">5</a> </div> </td> <td> <div class="citation_year">2010</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1108.68068">Büchi complementation made tighter.</a> <a class="label nowrap" href="/1108.68068">Zbl 1108.68068</a> <br><a href="/authors/friedgut.ehud" title="Author Profile">Friedgut, Ehud</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5067779">5</a> </div> </td> <td> <div class="citation_year">2004</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1010.68078">Model checking linear properties of prefix-recognizable systems.</a> <a class="label nowrap" href="/1010.68078">Zbl 1010.68078</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/piterman.nir" title="Author Profile">Piterman, Nir</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1903366">5</a> </div> </td> <td> <div class="citation_year">2002</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/07649933">Register-bounded synthesis.</a> <a class="label nowrap" href="/7649933">Zbl 07649933</a> <br><a href="/authors/khalimov.ayrat" title="Author Profile">Khalimov, Ayrat</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7649933">5</a> </div> </td> <td> <div class="citation_year">2019</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1494.68156">Quantitative assume guarantee synthesis.</a> <a class="label nowrap" href="/1494.68156">Zbl 1494.68156</a> <br><a href="/authors/almagor.shaull" title="Author Profile">Almagor, Shaull</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/ringert.jan-oliver" title="Author Profile">Ringert, Jan Oliver</a>; <a href="/authors/velner.yaron" title="Author Profile">Velner, Yaron</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7571385">5</a> </div> </td> <td> <div class="citation_year">2017</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1436.68178">Properties and utilization of capacitated automata (invited talk).</a> <a class="label nowrap" href="/1436.68178">Zbl 1436.68178</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/tamir.tami" title="Author Profile">Tamir, Tami</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7222496">5</a> </div> </td> <td> <div class="citation_year">2014</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1547.68436">The complexity of LTL rational synthesis.</a> <a class="label nowrap" href="/1547.68436">Zbl 1547.68436</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/shenwald.noam" title="Author Profile">Shenwald, Noam</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7793087">4</a> </div> </td> <td> <div class="citation_year">2022</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="/1405.68178">Latticed-LTL synthesis in the presence of noisy inputs.</a> <a class="label nowrap" href="/1405.68178">Zbl 1405.68178</a> <br><a href="/authors/almagor.shaull" title="Author Profile">Almagor, Shaull</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6286337">4</a> </div> </td> <td> <div class="citation_year">2014</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="/1526.68003">What’s decidable about weighted automata?</a> <a class="label nowrap" href="/1526.68003">Zbl 1526.68003</a> <br><a href="/authors/almagor.shaull" title="Author Profile">Almagor, Shaull</a>; <a href="/authors/boker.udi" title="Author Profile">Boker, Udi</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7452651">7</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py"> <td> <a class="black" href="/1547.68436">The complexity of LTL rational synthesis.</a> <a class="label nowrap" href="/1547.68436">Zbl 1547.68436</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/shenwald.noam" title="Author Profile">Shenwald, Noam</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7793087">4</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py"> <td> <a class="black" href="/1540.68117">Minimization and canonization of GFG transition-based automata.</a> <a class="label nowrap" href="/1540.68117">Zbl 1540.68117</a> <br><a href="/authors/radi.bader-abu" title="Author Profile">Abu Radi, Bader</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7577580">4</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py"> <td> <a class="black" href="/07912949">Synthesis of privacy-preserving systems.</a> <a class="label nowrap" href="/7912949">Zbl 07912949</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/leshkowitz.ofer" title="Author Profile">Leshkowitz, Ofer</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7912949">2</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07896552">Energy games with resource-bounded environments.</a> <a class="label nowrap" href="/7896552">Zbl 07896552</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/shamash.halevy-naama" title="Author Profile">Shamash, Halevy Naama</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7896552">1</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07643470">Lazy regular sensing.</a> <a class="label nowrap" href="/7643470">Zbl 07643470</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/petruschka.asaf" title="Author Profile">Petruschka, Asaf</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7643470">1</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07724258">A hierarchy of nondeterminism.</a> <a class="label nowrap" href="/7724258">Zbl 07724258</a> <br><a href="/authors/abu.radi-bader" title="Author Profile">Abu, Radi Bader</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/leshkowitz.ofer" title="Author Profile">Leshkowitz, Ofer</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7724258">3</a> </div> </td> <td> <div class="citation_year">2021</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07957067">Perspective multi-player games.</a> <a class="label nowrap" href="/7957067">Zbl 07957067</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/shenwald.noam" title="Author Profile">Shenwald, Noam</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7957067">3</a> </div> </td> <td> <div class="citation_year">2021</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07410435">Certifying inexpressibility.</a> <a class="label nowrap" href="/7410435">Zbl 07410435</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/sickert.salomon" title="Author Profile">Sickert, Salomon</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7410435">2</a> </div> </td> <td> <div class="citation_year">2021</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1478.68141">Good-enough synthesis.</a> <a class="label nowrap" href="/1478.68141">Zbl 1478.68141</a> <br><a href="/authors/almagor.shaull" title="Author Profile">Almagor, Shaull</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7307982">5</a> </div> </td> <td> <div class="citation_year">2020</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1440.68171">On synthesis of specifications with arithmetic.</a> <a class="label nowrap" href="/1440.68171">Zbl 1440.68171</a> <br><a href="/authors/faran.rachel" title="Author Profile">Faran, Rachel</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7223091">4</a> </div> </td> <td> <div class="citation_year">2020</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07559422">Unary prime languages.</a> <a class="label nowrap" href="/7559422">Zbl 07559422</a> <br><a href="/authors/jecker.ismael" title="Author Profile">Jecker, Ismaël</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/mazzocchi.nicolas" title="Author Profile">Mazzocchi, Nicolas</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7559422">2</a> </div> </td> <td> <div class="citation_year">2020</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07559430">On repetition languages.</a> <a class="label nowrap" href="/7559430">Zbl 07559430</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/leshkowitz.ofer" title="Author Profile">Leshkowitz, Ofer</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7559430">1</a> </div> </td> <td> <div class="citation_year">2020</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1539.68130">Canonicity in GFG and transition-based automata.</a> <a class="label nowrap" href="/1539.68130">Zbl 1539.68130</a> <br><a href="/authors/radi.bader-abu" title="Author Profile">Abu Radi, Bader</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7455749">1</a> </div> </td> <td> <div class="citation_year">2020</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1517.68186">On ($I/O$)-aware good-for-games automata.</a> <a class="label nowrap" href="/1517.68186">Zbl 1517.68186</a> <br><a href="/authors/faran.rachel" title="Author Profile">Faran, Rachel</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7636244">1</a> </div> </td> <td> <div class="citation_year">2020</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1527.68120">Minimizing GFG transition-based automata.</a> <a class="label nowrap" href="/1527.68120">Zbl 1527.68120</a> <br><a href="/authors/abu.radi-bader" title="Author Profile">Abu, Radi Bader</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7561593">6</a> </div> </td> <td> <div class="citation_year">2019</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07649933">Register-bounded synthesis.</a> <a class="label nowrap" href="/7649933">Zbl 07649933</a> <br><a href="/authors/khalimov.ayrat" title="Author Profile">Khalimov, Ayrat</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7649933">5</a> </div> </td> <td> <div class="citation_year">2019</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1435.68175">Capacitated automata and systems.</a> <a class="label nowrap" href="/1435.68175">Zbl 1435.68175</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/sheinvald.sarai" title="Author Profile">Sheinvald, Sarai</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7144454">3</a> </div> </td> <td> <div class="citation_year">2019</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07959680">Perspective games.</a> <a class="label nowrap" href="/7959680">Zbl 07959680</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/vardi.gal" title="Author Profile">Vardi, Gal</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7959680">3</a> </div> </td> <td> <div class="citation_year">2019</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1442.03014">Flow logic.</a> <a class="label nowrap" href="/1442.03014">Zbl 1442.03014</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/vardi.gal" title="Author Profile">Vardi, Gal</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7136668">1</a> </div> </td> <td> <div class="citation_year">2019</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1392.68255">Automata theory and model checking.</a> <a class="label nowrap" href="/1392.68255">Zbl 1392.68255</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6908870">15</a> </div> </td> <td> <div class="citation_year">2018</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1491.68096">How deterministic are good-for-games automata?</a> <a class="label nowrap" href="/1491.68096">Zbl 1491.68096</a> <br><a href="/authors/boker.udi" title="Author Profile">Boker, Udi</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/skrzypczak.michal" title="Author Profile">Skrzypczak, Michał</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7278090">11</a> </div> </td> <td> <div class="citation_year">2018</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1418.91097">An abstraction-refinement methodology for reasoning about network games.</a> <a class="label nowrap" href="/1418.91097">Zbl 1418.91097</a> <br><a href="/authors/avni.guy" title="Author Profile">Avni, Guy</a>; <a href="/authors/guha.shibashis" title="Author Profile">Guha, Shibashis</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6991153">5</a> </div> </td> <td> <div class="citation_year">2018</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1415.68144">LTL with arithmetic and its applications in reasoning about hierarchical systems.</a> <a class="label nowrap" href="/1415.68144">Zbl 1415.68144</a> <br><a href="/authors/faran.rachel" title="Author Profile">Faran, Rachel</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7076877">3</a> </div> </td> <td> <div class="citation_year">2018</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1510.91055">Timed network games with clocks.</a> <a class="label nowrap" href="/1510.91055">Zbl 1510.91055</a> <br><a href="/authors/avni.guy" title="Author Profile">Avni, Guy</a>; <a href="/authors/guha.shibashis" title="Author Profile">Guha, Shibashis</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7378340">3</a> </div> </td> <td> <div class="citation_year">2018</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1408.68096">Spanning the spectrum from safety to liveness.</a> <a class="label nowrap" href="/1408.68096">Zbl 1408.68096</a> <br><a href="/authors/faran.rachel" title="Author Profile">Faran, Rachel</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6992508">2</a> </div> </td> <td> <div class="citation_year">2018</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1491.91037">Flow games.</a> <a class="label nowrap" href="/1491.91037">Zbl 1491.91037</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/vardi.gal" title="Author Profile">Vardi, Gal</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7278110">2</a> </div> </td> <td> <div class="citation_year">2018</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1386.68099">Synthesis from component libraries with costs.</a> <a class="label nowrap" href="/1386.68099">Zbl 1386.68099</a> <br><a href="/authors/avni.guy" title="Author Profile">Avni, Guy</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6836523">1</a> </div> </td> <td> <div class="citation_year">2018</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1390.68433">On relative and probabilistic finite counterability.</a> <a class="label nowrap" href="/1390.68433">Zbl 1390.68433</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/vardi.gal" title="Author Profile">Vardi, Gal</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6859140">1</a> </div> </td> <td> <div class="citation_year">2018</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1457.91106">Hierarchical network formation games.</a> <a class="label nowrap" href="/1457.91106">Zbl 1457.91106</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/tamir.tami" title="Author Profile">Tamir, Tami</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7228161">11</a> </div> </td> <td> <div class="citation_year">2017</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1441.91014">Timed network games.</a> <a class="label nowrap" href="/1441.91014">Zbl 1441.91014</a> <br><a href="/authors/avni.guy" title="Author Profile">Avni, Guy</a>; <a href="/authors/guha.shibashis" title="Author Profile">Guha, Shibashis</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7204371">7</a> </div> </td> <td> <div class="citation_year">2017</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1494.68156">Quantitative assume guarantee synthesis.</a> <a class="label nowrap" href="/1494.68156">Zbl 1494.68156</a> <br><a href="/authors/almagor.shaull" title="Author Profile">Almagor, Shaull</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/ringert.jan-oliver" title="Author Profile">Ringert, Jan Oliver</a>; <a href="/authors/velner.yaron" title="Author Profile">Velner, Yaron</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7571385">5</a> </div> </td> <td> <div class="citation_year">2017</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1374.93029">Latticed-LTL synthesis in the presence of noisy inputs.</a> <a class="label nowrap" href="/1374.93029">Zbl 1374.93029</a> <br><a href="/authors/almagor.shaull" title="Author Profile">Almagor, Shaull</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6805733">4</a> </div> </td> <td> <div class="citation_year">2017</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1372.68173">Synthesis with rational environments.</a> <a class="label nowrap" href="/1372.68173">Zbl 1372.68173</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</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%3A6627930">31</a> </div> </td> <td> <div class="citation_year">2016</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1426.68161">Formally reasoning about quality.</a> <a class="label nowrap" href="/1426.68161">Zbl 1426.68161</a> <br><a href="/authors/almagor.shaull" title="Author Profile">Almagor, Shaull</a>; <a href="/authors/boker.udi" title="Author Profile">Boker, Udi</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6912634">16</a> </div> </td> <td> <div class="citation_year">2016</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1353.91012">Network-formation games with regular objectives.</a> <a class="label nowrap" href="/1353.91012">Zbl 1353.91012</a> <br><a href="/authors/avni.guy" title="Author Profile">Avni, Guy</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/tamir.tami" title="Author Profile">Tamir, Tami</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6654484">12</a> </div> </td> <td> <div class="citation_year">2016</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1403.91059">Dynamic resource allocation games.</a> <a class="label nowrap" href="/1403.91059">Zbl 1403.91059</a> <br><a href="/authors/avni.guy" title="Author Profile">Avni, Guy</a>; <a href="/authors/henzinger.thomas-a" title="Author Profile">Henzinger, Thomas A.</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6630965">10</a> </div> </td> <td> <div class="citation_year">2016</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1392.68225">Minimizing expected cost under hard Boolean constraints, with applications to quantitative synthesis.</a> <a class="label nowrap" href="/1392.68225">Zbl 1392.68225</a> <br><a href="/authors/almagor.shaull" title="Author Profile">Almagor, Shaull</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/velner.yaron" title="Author Profile">Velner, Yaron</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6851931">5</a> </div> </td> <td> <div class="citation_year">2016</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1476.68150">On high-quality synthesis.</a> <a class="label nowrap" href="/1476.68150">Zbl 1476.68150</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6605915">3</a> </div> </td> <td> <div class="citation_year">2016</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1369.68256">High-quality synthesis against stochastic environments.</a> <a class="label nowrap" href="/1369.68256">Zbl 1369.68256</a> <br><a href="/authors/almagor.shaull" title="Author Profile">Almagor, Shaull</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6748877">3</a> </div> </td> <td> <div class="citation_year">2016</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1374.68317">Repairing multi-player games.</a> <a class="label nowrap" href="/1374.68317">Zbl 1374.68317</a> <br><a href="/authors/almagor.shaull" title="Author Profile">Almagor, Shaull</a>; <a href="/authors/avni.guy" title="Author Profile">Avni, Guy</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6774221">14</a> </div> </td> <td> <div class="citation_year">2015</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1336.68155">Profile trees for Büchi word automata, with application to determinization.</a> <a class="label nowrap" href="/1336.68155">Zbl 1336.68155</a> <br><a href="/authors/fogarty.seth-j" title="Author Profile">Fogarty, Seth</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a>; <a href="/authors/wilke.thomas" title="Author Profile">Wilke, Thomas</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6516969">9</a> </div> </td> <td> <div class="citation_year">2015</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1369.91007">Congestion games with multisets of resources and applications in synthesis.</a> <a class="label nowrap" href="/1369.91007">Zbl 1369.91007</a> <br><a href="/authors/avni.guy" title="Author Profile">Avni, Guy</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/tamir.tami" title="Author Profile">Tamir, Tami</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6744930">7</a> </div> </td> <td> <div class="citation_year">2015</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1366.68131">The sensing cost of monitoring and synthesis.</a> <a class="label nowrap" href="/1366.68131">Zbl 1366.68131</a> <br><a href="/authors/almagor.shaull" title="Author Profile">Almagor, Shaull</a>; <a href="/authors/kuperberg.denis" title="Author Profile">Kuperberg, Denis</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6744931">4</a> </div> </td> <td> <div class="citation_year">2015</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1354.68156">Minimizing deterministic lattice automata.</a> <a class="label nowrap" href="/1354.68156">Zbl 1354.68156</a> <br><a href="/authors/halamish.shulamit" title="Author Profile">Halamish, Shulamit</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6483246">4</a> </div> </td> <td> <div class="citation_year">2015</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1312.68121">Prime languages.</a> <a class="label nowrap" href="/1312.68121">Zbl 1312.68121</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/mosheiff.jonathan" title="Author Profile">Mosheiff, Jonathan</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6393282">4</a> </div> </td> <td> <div class="citation_year">2015</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1465.68130">Stochastization of weighted automata.</a> <a class="label nowrap" href="/1465.68130">Zbl 1465.68130</a> <br><a href="/authors/avni.guy" title="Author Profile">Avni, Guy</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6482727">3</a> </div> </td> <td> <div class="citation_year">2015</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1373.68288">On relative and probabilistic finite counterability.</a> <a class="label nowrap" href="/1373.68288">Zbl 1373.68288</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/vardi.gal" title="Author Profile">Vardi, Gal</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6767595">2</a> </div> </td> <td> <div class="citation_year">2015</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1354.68145">Parameterized weighted containment.</a> <a class="label nowrap" href="/1354.68145">Zbl 1354.68145</a> <br><a href="/authors/avni.guy" title="Author Profile">Avni, Guy</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6483245">1</a> </div> </td> <td> <div class="citation_year">2015</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1408.68095">Spanning the spectrum from safety to liveness.</a> <a class="label nowrap" href="/1408.68095">Zbl 1408.68095</a> <br><a href="/authors/faran.rachel" title="Author Profile">Faran, Rachel</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6527549">1</a> </div> </td> <td> <div class="citation_year">2015</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1354.68169">Temporal specifications with accumulative values.</a> <a class="label nowrap" href="/1354.68169">Zbl 1354.68169</a> <br><a href="/authors/boker.udi" title="Author Profile">Boker, Udi</a>; <a href="/authors/chatterjee.krishnendu" title="Author Profile">Chatterjee, Krishnendu</a>; <a href="/authors/henzinger.thomas-a" title="Author Profile">Henzinger, Thomas A.</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6483232">27</a> </div> </td> <td> <div class="citation_year">2014</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1477.68163">Discounting in LTL.</a> <a class="label nowrap" href="/1477.68163">Zbl 1477.68163</a> <br><a href="/authors/almagor.shaull" title="Author Profile">Almagor, Shaull</a>; <a href="/authors/boker.udi" title="Author Profile">Boker, Udi</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6400486">14</a> </div> </td> <td> <div class="citation_year">2014</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1348.91069">Network-formation games with regular objectives.</a> <a class="label nowrap" href="/1348.91069">Zbl 1348.91069</a> <br><a href="/authors/avni.guy" title="Author Profile">Avni, Guy</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/tamir.tami" title="Author Profile">Tamir, Tami</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6286330">6</a> </div> </td> <td> <div class="citation_year">2014</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1417.68097">Synthesis from component libraries with costs.</a> <a class="label nowrap" href="/1417.68097">Zbl 1417.68097</a> <br><a href="/authors/avni.guy" title="Author Profile">Avni, Guy</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6344621">6</a> </div> </td> <td> <div class="citation_year">2014</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1360.68537">Regular sensing.</a> <a class="label nowrap" href="/1360.68537">Zbl 1360.68537</a> <br><a href="/authors/almagor.shaull" title="Author Profile">Almagor, Shaull</a>; <a href="/authors/kuperberg.denis" title="Author Profile">Kuperberg, Denis</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6707764">5</a> </div> </td> <td> <div class="citation_year">2014</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1436.68178">Properties and utilization of capacitated automata (invited talk).</a> <a class="label nowrap" href="/1436.68178">Zbl 1436.68178</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/tamir.tami" title="Author Profile">Tamir, Tami</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7222496">5</a> </div> </td> <td> <div class="citation_year">2014</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1405.68178">Latticed-LTL synthesis in the presence of noisy inputs.</a> <a class="label nowrap" href="/1405.68178">Zbl 1405.68178</a> <br><a href="/authors/almagor.shaull" title="Author Profile">Almagor, Shaull</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6286337">4</a> </div> </td> <td> <div class="citation_year">2014</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1291.68242">An abstraction-refinement framework for trigger querying.</a> <a class="label nowrap" href="/1291.68242">Zbl 1291.68242</a> <br><a href="/authors/avni.guy" title="Author Profile">Avni, Guy</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6310037">2</a> </div> </td> <td> <div class="citation_year">2014</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1448.68300">A game-theoretic approach to simulation of data-parameterized systems.</a> <a class="label nowrap" href="/1448.68300">Zbl 1448.68300</a> <br><a href="/authors/grumberg.orna" title="Author Profile">Grumberg, Orna</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/sheinvald.sarai" title="Author Profile">Sheinvald, Sarai</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6521685">2</a> </div> </td> <td> <div class="citation_year">2014</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1423.68272">From reachability to temporal specifications in cost-sharing games.</a> <a class="label nowrap" href="/1423.68272">Zbl 1423.68272</a> <br><a href="/authors/avni.guy" title="Author Profile">Avni, Guy</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/tamir.tami" title="Author Profile">Tamir, Tami</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6348223">1</a> </div> </td> <td> <div class="citation_year">2014</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1334.68112">Nondeterminism in the presence of a diverse or unknown future.</a> <a class="label nowrap" href="/1334.68112">Zbl 1334.68112</a> <br><a href="/authors/boker.udi" title="Author Profile">Boker, Udi</a>; <a href="/authors/kuperberg.denis" title="Author Profile">Kuperberg, Denis</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/skrzypczak.michal" title="Author Profile">Skrzypczak, Michał</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6196323">15</a> </div> </td> <td> <div class="citation_year">2013</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1335.68130">Formalizing and reasoning about quality.</a> <a class="label nowrap" href="/1335.68130">Zbl 1335.68130</a> <br><a href="/authors/almagor.shaull" title="Author Profile">Almagor, Shaull</a>; <a href="/authors/boker.udi" title="Author Profile">Boker, Udi</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6196315">11</a> </div> </td> <td> <div class="citation_year">2013</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1274.68158">Unifying Büchi complementation constructions.</a> <a class="label nowrap" href="/1274.68158">Zbl 1274.68158</a> <br><a href="/authors/fogarty.seth-j" title="Author Profile">Fogarty, Seth J.</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/wilke.thomas" title="Author Profile">Wilke, Thomas</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6152243">9</a> </div> </td> <td> <div class="citation_year">2013</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1291.68224">Rigorous approximated determinization of weighted automata.</a> <a class="label nowrap" href="/1291.68224">Zbl 1291.68224</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/lampert.robby" title="Author Profile">Lampert, Robby</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6234588">6</a> </div> </td> <td> <div class="citation_year">2013</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1410.68228">An automata-theoretic approach to reasoning about parameterized systems and specifications.</a> <a class="label nowrap" href="/1410.68228">Zbl 1410.68228</a> <br><a href="/authors/grumberg.orna" title="Author Profile">Grumberg, Orna</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/sheinvald.sarai" title="Author Profile">Sheinvald, Sarai</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6314168">5</a> </div> </td> <td> <div class="citation_year">2013</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1410.68216">A framework for ranking vacuity results.</a> <a class="label nowrap" href="/1410.68216">Zbl 1410.68216</a> <br><a href="/authors/ben-david.shoham" title="Author Profile">Ben-David, Shoham</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6314152">3</a> </div> </td> <td> <div class="citation_year">2013</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1284.68338">When does abstraction help?</a> <a class="label nowrap" href="/1284.68338">Zbl 1284.68338</a> <br><a href="/authors/avni.guy" title="Author Profile">Avni, Guy</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6284359">2</a> </div> </td> <td> <div class="citation_year">2013</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1464.68166">Profile trees for Büchi word automata, with application to determinization.</a> <a class="label nowrap" href="/1464.68166">Zbl 1464.68166</a> <br><a href="/authors/fogarty.seth-j" title="Author Profile">Fogarty, Seth</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a>; <a href="/authors/wilke.thomas" title="Author Profile">Wilke, Thomas</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7356855">2</a> </div> </td> <td> <div class="citation_year">2013</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1410.68213">Weighted safety.</a> <a class="label nowrap" href="/1410.68213">Zbl 1410.68213</a> <br><a href="/authors/weiner.sigal" title="Author Profile">Weiner, Sigal</a>; <a href="/authors/hasson.matan" title="Author Profile">Hasson, Matan</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/pery.eyal" title="Author Profile">Pery, Eyal</a>; <a href="/authors/shevach.zohar" title="Author Profile">Shevach, Zohar</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6314151">1</a> </div> </td> <td> <div class="citation_year">2013</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1245.03022"><span class="zbmathjax-textit">Once</span> and <span class="zbmathjax-textit">for all</span>.</a> <a class="label nowrap" href="/1245.03022">Zbl 1245.03022</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/pnueli.amir" title="Author Profile">Pnueli, Amir</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6067713">9</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.68135">Translating to co-Büchi made tight, unified, and useful.</a> <a class="label nowrap" href="/1351.68135">Zbl 1351.68135</a> <br><a href="/authors/boker.udi" title="Author Profile">Boker, Udi</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6483183">5</a> </div> </td> <td> <div class="citation_year">2012</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1364.68242">Making weighted containment feasible: a heuristic based on simulation and abstraction.</a> <a class="label nowrap" href="/1364.68242">Zbl 1364.68242</a> <br><a href="/authors/avni.guy" title="Author Profile">Avni, Guy</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6086171">4</a> </div> </td> <td> <div class="citation_year">2012</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1374.68288">Model checking systems and specifications with parameterized atomic propositions.</a> <a class="label nowrap" href="/1374.68288">Zbl 1374.68288</a> <br><a href="/authors/grumberg.orna" title="Author Profile">Grumberg, Orna</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/sheinvald.sarai" title="Author Profile">Sheinvald, Sarai</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6109364">2</a> </div> </td> <td> <div class="citation_year">2012</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1237.68115">Coping with selfish on-going behaviors.</a> <a class="label nowrap" href="/1237.68115">Zbl 1237.68115</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/tamir.tami" title="Author Profile">Tamir, Tami</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6038282">2</a> </div> </td> <td> <div class="citation_year">2012</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1375.68073">Approximating deterministic lattice automata.</a> <a class="label nowrap" href="/1375.68073">Zbl 1375.68073</a> <br><a href="/authors/halamish.shulamit" title="Author Profile">Halamish, Shulamit</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6109357">1</a> </div> </td> <td> <div class="citation_year">2012</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1348.68089">What’s decidable about weighted automata?</a> <a class="label nowrap" href="/1348.68089">Zbl 1348.68089</a> <br><a href="/authors/almagor.shaull" title="Author Profile">Almagor, Shaull</a>; <a href="/authors/boker.udi" title="Author Profile">Boker, Udi</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5954811">45</a> </div> </td> <td> <div class="citation_year">2011</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1327.68161">The blow-up in translating LTL to deterministic automata.</a> <a class="label nowrap" href="/1327.68161">Zbl 1327.68161</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/rosenberg.adin" title="Author Profile">Rosenberg, Adin</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6527944">8</a> </div> </td> <td> <div class="citation_year">2011</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1348.68116">Max and sum semantics for alternating weighted automata.</a> <a class="label nowrap" href="/1348.68116">Zbl 1348.68116</a> <br><a href="/authors/almagor.shaull" title="Author Profile">Almagor, Shaull</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5954776">7</a> </div> </td> <td> <div class="citation_year">2011</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1230.68144">Temporal synthesis for bounded systems and environments.</a> <a class="label nowrap" href="/1230.68144">Zbl 1230.68144</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/lustig.yoad" title="Author Profile">Lustig, Yoad</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a>; <a href="/authors/yannakakis.mihalis" title="Author Profile">Yannakakis, Mihalis</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5999582">7</a> </div> </td> <td> <div class="citation_year">2011</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1348.68298">Formal analysis of online algorithms.</a> <a class="label nowrap" href="/1348.68298">Zbl 1348.68298</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/lampert.robby" title="Author Profile">Lampert, Robby</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5954790">4</a> </div> </td> <td> <div class="citation_year">2011</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1247.68136">Unifying Büchi complementation constructions.</a> <a class="label nowrap" href="/1247.68136">Zbl 1247.68136</a> <br><a href="/authors/fogarty.seth-j" title="Author Profile">Fogarty, Seth</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a>; <a href="/authors/wilke.thomas" title="Author Profile">Wilke, Thomas</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6083543">3</a> </div> </td> <td> <div class="citation_year">2011</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1326.68194">Minimizing deterministic lattice automata.</a> <a class="label nowrap" href="/1326.68194">Zbl 1326.68194</a> <br><a href="/authors/halamish.shulamit" title="Author Profile">Halamish, Shulamit</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5897371">2</a> </div> </td> <td> <div class="citation_year">2011</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1326.68174">Co-Büching them all.</a> <a class="label nowrap" href="/1326.68174">Zbl 1326.68174</a> <br><a href="/authors/boker.udi" title="Author Profile">Boker, Udi</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5897370">1</a> </div> </td> <td> <div class="citation_year">2011</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1284.68396">Rational synthesis.</a> <a class="label nowrap" href="/1284.68396">Zbl 1284.68396</a> <br><a href="/authors/fisman.dana" title="Author Profile">Fisman, Dana</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/lustig.yoad" title="Author Profile">Lustig, Yoad</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5702241">56</a> </div> </td> <td> <div class="citation_year">2010</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1284.68352">Variable automata over infinite alphabets.</a> <a class="label nowrap" href="/1284.68352">Zbl 1284.68352</a> <br><a href="/authors/grumberg.orna" title="Author Profile">Grumberg, Orna</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/sheinvald.sarai" title="Author Profile">Sheinvald, Sarai</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5712497">26</a> </div> </td> <td> <div class="citation_year">2010</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1300.68071">Reasoning about online algorithms with weighted automata.</a> <a class="label nowrap" href="/1300.68071">Zbl 1300.68071</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/lampert.robby" title="Author Profile">Lampert, Robby</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6370639">15</a> </div> </td> <td> <div class="citation_year">2010</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1200.68155">Latticed simulation relations and games.</a> <a class="label nowrap" href="/1200.68155">Zbl 1200.68155</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/lustig.yoad" title="Author Profile">Lustig, Yoad</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5697180">10</a> </div> </td> <td> <div class="citation_year">2010</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1288.68148">Alternation removal in Büchi automata.</a> <a class="label nowrap" href="/1288.68148">Zbl 1288.68148</a> <br><a href="/authors/boker.udi" title="Author Profile">Boker, Udi</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/rosenberg.adin" title="Author Profile">Rosenberg, Adin</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5780535">9</a> </div> </td> <td> <div class="citation_year">2010</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1288.68158">An automata-theoretic approach to infinite-state systems.</a> <a class="label nowrap" href="/1288.68158">Zbl 1288.68158</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/piterman.nir" title="Author Profile">Piterman, Nir</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5780219">7</a> </div> </td> <td> <div class="citation_year">2010</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1305.68108">Promptness in $\omega $-regular automata.</a> <a class="label nowrap" href="/1305.68108">Zbl 1305.68108</a> <br><a href="/authors/almagor.shaull" title="Author Profile">Almagor, Shaull</a>; <a href="/authors/hirshfeld.yoram" title="Author Profile">Hirshfeld, Yoram</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5795619">5</a> </div> </td> <td> <div class="citation_year">2010</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1245.68120">Parityizing Rabin and Streett.</a> <a class="label nowrap" href="/1245.68120">Zbl 1245.68120</a> <br><a href="/authors/boker.udi" title="Author Profile">Boker, Udi</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/steinitz.avital" title="Author Profile">Steinitz, Avital</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6073550">4</a> </div> </td> <td> <div class="citation_year">2010</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1310.68143">Synthesis of trigger properties.</a> <a class="label nowrap" href="/1310.68143">Zbl 1310.68143</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5834046">3</a> </div> </td> <td> <div class="citation_year">2010</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1370.68197">Erratum for “What causes a system to satisfy a specification?”.</a> <a class="label nowrap" href="/1370.68197">Zbl 1370.68197</a> <br><a href="/authors/chockler.hana" title="Author Profile">Chockler, Hana</a>; <a href="/authors/halpern.joseph-y" title="Author Profile">Halpern, Joseph Y.</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6483125">2</a> </div> </td> <td> <div class="citation_year">2010</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1287.68092">The quest for a tight translation of Büchi to co-Büchi automata.</a> <a class="label nowrap" href="/1287.68092">Zbl 1287.68092</a> <br><a href="/authors/boker.udi" title="Author Profile">Boker, Udi</a>; <a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5779204">2</a> </div> </td> <td> <div class="citation_year">2010</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1310.68135">Coping with selfish on-going behaviors.</a> <a class="label nowrap" href="/1310.68135">Zbl 1310.68135</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/tamir.tami" title="Author Profile">Tamir, Tami</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5834056">1</a> </div> </td> <td> <div class="citation_year">2010</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1192.68416">From liveness to promptness.</a> <a class="label nowrap" href="/1192.68416">Zbl 1192.68416</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/piterman.nir" title="Author Profile">Piterman, Nir</a>; <a href="/authors/vardi.moshe-y" title="Author Profile">Vardi, Moshe Y.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5637100">36</a> </div> </td> <td> <div class="citation_year">2009</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1234.68221">Lower bounds on witnesses for nonemptiness of universal co-Büchi automata.</a> <a class="label nowrap" href="/1234.68221">Zbl 1234.68221</a> <br><a href="/authors/kupferman.orna" title="Author Profile">Kupferman, Orna</a>; <a href="/authors/piterman.nir" title="Author Profile">Piterman, Nir</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5535594">2</a> </div> </td> <td> <div class="citation_year">2009</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1422.68318">Reasoning about online algorithms with weighted automata.</a> <a class="label nowrap" href="/1422.68318">Zbl 1422.68318</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/lampert.robby" title="Author Profile">Lampert, Robby</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7051253">2</a> </div> </td> <td> <div class="citation_year">2009</div> </td> </tr> <tr class="more"> <td colspan="3">...and 82 more Documents</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 1,488 Authors</h3> <table class="profile"> <tr> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Akupferman.orna" title="Citing Publications by this Author">76</a> </td> <td class="text"> <a href="/authors/kupferman.orna" title="Author Profile"> Kupferman, Orna </a> </td></tr><tr> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Avardi.moshe-y" title="Citing Publications by this Author">45</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=ra%3Akupferman.orna+ai%3Achatterjee.krishnendu" title="Citing Publications by this Author">41</a> </td> <td class="text"> <a href="/authors/chatterjee.krishnendu" title="Author Profile"> Chatterjee, Krishnendu </a> </td></tr><tr> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Amurano.aniello" title="Citing Publications by this Author">38</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%3Akupferman.orna+ai%3Ahenzinger.thomas-a" title="Citing Publications by this Author">36</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%3Akupferman.orna+ai%3Araskin.jean-francois" title="Citing Publications by this Author">30</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%3Akupferman.orna+ai%3Awooldridge.michael-j" title="Citing Publications by this Author">25</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%3Akupferman.orna+ai%3Aavni.guy" title="Citing Publications by this Author">22</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%3Akupferman.orna+ai%3Azimmermann.martin" title="Citing Publications by this Author">22</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%3Akupferman.orna+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 class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Agutierrez.julian" title="Citing Publications by this Author">20</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%3Akupferman.orna+ai%3Aschewe.sven" title="Citing Publications by this Author">19</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%3Akupferman.orna+ai%3Abaier.christel" title="Citing Publications by this Author">18</a> </td> <td class="text"> <a href="/authors/baier.christel" title="Author Profile"> Baier, Christel </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Afinkbeiner.bernd" title="Citing Publications by this Author">18</a> </td> <td class="text"> <a href="/authors/finkbeiner.bernd" title="Author Profile"> Finkbeiner, Bernd </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Amogavero.fabio" title="Citing Publications by this Author">18</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%3Akupferman.orna+ai%3Alehtinen.karoliina" title="Citing Publications by this Author">16</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%3Akupferman.orna+ai%3Amontanari.angelo" title="Citing Publications by this Author">16</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=ra%3Akupferman.orna+ai%3Aperelli.giuseppe" title="Citing Publications by this Author">16</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%3Akupferman.orna+ai%3Aboker.udi" title="Citing Publications by this Author">15</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%3Akupferman.orna+ai%3Adoyen.laurent" title="Citing Publications by this Author">15</a> </td> <td class="text"> <a href="/authors/doyen.laurent" title="Author Profile"> Doyen, Laurent </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Apinchinat.sophie" title="Citing Publications by this Author">15</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=ra%3Akupferman.orna+ai%3Aagotnes.thomas" title="Citing Publications by this Author">14</a> </td> <td class="text"> <a href="/authors/agotnes.thomas" title="Author Profile"> Ågotnes, Thomas </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Apiterman.nir" title="Citing Publications by this Author">14</a> </td> <td class="text"> <a href="/authors/piterman.nir" title="Author Profile"> Piterman, Nir </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Afiliot.emmanuel" title="Citing Publications by this Author">13</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%3Akupferman.orna+ai%3Ajamroga.wojciech" title="Citing Publications by this Author">12</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%3Akupferman.orna+ai%3Amarkey.nicolas" title="Citing Publications by this Author">12</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%3Akupferman.orna+ai%3Abruyere.veronique" title="Citing Publications by this Author">11</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%3Akupferman.orna+ai%3Afisman.dana" title="Citing Publications by this Author">11</a> </td> <td class="text"> <a href="/authors/fisman.dana" title="Author Profile"> Fisman, Dana </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Alarsen.kim-guldstrand" title="Citing Publications by this Author">11</a> </td> <td class="text"> <a href="/authors/larsen.kim-guldstrand" title="Author Profile"> Larsen, Kim Guldstrand </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Aperez.guillermo-a" title="Citing Publications by this Author">11</a> </td> <td class="text"> <a href="/authors/perez.guillermo-a" title="Author Profile"> Pérez, Guillermo A. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Arubin.sasha" title="Citing Publications by this Author">11</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%3Akupferman.orna+ai%3Avan-der-hoek.wiebe" title="Citing Publications by this Author">11</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=ra%3Akupferman.orna+ai%3Aalechina.natasha" title="Citing Publications by this Author">10</a> </td> <td class="text"> <a href="/authors/alechina.natasha" title="Author Profile"> Alechina, Natasha </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+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%3Akupferman.orna+ai%3Achockler.hana" title="Citing Publications by this Author">10</a> </td> <td class="text"> <a href="/authors/chockler.hana" title="Author Profile"> Chockler, Hana </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Aguha.shibashis" title="Citing Publications by this Author">10</a> </td> <td class="text"> <a href="/authors/guha.shibashis" title="Author Profile"> Guha, Shibashis </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Akwiatkowska.marta-z" title="Citing Publications by this Author">10</a> </td> <td class="text"> <a href="/authors/kwiatkowska.marta-z" title="Author Profile"> Kwiatkowska, Marta Z. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Aotop.jan" title="Citing Publications by this Author">10</a> </td> <td class="text"> <a href="/authors/otop.jan" title="Author Profile"> Otop, Jan </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Aperon.adriano" title="Citing Publications by this Author">10</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=ra%3Akupferman.orna+ai%3Atamir.tami" title="Citing Publications by this Author">10</a> </td> <td class="text"> <a href="/authors/tamir.tami" title="Author Profile"> Tamir, Tami </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Aalmagor.shaull" title="Citing Publications by this Author">9</a> </td> <td class="text"> <a href="/authors/almagor.shaull" title="Author Profile"> Almagor, Shaull </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Abenerecetti.massimo" title="Citing Publications by this Author">9</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%3Akupferman.orna+ai%3Abloem.roderick" title="Citing Publications by this Author">9</a> </td> <td class="text"> <a href="/authors/bloem.roderick" title="Author Profile"> Bloem, Roderick </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Abroersen.jan-m" title="Citing Publications by this Author">9</a> </td> <td class="text"> <a href="/authors/broersen.jan-m" title="Author Profile"> Broersen, Jan M. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Akretinsky.jan" title="Citing Publications by this Author">9</a> </td> <td class="text"> <a href="/authors/kretinsky.jan" title="Author Profile"> Křetínský, Jan </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Alaroussinie.francois" title="Citing Publications by this Author">9</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%3Akupferman.orna+ai%3Alegay.axel" title="Citing Publications by this Author">9</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=ra%3Akupferman.orna+ai%3Apnueli.amir" title="Citing Publications by this Author">9</a> </td> <td class="text"> <a href="/authors/pnueli.amir" title="Author Profile"> Pnueli, Amir </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Asickert.salomon" title="Citing Publications by this Author">9</a> </td> <td class="text"> <a href="/authors/sickert.salomon" title="Author Profile"> Sickert, Salomon </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Atonetta.stefano" title="Citing Publications by this Author">9</a> </td> <td class="text"> <a href="/authors/tonetta.stefano" title="Author Profile"> Tonetta, Stefano </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Avan-ditmarsch.hans-pieter" title="Citing Publications by this Author">9</a> </td> <td class="text"> <a href="/authors/van-ditmarsch.hans-pieter" title="Author Profile"> van Ditmarsch, Hans Pieter </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Aalur.rajeev" title="Citing Publications by this Author">8</a> </td> <td class="text"> <a href="/authors/alur.rajeev" title="Author Profile"> Alur, Rajeev </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Aaminof.benjamin" title="Citing Publications by this Author">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=ra%3Akupferman.orna+ai%3Abrihaye.thomas" title="Citing Publications by this Author">8</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%3Akupferman.orna+ai%3Acimatti.alessandro" title="Citing Publications by this Author">8</a> </td> <td class="text"> <a href="/authors/cimatti.alessandro" title="Author Profile"> Cimatti, Alessandro </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Adroste.manfred" title="Citing Publications by this Author">8</a> </td> <td class="text"> <a href="/authors/droste.manfred" title="Author Profile"> Droste, Manfred </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Agigante.nicola" title="Citing Publications by this Author">8</a> </td> <td class="text"> <a href="/authors/gigante.nicola" title="Author Profile"> Gigante, Nicola </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Ahausmann.daniel" title="Citing Publications by this Author">8</a> </td> <td class="text"> <a href="/authors/hausmann.daniel" title="Author Profile"> Hausmann, Daniel </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Aklein.joachim" title="Citing Publications by this Author">8</a> </td> <td class="text"> <a href="/authors/klein.joachim" title="Author Profile"> Klein, Joachim </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Alange.martin" title="Citing Publications by this Author">8</a> </td> <td class="text"> <a href="/authors/lange.martin" title="Author Profile"> Lange, Martin </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Ali.yongming.2" title="Citing Publications by this Author">8</a> </td> <td class="text"> <a href="/authors/li.yongming.2" title="Author Profile"> Li, Yongming </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Apeled.doron-a" title="Citing Publications by this Author">8</a> </td> <td class="text"> <a href="/authors/peled.doron-a" title="Author Profile"> Peled, Doron A. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Aramanujam.ramaswamy" title="Citing Publications by this Author">8</a> </td> <td class="text"> <a href="/authors/ramanujam.ramaswamy" title="Author Profile"> Ramanujam, Ramaswamy </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Aschroder.lutz" title="Citing Publications by this Author">8</a> </td> <td class="text"> <a href="/authors/schroder.lutz" title="Author Profile"> Schröder, Lutz </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+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%3Akupferman.orna+ai%3Aweinert.alexander" title="Citing Publications by this Author">8</a> </td> <td class="text"> <a href="/authors/weinert.alexander" title="Author Profile"> Weinert, Alexander </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Abelardinelli.francesco" title="Citing Publications by this Author">7</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%3Akupferman.orna+ai%3Adellerba.daniele" title="Citing Publications by this Author">7</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%3Akupferman.orna+ai%3Ageatti.luca" title="Citing Publications by this Author">7</a> </td> <td class="text"> <a href="/authors/geatti.luca" title="Author Profile"> Geatti, Luca </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Agoranko.valentin-f" title="Citing Publications by this Author">7</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%3Akupferman.orna+ai%3Akuperberg.denis" title="Citing Publications by this Author">7</a> </td> <td class="text"> <a href="/authors/kuperberg.denis" title="Author Profile"> Kuperberg, Denis </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Ali.yong.11" title="Citing Publications by this Author">7</a> </td> <td class="text"> <a href="/authors/li.yong.11" title="Author Profile"> Li, Yong </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Amazowiecki.filip" title="Citing Publications by this Author">7</a> </td> <td class="text"> <a href="/authors/mazowiecki.filip" title="Author Profile"> Mazowiecki, Filip </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Aneider.daniel" title="Citing Publications by this Author">7</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=ra%3Akupferman.orna+ai%3Aparker.david-j.1" title="Citing Publications by this Author">7</a> </td> <td class="text"> <a href="/authors/parker.david-j.1" title="Author Profile"> Parker, David J. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Aschnoebelen.philippe" title="Citing Publications by this Author">7</a> </td> <td class="text"> <a href="/authors/schnoebelen.philippe" title="Author Profile"> Schnoebelen, Philippe </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Askrzypczak.michal" title="Citing Publications by this Author">7</a> </td> <td class="text"> <a href="/authors/skrzypczak.michal" title="Author Profile"> Skrzypczak, Michał </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Avardi.gal" title="Citing Publications by this Author">7</a> </td> <td class="text"> <a href="/authors/vardi.gal" title="Author Profile"> Vardi, Gal </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Aveith.helmut" title="Citing Publications by this Author">7</a> </td> <td class="text"> <a href="/authors/veith.helmut" title="Author Profile"> Veith, Helmut </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Ademri.stephane-p" title="Citing Publications by this Author">6</a> </td> <td class="text"> <a href="/authors/demri.stephane-p" title="Author Profile"> Demri, Stéphane P. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Adimitrova.rayna" title="Citing Publications by this Author">6</a> </td> <td class="text"> <a href="/authors/dimitrova.rayna" title="Author Profile"> Dimitrova, Rayna </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Aehlers.rudiger" title="Citing Publications by this Author">6</a> </td> <td class="text"> <a href="/authors/ehlers.rudiger" title="Author Profile"> Ehlers, Rüdiger </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Agrumberg.orna" title="Citing Publications by this Author">6</a> </td> <td class="text"> <a href="/authors/grumberg.orna" title="Author Profile"> Grumberg, Orna </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Aibsen-jensen.rasmus" title="Citing Publications by this Author">6</a> </td> <td class="text"> <a href="/authors/ibsen-jensen.rasmus" title="Author Profile"> Ibsen-Jensen, Rasmus </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Aklaedtke.felix" title="Citing Publications by this Author">6</a> </td> <td class="text"> <a href="/authors/klaedtke.felix" title="Author Profile"> Klaedtke, Felix </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Akluppelholz.sascha" title="Citing Publications by this Author">6</a> </td> <td class="text"> <a href="/authors/kluppelholz.sascha" title="Author Profile"> Klüppelholz, Sascha </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Akroning.daniel" title="Citing Publications by this Author">6</a> </td> <td class="text"> <a href="/authors/kroning.daniel" title="Author Profile"> Kröning, Daniel </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Alogan.brian" title="Citing Publications by this Author">6</a> </td> <td class="text"> <a href="/authors/logan.brian" title="Author Profile"> Logan, Brian </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Amajumdar.rupak" title="Citing Publications by this Author">6</a> </td> <td class="text"> <a href="/authors/majumdar.rupak" title="Author Profile"> Majumdar, Rupak </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Amalvone.vadim" title="Citing Publications by this Author">6</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%3Akupferman.orna+ai%3Anaumov.pavel-g" title="Citing Publications by this Author">6</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%3Akupferman.orna+ai%3Aniskanen.reino" title="Citing Publications by this Author">6</a> </td> <td class="text"> <a href="/authors/niskanen.reino" title="Author Profile"> Niskanen, Reino </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Apotapov.igor" title="Citing Publications by this Author">6</a> </td> <td class="text"> <a href="/authors/potapov.igor" title="Author Profile"> Potapov, Igor </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Arandour.mickael" title="Citing Publications by this Author">6</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%3Akupferman.orna+ai%3Areynolds.mark-alexander" title="Citing Publications by this Author">6</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%3Akupferman.orna+ai%3Aschmuck.anne-kathrin" title="Citing Publications by this Author">6</a> </td> <td class="text"> <a href="/authors/schmuck.anne-kathrin" title="Author Profile"> Schmuck, Anne-Kathrin </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Atotzke.patrick" title="Citing Publications by this Author">6</a> </td> <td class="text"> <a href="/authors/totzke.patrick" title="Author Profile"> Totzke, Patrick </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Atsay.yih-kuen" title="Citing Publications by this Author">6</a> </td> <td class="text"> <a href="/authors/tsay.yih-kuen" title="Author Profile"> Tsay, Yih-Kuen </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Aabate.alessandro" title="Citing Publications by this Author">5</a> </td> <td class="text"> <a href="/authors/abate.alessandro" title="Author Profile"> Abate, Alessandro </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+ai%3Abelta.calin-a" title="Citing Publications by this Author">5</a> </td> <td class="text"> <a href="/authors/belta.calin-a" title="Author Profile"> Belta, Calin A. </a> </td></tr> <tr class="more"> <td colspan="2">...and 1,388 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 79 Serials</h3> <table class="profile"> <tr> <td class="number"> <a href="/?q=ra%3Akupferman.orna+se%3A735" title="Citing Publications in this Serial">97</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%3Akupferman.orna+se%3A1143" title="Citing Publications in this Serial">91</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%3Akupferman.orna+se%3A1839" title="Citing Publications in this Serial">51</a> </td> <td class="text"> <a href="/serials/?q=se%3A1839" title="Serial Profile"> Formal Methods in System Design </a> </td></tr><tr> <td class="number"> <a href="/?q=ra%3Akupferman.orna+se%3A5003" title="Citing Publications in this Serial">45</a> </td> <td class="text"> <a href="/serials/?q=se%3A5003" title="Serial Profile"> Logical Methods in Computer Science </a> </td></tr><tr> <td class="number"> <a href="/?q=ra%3Akupferman.orna+se%3A34" title="Citing Publications in this Serial">38</a> </td> <td class="text"> <a href="/serials/?q=se%3A34" title="Serial Profile"> Artificial Intelligence </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+se%3A12" title="Citing Publications in this Serial">28</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%3Akupferman.orna+se%3A483" title="Citing Publications in this Serial">26</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%3Akupferman.orna+se%3A3054" title="Citing Publications in this Serial">22</a> </td> <td class="text"> <a href="/serials/?q=se%3A3054" title="Serial Profile"> ACM Transactions on Computational Logic </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+se%3A1382" title="Citing Publications in this Serial">17</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%3Akupferman.orna+se%3A113" title="Citing Publications in this Serial">13</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%3Akupferman.orna+se%3A1279" title="Citing Publications in this Serial">13</a> </td> <td class="text"> <a href="/serials/?q=se%3A1279" title="Serial Profile"> Formal Aspects of Computing </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+se%3A8501" title="Citing Publications in this Serial">12</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%3Akupferman.orna+se%3A727" title="Citing Publications in this Serial">11</a> </td> <td class="text"> <a href="/serials/?q=se%3A727" title="Serial Profile"> Synthese </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+se%3A1410" title="Citing Publications in this Serial">11</a> </td> <td class="text"> <a href="/serials/?q=se%3A1410" title="Serial Profile"> Discrete Event Dynamic Systems </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+se%3A348" title="Citing Publications in this Serial">10</a> </td> <td class="text"> <a href="/serials/?q=se%3A348" title="Serial Profile"> Automatica </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+se%3A1840" title="Citing Publications in this Serial">9</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%3Akupferman.orna+se%3A3118" title="Citing Publications in this Serial">9</a> </td> <td class="text"> <a href="/serials/?q=se%3A3118" title="Serial Profile"> Journal of Applied Logic </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+se%3A1899" title="Citing Publications in this Serial">8</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%3Akupferman.orna+se%3A2122" title="Citing Publications in this Serial">8</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%3Akupferman.orna+se%3A722" title="Citing Publications in this Serial">7</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%3Akupferman.orna+se%3A2291" title="Citing Publications in this Serial">7</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%3Akupferman.orna+se%3A428" title="Citing Publications in this Serial">6</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%3Akupferman.orna+se%3A1150" title="Citing Publications in this Serial">6</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%3Akupferman.orna+se%3A1181" title="Citing Publications in this Serial">6</a> </td> <td class="text"> <a href="/serials/?q=se%3A1181" title="Serial Profile"> International Journal of Approximate Reasoning </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+se%3A2408" title="Citing Publications in this Serial">6</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%3Akupferman.orna+se%3A6208" title="Citing Publications in this Serial">6</a> </td> <td class="text"> <a href="/serials/?q=se%3A6208" title="Serial Profile"> Nonlinear Analysis. Hybrid Systems </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+se%3A516" title="Citing Publications in this Serial">5</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%3Akupferman.orna+se%3A968" title="Citing Publications in this Serial">5</a> </td> <td class="text"> <a href="/serials/?q=se%3A968" title="Serial Profile"> Annals of Pure and Applied Logic </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+se%3A2826" title="Citing Publications in this Serial">5</a> </td> <td class="text"> <a href="/serials/?q=se%3A2826" title="Serial Profile"> The Journal of Logic and Algebraic Programming </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+se%3A6723" title="Citing Publications in this Serial">5</a> </td> <td class="text"> <a href="/serials/?q=se%3A6723" title="Serial Profile"> The Review of Symbolic Logic </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+se%3A879" title="Citing Publications in this Serial">4</a> </td> <td class="text"> <a href="/serials/?q=se%3A879" title="Serial Profile"> Science of Computer Programming </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+se%3A1381" title="Citing Publications in this Serial">4</a> </td> <td class="text"> <a href="/serials/?q=se%3A1381" title="Serial Profile"> Mathematical Structures in Computer Science </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+se%3A2629" title="Citing Publications in this Serial">4</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%3Akupferman.orna+se%3A7642" title="Citing Publications in this Serial">4</a> </td> <td class="text"> <a href="/serials/?q=se%3A7642" title="Serial Profile"> Frontiers of Computer Science </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+se%3A2871" title="Citing Publications in this Serial">3</a> </td> <td class="text"> <a href="/serials/?q=se%3A2871" title="Serial Profile"> Journal of Applied Mathematics </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+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%3Akupferman.orna+se%3A454" title="Citing Publications in this Serial">2</a> </td> <td class="text"> <a href="/serials/?q=se%3A454" title="Serial Profile"> Information Sciences </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+se%3A870" title="Citing Publications in this Serial">2</a> </td> <td class="text"> <a href="/serials/?q=se%3A870" title="Serial Profile"> Systems & Control Letters </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+se%3A1118" title="Citing Publications in this Serial">2</a> </td> <td class="text"> <a href="/serials/?q=se%3A1118" title="Serial Profile"> Algorithmica </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+se%3A1733" title="Citing Publications in this Serial">2</a> </td> <td class="text"> <a href="/serials/?q=se%3A1733" title="Serial Profile"> Distributed Computing </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+se%3A1807" title="Citing Publications in this Serial">2</a> </td> <td class="text"> <a href="/serials/?q=se%3A1807" title="Serial Profile"> Vestnik St. Petersburg University. Mathematics </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+se%3A1809" title="Citing Publications in this Serial">2</a> </td> <td class="text"> <a href="/serials/?q=se%3A1809" title="Serial Profile"> Cybernetics and Systems Analysis </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+se%3A2352" title="Citing Publications in this Serial">2</a> </td> <td class="text"> <a href="/serials/?q=se%3A2352" title="Serial Profile"> Soft Computing </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+se%3A2710" title="Citing Publications in this Serial">2</a> </td> <td class="text"> <a href="/serials/?q=se%3A2710" title="Serial Profile"> International Game Theory Review </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+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%3Akupferman.orna+se%3A7972" title="Citing Publications in this Serial">2</a> </td> <td class="text"> <a href="/serials/?q=se%3A7972" title="Serial Profile"> Computer Science Review </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+se%3A8583" title="Citing Publications in this Serial">2</a> </td> <td class="text"> <a href="/serials/?q=se%3A8583" title="Serial Profile"> Modelirovanie i Analiz Informatsionnykh Sistem </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+se%3A95" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A95" title="Serial Profile"> International Journal of Control </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+se%3A461" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A461" title="Serial Profile"> International Journal of Game Theory </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+se%3A524" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A524" title="Serial Profile"> The Journal of Symbolic Logic </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+se%3A563" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A563" title="Serial Profile"> Mathematics of Operations Research </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+se%3A601" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A601" title="Serial Profile"> Naval Research Logistics </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+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%3Akupferman.orna+se%3A705" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A705" title="Serial Profile"> Semigroup Forum </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+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%3Akupferman.orna+se%3A707" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A707" title="Serial Profile"> SIAM Journal on Control and Optimization </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+se%3A1293" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A1293" title="Serial Profile"> AI Communications </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+se%3A1556" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A1556" title="Serial Profile"> Automation and Remote Control </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+se%3A1597" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A1597" title="Serial Profile"> Journal de Mathématiques Pures et Appliquées. Neuvième Série </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+se%3A1772" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A1772" title="Serial Profile"> Applicable Algebra in Engineering, Communication and Computing </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+se%3A1790" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A1790" title="Serial Profile"> International Journal of Robust and Nonlinear Control </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+se%3A2178" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A2178" title="Serial Profile"> Computational & Mathematical Organization Theory </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+se%3A2264" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A2264" title="Serial Profile"> European Journal of Control </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+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%3Akupferman.orna+se%3A2611" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A2611" title="Serial Profile"> RAIRO. Theoretical Informatics and Applications </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+se%3A2655" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A2655" title="Serial Profile"> Methodology and Computing in Applied Probability </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+se%3A2918" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A2918" title="Serial Profile"> Sādhanā </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+se%3A3019" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A3019" title="Serial Profile"> Quantum Information Processing </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+se%3A3188" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A3188" title="Serial Profile"> Computational Management Science </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+se%3A3222" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A3222" title="Serial Profile"> Iranian Journal of Fuzzy Systems </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+se%3A3249" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A3249" title="Serial Profile"> Discrete Optimization </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+se%3A6273" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A6273" title="Serial Profile"> Foundations and Trends in Theoretical Computer Science </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+se%3A6757" title="Citing Publications in this Serial">1</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%3Akupferman.orna+se%3A6888" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A6888" title="Serial Profile"> Science China. Information Sciences </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+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><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+se%3A7199" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A7199" title="Serial Profile"> Asian Journal of Control </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+se%3A7293" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A7293" title="Serial Profile"> Dynamic Games and Applications </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+se%3A8811" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A8811" title="Serial Profile"> Logicheskie Issledovaniya </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+se%3A9056" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A9056" title="Serial Profile"> Journal of Applied and Computational Topology </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 23 Fields</h3> <table class="profile"> <tr> <td class="number"> <a href="/?q=ra%3Akupferman.orna+cc%3A68" title="Citing Publications in this Field">1,099</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%3Akupferman.orna+cc%3A03" title="Citing Publications in this Field">478</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%3Akupferman.orna+cc%3A91" title="Citing Publications in this Field">314</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%3Akupferman.orna+cc%3A93" title="Citing Publications in this Field">65</a> </td> <td class="text"> <a href="/classification/?q=cc%3A93" title="Mathematics Subject Classification"> Systems theory; control <span style="white-space: nowrap;">(93-XX)</span> </a> </td></tr><tr> <td class="number"> <a href="/?q=ra%3Akupferman.orna+cc%3A90" title="Citing Publications in this Field">45</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%3Akupferman.orna+cc%3A05" title="Citing Publications in this Field">27</a> </td> <td class="text"> <a href="/classification/?q=cc%3A05" title="Mathematics Subject Classification"> Combinatorics <span style="white-space: nowrap;">(05-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+cc%3A60" title="Citing Publications in this Field">12</a> </td> <td class="text"> <a href="/classification/?q=cc%3A60" title="Mathematics Subject Classification"> Probability theory and stochastic processes <span style="white-space: nowrap;">(60-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+cc%3A94" title="Citing Publications in this Field">7</a> </td> <td class="text"> <a href="/classification/?q=cc%3A94" title="Mathematics Subject Classification"> Information and communication theory, circuits <span style="white-space: nowrap;">(94-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+cc%3A18" title="Citing Publications in this Field">4</a> </td> <td class="text"> <a href="/classification/?q=cc%3A18" title="Mathematics Subject Classification"> Category theory; homological algebra <span style="white-space: nowrap;">(18-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+cc%3A20" title="Citing Publications in this Field">4</a> </td> <td class="text"> <a href="/classification/?q=cc%3A20" title="Mathematics Subject Classification"> Group theory and generalizations <span style="white-space: nowrap;">(20-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+cc%3A06" title="Citing Publications in this Field">3</a> </td> <td class="text"> <a href="/classification/?q=cc%3A06" title="Mathematics Subject Classification"> Order, lattices, ordered algebraic structures <span style="white-space: nowrap;">(06-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+cc%3A11" title="Citing Publications in this Field">3</a> </td> <td class="text"> <a href="/classification/?q=cc%3A11" title="Mathematics Subject Classification"> Number theory <span style="white-space: nowrap;">(11-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+cc%3A37" title="Citing Publications in this Field">3</a> </td> <td class="text"> <a href="/classification/?q=cc%3A37" title="Mathematics Subject Classification"> Dynamical systems and ergodic theory <span style="white-space: nowrap;">(37-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+cc%3A49" title="Citing Publications in this Field">3</a> </td> <td class="text"> <a href="/classification/?q=cc%3A49" title="Mathematics Subject Classification"> Calculus of variations and optimal control; optimization <span style="white-space: nowrap;">(49-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+cc%3A81" title="Citing Publications in this Field">2</a> </td> <td class="text"> <a href="/classification/?q=cc%3A81" title="Mathematics Subject Classification"> Quantum theory <span style="white-space: nowrap;">(81-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+cc%3A92" title="Citing Publications in this Field">2</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%3Akupferman.orna+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%3Akupferman.orna+cc%3A13" title="Citing Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A13" title="Mathematics Subject Classification"> Commutative algebra <span style="white-space: nowrap;">(13-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+cc%3A15" title="Citing Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A15" title="Mathematics Subject Classification"> Linear and multilinear algebra; matrix theory <span style="white-space: nowrap;">(15-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+cc%3A55" title="Citing Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A55" title="Mathematics Subject Classification"> Algebraic topology <span style="white-space: nowrap;">(55-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+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%3Akupferman.orna+cc%3A65" title="Citing Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A65" title="Mathematics Subject Classification"> Numerical analysis <span style="white-space: nowrap;">(65-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=ra%3Akupferman.orna+cc%3A83" title="Citing Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A83" title="Mathematics Subject Classification"> Relativity and gravitational theory <span style="white-space: nowrap;">(83-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:1997, frequency:1 },{ year:1999, frequency:2 },{ year:2000, frequency:2 },{ year:2001, frequency:3 },{ year:2002, frequency:11 },{ year:2003, frequency:10 },{ year:2004, frequency:7 },{ year:2005, frequency:13 },{ year:2006, frequency:27 },{ year:2007, frequency:33 },{ year:2008, frequency:34 },{ year:2009, frequency:64 },{ year:2010, frequency:29 },{ year:2011, frequency:50 },{ year:2012, frequency:45 },{ year:2013, frequency:36 },{ year:2014, frequency:48 },{ year:2015, frequency:83 },{ year:2016, frequency:57 },{ year:2017, frequency:77 },{ year:2018, frequency:116 },{ year:2019, frequency:85 },{ year:2020, frequency:79 },{ year:2021, frequency:87 },{ year:2022, frequency:87 },{ year:2023, frequency:87 },{ year:2024, frequency:45 },{ year:2025, frequency:11 }]; 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%3Akupferman.orna+py%3A" + d.year ) .attr( "title", d => d.frequency + " Citation" + (d.frequency > 1 ? "s" : "") + " in " + d.year ) .append("rect") .attr("class", "bar") .attr("x", d => xScale(d.year)) .attr("width", xScale.rangeBand()) .attr("y", d => yScale(d.frequency)) .attr("height", d => height - yScale(d.frequency)); svg.append("g") .attr("class", "x axis") .attr("transform", "translate(0," + height + ")") .call(xAxis); svg.append("g") .attr("class", "y axis") .call(yAxis) .append("text") .attr("transform", "rotate(-90)") .attr("y", 6) .attr("dy", ".75em") .style("text-anchor", "end") .text(""); </script> </div> </div> <div class="wikidata_query"> <h3> <a role="button" data-toggle="collapse" href="#wikidata_timeline" aria-expanded="false" aria-controls="wikidata_timeline" onclick="$(this).children('.glyphicon').toggle();"> <span class="glyphicon glyphicon-triangle-right" aria-hidden="true"></span> <span class="glyphicon glyphicon-triangle-bottom" aria-hidden="true" style="display: none;"></span> Wikidata Timeline </a> </h3> <div class="collapse" id="wikidata_timeline"> <iframe style="width: 100%; height: 401px; border: 1px solid #aaa;" data-src="https://query.wikidata.org/embed.html#PREFIX%20xsd%3A%20%3Chttp%3A%2F%2Fwww.w3.org%2F2001%2FXMLSchema%23%3E%0A%0A%23defaultView%3ATimeline%0ASELECT%20DISTINCT%20%3Ftimestamp%20%3Fentity%20%3FrelationLabel%20%3FentityLabel%20%28SAMPLE%28%3Fimage%29%20AS%20%3Fimg%29%20WHERE%20%7B%0A%20%20BIND%28wd%3AQ16130473%20AS%20%3Fperson%29%0A%20%20%7B%0A%20%20%20%20%3Fperson%20%3Fproperty%20%3Ftimestamp.%0A%20%20%20%20%3Fentity%20wikibase%3AdirectClaim%20%3Fproperty.%0A%20%20%20%20FILTER%28%28DATATYPE%28%3Ftimestamp%29%29%20%3D%20xsd%3AdateTime%29%0A%20%20%7D%0A%20%20UNION%0A%20%20%7B%0A%20%20%20%20%3Fperson%20%3FentityToStatement%20%3Fstatement.%0A%20%20%20%20OPTIONAL%20%7B%3Fperson%20wdt%3AP570%20%3FdDate.%7D%0A%20%20%20%20%3Fstatement%20%3FstatementToQualifier%20%3Ftimestamp.%0A%20%20%20%20%3Fstatement%20%3FstatementToValue%20%3Fentity.%0A%20%20%20%20%3Frelation%20wikibase%3AstatementProperty%20%3FstatementToValue.%0A%20%20%20%20FILTER%28REGEX%28STR%28%3FentityToStatement%29%2C%20%22prop%2FP%22%29%29%0A%20%20%20%20FILTER%28REGEX%28STR%28%3FstatementToQualifier%29%2C%20%22prop%2Fqualifier%2FP%22%29%29%0A%20%20%20%20FILTER%28%28DATATYPE%28%3Ftimestamp%29%29%20%3D%20xsd%3AdateTime%29%0A%20%20%20%20BIND%20%28IF%28%21BOUND%28%3FdDate%29%2C%20now%28%29%2C%20%3FdDate%29%20AS%20%3FdeathDate%29%0A%20%20%20%20FILTER%28%3Ftimestamp%20%3C%3D%20%3FdeathDate%29%0A%20%20%7D%0A%20%20UNION%0A%20%20%7B%0A%20%20%20%20BIND%28wd%3AP50%20AS%20%3Frelation%29%0A%20%20%20%20%3Frelation%20wikibase%3AdirectClaim%20%3Fproperty.%0A%20%20%20%20%3Fentity%20%3Fproperty%20%3Fperson.%0A%20%20%20%20%3Fentity%20wdt%3AP577%20%3Ftimestamp.%0A%20%20%20%20FILTER%28NOT%20EXISTS%20%7B%20%3Fperson%20wdt%3AP800%20%3Fentity%20%7D%29%0A%20%20%7D%0A%20%20UNION%0A%20%20%7B%0A%20%20%20%20BIND%28wd%3AP800%20AS%20%3Frelation%29%0A%20%20%20%20%3Frelation%20wikibase%3AdirectClaim%20%3Fproperty.%0A%20%20%20%20%3Fperson%20%3Fproperty%20%3Fentity.%0A%20%20%20%20%3Fentity%20wdt%3AP577%20%3Ftimestamp.%0A%20%20%7D%0A%20%20OPTIONAL%20%7B%20%3Fentity%20wdt%3AP18%20%3Fimage%20%7D%0A%20%20SERVICE%20wikibase%3Alabel%20%7B%20bd%3AserviceParam%20wikibase%3Alanguage%20%22en%2Cde%2Cfr%22%20%7D%0A%7D%0AGROUP%20BY%20%3Ftimestamp%20%3Fentity%20%3FrelationLabel%20%3FentityLabel" referrerpolicy="origin"></iframe> <small>The data are displayed as stored in Wikidata under a <a href="https://creativecommons.org/publicdomain/zero/1.0/">Creative Commons CC0 License</a>. Updates and corrections should be made <a href="https://www.wikidata.org/">in Wikidata</a>.</small> </div> </div> </article> </div> </div> <div class="clearfix"></div> </div> </div> <div id="foot"><div class="copyright"> © 2025 <a target="fiz" href="https://www.fiz-karlsruhe.de/en">FIZ Karlsruhe GmbH</a> <a href="/privacy-policy/">Privacy Policy</a> <a href="/legal-notices/">Legal Notices</a> <a href="/terms-conditions/">Terms & Conditions</a> <div class="info"> <ul class="nav"> <li class="mastodon"> <a href="https://mathstodon.xyz/@zbMATH" target="_blank" class="no-new-tab-icon"> <img src="/static/mastodon.png" title="zbMATH at Mathstodon (opens in new tab)" alt="Mastodon logo"> </a> </li> </ul> </div> </div> <div class="clearfix" style="height: 0px;"></div> </div> </div> <script src="https://static.zbmath.org/contrib/jquery/1.9.1/jquery.min.js"></script> <script src="https://static.zbmath.org/contrib/jquery-caret/1.5.2/jquery.caret.min.js"></script> <script src="/static/js/jquery-ui-1.10.1.custom.min.js"></script> <script src="https://static.zbmath.org/contrib/bootstrap/v3.3.7zb1/js/bootstrap.min.js"></script> <script src="https://static.zbmath.org/contrib/bootstrap-lightbox/v0.7.0/bootstrap-lightbox.min.js"></script> <script src="https://static.zbmath.org/contrib/retina/unknown/retina.js"></script> <script src="https://static.zbmath.org/contrib/bootstrap-select/v1.13.14/js/bootstrap-select.min.js"></script> <script> var SCRIPT_ROOT = ""; </script> <script src="/static/scripts.js?v=20240926"> </script> <script src="https://static.zbmath.org/contrib/mathjax/2.7.1/MathJax.js?config=TeX-AMS-MML_HTMLorMML"></script> <script type="text/x-mathjax-config"> MathJax.Hub.Config({ "HTML-CSS": { preferredFont: "TeX", availableFonts: [ "STIX", "TeX" ], linebreaks: { automatic: true }, EqnChunk: (MathJax.Hub.Browser.isMobile ? 10 : 50) }, tex2jax: { processEscapes: true, ignoreClass: "tex2jax_ignore|dno" }, TeX: { Macros: { Aut: "\\operatorname{Aut}", Hom: "\\operatorname{Hom}" }, noUndefined: { attributes: { mathcolor: "#039", //"red", mathbackground: "white", //"#FFEEEE", mathsize: "90%" } } }, messageStyle: "none" }); </script> <script type="text/javascript"> $(document).ready(function() { $("#MathInput").stop(true, true).keyup(function() { $.ajax({ url: "/mwsq/", type: "POST", data: { query : $("#MathInput").val() }, dataType: "text" }) .done(function(xml) { $("#MathPreview").html(xml); $(window).resize(); }); }); var press = jQuery.Event("keyup"); press.ctrlKey = false; press.which = 40; $("#MathInput").trigger(press); }); </script> <div id="new_tab_icon" style="display: none"> <span class="glyphicon glyphicon-new-window" aria-hidden="true"></span><span class="sr-only">(opens in new tab)</span></div> </body> </html>

CINXE.COM

Orna Kupferman - Author Profile - zbMATH Open