| 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 |
