CINXE.COM

<!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8"/> <meta name="description" content="Formal Methods in System Design" /> <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 Methods in System Design</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/83" /> <link rel="alternate" hreflang="en" href="/journal/83?lang=en_us" /> <link rel="alternate" hreflang="es" href="/journal/83?lang=es" /> <link rel="alternate" hreflang="zh" href="/journal/83?lang=zh_cn" /> <link rel="alternate" hreflang="ja" href="/journal/83?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/83?lang=zh_cn"> 中文 </a> | <img src="/images/US.gif"/><a href="/journal/83?lang=en_us"> English </a> | <img src="/images/ES.gif"/><a href="/journal/83?lang=es"> Español </a> | <img src="/images/JP.gif"/><a href="/journal/83?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 Methods in System Design</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 Methods in System Design (FMSD)</span></h5> <a href="https://link.springer.com/journal/10703">https://link.springer.com/journal/10703</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">0.700</div></td> </tr> <tr> <td width="150" height="25"><div align="center">Publisher:</div></td> <td width="150"><div align="center">Springer</div></td> </tr> <tr> <td width="150" height="25"><div align="center">ISSN:</div></td> <td width="150"><div align="center">0925-9856</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">14415</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">16</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>Aims and scope The focus of this journal is on formal methods for designing, implementing, and validating the correctness of hardware (VLSI) and software systems. The stimulus for starting a journal with this goal came from both academia and industry. In both areas, interest in the use of formal methods has increased rapidly during the past few years. The enormous cost and time required to validate new designs has led to the realization that more powerful techniques must be developed. A number of techniques and tools are currently being devised for improving the reliability, and robustness of complex hardware and software systems. While the boundary between the (sub)components of a system that are cast in hardware, firmware, or software continues to blur, the relevant design disciplines and formal methods are maturing rapidly. Consequently, an important (and useful) collection of commonly applicable formal methods are expected to emerge that will strongly influence future design environments and design methods. The journal is an international forum for the dissemination of research related to the application and development of formal methods in both hardware (VLSI) and software system design. Papers describing original work in all aspects of formal methods as they relate to this general area are invited.</pre><div class="alert alert-warning"> Last updated by <a href="/researcher/1">Dou Sun</a> in 2024-07-21</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></td><td><a href="/journal/669">Computers in Human Behavior</a></td><td>9.000</td><td>Elsevier</td><td>0747-5632</td></tr> <tr class="even"> <td><span class="badge badge-warning">b</span></td><td><a href="/journal/33">Journal of Computer Security</a></td><td> </td><td>IOS Press</td><td>0926-227X</td></tr> <tr class="odd"> <td></td><td><a href="/journal/558">International Journal of Advanced Research in Electrical and Electronics Engineering</a></td><td> </td><td>AR Publication</td><td>0000-0000</td></tr> <tr class="even"> <td><span class="badge badge-warning">a</span></td><td><a href="/journal/12">IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems</a></td><td>2.700</td><td>IEEE</td><td>0278-0070</td></tr> <tr class="odd"> <td></td><td><a href="/journal/563">IEEE Transactions on Emerging Topics in Computing</a></td><td>5.100</td><td>IEEE</td><td>2168-6750</td></tr> <tr class="even"> <td></td><td><a href="/journal/933">International Journal of Computer Applications in Technology</a></td><td></td><td>Inderscience</td><td>0952-8091</td></tr> <tr class="odd"> <td></td><td><a href="/journal/345">Applied Mathematics and Computation</a></td><td>3.500</td><td>Elsevier</td><td>0096-3003</td></tr> <tr class="even"> <td></td><td><a href="/journal/560">Mathematical Problems in Engineering</a></td><td></td><td>Hindawi</td><td>1024-123X</td></tr> <tr class="odd"> <td></td><td><a href="/journal/562">International Journal of Advanced Computer Science and Applications</a></td><td>0.700</td><td>Science and Information</td><td>2158-107X</td></tr> <tr class="even"> <td></td><td><a href="/journal/432">Journal of Trust Management</a></td><td></td><td>Springer</td><td>2196-064X</td></tr> </tbody> </table><div class="keys" style="display:none" title="/journal/83"><span>669</span><span>33</span><span>558</span><span>12</span><span>563</span><span>933</span><span>345</span><span>560</span><span>562</span><span>432</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/669">Computers in Human Behavior</a></td><td>9.000</td><td>Elsevier</td></tr> <tr class="even"> <td><a href="/journal/33">Journal of Computer Security</a></td><td> </td><td>IOS Press</td></tr> <tr class="odd"> <td><a href="/journal/558">International Journal of Advanced Research in Electrical and Electronics Engineering</a></td><td> </td><td>AR Publication</td></tr> <tr class="even"> <td><a href="/journal/12">IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems</a></td><td>2.700</td><td>IEEE</td></tr> <tr class="odd"> <td><a href="/journal/563">IEEE Transactions on Emerging Topics in Computing</a></td><td>5.100</td><td>IEEE</td></tr> <tr class="even"> <td><a href="/journal/933">International Journal of Computer Applications in Technology</a></td><td></td><td>Inderscience</td></tr> <tr class="odd"> <td><a href="/journal/345">Applied Mathematics and Computation</a></td><td>3.500</td><td>Elsevier</td></tr> <tr class="even"> <td><a href="/journal/560">Mathematical Problems in Engineering</a></td><td></td><td>Hindawi</td></tr> <tr class="odd"> <td><a href="/journal/562">International Journal of Advanced Computer Science and Applications</a></td><td>0.700</td><td>Science and Information</td></tr> <tr class="even"> <td><a href="/journal/432">Journal of Trust Management</a></td><td></td><td>Springer</td></tr> </tbody> </table><div class="keys" style="display:none" title="/journal/83"><span>669</span><span>33</span><span>558</span><span>12</span><span>563</span><span>933</span><span>345</span><span>560</span><span>562</span><span>432</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>BODYNET</td><td><a href="/conference/1468">International Conference on Body Area Networks</a></td><td>2015-06-01</td><td>2015-07-31</td><td>2015-09-28</td></tr> <tr class="even"> <td></td><td></td><td></td><td>ICEIEC</td><td><a href="/conference/3005">IEEE International Conference on Electronics Information and Emergency Communication</a></td><td>2025-03-20</td><td>2025-04-05</td><td>2025-06-21</td></tr> <tr class="odd"> <td><span class="badge badge-warning">b</span></td><td><span class="badge badge-warning">a</span></td><td><span class="badge badge-warning">a1</span></td><td>ISMB</td><td><a href="/conference/476">International Conference on Intelligent Systems for Molecular Biology</a></td><td>2022-01-13</td><td>2022-04-04</td><td>2022-07-10</td></tr> <tr class="even"> <td><span class="badge badge-warning">a</span></td><td></td><td><span class="badge badge-warning">b1</span></td><td>FM</td><td><a href="/conference/166">International Symposium on Formal Methods</a></td><td>2024-04-05</td><td>2024-06-03</td><td>2024-09-09</td></tr> <tr class="odd"> <td></td><td></td><td></td><td>ISCTEE</td><td><a href="/conference/2310">International Seminar on Information Science, Computer Technology and Electrical Engineering</a></td><td>2017-08-11</td><td> </td><td>2017-08-18</td></tr> <tr class="even"> <td></td><td></td><td><span class="badge badge-warning">b4</span></td><td>WONS</td><td><a href="/conference/932">International Conference on Wireless On-demand Network Systems and Services</a></td><td>2024-08-31</td><td>2024-11-01</td><td>2025-01-27</td></tr> <tr class="odd"> <td></td><td></td><td></td><td>NM&A</td><td><a href="/conference/592">International Conference on Numerical Methods and Applications</a></td><td> </td><td>2010-07-05</td><td>2010-08-20</td></tr> <tr class="even"> <td></td><td></td><td><span class="badge badge-warning">b1</span></td><td>DSD</td><td><a href="/conference/85">Euromicro Conference on Digital System Design</a></td><td>2021-05-05</td><td>2021-06-05</td><td>2021-09-01</td></tr> <tr class="odd"> <td></td><td></td><td></td><td>ICACAR</td><td><a href="/conference/2343">International Conference on Advanced Control, Automation and Robotics</a></td><td>2025-10-16</td><td>2025-09-16</td><td>2025-10-17</td></tr> <tr class="even"> <td></td><td></td><td></td><td>CF'</td><td><a href="/conference/1797">Cloud Forward Conference</a></td><td>2015-07-13</td><td>2015-08-02</td><td>2015-10-06</td></tr> </tbody> </table><div class="keys" style="display:none" title="/journal/83"><span>1468</span><span>3005</span><span>476</span><span>166</span><span>2310</span><span>932</span><span>592</span><span>85</span><span>2343</span><span>1797</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>BODYNET</td><td><a href="/conference/1468">International Conference on Body Area Networks</a></td><td>2015-06-01</td><td>2015-09-28</td></tr> <tr class="even"> <td>ICEIEC</td><td><a href="/conference/3005">IEEE International Conference on Electronics Information and Emergency Communication</a></td><td>2025-03-20</td><td>2025-06-21</td></tr> <tr class="odd"> <td>ISMB</td><td><a href="/conference/476">International Conference on Intelligent Systems for Molecular Biology</a></td><td>2022-01-13</td><td>2022-07-10</td></tr> <tr class="even"> <td>FM</td><td><a href="/conference/166">International Symposium on Formal Methods</a></td><td>2024-04-05</td><td>2024-09-09</td></tr> <tr class="odd"> <td>ISCTEE</td><td><a href="/conference/2310">International Seminar on Information Science, Computer Technology and Electrical Engineering</a></td><td>2017-08-11</td><td>2017-08-18</td></tr> <tr class="even"> <td>WONS</td><td><a href="/conference/932">International Conference on Wireless On-demand Network Systems and Services</a></td><td>2024-08-31</td><td>2025-01-27</td></tr> <tr class="odd"> <td>NM&A</td><td><a href="/conference/592">International Conference on Numerical Methods and Applications</a></td><td> </td><td>2010-08-20</td></tr> <tr class="even"> <td>DSD</td><td><a href="/conference/85">Euromicro Conference on Digital System Design</a></td><td>2021-05-05</td><td>2021-09-01</td></tr> <tr class="odd"> <td>ICACAR</td><td><a href="/conference/2343">International Conference on Advanced Control, Automation and Robotics</a></td><td>2025-10-16</td><td>2025-10-17</td></tr> <tr class="even"> <td>CF'</td><td><a href="/conference/1797">Cloud Forward Conference</a></td><td>2015-07-13</td><td>2015-10-06</td></tr> </tbody> </table><div class="keys" style="display:none" title="/journal/83"><span>1468</span><span>3005</span><span>476</span><span>166</span><span>2310</span><span>932</span><span>592</span><span>85</span><span>2343</span><span>1797</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/83"><i class="icon icon-plus"></i>   Track It <span class="badge badge-warning pull-right">16</span></a></li> <li><a href="http://www.myhuiban.com/journal/edit/id/83"><i class="icon icon-edit"></i>   Edit CFP</a></li> <li><a href="http://www.myhuiban.com/journal/issue/id/83"><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/57310">Changyu Wang (134)</a></td></tr> <tr class="even"> <td><a href="/researcher/12711">Malion Malion (729)</a></td></tr> <tr class="odd"> <td><a href="/researcher/49982">Zy Ming (125)</a></td></tr> <tr class="even"> <td><a href="/researcher/30867">Li Shaofeng (681)</a></td></tr> <tr class="odd"> <td><a href="/researcher/30364">Gs Fan (879)</a></td></tr> <tr class="even"> <td><a href="/researcher/13431">Chenyang Zhu (93)</a></td></tr> <tr class="odd"> <td><a href="/researcher/12649">Hansheng Wei (1654)</a></td></tr> <tr class="even"> <td><a href="/researcher/10656">Frank Xu (2123)</a></td></tr> <tr class="odd"> <td><a href="/researcher/5884">Tengfei Li (5158)</a></td></tr> <tr class="even"> <td><a href="/researcher/7823">XIAOJIE WU (525)</a></td></tr> <tr class="odd"> <td><a href="/researcher/756">Feng Zhang (2320)</a></td></tr> <tr class="even"> <td><a href="/researcher/4071">Renke Wu (2655)</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/83"><span>57310</span><span>12711</span><span>49982</span><span>30867</span><span>30364</span><span>13431</span><span>12649</span><span>10656</span><span>5884</span><span>7823</span><span>756</span><span>4071</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,351</a> Researchers | 444,376,786 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>