| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jun-Bo Wang, Ming Sheng, Xiaoyu Song, Yuan Jiao, Ming Chen |
Comments on `BER Performance of FSO Links over Strong Atmospheric Turbulence Channels with Pointing Errors'.  |
IEEE Communications Letters  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Liangze Yin, Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu |
Maxterm Covering for Satisfiability. |
IEEE Trans. Computers |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yonghui Wang, Xiaoyu Song, Shoujin Wang |
An Improved Base State with Amendments Spatio-Temporal Data Model. |
JSW |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Guowu Yang, Fei Xie, William N. N. Hung, Xiaoyu Song, Marek A. Perkowski |
Realization and synthesis of reversible functions. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yongjian Li, William N. N. Hung, Xiaoyu Song |
A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Li Li, Xiaoyu Song, Ming Gu, Xiangyu Luo |
Competent predicate abstraction in model checking. |
SCIENCE CHINA Information Sciences |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hai Wan, Gang Chen, Xiaoyu Song, Ming Gu |
Formalisation and verification of programmable logic controllers timers in Coq. |
IET Software |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Feng Liu, Xiaoyu Song, Qingping Tan, Gang Chen |
Formal Analysis of Hybrid Prefix/Carry-Select Arithmetic Systems. |
Comput. J. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rui Wang, Xiaoyu Song, Jianzhong Zhu, Ming Gu |
Formal modeling and synthesis of programmable logic controllers. |
Computers in Industry |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yongjian Li, William N. N. Hung, Xiaoyu Song, Naiju Zeng |
Exploring structural symmetry automatically in symbolic trajectory evaluation. |
Formal Methods in System Design |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shoujin Wang, Xiaoyu Song, Yonghui Wang, Jingke Xu |
Design and implementation of villages and towns housing construction products intelligent service system. |
BMEI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hehua Zhang, Yu Jiang, William N. N. Hung, Xiaoyu Song, Ming Gu |
Domain-Driven Probabilistic Analysis of Programmable Logic Controllers. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shikun Chen, Zhoujun Li, Xiaoyu Song, Mengjun Li |
An Iterative Method for Generating Loop Invariants. |
FAW-AAIM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoyu Song, Wenjiang Huang, Bei Cui, Jihong Zhou |
Winter Wheat Seedtime Monitoring through Satellite Remote Sensing Data. |
CCTA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cunjun Li, Qian Wang, Jihua Wang, Yan Wang, Xiaodong Yang, Xiaoyu Song, Wenjiang Huang |
Wheat Grain Protein Content Estimation Based on Multi-temporal Remote Sensing Data and Generalized Regression Neural Network. |
CCTA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xingang Xu, Jihua Wang, Wenjiang Huang, Cunjun Li, Xiaoyu Song, Xiaodong Yang, Hao Yang |
Winter Wheat Yield Estimation Coupling Weight Optimization Combination Method with Remote Sensing Data from Landsat5 TM. |
CCTA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yonghui Wang, Shoujin Wang, Xiaoyu Song |
Base state with amendments spatio-temporal data model on time-slot retrieval based on temporary base-state. |
FSKD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hui Kong, Hehua Zhang, Xiaoyu Song, Ming Gu, Jiaguang Sun |
Proving Computational Geometry Algorithms in TLA+2. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
algorithm verification, TLA+2, geometry algorithm, theorem proving, loop invariant |
| 1 | Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song |
Enhanced symbolic simulation of a round-robin arbiter. |
ICCD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fei He, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun |
Integrating Evolutionary Computation with Abstraction Refinement for Model Checking. |
IEEE Trans. Computers |
2010 |
DBLP DOI BibTeX RDF |
verification, Formal models |
| 1 | Fei He, Lerong Cheng, Xiaoyu Song, Guowu Yang |
An Analytical Congestion Model with Bounded-Bend Detours. |
Journal of Circuits, Systems, and Computers |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Feng Liu, Xiaoyu Song, Qingping Tan, Gang Chen |
Formal Analysis of End-Around-Carry Adder in Floating-Point Unit. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Feng Liu, Qingping Tan, Gang Chen, Xiaoyu Song, Otmane Aït Mohamed, Ming Gu |
Field programmable gate array prototyping of end-around carry parallel prefix tree architectures. |
IET Computers & Digital Techniques |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xingang Xu, Xiaohe Gu, Xiaoyu Song, Cunjun Li, Wenjiang Huang |
Assessing Rice Chlorophyll Content with Vegetation Indices from Hyperspectral Data. |
CCTA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoyu Song, Zhenhua Duan, Cong Tian |
Non-Functional Requirements Elicitation and Incorporation into Class Diagrams. |
Intelligent Information Processing |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhufei Chu, Yinshui Xia, William N. N. Hung, Lun-Yao Wang, Xiaoyu Song |
A Memetic Approach for Nanoscale Hybrid Circuit Cell Mapping. |
DSD |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Feng Liu, QingPing Tan, Xiaoyu Song, Naeem Abbasi |
AOP-based high-level power estimation in SystemC. |
ACM Great Lakes Symposium on VLSI |
2010 |
DBLP DOI BibTeX RDF |
systemc, power estimation, aspectc++ |
| 1 | Guowu Yang, William N. N. Hung, Xiaoyu Song, Marek A. Perkowski |
Synthesizing hybrid quantum circuits without ancilla qudits. |
IEEE Congress on Evolutionary Computation |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hehua Zhang, Ming Gu, Xiaoyu Song |
Specifying Time-Sensitive Systems with TLA+. |
COMPSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoyu Song, Chunguang Chang, Chunhui Liu |
GM(1, 1) based grey programming model for emergency goods scheduling. |
FSKD |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yonghui Wang, Xiaoyu Song, Shoujin Wang |
Algorithm of arcs recognition based on bar tracking. |
FSKD |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoyu Song, Lihua Sun, Yang Cao |
Study on the convergence of converse ant colony algorithm for Job Shop Scheduling Problem. |
ICNC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Feng Liu, QingPing Tan, Xiaoyu Song, Gang Chen |
Formal Proof for a General Architecture of Hybrid Prefix/Carry-Select Adders. |
ICA3PP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hai Wan, Xiaoyu Song, Gang Chen, Ming Gu |
A Refinement-Based Validation Method for Programmable Logic Controllers. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hai Wan, Xiaoyu Song, Ming Gu |
Parameterized Specification and Verification of PLC Systems in Coq. |
TASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fei He, He Zhu, William N. N. Hung, Xiaoyu Song, Ming Gu |
Compositional Abstraction Refinement for Timed Systems. |
TASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoyu Song, Lihua Sun |
Study on the Convergence of Hybrid Ant Colony Algorithm for Job Shop Scheduling Problems. |
IITSI |
2010 |
DBLP DOI BibTeX RDF |
hybrid ant colony algorithm, Markov chain, global convergence, job shop scheduling problem |
| 1 | Hai Wan, Gu Ming, Xiaoyu Song |
Formal modeling and analysis of a narrow bandwidth protocol for establishing and terminating connections. |
Mathematical and Computer Modelling |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fei He, Xiaoyu Song, Ming Gu, Jia-Guang Sun |
Heuristic-Guided Abstraction Refinement. |
Comput. J. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Feng Liu, Otmane Aït Mohamed, Xiaoyu Song, QingPing Tan |
A case study on system-level modeling by aspect-oriented programming. |
ISQED |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Feng Liu, Fariborz Fereydouni-Forouzandeh, Otmane Aït Mohamed, Gang Chen, Xiaoyu Song, QingPing Tan |
A Comparative Study of Parallel Prefix Adders in FPGA Implementation of EAC. |
DSD |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | He Zhu, Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu |
Data mining based decomposition for assume-guarantee reasoning. |
FMCAD |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hai Wan, Gang Chen, Xiaoyu Song, Ming Gu |
Formalization and Verification of PLC Timers in Coq. |
COMPSAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Min Zhou, Fei He, Ming Gu, Xiaoyu Song |
Translation-Based Model Checking for PLC Programs. |
COMPSAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rui Wang, Ming Gu, Xiaoyu Song, Hai Wan |
Formal Specification and Code Generation of Programable Logic Controllers. |
ICECCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Osama Neiroukh, Stephen A. Edwards, Xiaoyu Song |
Transforming Cyclic Circuits Into Acyclic Equivalents. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Guowu Yang, Xiaoyu Song, William N. N. Hung, Marek A. Perkowski |
Bi-Directional Synthesis of 4-Bit Reversible Circuits. |
Comput. J. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Guowu Yang, Xiaoyu Song, Marek A. Perkowski, William N. N. Hung, Chang-Jun Seo |
Minimal universal library for n×n reversible circuits. |
Computers & Mathematics with Applications |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lerong Cheng, Xiaoyu Song, Guowu Yang, William N. N. Hung, Zhiwei Tang, Shaodi Gao |
A fast congestion estimator for routing with bounded detours. |
Integration |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hehua Zhang, Ming Gu, Xiaoyu Song |
Modeling and Analysis of Real-Life Job Shop Scheduling Problems by Petri nets. |
Annual Simulation Symposium |
2008 |
DBLP DOI BibTeX RDF |
scheduling, Petri net, batch, job shop, setup time |
| 1 | Yassine Mokhtari, Sa'ed Abed, Otmane Aït Mohamed, Sofiène Tahar, Xiaoyu Song |
A New Approach for the Construction of Multiway Decision Graphs. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaojun Lu, Guowu Yang, Jianping Li, Xiaoyu Song, William N. N. Hung |
The probability logics for nanoscale inverterscascade. |
IEEE Congress on Evolutionary Computation |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiqiang Li, Hanwu Chen, Baowen Xu, Wenjie Liu, Xiaoyu Song, Xilin Xue |
Fast algorithm for 4-qubit reversible logic circuits synthesis. |
IEEE Congress on Evolutionary Computation |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Li Li, Xiaoyu Song, Ming Gu, Jianmin Wang 0001 |
A Maximum Weight Heuristic Method for Abstract State Computation. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
model checking, program verification, weight, predicate abstraction |
| 1 | Xiaoyu Song, Yang Cao, Chunguang Chang |
A Hybrid Algorithm of PSO and SA for Solving JSP. |
FSKD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rui Wang, Ming Gu, Xiaoyu Song, Hehua Zhang |
Verifying programmable logic controllers with abstraction. |
SIES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hehua Zhang, Ming Gu, Xiaoyu Song |
Modeling and analysis of stage machinery control systems by timed colored Petri nets. |
SIES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoyu Song, Lanyang Yu, Huanliang Sun |
An Incremental Query Algorithm for Optimal Path Queries under Traffic Jams. |
ISCSCT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoyu Song, Bin He, Yonghui Wang |
A Mini Arc Recognition Algorithm Based on the Topological Inference. |
ISCSCT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Li Li, Ming Gu, Xiaoyu Song, Jianmin Wang 0001 |
Effective Predicate Abstraction for Program Verification. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
program verification, predicate abstraction |
| 1 | Juncao Li, Xiuli Sun, Fei Xie, Xiaoyu Song |
Component-Based Abstraction and Refinement. |
ICSR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Satyanarayana Nekkalapu, Haitham Akkary, Komal Jothi, Renjith Retnamma, Xiaoyu Song |
A simple latency tolerant processor. |
ICCD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gang Chen, Xiaoyu Song, Feng Liu, QingPing Tan, Fei He |
A note on "a mapping algorithm for computer-assisted exploration in the design of embedded systems". |
ACM Trans. Design Autom. Electr. Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fei Xie, Guowu Yang, Xiaoyu Song |
Component-based hardware/software co-verification for building trustworthy embedded systems. |
Journal of Systems and Software |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rui Wang, Xiaoyu Song, Ming Gu |
Modelling and verification of program logic controllers using timed automata. |
IET Software |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | William N. N. Hung, Changjian Gao, Xiaoyu Song, Dan W. Hammerstrom |
Defect-Tolerant CMOL Cell Assignment via Satisfiability |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Guowu Yang, William N. N. Hung, Xiaoyu Song, Marek A. Perkowski |
Exact Synthesis of 3-Qubit Quantum Circuits from Non-Binary Quantum Gates Using Multiple-Valued Logic and Group Theory |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Osama Neiroukh, Xiaoyu Song |
Improving the Process-Variation Tolerance of Digital Circuits Using Gate Sizing and Statistical Techniques |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Guowu Yang, Xiaoyu Song, Marek A. Perkowski, William N. N. Hung, Jacob D. Biamonte, Zhiwei Tang |
Four-level realisation of 3-qubit reversible functions. |
IET Computers & Digital Techniques |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoyu Song |
Non-Functional Requirements Elicitation and Incorporation into Functional Models. |
APSEC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenjiang Huang, Jihua Wang, Xiaoyu Song, Chunjiang Zhao, Liangyun Liu |
Wheat Grain Quality Forecasting by Canopy Reflected Spectrum. |
CCTA |
2007 |
DBLP DOI BibTeX RDF |
Winter wheat (Triticum aestivum L), Canopy reflected spectrum, Grain protein |
| 1 | Fei He, Xiaoyu Song, Ming Gu, Jiaguang Sun |
Effective heuristics for counterexample-guided abstraction refinement. |
ACM Great Lakes Symposium on VLSI |
2007 |
DBLP DOI BibTeX RDF |
model checking, verification, heuristics, SoC, abstraction |
| 1 | William N. N. Hung, Xiaoyu Song, Guowu Yang, Jin Yang, Marek A. Perkowski |
Optimal synthesis of multiple output Boolean functions using a set of quantum gates by symbolic reachability analysis. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Fei He, Xiaoyu Song, Ming Gu, Lerong Cheng, Guowu Yang, Zhiwei Tang, Jiaguang Sun |
A combinatorial congestion estimation approach with generalized detours. |
Computers & Mathematics with Applications |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoyu Song, Guowu Yang, Marek A. Perkowski, Yuke Wang |
Algebraic Characterization of Reversible Logic Gates. |
Theory Comput. Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Shengyi Jiang, Xiaoyu Song, Hui Wang, Jian-Jun Han, Qing-Hua Li |
A clustering-based method for unsupervised intrusion detections. |
Pattern Recognition Letters |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ming Gu, Fei He, Lerong Cheng, Xiaoyu Song, Guowu Yang |
Congestion estimation for hexagonal routing. |
Int. J. Comput. Math. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Osama Neiroukh, Stephen A. Edwards, Xiaoyu Song |
An Efficient Algorithm for the Analysis of Cyclic Circuits. |
ISVLSI |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Fei Xie, Guowu Yang, Xiaoyu Song |
Component-based hardware/software co-verification. |
MEMOCODE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Guowu Yang, Jin Yang, Xiaoyu Song, Fei Xie |
Maximal Models of Assertion Graph in GSTE. |
TAMC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Guowu Yang, Xiaoyu Song, William N. N. Hung, Fei Xie, Marek A. Perkowski |
Group Theory Based Synthesis of Binary Reversible Circuits. |
TAMC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Fei He, Xiaoyu Song, Ming Gu, Jia-Guang Sun |
A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Fei Xie, Guowu Yang, Xiaoyu Song |
Compositional Reasoning for Hardware/Software Co-verification. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Anduo Wang, Fei He, Ming Gu, Xiaoyu Song |
Verifying Java Programs By Theorem Prover HOL. |
COMPSAC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Guowu Yang, Fei Xie, Xiaoyu Song, Marek A. Perkowski |
Universality of Hybrid Quantum Gates and Synthesis Without Ancilla Qudits. |
CIAA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ming Gu, Fei He, Xiaoyu Song, Jiaguang Sun |
Multiterminal net assignments by scatter search. |
Mathematical and Computer Modelling |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Guowu Yang, William N. N. Hung, Xiaoyu Song, Marek A. Perkowski |
Majority-based reversible logic gates. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Fei He, Lerong Cheng, Guowu Yang, Xiaoyu Song, Ming Gu, Jia-Guang Sun |
On Theoretical Upper Bounds for Routing Estimation. |
J. UCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Fei He, Ming Gu, Xiaoyu Song, Zhiwei Tang, Guowu Yang, Lerong Cheng |
Probabilistic Estimation for Routing Space. |
Comput. J. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ming Gu, Guowu Yang, Xiaoyu Song, Jiaguang Sun |
On synthesis of 3 × 3 reversible logic functions. |
Int. J. Comput. Math. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Fei He, Xiaoyu Song, Lerong Cheng, Guowu Yang, Zhiwei Tang, Ming Gu, Jia-Guang Sun |
A Hierachical Method for Wiring and Congestion Prediction. |
ISVLSI |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Guowu Yang, Xiaoyu Song, William N. N. Hung, Marek A. Perkowski |
Bi-Direction Synthesis for Reversible Circuits. |
ISVLSI |
2005 |
DBLP DOI BibTeX RDF |
Algorithm, Minimization, Reversible Logic, Quantum Circuits |
| 1 | Fei Xie, Xiaoyu Song, Haera Chung, Ranajoy Nandi |
Translation-based co-verification. |
MEMOCODE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Guowu Yang, Xiaoyu Song, William N. N. Hung, Marek A. Perkowski |
Fast synthesis of exact minimal reversible circuits using group theory. |
ASP-DAC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Guowu Yang, Jin Yang, William N. N. Hung, Xiaoyu Song |
Implication of assertion graphs in GSTE. |
ASP-DAC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Osama Neiroukh, Xiaoyu Song |
Improving the Process-Variation Tolerance of Digital Circuits Using Gate Sizing and Statistical Techniques. |
DATE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Guowu Yang, William N. N. Hung, Xiaoyu Song, Marek A. Perkowski |
Exact Synthesis of 3-Qubit Quantum Circuits from Non-Binary Quantum Gates Using Multiple-Valued Logic and Group Theory. |
DATE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu, Jiaguang Sun |
Segmented channel routing with pin rearrangements via satisfiability. |
ISCAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Guowu Yang, Xiaoyu Song, Hannah Honghua Yang, Fei Xie |
A Theoretical Upper Bound for IP-Based Floorplanning. |
COCOON |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Fei He, Ming Gu, Jiaguang Sun, Xiaoyu Song |
A stochastic model for cellassignments in PCS networks. |
Mathematical and Computer Modelling |
2004 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")