Gaoyan 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
New complexity results for some linear counting problems using minimal solutions to linear Diophantine equations (extended abstract) Implementation and Application of Automata	2010-05-07	Paper
Dense counter machines and verification problems. Lecture Notes in Computer Science	2010-04-20	Paper
On the decidability of model-checking for P systems	2008-06-18	Paper
Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach Formal Approaches to Software Testing	2007-05-02	Paper
Unconventional Computation Lecture Notes in Computer Science	2006-07-07	Paper
Formal Approaches to Software Testing Lecture Notes in Computer Science	2005-12-02	Paper
Implementation and Application of Automata Lecture Notes in Computer Science	2005-08-17	Paper
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science Lecture Notes in Computer Science	2005-08-12	Paper
Linear reachability problems and minimal solutions to linear Diophantine equation systems Theoretical Computer Science	2005-01-11	Paper
scientific article; zbMATH DE number 2038746 (Why is no real title available?)	2004-02-08	Paper

Research outcomes over time

This page was built for person: Gaoyan Xie