Fei Xie

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Specification-Driven Conformance Checking for Virtual/Silicon Devices Using Mutation Testing IEEE Transactions on Computers	2022-03-23	Paper
Schedulability analysis of non-preemptive strictly periodic tasks in multi-core real-time systems Real-Time Systems	2016-05-13	Paper
Mechanical certification of loop pipelining transformations: a preview Interactive Theorem Proving	2014-09-08	Paper
Realization and synthesis of reversible functions Theoretical Computer Science	2011-03-29	Paper
Formal verification for high-assurance behavioral synthesis Automated Technology for Verification and Analysis	2009-12-01	Paper
Compositional Reasoning for Hardware/Software Co-verification Automated Technology for Verification and Analysis	2008-09-04	Paper
Universality of Hybrid Quantum Gates and Synthesis Without Ancilla Qudits Implementation and Application of Automata	2007-09-06	Paper
Theory and Applications of Models of Computation Lecture Notes in Computer Science	2007-04-30	Paper
Theory and Applications of Models of Computation Lecture Notes in Computer Science	2007-04-30	Paper
Universality of 2-qudit ternary reversible gates Journal of Physics A: Mathematical and General	2006-07-13	Paper
Computing and Combinatorics Lecture Notes in Computer Science	2006-01-11	Paper

Research outcomes over time

This page was built for person: Fei Xie