( en | de | ru )

 

Disambiguation of "Jifeng, He"

Author of the publication

copydeleteadd this publication to your clipboard
Laws of programming

, , , , , , , , and . Commun. ACM, 30 (8): 672--686 (August 1987)
DOI: 10.1145/27651.27653

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jifeng Fei

Ning He

Chunmao He

Hongxia He

Yunbin He

 

Other publications of authors with the same name

Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics, , and . (2002)rCOS: A refinement calculus of object systems, , and . Theoretical Computer Science, 365 (1-2): 109--142 (November 2006)An Approach to the Specification and Verification of a Hardware Compilation Scheme., and . The Journal of Supercomputing, 19 (1): 23-39 (2001)Deriving operational semantics from denotational semantics for Verilog, , and . page 177--184. (2001)Linking Semantic Models.. ICTAC, volume 4711 of Lecture Notes in Computer Science, page 18-33. Springer, (2007)A Behavioral Model for Co-design.. World Congress on Formal Methods, volume 1709 of Lecture Notes in Computer Science, page 1420-1438. Springer, (1999)Hybrid MARTE statecharts., , , , and . Frontiers Comput. Sci., 7 (1): 95-108 (2013)MDA Approach for Non-functional Properties of Dependable and Distributed Real-Time Systems., and . ICHIT (2), volume 206 of Communications in Computer and Information Science, page 600-608. Springer, (2011)A Formal Framework for Aspect-Oriented Specification of Cyber Physical Systems., and . ICHIT (2), volume 206 of Communications in Computer and Information Science, page 391-398. Springer, (2011)Linking Theories of Concurrency by Retraction.. ICDCIT, volume 3816 of Lecture Notes in Computer Science, page 432. Springer, (2005)