Guowu Yang

According to our database, Guowu Yang authored at least 131 papers between 2000 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Convergence Path to Deep Learning on Noisy Labels.

Defu Liu, Ivor W. Tsang, Guowu Yang

IEEE Trans. Neural Networks Learn. Syst., April, 2024

A new quantum machine learning algorithm: split hidden quantum Markov model inspired by quantum conditional master equation.

Xiao-Yu Li, Qin-Sheng Zhu, Yong Hu, Hao Wu, Guowu Yang, Lian-Hui Yu, Geng Chen

Quantum, January, 2024

2023

Noisy Label Learning With Provable Consistency for a Wider Family of Losses.

Defu Liu, Wen Li, Lixin Duan, Ivor W. Tsang, Guowu Yang

IEEE Trans. Pattern Anal. Mach. Intell., November, 2023

Generalized Affine Equivalence Checking of Boolean Functions via Reachability Analysis.

Xiao Zeng, Huijun Liang, Jun Yuan, Xiaoyu Song, Guowu Yang

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., September, 2023

Learning cross-domain semantic-visual relationships for transductive zero-shot learning.

Fengmao Lv, Jianyang Zhang, Guowu Yang, Lei Feng, Yufeng Yu, Lixin Duan

Pattern Recognit., September, 2023

Detecting Affine Equivalence Of Boolean Functions And Circuit Transformation.

Xiao Zeng, Guowu Yang, Xiaoyu Song, Marek A. Perkowski, Gang Chen

Comput. J., September, 2023

