Guoliang Zheng

MaRDI QIDQ201218zbMATH OpenFDO

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
Partial order path technique for checking parallel timed automata Lecture Notes in Computer Science	2011-04-08	Paper
A quadratic-time DBM-based successor algorithm for checking timed automata Information Processing Letters	2009-12-18	Paper
Subject-related information collection method based on domain Ontology Journal of Computer Applications	2009-10-12	Paper
Remove irrelevant atomic formulas for timed automaton model checking Journal of Computer Science and Technology	2006-10-12	Paper
Formal Modeling and Analysis of Timed Systems Lecture Notes in Computer Science	2006-01-10	Paper
scientific article; zbMATH DE number 2165695 (Why is no real title available?)	2005-05-06	Paper
Duration-constrained regular expressions Formal Aspects of Computing	2004-10-01	Paper
scientific article; zbMATH DE number 2006479 (Why is no real title available?)	2003-11-20	Paper
Positive loop-closed automata: A decidable class of hybrid systems The Journal of Logic and Algebraic Programming	2003-02-13	Paper
scientific article; zbMATH DE number 1852175 (Why is no real title available?)	2003-01-09	Paper
Checking MSC specifications for timing inconsistency Journal of Computer Science and Technology	2002-06-05	Paper
A formal software development approach using refinement calculus Journal of Computer Science and Technology	2001-12-16	Paper
scientific article; zbMATH DE number 1533443 (Why is no real title available?)	2001-03-06	Paper
scientific article; zbMATH DE number 1533444 (Why is no real title available?)	2001-03-06	Paper
Logical object as a basis of knowledge based systems Journal of Computer Science and Technology	1996-01-28	Paper

Research outcomes over time

This page was built for person: Guoliang Zheng