Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ruzhi Xu
Research on Component Composition and Replacement With Formal Semantics
Journal of Software
Related publications
Research on Component Composition Based on Feature Model
Formal Semantics and Verification for Feature Modeling
Some Formal Semantics for Epistemic Modesty
Logic and Logical Philosophy
Philosophy
Formal Semantics: Origins, Issues, Early Impact
Baltic International Yearbook of Cognition, Logic and Communication
Formal C Semantics: CompCert and the C Standard
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Semantics by a Combination of Denotational Semantics and High-Level Petri Nets
DAIMI Report Series
A Formal Semantics for Isorecursive and Equirecursive State Abstractions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Formal Computational Semantics and Pragmatics of Speech Acts
Formal Aspects of Component Software
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
