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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Huowang Chen