Author Info
Name
Affiliation
Papers
LONGFEI ZHU
School of Business, Hubei University, Wuhan, 430062, China
15
Collaborators
Citations 
PageRank 
34
35
6.10
Referers 
Referees 
References 
79
295
124
Search Limit
100295
Title
Citations
PageRank
Year
Maximizing multicast lifetime in unreliable wireless ad hoc network.10.352018
Transcriptomic Analysis Of Flower Development In The Bamboo Phyllostachys Violascens (Poaceae: Bambusoideae)00.342018
Assertional Reasoning for Concurrent and Communicating BPEL-like Programs.00.342018
Modeling and Verification of CAN Bus with Application Layer using UPPAAL.30.472014
A Formal Model for a Hybrid Programming Language.00.342014
Towards a modeling language for cyber-physical systems00.342013
A Timing Verification Framework for AUTOSAR OS Component Development Based on Real-Time Maude30.412013
A denotational model for instantaneous signal calculus20.362012
Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System10.392012
xBIL -- A Hardware Resource Oriented Binary Intermediate Language00.342012
Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP170.892011
Formalizing Application Programming Interfaces of the OSEK/VDX Operating System Specification10.372011
Testing the validity of the purchasing power parity hypothesis: a study based on the RMB/USD exchange rate00.342010
Formal Modeling and Analyzing Kerberos Protocol60.482009
A Bigraphical Model of WSBPEL10.362008