State Key Laboratory of Computer Science
National Key Laboratory of Space Integrated Information System
National Engineering Research Center of Fundamental Software
Division of National Engineering Research Center of Satellite Navigation Application
Laboratory of Parallel Software and Computational Science
Trusted Computing and Information Assurance Laboratory
Technology Center of Software Engineering
Intelligence Engineering Laboratory
Laboratory for Internet Software Technologies
Intelligent Software Research Center
Research Center of Spatial-Temporal Data Management and Data Science
[2020-01-14]Groebner Bases: Universality, Parametricity and Canonicity
[2019-12-26] Interaction with Large and Multiple Displays
[2019-12-20] Proving that Programs are Differentially Private" "Qua...
[2019-12-18] Quantum Computing Engineering: Challenges and Opportu...
[12-10] Compositional Techniques for the Verification of a Separati...
[12-20] Toward AI-Assisted UX Analysis Methods: Leveraging Subtle V...
[11-20] Logipedia: towards a Wikipedia of formal proofs
[10-25] Software Engineering Issues in Cyber-Physical Systems
[09-23] View-Centric Performance Optimization for Database-Backed W...
[9-17] On Solving String Constraints
[08-14] High-Performance Software Development Challenges in the Pos...
2020-01-13
2020-01-13
2019-12-23
2019-12-23
2019-12-23
2019-12-23
2019-12-23
2019-12-23
2019-12-23
2019-12-23
2019-12-23
2019-12-23
Scientist Develop a High-performance Detection and Repair Tools fo... 2021-07-27
Scientists Develop a Software-based Method to Prevent Newly Raised ... 2019-12-03
Researchers Propose an Effective Method for Detecting Concurrency M... 2019-12-03
Scientists Develop A new topology-preserving simplification method ... 2019-11-07
Scientists Develop A New Method for Image Composition of Partially ... 2019-11-04
Scientists Develop A New Method for Detecting Intrinsic Symmetries ... 2019-11-04
Scientists Improve Texture Filtering with Structure-aware Window Op... 2019-08-29
Scientists Develop A Novel Multitask Learning Method for Surface Re... 2019-08-29