BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Sanjiang Li
SearchCollections
Map detail
Sanjiang Li13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipSanjiang LiASanjiang LiResearcherSoft constraint abstraction based on semiring homomorphismWSoft constraint abstrac...preprint / 2007Reasoning with Topological and Directional Spatial InformationWReasoning with Topologi...preprint / 2009On the Internal Topological Structure of Plane RegionsWOn the Internal Topolog...preprint / 2013Abstract interpretation, Hoare logic, and incorrectness logic for quantum programsWAbstract interpretation...preprint / 2022Verification of Distributed Quantum ProgramsWVerification of Distrib...preprint / 2021Quantum Circuit Transformation Based on Simulated Annealing and Heuristic SearchWQuantum Circuit Transfo...preprint / 2019Reasoning about Cardinal Directions between Extended Objects: The Hardness ResultWReasoning about Cardina...preprint / 2010On A Semi-Automatic Method for Generating Composition TablesWOn A Semi-Automatic Met...preprint / 2011Realizing RCC8 networks using convex regionsWRealizing RCC8 networks...preprint / 2014On Distributive Subalgebras of Qualitative Spatial and Temporal CalculiWOn Distributive Subalge...preprint / 2015Quantum Circuit Transformation: A Monte Carlo Tree Search FrameworkWQuantum Circuit Transfo...preprint / 2022Supervised Learning Enhanced Quantum Circuit TransformationWSupervised Learning Enh...preprint / 2022
Person12 links

Sanjiang Li

Researcher

PaperSoft constraint abstraction based on semiring homomorphismAuthorship / preprint / 2007PaperReasoning with Topological and Directional Spatial InformationAuthorship / preprint / 2009PaperOn the Internal Topological Structure of Plane RegionsAuthorship / preprint / 2013PaperAbstract interpretation, Hoare logic, and incorrectness logic for quantum programsAuthorship / preprint / 2022PaperVerification of Distributed Quantum ProgramsAuthorship / preprint / 2021PaperQuantum Circuit Transformation Based on Simulated Annealing and Heuristic SearchAuthorship / preprint / 2019PaperReasoning about Cardinal Directions between Extended Objects: The Hardness ResultAuthorship / preprint / 2010PaperOn A Semi-Automatic Method for Generating Composition TablesAuthorship / preprint / 2011

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)