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

This page was built for person: Ru-qian Lu