Quantum reversible circuits for GF(2⁸⁾ multiplication based on composite field arithmetic operations.

Qing-bin Luo, Xiao-Yu Li, Guowu Yang, Qiang Li

Quantum Inf. Process., January, 2023

Semantic Consistent Embedding for Domain Adaptive Zero-Shot Learning.

Jianyang Zhang, Guowu Yang, Ping Hu, Guosheng Lin, Fengmao Lv

IEEE Trans. Image Process., 2023

Partial-label Learning with Mixed Closed-set and Open-set Out-of-candidate Examples.

Shuo He, Lei Feng, Guowu Yang

Proceedings of the 29th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2023

Candidate-aware Selective Disambiguation Based On Normalized Entropy for Instance-dependent Partial-label Learning.

Shuo He, Guowu Yang, Lei Feng

Proceedings of the IEEE/CVF International Conference on Computer Vision, 2023

2022

Complex intuitionistic fuzzy ordered weighted distance measure.

Kaiyan Yang, Lan Shu, Guowu Yang

Comput. Appl. Math., December, 2022

Deep Pairwise Hashing for Cold-Start Recommendation.

Yan Zhang, Ivor W. Tsang, Hongzhi Yin, Guowu Yang, Defu Lian, Jingjing Li

IEEE Trans. Knowl. Data Eng., 2022

A mediated semi-quantum protocol for millionaire problem based on high-dimensional Bell states.

Qing-bin Luo, Xiao-Yu Li, Guowu Yang, Chen Lin

Quantum Inf. Process., 2022

Device-Oriented Keyword-Searchable Encryption Scheme for Cloud-Assisted Industrial IoT.

Rang Zhou, Xiaosong Zhang, Xiaofen Wang, Guowu Yang, Hong-Ning Dai, Mingzhe Liu

IEEE Internet Things J., 2022

Multi-category classification with label noise by robust binary loss.

Defu Liu, Jiayi Zhao, Jinzhao Wu, Guowu Yang, Fengmao Lv

Neurocomputing, 2022

A Heuristic Boolean NPN Equivalent Matching Verification Method Based on Shannon Decomposition.

Juling Zhang, Wenqiang Guo, Guowu Yang, Yixin Zhu, Xiaoyi Lv

IEEE Access, 2022

Partial Label Learning with Semantic Label Representations.

Shuo He, Lei Feng, Fengmao Lv, Wen Li, Guowu Yang

Proceedings of the KDD '22: The 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, Washington, DC, USA, August 14, 2022

Curriculum Knowledge Distillation for Emoji-supervised Cross-lingual Sentiment Analysis.

Jianyang Zhang, Tao Liang, Mingyang Wan, Guowu Yang, Fengmao Lv

Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, 2022

2021

Weakly-Supervised Cross-Domain Road Scene Segmentation via Multi-Level Curriculum Adaptation.

Fengmao Lv, Guosheng Lin, Peng Liu, Guowu Yang, Sinno Jialin Pan, Lixin Duan

IEEE Trans. Circuits Syst. Video Technol., 2021

A Formal Proof of PG Recurrence Equations of Parallel Adders.

Gang Chen, Xiaoyu Song, Guowu Yang, Ting Wang, Xiaoqiao Mu, Yongqian Fan

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2021

Extending Ordinary-Label Learning Losses to Complementary-Label Learning.

Defu Liu, Jin Ning, Jinzhao Wu, Guowu Yang

IEEE Signal Process. Lett., 2021

Multitask Classification Method Based on Label Correction for Breast Tumor Ultrasound Images.

Zhantao Cao, Guowu Yang, Xiaoyu Li, Qin Chen, Jinzhao Wu

Neural Process. Lett., 2021

Computing the Number of Affine Equivalent Classes on ℛ(s, n)/ℛ(k, n).

Xiao Zeng, Guowu Yang

Theory Comput. Syst., 2021

Latent Gaussian process for anomaly detection in categorical data.

Fengmao Lv, Tao Liang, Jiayi Zhao, Zhongliu Zhuo, Jinzhao Wu, Guowu Yang

Knowl. Based Syst., 2021

Efficient and Traceable Patient Health Data Search System for Hospital Management in Smart Cities.

Rang Zhou, Xiaosong Zhang, Xiaofen Wang, Guowu Yang, Nadra Guizani, Xiaojiang Du

IEEE Internet Things J., 2021

Quantum maximum mean discrepancy GAN.

Yiming Huang, Hang Lei, Xiaoyu Li, Guowu Yang

Neurocomputing, 2021

Adaptive Curriculum Learning for Semi-supervised Segmentation of 3D CT-Scans.

Obed Tettey Nartey, Guowu Yang, Dorothy Araba Yakoba Agyapong, Jinzhao Wu, Asare K. Sarpong, Lady Nadia Frempong

Proceedings of the Neural Information Processing - 28th International Conference, 2021

Robust Binary Loss for Multi-Category Classification with Label Noise.

Defu Liu, Guowu Yang, Jinzhao Wu, Jiayi Zhao, Fengmao Lv

Proceedings of the IEEE International Conference on Acoustics, 2021

2020

Learning Unbiased Zero-Shot Semantic Segmentation Networks Via Transductive Transfer.

Fengmao Lv, Haiyang Liu, Yichen Wang, Jiayi Zhao, Guowu Yang

IEEE Signal Process. Lett., 2020

Robust Semi-Supervised Traffic Sign Recognition via Self-Training and Weakly-Supervised Learning.

Obed Tettey Nartey, Guowu Yang, Sarpong Kwadwo Asare, Jinzhao Wu, Lady Nadia Frempong

Sensors, 2020

Pieceable fault tolerant conversion between 5-qubit code and 7-CSS code.

Chen Lin, Guowu Yang, Qing-bin Luo, Xiaoyu Li

Quantum Inf. Process., 2020

Quantization-based hashing with optimal bits for efficient recommendation.

Yan Zhang, Defu Liu, Guowu Yang, Lin Hu

Multim. Tools Appl., 2020

Gradient boosting tree for ¹H-MRS Alzheimer diagnosis.

Defu Liu, Guowu Yang, Yuchen Li, Jinzhao Wu, Fengmao Lv

Int. J. Data Min. Bioinform., 2020

Deep Pairwise Hashing for Cold-start Recommendation.

Yan Zhang, Ivor W. Tsang, Hongzhi Yin, Guowu Yang, Defu Lian, Jingjing Li

CoRR, 2020

Learning Cross-domain Semantic-Visual Relation for Transductive Zero-Shot Learning.

Jianyang Zhang, Fengmao Lv, Guowu Yang, Lei Feng, Yufeng Yu, Lixin Duan

CoRR, 2020

Semi-Supervised Learning for Fine-Grained Classification With Self-Training.

Obed Tettey Nartey, Guowu Yang, Jinzhao Wu, Sarpong Kwadwo Asare

IEEE Access, 2020

Confidence Calibration on Multiclass Classification in Medical Imaging.

Wenjing Yang, Zhantao Cao, Qin Chen, Yuhong Yang, Guowu Yang

Proceedings of the 20th IEEE International Conference on Data Mining, 2020

2019

Inductive Method for Evaluating RFID Security Protocols.

Defu Liu, Guowu Yang, Yong Huang, Jinzhao Wu

Wirel. Commun. Mob. Comput., 2019

A Heuristic Statistical Testing Based Approach for Encrypted Network Traffic Identification.

Weina Niu, Zhongliu Zhuo, Xiaosong Zhang, Xiaojiang Du, Guowu Yang, Mohsen Guizani

IEEE Trans. Veh. Technol., 2019

A New Pairwise NPN Boolean Matching Algorithm Based on Structural Difference Signature.

Juling Zhang, Guowu Yang, William N. N. Hung, Jinzhao Wu, Yixin Zhu

Symmetry, 2019

A Group Algebraic Approach to NPN Classification of Boolean Functions.

Juling Zhang, Guowu Yang, William N. N. Hung, Tian Liu, Xiaoyu Song, Marek A. Perkowski

Theory Comput. Syst., 2019

TarGAN: Generating target data with class labels for unsupervised domain adaptation.

Fengmao Lv, Jun Zhu, Guowu Yang, Lixin Duan

Knowl. Based Syst., 2019

Privacy-preserving data search with fine-grained dynamic search right management in fog-assisted Internet of Things.

Rang Zhou, Xiaosong Zhang, Xiaofen Wang, Guowu Yang, Hao Wang, Yulei Wu

Inf. Sci., 2019

Computing the Number of Affine Equivalence Classes of Boolean Functions modulo Functions of Different Degrees.

Xiao Zeng, Guowu Yang

CoRR, 2019

An efficient NPN Boolean matching algorithm based on structural signature and Shannon expansion.

Juling Zhang, Guowu Yang, William N. N. Hung, Yan Zhang, Jinzhao Wu

Clust. Comput., 2019

An experimental study on breast lesion detection and classification from ultrasound images using deep learning architectures.

Zhantao Cao, Lixin Duan, Guowu Yang, Ting Yue, Qin Chen

BMC Medical Imaging, 2019

A Method for Determining the Affine Equivalence of Boolean Functions.

Ziyu Wang, Xiao Zeng, Jinzhao Wu, Guowu Yang

IEEE Access, 2019

2018

File-Centric Multi-Key Aggregate Keyword Searchable Encryption for Industrial Internet of Things.

Rang Zhou, Xiaosong Zhang, Xiaojiang Du, Xiaofen Wang, Guowu Yang, Mohsen Guizani

IEEE Trans. Ind. Informatics, 2018

具有异构感染率的僵尸网络建模与分析 (Modeling and Analysis of Botnet with Heterogeneous Infection Rate).

Weina Niu, Xiaosong Zhang, Guowu Yang, Zhongliu Zhuo, Jiazhong Lu

计算机科学, 2018

An assertion graph based abstraction algorithm in GSTE and Its application.

Desheng Zheng, Xiaoyu Li, Guowu Yang, Hai Wang, Lulu Tian

Integr., 2018

Discrete Deep Learning for Fast Content-Aware Recommendation.

Yan Zhang, Hongzhi Yin, Zi Huang, Xingzhong Du, Guowu Yang, Defu Lian

Proceedings of the Eleventh ACM International Conference on Web Search and Data Mining, 2018

Discrete Ranking-based Matrix Factorization with Self-Paced Learning.

Yan Zhang, Haoyu Wang, Defu Lian, Ivor W. Tsang, Hongzhi Yin, Guowu Yang

Proceedings of the 24th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, 2018

Improving Target Discriminability for Unsupervised Domain Adaptation.

Fengmao Lv, Hao Chen, Jinzhao Wu, Linfeng Zhong, Xiaoyu Li, Guowu Yang

Proceedings of the Neural Information Processing - 25th International Conference, 2018

Keyword Searchable Encryption with Fine-Grained Forward Secrecy for Internet of Thing Data.

Rang Zhou, Xiaosong Zhang, Xiaofen Wang, Guowu Yang, Wanpeng Li

Proceedings of the Algorithms and Architectures for Parallel Processing, 2018

Domain Adaptive Semantic Segmentation Through Structure Enhancement.

Fengmao Lv, Qing Lian, Guowu Yang, Guosheng Lin, Sinno Jialin Pan, Lixin Duan

Proceedings of the Computer Vision - ECCV 2018 Workshops, 2018

Convolutional Neural Networks for Text Classification with Multi-size Convolution and Multi-type Pooling.

Tao Liang, Guowu Yang, Fengmao Lv, Juliang Zhang, Zhantao Cao, Qing Li

Proceedings of the Database Systems for Advanced Applications, 2018

Boosting ¹H-MRS Alzheimer Diagnosis with Boosted Trees.

Fengmao Lv, Yuchen Li, Guowu Yang

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2018

2017

Generative classification model for categorical data based on latent Gaussian process.

Fengmao Lv, Guowu Yang, William Zhu, Chuan Liu

Pattern Recognit. Lett., 2017

Novel Lebesgue-integral-based approach to improved results for neural networks with additive time-varying delay components.

Deqiang Zeng, Ruimei Zhang, Shouming Zhong, Guowu Yang, Yongbin Yu, Kaibo Shi

J. Frankl. Inst., 2017

The convergence and termination criterion of quantum-inspired evolutionary neural networks.

Fengmao Lv, Guowu Yang, Wenjing Yang, Xiaosong Zhang, Kenli Li

Neurocomputing, 2017

Modeling Attack Process of Advanced Persistent Threat Using Network Evolution.

Weina Niu, Xiaosong Zhang, Guowu Yang, Ruidong Chen, Dong Wang

IEICE Trans. Inf. Syst., 2017

An Efficient NPN Boolean Matching Algorithm Based on Structural Signature and Shannon Expansion.

Juling Zhang, Guowu Yang, William N. N. Hung, Yan Zhang

CoRR, 2017

A Canonical-Based NPN Boolean Matching Algorithm Utilizing Boolean Difference and Cofactor Signature.

Juling Zhang, Guowu Yang, William N. N. Hung, Jinzhao Wu

IEEE Access, 2017

Breast Tumor Detection in Ultrasound Images Using Deep Learning.

Zhantao Cao, Lixin Duan, Guowu Yang, Ting Yue, Qin Chen, Huazhu Fu, Yanwu Xu

Proceedings of the Patch-Based Techniques in Medical Imaging, 2017

Phishing Emails Detection Using CS-SVM.

Weina Niu, Xiaosong Zhang, Guowu Yang, Zhiyuan Ma, Zhongliu Zhuo

Proceedings of the 2017 IEEE International Symposium on Parallel and Distributed Processing with Applications and 2017 IEEE International Conference on Ubiquitous Computing and Communications (ISPA/IUCC), 2017

Anomaly Detection for Categorical Observations Using Latent Gaussian Process.

Fengmao Lv, Guowu Yang, Jinzhao Wu, Chuan Liu, Yuhong Yang

Proceedings of the Neural Information Processing - 24th International Conference, 2017

Dot-product based preference preserved hashing for fast collaborative filtering.

Yan Zhang, Guowu Yang, Lin Hu, Hong Wen, Jinsong Wu

Proceedings of the IEEE International Conference on Communications, 2017

Discrete Personalized Ranking for Fast Collaborative Filtering from Implicit Feedback.

Yan Zhang, Defu Lian, Guowu Yang

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Computing Affine Equivalence Classes of Boolean Functions by Group Isomorphism.

Yan Zhang, Guowu Yang, William N. N. Hung, Juling Zhang

IEEE Trans. Computers, 2016

Uncertainty Model for Configurable Hardware/Software and Resource Partitioning.

Rui Wang, William N. N. Hung, Guowu Yang, Xiaoyu Song

IEEE Trans. Computers, 2016

Quantum homomorphic signature based on Bell-state measurement.

Qing-bin Luo, Guowu Yang, Kun She, Xiaoyu Li, Jun-bin Fang

Quantum Inf. Process., 2016

Improving data field hierarchical clustering using Barnes-Hut algorithm.

Zhongliu Zhuo, Xiaosong Zhang, Weina Niu, Guowu Yang, Jingzhong Zhang

Pattern Recognit. Lett., 2016

Modeling Attack Process of Advanced Persistent Threat.

Weina Niu, Xiaosong Zhang, Kenli Li, Guowu Yang, Ruidong Chen

Proceedings of the Security, Privacy, and Anonymity in Computation, Communication, and Storage, 2016

Constraint Free Preference Preserving Hashing for Fast Recommendation.

Yan Zhang, Guowu Yang, Defu Lian, Hong Wen, Jinsong Wu

Proceedings of the 2016 IEEE Global Communications Conference, 2016

2015

A multipartite entanglement measure based on coefficient matrices.

Chao Zhao, Guowu Yang, William N. N. Hung, Xiaoyu Li

Quantum Inf. Process., 2015

三值量子基本门及其对量子Fourier变换的电路实现 (Three-valued Quantum Elementary and Implementation of Quantum Fourier Transform Circuit).

Fuyou Fan, Guowu Yang, Yan Zhang, Gang Yang

计算机科学, 2015

A Synthesis Method of Quantum Reversible Logic Circuit Based on Elementary Qutrit Quantum Logic Gates.

Fuyou Fan, Guowu Yang, Gang Yang, William N. N. Hung

J. Circuits Syst. Comput., 2015

Pareto optimal mapping for tile-based network-on-chip under reliability constraints.

Qianqi Le, Guowu Yang, William N. N. Hung, Xiaoyu Song, Xinpeng Zhang

Int. J. Comput. Math., 2015

2014

Multi-party quantum private comparison protocol based on d-dimensional entangled states.

Qing-bin Luo, Guowu Yang, Kun She, Weina Niu, Yuqi Wang

Quantum Inf. Process., 2014

Performance-driven assignment and mapping for reliable networks-on-chips.

Qianqi Le, Guowu Yang, William N. N. Hung, Xiaoyu Song, Fuyou Fan

J. Zhejiang Univ. Sci. C, 2014

Terminal Satisfiability in GSTE.

Yongsheng Xu, Guowu Yang, Zhengwei Chang, Desheng Zheng, Wensheng Guo

J. Appl. Math., 2014

Quantum Anonymous Ranking with d-level Single-Particle States.

Qing-bin Luo, Guowu Yang, Kun She, Xiaoyu Li, Yuqi Wang, Fan Yang

Int. J. Softw. Informatics, 2014

The Research on Controlling the Iteration of Quantum-Inspired Evolutionary Algorithms for Artificial Neural Networks.

Fengmao Lv, Guowu Yang, Shuangbao Wang, Fuyou Fan

Proceedings of the Algorithmic Aspects in Information and Management, 2014

2013

Complete Boolean Satisfiability Solving Algorithms Based on Local Search.

Wensheng Guo, Guowu Yang, William N. N. Hung, Xiaoyu Song

J. Comput. Sci. Technol., 2013

Analysis of Boolean Networks Using an Optimized Algorithm of Structure Matrix Based on Semi-tensor Product.

Jinyu Zhan, Shan Lu, Guowu Yang

J. Comput., 2013

Logic Synthesis of Ternary Quantum Circuits with Minimal Qutrits.

Xiaoyu Li, Guowu Yang, Desheng Zheng

J. Comput., 2013

A Transformation-Based Approach to Implication of GSTE Assertion Graphs.

Guowu Yang, William N. N. Hung, Xiaoyu Song, Wensheng Guo

J. Appl. Math., 2013

Efficient Algorithms for Optimal 4-Bit Reversible Logic System Synthesis.

Zhiqiang Li, Hanwu Chen, Guowu Yang, Wenjie Liu

J. Appl. Math., 2013

2012

New strategies for reliability analysis of Programmable Logic Controllers.

Hehua Zhang, Yu Jiang, William N. N. Hung, Guowu Yang, Ming Gu, Jiaguang Sun

Math. Comput. Model., 2012

Improved Calculation Scheme of Structure Matrix of Boolean Network Using Semi-tensor Product.

Jinyu Zhan, Shan Lu, Guowu Yang

Proceedings of the Information Computing and Applications - Third International Conference, 2012

Reliable NoC Mapping Based on Scatter Search.

Qianqi Le, Guowu Yang, William N. N. Hung, Wensheng Guo

Proceedings of the Information Computing and Applications - Third International Conference, 2012

Complete SAT Solver Based on Set Theory.

Wensheng Guo, Guowu Yang, Qianqi Le, William N. N. Hung

Proceedings of the Information Computing and Applications - Third International Conference, 2012

2011

Realization and synthesis of reversible functions.

Guowu Yang, Fei Xie, William N. N. Hung, Xiaoyu Song, Marek A. Perkowski

Theor. Comput. Sci., 2011

Mathematical analysis of stage-based programmable logic controller.

Anping He, William N. N. Hung, Guowu Yang, Jinzhao Wu, Lian Li

Comput. Math. Appl., 2011

2010

An Analytical Congestion Model with Bounded-Bend Detours.

Fei He, Lerong Cheng, Xiaoyu Song, Guowu Yang

J. Circuits Syst. Comput., 2010

Synthesizing hybrid quantum circuits without ancilla qudits.

Guowu Yang, William N. N. Hung, Xiaoyu Song, Marek A. Perkowski

Proceedings of the IEEE Congress on Evolutionary Computation, 2010

Synthesis of ternary non-reversible logic circuits.

Xiaoyu Li, Guowu Yang, Desheng Zheng

Proceedings of the IEEE Congress on Evolutionary Computation, 2010

2008

A fast congestion estimator for routing with bounded detours.

Lerong Cheng, Xiaoyu Song, Guowu Yang, William N. N. Hung, Zhiwei Tang, Shaodi Gao

Integr., 2008

Minimal universal library for n×n reversible circuits.

Guowu Yang, Xiaoyu Song, Marek A. Perkowski, William N. N. Hung, Chang-Jun Seo

Comput. Math. Appl., 2008

Bi-Directional Synthesis of 4-Bit Reversible Circuits.

Guowu Yang, Xiaoyu Song, William N. N. Hung, Marek A. Perkowski

Comput. J., 2008

The probability logics for nanoscale inverterscascade.

Xiaojun Lu, Guowu Yang, Jianping Li, Xiaoyu Song, William N. N. Hung

Proceedings of the IEEE Congress on Evolutionary Computation, 2008

2007

Component-based hardware/software co-verification for building trustworthy embedded systems.

Fei Xie, Guowu Yang, Xiaoyu Song

J. Syst. Softw., 2007

Four-level realisation of 3-qubit reversible functions.

Guowu Yang, Xiaoyu Song, Marek A. Perkowski, William N. N. Hung, Jacob D. Biamonte, Zhiwei Tang

IET Comput. Digit. Tech., 2007

2006

Probabilistic optimization for FPGA board level routing problems.

Fei He, Xiaoyu Song, Ming Gu, Guowu Yang, William N. N. Hung, Jia-Guang Sun

IEEE Trans. Circuits Syst. II Express Briefs, 2006

Optimal synthesis of multiple output Boolean functions using a set of quantum gates by symbolic reachability analysis.

William N. N. Hung, Xiaoyu Song, Guowu Yang, Jin Yang, Marek A. Perkowski

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006

Algebraic Characterization of Reversible Logic Gates.

Xiaoyu Song, Guowu Yang, Marek A. Perkowski, Yuke Wang

Theory Comput. Syst., 2006

Congestion estimation for hexagonal routing.

Ming Gu, Fei He, Lerong Cheng, Xiaoyu Song, Guowu Yang

Int. J. Comput. Math., 2006

A combinatorial congestion estimation approach with generalized detours.

Fei He, Xiaoyu Song, Ming Gu, Lerong Cheng, Guowu Yang, Zhiwei Tang, Jiaguang Sun

Comput. Math. Appl., 2006

Universality of Hybrid Quantum Gates and Synthesis Without Ancilla Qudits.

Guowu Yang, Fei Xie, Xiaoyu Song, Marek A. Perkowski

Proceedings of the Implementation and Application of Automata, 2006

Maximal Models of Assertion Graph in GSTE.

Guowu Yang, Jin Yang, Xiaoyu Song, Fei Xie

Proceedings of the Theory and Applications of Models of Computation, 2006

Group Theory Based Synthesis of Binary Reversible Circuits.

Guowu Yang, Xiaoyu Song, William N. N. Hung, Fei Xie, Marek A. Perkowski

Proceedings of the Theory and Applications of Models of Computation, 2006

Component-based hardware/software co-verification.

Fei Xie, Guowu Yang, Xiaoyu Song

Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006

A Constructive Algorithm for Reversible Logic Synthesis.

Guowu Yang, Fei Xie, Xiaoyu Song, William N. N. Hung, Marek A. Perkowski

Proceedings of the IEEE International Conference on Evolutionary Computation, 2006

Compositional Reasoning for Hardware/Software Co-verification.

Fei Xie, Guowu Yang, Xiaoyu Song

Proceedings of the Automated Technology for Verification and Analysis, 2006

2005

Majority-based reversible logic gates.

Guowu Yang, William N. N. Hung, Xiaoyu Song, Marek A. Perkowski

Theor. Comput. Sci., 2005

On Theoretical Upper Bounds for Routing Estimation.

Fei He, Lerong Cheng, Guowu Yang, Xiaoyu Song, Ming Gu, Jia-Guang Sun

J. Univers. Comput. Sci., 2005

On synthesis of 3 × 3 reversible logic functions.

Ming Gu, Guowu Yang, Xiaoyu Song, Jiaguang Sun

Int. J. Comput. Math., 2005

Probabilistic Estimation for Routing Space.

Fei He, Ming Gu, Xiaoyu Song, Zhiwei Tang, Guowu Yang, Lerong Cheng

Comput. J., 2005

Bi-Direction Synthesis for Reversible Circuits.

Guowu Yang, Xiaoyu Song, William N. N. Hung, Marek A. Perkowski

Proceedings of the 2005 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2005), 2005

