Search results for: ShengYu Shen
Scientometrics > 2018 > 114 > 3 > 1141-1157
Lecture Notes in Computer Science > Intelligent Data Engineering and Automated Learning - IDEAL 2007 > Learning and Information Processing > 385-394
Lecture Notes in Computer Science > Computational Science and Its Applications – ICCSA 2007 > General Track > 649-659
Lecture Notes in Computer Science > Intelligent Data Engineering and Automated Learning - IDEAL 2011 > 178-185
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Model Checking > 298-312
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Papers > 456-469
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Short Papers > 393-397
Transactions in GIS > 16 > 6 > 745 - 761
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2012 > 31 > 8 > 1288 - 1292
Computers and Geosciences > 2011 > 37 > 4 > 485-494
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2011 > 30 > 10 > 1556 - 1563
Formal Methods in Computer Aided Design > 91 - 99
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2010 > 29 > 8 > 1191 - 1202
Journal of Electronics (China) > 2008 > 25 > 5 > 652-660