Ru-qian Lu

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4986195	2021-04-27	Paper
Weak QMV algebras and some ring-like structures	2018-02-27	Paper
从大数据到大知识：HACE＋BigKE	2017-07-14	Paper
Computing power of Turing machines in the framework of unsharp quantum logic	2015-09-16	Paper
A theory of computation based on unsharp quantum logic: finite state automata and pushdown automata	2012-06-25	Paper
The use of tail inequalities on the probable computational time of randomized search heuristics	2012-06-25	Paper
A direct product decomposition of QMV algebras	2012-05-31	Paper
Automata theory based on lattice-ordered semirings	2012-05-16	Paper
Automata theory based on unsharp quantum logic	2009-08-26	Paper
Handling Inconsistency In Distributed Software Requirements Specifications Based On Prioritized Merging	2009-06-23	Paper
From knowledge based software engineering to knowware based software engineering	2008-11-10	Paper
Semirings and pseudo MV algebras	2007-09-06	Paper
Automatically multi-paradigm requirements modeling and analyzing: an ontology-based approach	2007-02-20	Paper
AI 2005: Advances in Artificial Intelligence	2006-11-14	Paper
Finite state and finite stop quantum languages	2006-09-28	Paper
Symbolic and Quantitative Approaches to Reasoning with Uncertainty	2006-06-23	Paper
https://portal.mardi4nfdi.de/entity/Q4673950	2005-05-09	Paper
Pumping lemma for quantum automata	2005-03-15	Paper
Lattices of quantum automata	2003-11-17	Paper
Formal ontology: Foundation of domain knowledge sharing and reusing	2003-04-22	Paper
Ontology-based semantic cache in AOKB	2002-12-10	Paper
Automatic generation of computer animation	2002-02-04	Paper
https://portal.mardi4nfdi.de/entity/Q2736173	2001-08-28	Paper
A model of reasoning about knowledge	1999-11-23	Paper
A true concurrency model of CCS semantics	1993-08-08	Paper
P/R nets and process concepts. I	1993-01-17	Paper
P/R nets and process concepts. II	1993-01-17	Paper
https://portal.mardi4nfdi.de/entity/Q3809233	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3949986	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3949987	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3960664	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5528889	1965-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: Ru-qian Lu