Huowang Chen

Available identifiers

zbMath Open chen.huowangMaRDI QIDQ1129837

List of research outcomes

Publication	Date of Publication	Type
A Novel Derivation Framework For Definite Logic Program	2014-05-13	Paper
Modeling and Verifying Time Sensitive Security Protocols with Constraints	2014-05-13	Paper
Method of Constructing Two-Way Alternating Automata for PSL and Translation to Nondeterministic Automata	2011-02-05	Paper
Constraints Solution for Time Sensitive Security Protocols	2009-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q3611009	2009-03-06	Paper
Axiomatizing Extended Temporal Logic Fragments Via Instantiation	2008-09-17	Paper
Constraint Abstraction in Verification of Security Protocols	2008-06-19	Paper
The multi-criteria minimum spanning tree problem based genetic algorithm	2007-10-18	Paper
Representing Wholes by Structure	2007-09-06	Paper
https://portal.mardi4nfdi.de/entity/Q5491199	2006-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q5478223	2006-07-12	Paper
https://portal.mardi4nfdi.de/entity/Q3374972	2006-03-01	Paper
https://portal.mardi4nfdi.de/entity/Q5700411	2005-10-28	Paper
https://portal.mardi4nfdi.de/entity/Q5314436	2005-09-05	Paper
https://portal.mardi4nfdi.de/entity/Q4436662	2003-12-04	Paper
An interlingua-based Chinese-English MT system	2003-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q2784790	2002-08-05	Paper
Two alternative notions of 'possibility' satisfying Halpern's conditions	2001-03-13	Paper
https://portal.mardi4nfdi.de/entity/Q4952319	2001-01-29	Paper
Symbolic transition graph and its early bisimulation checking algorithms for the \(\pi\)-calculus	2000-06-13	Paper
Universal abstract consistency class and universal refutation	1999-09-13	Paper
https://portal.mardi4nfdi.de/entity/Q4235216	1999-06-20	Paper
Verifying automata specification of distributed probabilistic real-time systems	1999-03-02	Paper
https://portal.mardi4nfdi.de/entity/Q4219048	1999-02-14	Paper
Argumentation in disjunctive logic programming	1998-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q4217935	1998-11-11	Paper
The least fixpoint transformation for disjunctive logic programs	1998-11-10	Paper
Credolous argumentation with the disjunctive stable semantics	1998-10-06	Paper
https://portal.mardi4nfdi.de/entity/Q4364595	1997-11-17	Paper
PTL sequent calculus system	1995-08-16	Paper
On the relationship between TMS and logic programs	1994-10-17	Paper
https://portal.mardi4nfdi.de/entity/Q4012211	1992-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q4744255	1981-01-01	Paper

Research outcomes over time

This page was built for person: Huowang Chen