A Hierachical Method for Wiring and Congestion Prediction.

Fei He, Xiaoyu Song, Lerong Cheng, Guowu Yang, Zhiwei Tang, Ming Gu, Jia-Guang Sun

Proceedings of the 2005 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2005), 2005

Exact Synthesis of 3-Qubit Quantum Circuits from Non-Binary Quantum Gates Using Multiple-Valued Logic and Group Theory.

Guowu Yang, William N. N. Hung, Xiaoyu Song, Marek A. Perkowski

Proceedings of the 2005 Design, 2005

A Theoretical Upper Bound for IP-Based Floorplanning.

Guowu Yang, Xiaoyu Song, Hannah Honghua Yang, Fei Xie

Proceedings of the Computing and Combinatorics, 11th Annual International Conference, 2005

Implication of assertion graphs in GSTE.

Guowu Yang, Jin Yang, William N. N. Hung, Xiaoyu Song

Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005

Fast synthesis of exact minimal reversible circuits using group theory.

Guowu Yang, Xiaoyu Song, William N. N. Hung, Marek A. Perkowski

Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005

2004

Routability checking for three-dimensional architectures.

William N. N. Hung, Xiaoyu Song, T. Kam, Lerong Cheng, Guowu Yang

IEEE Trans. Very Large Scale Integr. Syst., 2004

Congestion estimation for 3-D circuit architectures.

Lerong Cheng, William N. N. Hung, Guowu Yang, Xiaoyu Song

IEEE Trans. Circuits Syst. II Express Briefs, 2004

Congestion Estimation for 3D Routing.

Lerong Cheng, William N. N. Hung, Guowu Yang, Xiaoyu Song

Proceedings of the 2004 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2004), 2004

Quantum logic synthesis by symbolic reachability analysis.

William N. N. Hung, Xiaoyu Song, Guowu Yang, Jin Yang, Marek A. Perkowski

Proceedings of the 41th Design Automation Conference, 2004

A fast congestion estimator for routing with bounded detours.

Lerong Cheng, Xiaoyu Song, Guowu Yang, Zhiwei Tang

Proceedings of the 2004 Conference on Asia South Pacific Design Automation: Electronic Design and Solution Fair 2004, 2004

2001

Linear symmetry of nonlinear systems.

Daizhan Cheng, Guowu Yang

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

2000

Global finite-time stabilization: from state feedback to output feedback.

Yiguang Hong, Guowu Yang, Linda Bushnell, Hua O. Wang

Proceedings of the 39th IEEE Conference on Decision and Control, 2000