CINXE.COM

<!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8"/> <meta name="description" content="Formal Aspects of Computing" /> <link rel="stylesheet" type="text/css" href="/assets/478ca885/gridview/styles.css" /> <link rel="stylesheet" type="text/css" href="/assets/b0666b16/pager.css" /> <link rel="stylesheet" type="text/css" href="/themes/abound/css/bootstrap.min.css" /> <link rel="stylesheet" type="text/css" href="/themes/abound/css/bootstrap-responsive.min.css" /> <link rel="stylesheet" type="text/css" href="/themes/abound/css/abound.css" /> <link rel="stylesheet" type="text/css" href="/themes/abound/css/style-orange.css" /> <script type="text/javascript" src="/assets/477bc0eb/jquery.min.js"></script> <script type="text/javascript" src="/assets/477bc0eb/jquery.ba-bbq.min.js"></script> <script type="text/javascript" src="/themes/abound/js/bootstrap.min.js"></script> <script type="text/javascript" src="/themes/abound/js/plugins/jquery.flot.min.js"></script> <title>Formal Aspects of Computing</title> <meta name="viewport" content="width=device-width, initial-scale=1.0"/>  <meta name="author" content="www.myhuiban.com"/>    <link rel="alternate" hreflang="x-default" href="/journal/82" /> <link rel="alternate" hreflang="en" href="/journal/82?lang=en_us" /> <link rel="alternate" hreflang="es" href="/journal/82?lang=es" /> <link rel="alternate" hreflang="zh" href="/journal/82?lang=zh_cn" /> <link rel="alternate" hreflang="ja" href="/journal/82?lang=ja" />  <link rel="shortcut icon" href="/themes/abound/img/icons/favicon.ico"> <link rel="apple-touch-icon-precomposed" sizes="144x144" href="/themes/abound/img/icons/apple-touch-icon-144-precomposed.png"> <link rel="apple-touch-icon-precomposed" sizes="72x72" href="/themes/abound/img/icons/apple-touch-icon-72-precomposed.png"> <link rel="apple-touch-icon-precomposed" href="/themes/abound/img/icons/apple-touch-icon-57-precomposed.png">   <script async src="https://www.googletagmanager.com/gtag/js?id=UA-16655604-2"></script> <script> window.dataLayer = window.dataLayer || []; function gtag(){dataLayer.push(arguments);} gtag('js', new Date()); gtag('config', 'UA-16655604-2'); </script> <script async src="https://pagead2.googlesyndication.com/pagead/js/adsbygoogle.js?client=ca-pub-6743617430731451" crossorigin="anonymous"></script>  <script type="text/javascript" async=true> (function() { var host = "www.themoneytizer.com"; var element = document.createElement('script'); var firstScript = document.getElementsByTagName('script')[0]; var url = 'https://cmp.inmobi.com' .concat('/choice/', '6Fv0cGNfc_bw8', '/', host, '/choice.js?tag_version=V3'); var uspTries = 0; var uspTriesLimit = 3; element.async = true; element.type = 'text/javascript'; element.src = url; firstScript.parentNode.insertBefore(element, firstScript); function makeStub() { var TCF_LOCATOR_NAME = '__tcfapiLocator'; var queue = []; var win = window; var cmpFrame; function addFrame() { var doc = win.document; var otherCMP = !!(win.frames[TCF_LOCATOR_NAME]); if (!otherCMP) { if (doc.body) { var iframe = doc.createElement('iframe'); iframe.style.cssText = 'display:none'; iframe.name = TCF_LOCATOR_NAME; doc.body.appendChild(iframe); } else { setTimeout(addFrame, 5); } } return !otherCMP; } function tcfAPIHandler() { var gdprApplies; var args = arguments; if (!args.length) { return queue; } else if (args[0] === 'setGdprApplies') { if ( args.length > 3 && args[2] === 2 && typeof args[3] === 'boolean' ) { gdprApplies = args[3]; if (typeof args[2] === 'function') { args[2]('set', true); } } } else if (args[0] === 'ping') { var retr = { gdprApplies: gdprApplies, cmpLoaded: false, cmpStatus: 'stub' }; if (typeof args[2] === 'function') { args[2](retr); } } else { if(args[0] === 'init' && typeof args[3] === 'object') { args[3] = Object.assign(args[3], { tag_version: 'V3' }); } queue.push(args); } } function postMessageEventHandler(event) { var msgIsString = typeof event.data === 'string'; var json = {}; try { if (msgIsString) { json = JSON.parse(event.data); } else { json = event.data; } } catch (ignore) {} var payload = json.__tcfapiCall; if (payload) { window.__tcfapi( payload.command, payload.version, function(retValue, success) { var returnMsg = { __tcfapiReturn: { returnValue: retValue, success: success, callId: payload.callId } }; if (msgIsString) { returnMsg = JSON.stringify(returnMsg); } if (event && event.source && event.source.postMessage) { event.source.postMessage(returnMsg, '*'); } }, payload.parameter ); } } while (win) { try { if (win.frames[TCF_LOCATOR_NAME]) { cmpFrame = win; break; } } catch (ignore) {} if (win === window.top) { break; } win = win.parent; } if (!cmpFrame) { addFrame(); win.__tcfapi = tcfAPIHandler; win.addEventListener('message', postMessageEventHandler, false); } }; makeStub(); var uspStubFunction = function() { var arg = arguments; if (typeof window.__uspapi !== uspStubFunction) { setTimeout(function() { if (typeof window.__uspapi !== 'undefined') { window.__uspapi.apply(window.__uspapi, arg); } }, 500); } }; var checkIfUspIsReady = function() { uspTries++; if (window.__uspapi === uspStubFunction && uspTries < uspTriesLimit) { console.warn('USP is not accessible'); } else { clearInterval(uspInterval); } }; if (typeof window.__uspapi === 'undefined') { window.__uspapi = uspStubFunction; var uspInterval = setInterval(checkIfUspIsReady, 6000); } })(); </script>  <style> .qc-cmp-button, .qc-cmp-button.qc-cmp-secondary-button:hover { background-color: #000000 !important; border-color: #000000 !important; } .qc-cmp-button:hover, .qc-cmp-button.qc-cmp-secondary-button { background-color: transparent !important; border-color: #000000 !important; } .qc-cmp-alt-action, .qc-cmp-link { color: #000000 !important; } .qc-cmp-button, .qc-cmp-button.qc-cmp-secondary-button:hover { color: #ffffff !important; } .qc-cmp-button:hover, .qc-cmp-button.qc-cmp-secondary-button { color: #000000 !important; } .qc-cmp-small-toggle, .qc-cmp-toggle { background-color: #000000 !important; border-color: #000000 !important; } .qc-cmp-main-messaging, .qc-cmp-messaging, .qc-cmp-sub-title, .qc-cmp-privacy-settings-title, .qc-cmp-purpose-list, .qc-cmp-tab, .qc-cmp-title, .qc-cmp-vendor-list, .qc-cmp-vendor-list-title, .qc-cmp-enabled-cell, .qc-cmp-toggle-status, .qc-cmp-table, .qc-cmp-table-header { color: #000000 !important; } .qc-cmp-ui { background-color: #ffffff !important; } .qc-cmp-table, .qc-cmp-table-row { border: 1px solid !important; border-color: #000000 !important; } #qcCmpButtons a { text-decoration: none !important; } #qcCmpButtons button { margin-top: 65px; } @media screen and (min-width: 851px) { #qcCmpButtons a { position: absolute; bottom: 10%; left: 60px; } } .qc-cmp-qc-link-container{ display:none; } </style> </head> <body> <section id="navigation-main">  <div class="navbar navbar-inverse navbar"> <div class="navbar-inner"> <div class="container"> <a class="btn btn-navbar" data-toggle="collapse" data-target=".nav-collapse"> <span class="icon-bar"></span> <span class="icon-bar"></span> <span class="icon-bar"></span> </a>  <a class="brand" href="https://www.myhuiban.com"><strong>Conference Partner</strong></a> <div class="nav-collapse"> <ul class="pull-right nav" id="yw14"> <li class="item-test"><a href="/">Home</a></li> <li class="item-test"><a href="/conferences">Conferences</a></li> <li class="item-test"><a href="/journals">Journals</a></li> <li class="item-test"><a href="/login">Login</a></li> </ul> </div> </div> </div> </div> <div class="subnav navbar navbar"> <div class="navbar-inner"> <div class="container"> <form class="navbar-search pull-right" id="search-form" action="/search" method="get"> <div> <img src="/images/CN.gif"/><a href="/journal/82?lang=zh_cn"> 中文 </a> | <img src="/images/US.gif"/><a href="/journal/82?lang=en_us"> English </a> | <img src="/images/ES.gif"/><a href="/journal/82?lang=es"> Español </a> | <img src="/images/JP.gif"/><a href="/journal/82?lang=ja"> 日本語 </a>     &nbsp <input class="search-query span2" placeholder="Search" name="SearchForm[key]" id="SearchForm_key" type="text" maxlength="200" /> </div> </form> </div> </div> </div> </section> <section class="main-body"> <div class="container-fluid">  <div class="row-fluid"> <div class="span10"> <div class="breadcrumb"> <a href="/">Conference Partner</a> » <a href="/journals">Journals</a> » <span>Formal Aspects of Computing</span></div>  <div class="portlet" id="yw0"> <div class="portlet-decoration"> <div class="portlet-title"><i class="icon icon-tasks"></i> Journal Information</div> </div> <div class="portlet-content"> <div align="center"> <h5><span itemprop="name">Formal Aspects of Computing (FAC)</span></h5> <a href="https://dl.acm.org/journal/fac">https://dl.acm.org/journal/fac</a> <br /> <table border="0" align="center" cellpadding="0" cellspacing="1"> <tr> <td width="150" height="25"><div align="center">Impact Factor:</div></td> <td width="150"><div align="center">1.400</div></td> </tr> <tr> <td width="150" height="25"><div align="center">Publisher:</div></td> <td width="150"><div align="center">ACM</div></td> </tr> <tr> <td width="150" height="25"><div align="center">ISSN:</div></td> <td width="150"><div align="center">0934-5043</div></td> </tr> <tr> <td width="150" height="25"><div align="center">Viewed:</div></td> <td width="150"><div align="center"><span class="badge badge-success">14116</span></div></td> </tr> <tr> <td width="150" height="25"><div align="center">Tracked:</div></td> <td width="150"><div align="center"><span class="badge badge-warning">12</span></div></td> </tr> </table> </div> </div> </div> <div class="portlet" id="yw1"> <div class="portlet-decoration"> <div class="portlet-title"><i class="icon icon-bullhorn"></i> Call For Papers</div> </div> <div class="portlet-content"> <pre>Formal Aspects of Computing (FAC) aims to publish contributions at the junction of theory and practice. The objective is to disseminate applicable research. Thus, new theoretical contributions are welcome where they are motivated by potential application. Applications of existing formalisms are of interest if they show something novel about the approach or application. The term "formal methods" has been applied to a range of notations, theories and tools. There is no doubt that some of these have already had a significant impact on practical applications of computing. Indeed, it is interesting to note that once something is adopted into practical use it is no longer thought of as a formal method. Apart from widely used notations such as those for syntax and state machines, there have been significant applications of specification notations, development methods and tools both for proving general results and for searching for specific conditions. However, the most profound and lasting influence of the formal approach is the way it has illuminated fundamental concepts like those of communication. In this spirit, the principal aim of this journal is to promote the growth of computing science, to show its relation to practice, and to stimulate applications of apposite formalisms to practical problems. In particular, the scope of Formal Aspects of Computing includes, well-founded notations for the description of systems verifiable design methods elucidation of fundamental computational concepts approaches to fault-tolerant design theorem-proving support state-exploration tools formal underpinning of widely used notations and methods formal approaches to requirements analysis Normal scientific standards are expected of all contributors: papers must be soundly based, place their contribution in context and provide adequate references. Material which is already widely available (e.g. as conference proceedings) will not normally be considered unless the work has been further developed and refined. AUTHORS PLEASE NOTE: Before submitting a paper, authors are asked to contact an appropriate Editorial Board member and ascertain that he/she is willing and able to process your submission in a timely fashion. You can find the list of Editorial Board members and their email addresses under the “Editorial Board” tab on the journal homepage. Once you have submitted your paper you will be asked, by the system, to supply the Editor’s name before your submission will be processed.</pre><div class="alert alert-warning"> Last updated by <a href="/researcher/1">Dou Sun</a> in 2024-08-09</div> </div> </div>  <div class="portlet" id="yw3"> <div class="portlet-decoration"> <div class="portlet-title"><i class="icon icon-file"></i> Related Journals</div> </div> <div class="portlet-content"> <div class="hidden-phone"> <div id="yw4" class="grid-view"> <table class="table table-hover table-striped table-bordered table-condensed"> <thead> <tr> <th id="yw4_c0">CCF</th><th id="yw4_c1">Full Name</th><th id="yw4_c2">Impact Factor</th><th id="yw4_c3">Publisher</th><th id="yw4_c4">ISSN</th></tr> </thead> <tbody> <tr class="odd"> <td><span class="badge badge-warning">c</span></td><td><a href="/journal/45">Journal of Network and Computer Applications</a></td><td>7.700</td><td>Elsevier</td><td>1084-8045</td></tr> <tr class="even"> <td></td><td><a href="/journal/1026">International Journal of Advances in Intelligent Informatics</a></td><td></td><td>Universitas Ahmad Dahlan</td><td>2442-6571</td></tr> <tr class="odd"> <td></td><td><a href="/journal/408">Mathematics and Computers in Simulation</a></td><td>4.400</td><td>Elsevier</td><td>0378-4754</td></tr> <tr class="even"> <td></td><td><a href="/journal/478">Ethics and Information Technology</a></td><td>3.400</td><td>Springer</td><td>1388-1957</td></tr> <tr class="odd"> <td><span class="badge badge-warning">c</span></td><td><a href="/journal/53">EURASIP Journal on Information Security</a></td><td>2.500</td><td>Springer</td><td>1687-417X</td></tr> <tr class="even"> <td></td><td><a href="/journal/598">ACM Transactions on Parallel Computing</a></td><td>0.900</td><td>ACM</td><td>2329-4949</td></tr> <tr class="odd"> <td></td><td><a href="/journal/1122">IEEE Transactions on Machine Learning in Communications and Networking</a></td><td></td><td>IEEE</td><td>2831-316X</td></tr> <tr class="even"> <td></td><td><a href="/journal/990">Journal of Machine Engineering</a></td><td></td><td>Wroclaw Board of Scientific Technical</td><td>1895-7595</td></tr> <tr class="odd"> <td></td><td><a href="/journal/966">Interaction Studies</a></td><td>0.900</td><td>John Benjamins Publishing Company</td><td>1572-0373</td></tr> </tbody> </table><div class="keys" style="display:none" title="/journal/82"><span>45</span><span>1026</span><span>408</span><span>478</span><span>53</span><span>598</span><span>1122</span><span>990</span><span>966</span></div> </div></div> <div class="visible-phone"> <div id="yw5" class="grid-view"> <table class="table table-hover table-striped table-bordered table-condensed"> <thead> <tr> <th id="yw5_c0">Full Name</th><th id="yw5_c1">Impact Factor</th><th id="yw5_c2">Publisher</th></tr> </thead> <tbody> <tr class="odd"> <td><a href="/journal/45">Journal of Network and Computer Applications</a></td><td>7.700</td><td>Elsevier</td></tr> <tr class="even"> <td><a href="/journal/1026">International Journal of Advances in Intelligent Informatics</a></td><td></td><td>Universitas Ahmad Dahlan</td></tr> <tr class="odd"> <td><a href="/journal/408">Mathematics and Computers in Simulation</a></td><td>4.400</td><td>Elsevier</td></tr> <tr class="even"> <td><a href="/journal/478">Ethics and Information Technology</a></td><td>3.400</td><td>Springer</td></tr> <tr class="odd"> <td><a href="/journal/53">EURASIP Journal on Information Security</a></td><td>2.500</td><td>Springer</td></tr> <tr class="even"> <td><a href="/journal/598">ACM Transactions on Parallel Computing</a></td><td>0.900</td><td>ACM</td></tr> <tr class="odd"> <td><a href="/journal/1122">IEEE Transactions on Machine Learning in Communications and Networking</a></td><td></td><td>IEEE</td></tr> <tr class="even"> <td><a href="/journal/990">Journal of Machine Engineering</a></td><td></td><td>Wroclaw Board of Scientific Technical</td></tr> <tr class="odd"> <td><a href="/journal/966">Interaction Studies</a></td><td>0.900</td><td>John Benjamins Publishing Company</td></tr> </tbody> </table><div class="keys" style="display:none" title="/journal/82"><span>45</span><span>1026</span><span>408</span><span>478</span><span>53</span><span>598</span><span>1122</span><span>990</span><span>966</span></div> </div></div> </div> </div> <div class="portlet" id="yw6"> <div class="portlet-decoration"> <div class="portlet-title"><i class="icon icon-th"></i> Related Conferences</div> </div> <div class="portlet-content"> <div class="hidden-phone"> <div id="yw7" class="grid-view"> <table class="table table-hover table-striped table-bordered table-condensed"> <thead> <tr> <th id="yw7_c0">CCF</th><th id="yw7_c1">CORE</th><th id="yw7_c2">QUALIS</th><th id="yw7_c3">Short</th><th id="yw7_c4">Full Name</th><th id="yw7_c5">Submission</th><th id="yw7_c6">Notification</th><th id="yw7_c7">Conference</th></tr> </thead> <tbody> <tr class="odd"> <td></td><td></td><td></td><td>IECT</td><td><a href="/conference/1935">International Conference on Information Engineering and Communications Technology</a></td><td>2016-05-31</td><td>2016-06-05</td><td>2016-06-25</td></tr> <tr class="even"> <td></td><td><span class="badge badge-warning">b</span></td><td><span class="badge badge-warning">b1</span></td><td>ISIT</td><td><a href="/conference/385">International Symposium on Information Theory</a></td><td>2019-01-20</td><td>2019-03-31</td><td>2019-07-07</td></tr> <tr class="odd"> <td></td><td><span class="badge badge-warning">b</span></td><td><span class="badge badge-warning">b1</span></td><td>WiOpt</td><td><a href="/conference/930">International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks</a></td><td>2025-01-26</td><td>2025-03-15</td><td>2025-05-26</td></tr> <tr class="even"> <td></td><td></td><td></td><td>ICIIT</td><td><a href="/conference/2349">International conference on Intelligent Information Technologies</a></td><td>2024-09-30</td><td>2024-10-30</td><td>2025-02-20</td></tr> <tr class="odd"> <td></td><td><span class="badge badge-warning">c</span></td><td><span class="badge badge-warning">b3</span></td><td>ParCo</td><td><a href="/conference/75">International Conference on Parallel Computing</a></td><td>2019-02-28</td><td>2019-05-15</td><td>2019-09-10</td></tr> <tr class="even"> <td></td><td></td><td></td><td>ICEBT</td><td><a href="/conference/3144">International Conference on E-Education, E-Business and E-Technology</a></td><td>2020-05-05</td><td>2020-05-20</td><td>2020-06-05</td></tr> <tr class="odd"> <td></td><td></td><td></td><td>WIMS</td><td><a href="/conference/1631">International Conference on Web Intelligence, Mining and Semantics</a></td><td>2020-03-16</td><td>2020-05-18</td><td>2020-06-30</td></tr> <tr class="even"> <td></td><td></td><td></td><td>Feedback Computing</td><td><a href="/conference/1267">International Workshop on Feedback Computing</a></td><td> </td><td>2013-04-26</td><td>2013-06-25</td></tr> <tr class="odd"> <td></td><td></td><td></td><td>EuCNC & 6G Summit</td><td><a href="/conference/1481">European Conference on Networks and Communications and the 6G Summit</a></td><td>2025-01-24</td><td>2025-03-31</td><td>2025-06-03</td></tr> <tr class="even"> <td></td><td></td><td></td><td>CIMSim</td><td><a href="/conference/2905">International Conference on Computational Intelligence, Modelling and Simulation</a></td><td>2018-08-15</td><td> </td><td>2018-09-18</td></tr> </tbody> </table><div class="keys" style="display:none" title="/journal/82"><span>1935</span><span>385</span><span>930</span><span>2349</span><span>75</span><span>3144</span><span>1631</span><span>1267</span><span>1481</span><span>2905</span></div> </div></div> <div class="visible-phone"> <div id="yw8" class="grid-view"> <table class="table table-hover table-striped table-bordered table-condensed"> <thead> <tr> <th id="yw8_c0">Short</th><th id="yw8_c1">Full Name</th><th id="yw8_c2">Submission</th><th id="yw8_c3">Conference</th></tr> </thead> <tbody> <tr class="odd"> <td>IECT</td><td><a href="/conference/1935">International Conference on Information Engineering and Communications Technology</a></td><td>2016-05-31</td><td>2016-06-25</td></tr> <tr class="even"> <td>ISIT</td><td><a href="/conference/385">International Symposium on Information Theory</a></td><td>2019-01-20</td><td>2019-07-07</td></tr> <tr class="odd"> <td>WiOpt</td><td><a href="/conference/930">International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks</a></td><td>2025-01-26</td><td>2025-05-26</td></tr> <tr class="even"> <td>ICIIT</td><td><a href="/conference/2349">International conference on Intelligent Information Technologies</a></td><td>2024-09-30</td><td>2025-02-20</td></tr> <tr class="odd"> <td>ParCo</td><td><a href="/conference/75">International Conference on Parallel Computing</a></td><td>2019-02-28</td><td>2019-09-10</td></tr> <tr class="even"> <td>ICEBT</td><td><a href="/conference/3144">International Conference on E-Education, E-Business and E-Technology</a></td><td>2020-05-05</td><td>2020-06-05</td></tr> <tr class="odd"> <td>WIMS</td><td><a href="/conference/1631">International Conference on Web Intelligence, Mining and Semantics</a></td><td>2020-03-16</td><td>2020-06-30</td></tr> <tr class="even"> <td>Feedback Computing</td><td><a href="/conference/1267">International Workshop on Feedback Computing</a></td><td> </td><td>2013-06-25</td></tr> <tr class="odd"> <td>EuCNC & 6G Summit</td><td><a href="/conference/1481">European Conference on Networks and Communications and the 6G Summit</a></td><td>2025-01-24</td><td>2025-06-03</td></tr> <tr class="even"> <td>CIMSim</td><td><a href="/conference/2905">International Conference on Computational Intelligence, Modelling and Simulation</a></td><td>2018-08-15</td><td>2018-09-18</td></tr> </tbody> </table><div class="keys" style="display:none" title="/journal/82"><span>1935</span><span>385</span><span>930</span><span>2349</span><span>75</span><span>3144</span><span>1631</span><span>1267</span><span>1481</span><span>2905</span></div> </div></div> </div> </div> <div class="portlet" id="yw9"> <div class="portlet-decoration"> <div class="portlet-title"><i class="icon icon-eye-open"></i> Recommendation</div> </div> <div class="portlet-content"> <div align="center"> <script async src="//pagead2.googlesyndication.com/pagead/js/adsbygoogle.js"></script>  <ins class="adsbygoogle" style="display:block" data-ad-client="ca-pub-6743617430731451" data-ad-slot="1870704128" data-ad-format="autorelaxed"></ins> <script> (adsbygoogle = window.adsbygoogle || []).push({}); </script> </div> </div> </div> </div> <div class="span2 hidden-phone"> <div class="sidebar-nav"> <ul id="yw10"> <li><a href="http://www.myhuiban.com/journal/track/id/82"><i class="icon icon-plus"></i>   Track It <span class="badge badge-warning pull-right">12</span></a></li> <li><a href="http://www.myhuiban.com/journal/edit/id/82"><i class="icon icon-edit"></i>   Edit CFP</a></li> <li><a href="http://www.myhuiban.com/journal/issue/id/82"><i class="icon icon-list-alt"></i>   Add Issue</a></li> </ul><br/> <div id="yw11" class="grid-view"> <table class="table table-hover table-striped table-bordered table-condensed"> <thead> <tr> <th id="yw11_c0">Tracker</th></tr> </thead> <tbody> <tr class="odd"> <td><a href="/researcher/34509">Shucen Ma (1961)</a></td></tr> <tr class="even"> <td><a href="/researcher/29490">Chun Shao (3067)</a></td></tr> <tr class="odd"> <td><a href="/researcher/30364">Gs Fan (879)</a></td></tr> <tr class="even"> <td><a href="/researcher/23273">AA BB (1314)</a></td></tr> <tr class="odd"> <td><a href="/researcher/19148">Hu Deqi (330)</a></td></tr> <tr class="even"> <td><a href="/researcher/15504">Jiawen XIONG (509)</a></td></tr> <tr class="odd"> <td><a href="/researcher/13196">Junpeng Zha (129)</a></td></tr> <tr class="even"> <td><a href="/researcher/756">Feng Zhang (2320)</a></td></tr> <tr class="odd"> <td><a href="/researcher/1991">Pengfei Wang (3557)</a></td></tr> <tr class="even"> <td><a href="/researcher/751">Fu Teresa (1030)</a></td></tr> <tr class="odd"> <td><a href="/researcher/391">Chengxi Huang (317)</a></td></tr> <tr class="even"> <td><a href="/researcher/778">Xianqi Zhao (54)</a></td></tr> </tbody> </table><div class="keys" style="display:none" title="/journal/82"><span>34509</span><span>29490</span><span>30364</span><span>23273</span><span>19148</span><span>15504</span><span>13196</span><span>756</span><span>1991</span><span>751</span><span>391</span><span>778</span></div> </div> <div class="portlet" id="yw13"> <div class="portlet-decoration"> <div class="portlet-title"><i class="icon icon-gift"></i> Advertisment</div> </div> <div class="portlet-content"> <div align="center"> <div id="12717-20"><script src="//ads.themoneytizer.com/s/gen.js?type=20"></script><script src="//ads.themoneytizer.com/s/requestform.js?siteId=12717&formatId=20" ></script></div> </div>    </div> </div> </div> </div> </div> </div> </section>  <footer> <div class="subnav navbar"> <div class="navbar-inner"> <div class="container"> <a href="/conferences">4,996</a> Conferences | <a href="/journals">1,182</a> Journals | <a href="/researchers">71,392</a> Researchers | 445,068,683 PV <br/> Copyright © 2011-2025 myhuiban.com. All Rights Reserved. <a href="/researcher/1">About Us</a> | <a target="_blank" href="https://www.facebook.com/myhuiban/">Facebook</a> | <a target="_blank" href="https://x.com/myhuiban">X</a> | <a href=mailto:admin@myhuiban.com>Post CFP or Contact Us</a> | <a href="/promotion">Promotion</a> </div> </div> </div> </footer> <script type="text/javascript" src="/assets/478ca885/gridview/jquery.yiigridview.js"></script> <script type="text/javascript"> /*<![CDATA[*/ jQuery(function($) { jQuery('#yw4').yiiGridView({'ajaxUpdate':['yw4'],'ajaxVar':'ajax','pagerClass':'pager','loadingClass':'grid-view-loading','filterClass':'filters','tableClass':'table table-hover table-striped table-bordered table-condensed','selectableRows':1,'enableHistory':false,'updateSelector':'{page}, {sort}','filterSelector':'{filter}','pageVar':'page'}); jQuery('#yw5').yiiGridView({'ajaxUpdate':['yw5'],'ajaxVar':'ajax','pagerClass':'pager','loadingClass':'grid-view-loading','filterClass':'filters','tableClass':'table table-hover table-striped table-bordered table-condensed','selectableRows':1,'enableHistory':false,'updateSelector':'{page}, {sort}','filterSelector':'{filter}','pageVar':'page'}); jQuery('#yw7').yiiGridView({'ajaxUpdate':['yw7'],'ajaxVar':'ajax','pagerClass':'pager','loadingClass':'grid-view-loading','filterClass':'filters','tableClass':'table table-hover table-striped table-bordered table-condensed','selectableRows':1,'enableHistory':false,'updateSelector':'{page}, {sort}','filterSelector':'{filter}','pageVar':'page'}); jQuery('#yw8').yiiGridView({'ajaxUpdate':['yw8'],'ajaxVar':'ajax','pagerClass':'pager','loadingClass':'grid-view-loading','filterClass':'filters','tableClass':'table table-hover table-striped table-bordered table-condensed','selectableRows':1,'enableHistory':false,'updateSelector':'{page}, {sort}','filterSelector':'{filter}','pageVar':'page'}); jQuery('#yw11').yiiGridView({'ajaxUpdate':['yw11'],'ajaxVar':'ajax','pagerClass':'pager','loadingClass':'grid-view-loading','filterClass':'filters','tableClass':'table table-hover table-striped table-bordered table-condensed','selectableRows':1,'enableHistory':false,'updateSelector':'{page}, {sort}','filterSelector':'{filter}','pageVar':'page'}); }); /*]]>*/ </script> </body> </html>