Guoliang Zheng

From MaRDI portal
Person:201218

Available identifiers

zbMath Open zheng.guoliangMaRDI QIDQ201218

List of research outcomes





PublicationDate of PublicationType
Partial Order Path Technique for Checking Parallel Timed Automata2011-04-08Paper
A quadratic-time DBM-based successor algorithm for checking timed automata2009-12-18Paper
Subject-related information collection method based on domain Ontology2009-10-12Paper
Remove irrelevant atomic formulas for timed automaton model checking2006-10-12Paper
Formal Modeling and Analysis of Timed Systems2006-01-10Paper
https://portal.mardi4nfdi.de/entity/Q46756252005-05-06Paper
Duration-constrained regular expressions2004-10-01Paper
https://portal.mardi4nfdi.de/entity/Q44358462003-11-20Paper
Positive loop-closed automata: A decidable class of hybrid systems2003-02-13Paper
https://portal.mardi4nfdi.de/entity/Q47872542003-01-09Paper
Checking MSC specifications for timing inconsistency2002-06-05Paper
A formal software development approach using refinement calculus2001-12-16Paper
https://portal.mardi4nfdi.de/entity/Q45168852001-03-06Paper
https://portal.mardi4nfdi.de/entity/Q45168862001-03-06Paper
Logical object as a basis of knowledge based systems1996-01-28Paper

Research outcomes over time

This page was built for person: Guoliang Zheng

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