Chuchang Liu

Available identifiers

zbMath Open liu.chuchangWikidataQ102260114 ScholiaQ102260114MaRDI QIDQ456707

List of research outcomes

Publication	Date of Publication	Type
An abstract dynamic access control architecture	2012-10-16	Paper
Knowledge representation, reasoning and integration using temporal logic with clocks	2009-02-17	Paper
AI 2005: Advances in Artificial Intelligence	2006-11-14	Paper
Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making	2005-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q4475162	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4415134	2003-07-28	Paper
https://portal.mardi4nfdi.de/entity/Q4415225	2003-07-28	Paper
https://portal.mardi4nfdi.de/entity/Q3149740	2002-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q4950037	2001-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q2721142	2001-07-01	Paper
Verification of reactive systems using temporal logic with clocks	2000-08-23	Paper
Dealing with multiple granularity of time in temporal logic programming	1997-08-07	Paper
https://portal.mardi4nfdi.de/entity/Q3778043	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3735757	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3658038	1982-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: Chuchang Liu