Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Xiaoguang Mao
Compositional Mining of Multiple Object API Protocols Through State Abstraction
The Scientific World Journal
Biochemistry
Medicine
Genetics
Molecular Biology
Environmental Science
Related publications
Abstraction Techniques for Compositional State-Based Scheduling Analysis
MeterPU: A Generic Measurement Abstraction API
Journal of Supercomputing
Hardware
Information Systems
Theoretical Computer Science
Architecture
Software
Compositional Analysis of Authentication Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A SystemC Register Model for Multiple Levels of Abstraction Using Advanced Object-Oriented Design Patterns
International Journal of Computer Theory and Engineering
Mining Hepatitis Data With Temporal Abstraction
Parameter-Free Probabilistic API Mining Across GitHub
A Compositional Logic for Proving Security Properties of Protocols*
Journal of Computer Security
Risk
Computer Networks
Hardware
Communications
Reliability
Safety
Architecture
Quality
Software
Analysis of the IBM CCA Security API Protocols in Maude-Npa
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Common Abstraction of Configuration From Multiple Sources
Acta Electrotechnica et Informatica
