Gaoyan Xie

From MaRDI portal
Person:703514

Available identifiers

zbMath Open xie.gaoyanMaRDI QIDQ703514

List of research outcomes





PublicationDate of PublicationType
New Complexity Results for Some Linear Counting Problems Using Minimal Solutions to Linear Diophantine Equations2010-05-07Paper
Computer Aided Verification2010-04-20Paper
On the decidability of model-checking for P systems2008-06-18Paper
Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach2007-05-02Paper
Unconventional Computation2006-07-07Paper
Formal Approaches to Software Testing2005-12-02Paper
Implementation and Application of Automata2005-08-17Paper
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science2005-08-12Paper
Linear reachability problems and minimal solutions to linear Diophantine equation systems2005-01-11Paper
https://portal.mardi4nfdi.de/entity/Q44492112004-02-08Paper

Research outcomes over time

This page was built for person: Gaoyan Xie

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:703514&oldid=6614767"
Powered by MediaWiki