Search

Your search keyword '"He, Jifeng"' showing total 497 results

Search Constraints

Start Over You searched for: Author "He, Jifeng" Remove constraint Author: "He, Jifeng"
497 results on '"He, Jifeng"'

Search Results

1. WPFed: Web-based Personalized Federation for Decentralized Systems

2. FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain

3. Outlook

4. Major Research Achievements

5. Project Overview

6. Research in China and Abroad

8. Deep Learning-Based Joint Channel Estimation and Implicit CSI Feedback

10. Outlook

11. Project Overview

12. Research in China and Abroad

13. Major Research Achievements

16. Spatio-Temporal Contrastive Learning-Based Adaptive Graph Augmentation for Traffic Flow Prediction

17. LTLf satisfiability checking

18. Fast LTL Satisfiability Checking by SAT Solvers

20. Polsat: A Portfolio LTL Satisfiability Solver

21. MDM: A Mode Diagram Modeling Framework

22. On the Relationship between LTL Normal Forms and Buechi Automata

23. MDM: A Mode Diagram Modeling Framework for Periodic Control Systems

30. A Formal Model for a Hybrid Programming Language

31. Towards the Semantics for Web Service Choreography Description Language

33. Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts

34. On the Relationship between LTL Normal Forms and Büchi Automata

35. Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude

36. Denotational Semantics for a Probabilistic Timed Shared-Variable Language

37. A Denotational Model for Instantaneous Signal Calculus

42. Generating Denotational Semantics from Algebraic Semantics for Event-Driven System-Level Language

43. SPARDL: A Requirement Modeling Language for Periodic Control System

44. A Denotational Semantical Model for Orc Language

45. Denotational Approach to an Event-Driven System-Level Language

46. A Denotational Model for Web Services Choreography

47. Specifying and Verifying Web Transactions

48. An Observational Model for Transactional Calculus of Services Orchestration

49. Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message Brokers

50. A Denotational Approach to Scope-Based Compensable Flow Language for Web Service

Catalog

Books, media, physical & digital resources