Sanjiang Li

Available identifiers

zbMath Open li.sanjiangMaRDI QIDQ420804

List of research outcomes

Publication	Date of Publication	Type
Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs	2023-09-27	Paper
On quotients of formal power series	2022-06-08	Paper
Verification of Distributed Quantum Programs	2022-04-29	Paper
Qubit Mapping Based on Subgraph Isomorphism and Filtered Depth-Limited Search	2022-03-24	Paper
On constructing the largest and smallest uninorms on bounded lattices	2021-07-22	Paper
Computation tree logic model checking based on multi-valued possibility measures	2020-11-27	Paper
On Redundancy in Simple Temporal Networks	2018-07-12	Paper
On tree-preserving constraints	2018-01-11	Paper
The quintuple implication principle of fuzzy reasoning	2017-05-16	Paper
https://portal.mardi4nfdi.de/entity/Q3455580	2015-12-11	Paper
https://portal.mardi4nfdi.de/entity/Q3455606	2015-12-11	Paper
On redundant topological constraints	2015-11-17	Paper
Qualitative constraint satisfaction problems: an extended framework with landmarks	2015-08-27	Paper
https://portal.mardi4nfdi.de/entity/Q4982401	2015-04-09	Paper
Realizing RCC8 networks using convex regions	2015-02-02	Paper
Reasoning about Topological and Cardinal Direction Relations Between 2-Dimensional Spatial Objects	2014-11-13	Paper
REASONING WITH TOPOLOGICAL AND DIRECTIONAL SPATIAL INFORMATION	2013-11-01	Paper
Extension Properties of Boolean Contact Algebras	2012-09-21	Paper
On standard models of fuzzy region connection calculus	2012-07-05	Paper
Reasoning about cardinal directions between extended objects: the NP-hardness result	2012-05-23	Paper
Reasoning about cardinal directions between extended objects	2010-09-02	Paper
A representation theorem for minmax regret policies	2009-07-09	Paper
https://portal.mardi4nfdi.de/entity/Q3616140	2009-03-24	Paper
Soft constraint abstraction based on semiring homomorphism	2008-09-16	Paper
RCC8 binary constraint network can be consistently extended	2007-10-23	Paper
On topological consistency and realization	2006-11-03	Paper
https://portal.mardi4nfdi.de/entity/Q5472862	2006-06-19	Paper
https://portal.mardi4nfdi.de/entity/Q5472929	2006-06-19	Paper
On the complemented disk algebra	2006-03-16	Paper
Region connection calculus: Its models and composition table	2006-02-07	Paper
Generalized region connection calculus	2006-02-07	Paper
https://portal.mardi4nfdi.de/entity/Q4659256	2005-03-21	Paper
A note on stratified \(L\)-real line and unit \(L\)-interval	2004-11-23	Paper
A Non-topologically Generated Hutton-lowen Uniformizable Space	2004-10-15	Paper
https://portal.mardi4nfdi.de/entity/Q4432966	2003-10-29	Paper
\(\mathbf{FNS}\) is not isomorphic to \(\mathbf{FTS}\)	2003-05-27	Paper
Generalized Lowen functors	2003-02-13	Paper
A negative answer to T. Kubiak's question	2003-02-13	Paper
https://portal.mardi4nfdi.de/entity/Q2725211	2002-08-28	Paper
https://portal.mardi4nfdi.de/entity/Q2732537	2002-06-19	Paper
https://portal.mardi4nfdi.de/entity/Q2735529	2002-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q2748346	2002-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q4489746	2000-12-26	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: Sanjiang Li