Edit Profile (opens in new tab) He, Jifeng Co-Author Distance Author ID: he.jifeng Published as: He, Jifeng; He, Ji Feng; He, Ji-Feng; He, JiFeng; He, J. more...less Documents Indexed: 70 Publications since 1980, including 1 Book and 1 Additional arXiv Preprint 2 Contributions as Editor Biographic References: 3 Publications Co-Authors: 53 Co-Authors with 59 Joint Publications 2,073 Co-Co-Authors all top 5 Co-Authors 9 single-authored 18 Hoare, C. A. R. Tony 14 Zhu, Huibiao 8 Qin, Shengchao 7 Liu, Zhiming 7 Pu, Geguang 7 Sanders, Jeff W. 6 Bowen, Jonathan P. 5 Qiu, Zongyan 4 Li, Jianwen 4 Li, Xiaoshan 4 Zhang, Lijun 3 Sherif, Adnan 3 Vardi, Moshe Ya’akov 3 Xu, Qiwen 2 Hayes, Ian J. 2 Li, Jing 2 Li, Qin 2 Liu, Jing 2 Ma, B.-A. 2 Morgan, Carroll C. 2 Roscoe, Andrew William 2 Sampaio, Augusto C. A. 2 Sorensen, I. H. 2 Spivey, J. Michael 2 Sufrin, B. A. 2 Wang, Zheng 2 Yang, Fan 2 Zhang, Naixiao 1 Brooke, Phillip J. 1 Cavalcanti, Ana 1 Chen, Xin 1 de Roever, Willem-Paul 1 Ding, Zuohua 1 Gu, Bin 1 Hung, Dang Van 1 Jin, Naiyong 1 Kong, Qi-Wei 1 Larsen, Kim Guldstrand 1 Liu, Peng 1 Long, Quan 1 Lui, Ho Chung 1 Miao, Huaikou 1 Peng, Xiaoqing 1 Sato, Masahiko 1 Shao, Lingshuang 1 Sheng, Feng 1 Sun, Haiying 1 Wang, Guobin 1 Yang, MengFei 1 Yang, Zongyuan 1 Yi, Wang 1 Zhan, Naijun 1 Zhang, Miaomiao 1 Zhao, Yongxin 1 Zhu, Longfei 1 Zhu, Shufang all top 5 Serials 7 Formal Aspects of Computing 3 Information Processing Letters 2 Acta Informatica 2 Journal of Sound and Vibration 2 Theoretical Computer Science 2 Annales Societatis Mathematicae Polonae. Series IV 2 Journal of East China Normal University. Natural Science Edition 2 Communications of the ACM 1 Information Sciences 1 Journal of Shanghai Normal University. Natural Sciences Edition 1 Journal of Computer Science and Technology 1 Journal of Logic and Computation 1 MSCS. Mathematical Structures in Computer Science 1 The Journal of Supercomputing 1 Distributed Computing 1 Mathematical Problems in Engineering 1 The Journal of Logic and Algebraic Programming 1 Journal of Software 1 Science in China. Series F 1 Lecture Notes in Computer Science 1 Science China. Mathematics 1 Science China. Information Sciences 1 Frontiers of Computer Science 1 Series on Component-Based Software Development all top 5 Fields 68 Computer science (68-XX) 4 Mathematical logic and foundations (03-XX) 2 Mechanics of deformable solids (74-XX) 2 Systems theory; control (93-XX) 1 General and overarching topics; collections (00-XX) 1 Category theory; homological algebra (18-XX) 1 Probability theory and stochastic processes (60-XX) 1 Quantum theory (81-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 49 Publications have been cited 410 times in 280 Documents Cited by ▼ Year ▼ Laws of programming. Zbl 0629.68006 Hoare, C. A. R.; Hayes, I. J.; He, Jifeng; Morgan, C. C.; Roscoe, A. W.; Sanders, J. W.; Sorensen, I. H.; Spivey, J. M.; Sufrin, B. A. 67 1987 Unifying theories for logic programming. Zbl 1005.68036 Hoare, C. A. R.; He, Jifeng 59 2001 Data refinement refined. Résumé. Zbl 0587.68018 He, J.; Hoare, C. A. R.; Sanders, J. W. 33 1986 The weakest prespecification. Zbl 0622.68025 Hoare, C. A. R.; He, Jifeng 25 1987 Prespecification in data refinement. Zbl 0624.68027 Hoare, C. A. R.; He, Jifeng; Sanders, J. W. 22 1987 rCOS: a refinement calculus of object systems. Zbl 1118.68049 He, Jifeng; Li, Xiaoshan; Liu, Zhiming 20 2006 Unifying theories for parallel programming. Zbl 0996.68754 Hoare, Tony; He, Jifeng 17 1997 The weakest prespecification. I. Zbl 0603.68009 Hoare, C. A. R.; He, Jifeng 17 1986 The Rely-Guarantee method for verifying shared variable concurrent programs. Zbl 0874.68202 Xu, Qiwen; de Roever, Willem-Paul; He, Jifeng 17 1997 Normal form approach to compiler design. Zbl 0790.68023 Hoare, C. A. R.; He, Jifeng; Sampaio, A. 13 1993 The weakest prespecification, part II. Zbl 0627.68011 Hoare, C. A. R.; He, Jifeng 12 1986 Towards a time model for Circus. Zbl 1015.68815 Sherif, Adnan; He, Jifeng 10 2002 Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language. Zbl 1243.68208 Zhu, Huibiao; Yang, Fan; He, Jifeng; Bowen, Jonathan P.; Sanders, Jeff W.; Qin, Shengchao 9 2012 A finite element analysis of viscoelastically damped sandwich plates. Zbl 0918.73275 Ma, B.-A.; He, J.-F. 7 1992 A trace model for pointers and objects. Zbl 0954.68045 Hoare, C. A. R.; He, Jifeng 6 1999 Algebraic specification and proof of a distributed recovery algorithm. Zbl 0621.68008 He, Jifeng; Hoare, C. A. R. 6 1987 From algebra to operational semantics. Zbl 0795.68124 He, Jifeng; Hoare, C. A. R. 6 1993 From operational semantics to denotational semantics for Verilog. Zbl 1002.68507 Zhu, Huibiao; Bowen, Jonathan P.; He, Jifeng 6 2001 A model of component-based programming. Zbl 1141.68363 Chen, Xin; He, Jifeng; Liu, Zhiming; Zhan, Naijun 5 2007 A framework for specification and validation of real-time systems using Circus actions. Zbl 1108.68522 Sherif, Adnan; He, Jifeng; Cavalcanti, Ana; Sampaio, Augusto 5 2005 Denotational semantics and its algebraic derivation for an event-driven system-level language. Zbl 1347.68039 Zhu, H.; He, Jifeng; Qin, Shengchao; Brooke, Phillip 5 2015 Pre-adjunctions in order enriched categories. Zbl 0755.18003 Martin, C. E.; Hoare, C. A. R.; He, Jifeng 4 1991 Unifying probability. Zbl 1186.68197 He, Jifeng; Sanders, J. W. 3 2006 A behavioral model for co-design. Zbl 0948.03511 He, Jifeng 3 1999 Specification, verification and prototyping of an optimized compiler. Zbl 0829.68084 He, Jifeng; Bowen, Jonathan 3 1994 Component-based software engineering. Zbl 1169.68366 He, Jifeng; Li, Xiaoshan; Liu, Zhiming 3 2005 Advanced features of duration calculus and their applications in sequential hybrid programs. Zbl 1093.68056 He, Jifeng; Xu, Qiwen 3 2003 A denotational semantical model for Orc language. Zbl 1286.68302 Li, Qin; Zhu, Huibiao; He, Jifeng 3 2010 Generating denotational semantics from algebraic semantics for event-driven system-level language. Zbl 1309.68025 Zhu, Huibiao; Yang, Fan; He, Jifeng 3 2010 Corrigendum to “Laws of programming”. Zbl 0653.68002 Hoare, C. A. R.; Hayes, I. J.; He, Jifeng; Morgan, C. C.; Roscoe, A. W.; Sanders, J. W.; Sorensen, I. H.; Spivey, J. M.; Sufrin, B. A. 2 1987 Vibration analysis of laminated plates using a refined shear deformation theory. Zbl 1045.74529 He, J.-F.; Ma, B.-A. 2 1994 CSP is a retract of CCS. Zbl 1191.68439 He, Jifeng; Hoare, Tony 2 2010 Contract oriented development of component software. Zbl 1094.68542 Liu, Zhiming; He, Jifeng; Li, Xiaoshan 2 2004 \(\mathrm{LTL}_{f}\) satisfiability checking. Zbl 1366.68177 Li, Jianwen; Zhang, Lijun; Pu, Geguang; Vardi, Moshe Y.; He, Jifeng 2 2014 Algebraic semantics for compensable transactions. Zbl 1147.68564 Li, Jing; Zhu, Huibiao; He, Jifeng 2 2007 An algebraic hardware/software partitioning algorithm. Zbl 1005.68182 Qin, Shengchao; He, Jifeng; Qiu, Zongyan; Zhang, Naixiao 2 2002 Linking theories in probabilistic programming. Zbl 0943.68033 He, Jifeng; Hoare, C. A. R. 1 1999 Convergence and optimality of BS-type discrete hedging strategy under stochastic interest rate. Zbl 1235.91161 He, JiFeng; Wu, Lan 1 2011 An approach to the specification and verification of a hardware compilation scheme. Zbl 0988.68112 Bowen, Jonathan P.; He, Jifeng 1 2001 Provably correct systems. Modelling of communication languages and design of optimized compilers. Zbl 0823.68019 He, Jifeng 1 1995 Mechanical approach to linking operational semantics and algebraic semantics for Verilog using Maude. Zbl 1452.68123 Zhu, Huibiao; Liu, Peng; He, Jifeng; Qin, Shengchao 1 2013 Denotational semantics for a probabilistic timed shared-variable language. Zbl 1452.68062 Zhu, Huibiao; Sanders, Jeff W.; He, Jifeng; Qin, Shengchao 1 2013 A formal model for a hybrid programming language. Zbl 1457.68038 Zhu, Longfei; Xu, Qiwen; He, Jifeng; Zhu, Huibiao 1 2015 Hardware/software partitioning in Verilog. Zbl 1015.68687 Qin, Shengchao; He, Jifeng; Qiu, Zongyan; Zhang, Naixiao 1 2002 Soundness, completeness and non-redundancy of operational semantics for Verilog based on denotational semantics. Zbl 1015.68848 Zhu, Huibiao; Bowen, Jonathan P.; He, Jifeng 1 2002 Theoretical and practical approaches to the denotational semantics for MDESL based on UTP. Zbl 1458.68041 Sheng, Feng; Zhu, Huibiao; He, Jifeng; Yang, Zongyuan; Bowen, Jonathan P. 1 2020 On the relationship between LTL normal forms and Büchi automata. Zbl 1390.68435 Li, Jianwen; Pu, Geguang; Zhang, Lijun; Wang, Zheng; He, Jifeng; Guldstrand Larsen, Kim 1 2013 Denotational approach to an event-driven system-level language. Zbl 1286.68037 Zhu, Huibiao; He, Jifeng; Peng, Xiaoqing; Jin, Naiyong 1 2010 Accelerating LTL satisfiability checking by SAT solvers. Zbl 1410.68235 Li, Jianwen; Pu, Geguang; Zhang, Lijun; Vardi, Moshe Y.; He, Jifeng 1 2018 Theoretical and practical approaches to the denotational semantics for MDESL based on UTP. Zbl 1458.68041 Sheng, Feng; Zhu, Huibiao; He, Jifeng; Yang, Zongyuan; Bowen, Jonathan P. 1 2020 Accelerating LTL satisfiability checking by SAT solvers. Zbl 1410.68235 Li, Jianwen; Pu, Geguang; Zhang, Lijun; Vardi, Moshe Y.; He, Jifeng 1 2018 Denotational semantics and its algebraic derivation for an event-driven system-level language. Zbl 1347.68039 Zhu, H.; He, Jifeng; Qin, Shengchao; Brooke, Phillip 5 2015 A formal model for a hybrid programming language. Zbl 1457.68038 Zhu, Longfei; Xu, Qiwen; He, Jifeng; Zhu, Huibiao 1 2015 \(\mathrm{LTL}_{f}\) satisfiability checking. Zbl 1366.68177 Li, Jianwen; Zhang, Lijun; Pu, Geguang; Vardi, Moshe Y.; He, Jifeng 2 2014 Mechanical approach to linking operational semantics and algebraic semantics for Verilog using Maude. Zbl 1452.68123 Zhu, Huibiao; Liu, Peng; He, Jifeng; Qin, Shengchao 1 2013 Denotational semantics for a probabilistic timed shared-variable language. Zbl 1452.68062 Zhu, Huibiao; Sanders, Jeff W.; He, Jifeng; Qin, Shengchao 1 2013 On the relationship between LTL normal forms and Büchi automata. Zbl 1390.68435 Li, Jianwen; Pu, Geguang; Zhang, Lijun; Wang, Zheng; He, Jifeng; Guldstrand Larsen, Kim 1 2013 Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language. Zbl 1243.68208 Zhu, Huibiao; Yang, Fan; He, Jifeng; Bowen, Jonathan P.; Sanders, Jeff W.; Qin, Shengchao 9 2012 Convergence and optimality of BS-type discrete hedging strategy under stochastic interest rate. Zbl 1235.91161 He, JiFeng; Wu, Lan 1 2011 A denotational semantical model for Orc language. Zbl 1286.68302 Li, Qin; Zhu, Huibiao; He, Jifeng 3 2010 Generating denotational semantics from algebraic semantics for event-driven system-level language. Zbl 1309.68025 Zhu, Huibiao; Yang, Fan; He, Jifeng 3 2010 CSP is a retract of CCS. Zbl 1191.68439 He, Jifeng; Hoare, Tony 2 2010 Denotational approach to an event-driven system-level language. Zbl 1286.68037 Zhu, Huibiao; He, Jifeng; Peng, Xiaoqing; Jin, Naiyong 1 2010 A model of component-based programming. Zbl 1141.68363 Chen, Xin; He, Jifeng; Liu, Zhiming; Zhan, Naijun 5 2007 Algebraic semantics for compensable transactions. Zbl 1147.68564 Li, Jing; Zhu, Huibiao; He, Jifeng 2 2007 rCOS: a refinement calculus of object systems. Zbl 1118.68049 He, Jifeng; Li, Xiaoshan; Liu, Zhiming 20 2006 Unifying probability. Zbl 1186.68197 He, Jifeng; Sanders, J. W. 3 2006 A framework for specification and validation of real-time systems using Circus actions. Zbl 1108.68522 Sherif, Adnan; He, Jifeng; Cavalcanti, Ana; Sampaio, Augusto 5 2005 Component-based software engineering. Zbl 1169.68366 He, Jifeng; Li, Xiaoshan; Liu, Zhiming 3 2005 Contract oriented development of component software. Zbl 1094.68542 Liu, Zhiming; He, Jifeng; Li, Xiaoshan 2 2004 Advanced features of duration calculus and their applications in sequential hybrid programs. Zbl 1093.68056 He, Jifeng; Xu, Qiwen 3 2003 Towards a time model for Circus. Zbl 1015.68815 Sherif, Adnan; He, Jifeng 10 2002 An algebraic hardware/software partitioning algorithm. Zbl 1005.68182 Qin, Shengchao; He, Jifeng; Qiu, Zongyan; Zhang, Naixiao 2 2002 Hardware/software partitioning in Verilog. Zbl 1015.68687 Qin, Shengchao; He, Jifeng; Qiu, Zongyan; Zhang, Naixiao 1 2002 Soundness, completeness and non-redundancy of operational semantics for Verilog based on denotational semantics. Zbl 1015.68848 Zhu, Huibiao; Bowen, Jonathan P.; He, Jifeng 1 2002 Unifying theories for logic programming. Zbl 1005.68036 Hoare, C. A. R.; He, Jifeng 59 2001 From operational semantics to denotational semantics for Verilog. Zbl 1002.68507 Zhu, Huibiao; Bowen, Jonathan P.; He, Jifeng 6 2001 An approach to the specification and verification of a hardware compilation scheme. Zbl 0988.68112 Bowen, Jonathan P.; He, Jifeng 1 2001 A trace model for pointers and objects. Zbl 0954.68045 Hoare, C. A. R.; He, Jifeng 6 1999 A behavioral model for co-design. Zbl 0948.03511 He, Jifeng 3 1999 Linking theories in probabilistic programming. Zbl 0943.68033 He, Jifeng; Hoare, C. A. R. 1 1999 Unifying theories for parallel programming. Zbl 0996.68754 Hoare, Tony; He, Jifeng 17 1997 The Rely-Guarantee method for verifying shared variable concurrent programs. Zbl 0874.68202 Xu, Qiwen; de Roever, Willem-Paul; He, Jifeng 17 1997 Provably correct systems. Modelling of communication languages and design of optimized compilers. Zbl 0823.68019 He, Jifeng 1 1995 Specification, verification and prototyping of an optimized compiler. Zbl 0829.68084 He, Jifeng; Bowen, Jonathan 3 1994 Vibration analysis of laminated plates using a refined shear deformation theory. Zbl 1045.74529 He, J.-F.; Ma, B.-A. 2 1994 Normal form approach to compiler design. Zbl 0790.68023 Hoare, C. A. R.; He, Jifeng; Sampaio, A. 13 1993 From algebra to operational semantics. Zbl 0795.68124 He, Jifeng; Hoare, C. A. R. 6 1993 A finite element analysis of viscoelastically damped sandwich plates. Zbl 0918.73275 Ma, B.-A.; He, J.-F. 7 1992 Pre-adjunctions in order enriched categories. Zbl 0755.18003 Martin, C. E.; Hoare, C. A. R.; He, Jifeng 4 1991 Laws of programming. Zbl 0629.68006 Hoare, C. A. R.; Hayes, I. J.; He, Jifeng; Morgan, C. C.; Roscoe, A. W.; Sanders, J. W.; Sorensen, I. H.; Spivey, J. M.; Sufrin, B. A. 67 1987 The weakest prespecification. Zbl 0622.68025 Hoare, C. A. R.; He, Jifeng 25 1987 Prespecification in data refinement. Zbl 0624.68027 Hoare, C. A. R.; He, Jifeng; Sanders, J. W. 22 1987 Algebraic specification and proof of a distributed recovery algorithm. Zbl 0621.68008 He, Jifeng; Hoare, C. A. R. 6 1987 Corrigendum to “Laws of programming”. Zbl 0653.68002 Hoare, C. A. R.; Hayes, I. J.; He, Jifeng; Morgan, C. C.; Roscoe, A. W.; Sanders, J. W.; Sorensen, I. H.; Spivey, J. M.; Sufrin, B. A. 2 1987 Data refinement refined. Résumé. Zbl 0587.68018 He, J.; Hoare, C. A. R.; Sanders, J. W. 33 1986 The weakest prespecification. I. Zbl 0603.68009 Hoare, C. A. R.; He, Jifeng 17 1986 The weakest prespecification, part II. Zbl 0627.68011 Hoare, C. A. R.; He, Jifeng 12 1986 all cited Publications top 5 cited Publications all top 5 Cited by 354 Authors 19 Woodcock, James C. P. 18 Cavalcanti, Ana 17 He, Jifeng 13 Hoare, C. A. R. Tony 12 Foster, Simon 12 Zhu, Huibiao 9 Bergstra, Jan A. 9 Liu, Zhiming 9 Ponse, Alban 9 Sampaio, Augusto C. A. 8 Guttmann, Walter 8 Hesselink, Wim H. 8 Zeyda, Frank 7 Naumann, David A. 6 Derrick, John 6 Qin, Shengchao 5 Bowen, Jonathan P. 5 Hayes, Ian J. 5 van Staden, Stephan 4 Boiten, Eerke A. 4 Chen, Yifeng 4 Colvin, Robert J. 4 Desharnais, Jules 4 Gardiner, Paul H. B. 4 Liu, Yang 4 Ngondi, Gerard Ekembe 4 Orłowska, Ewa S. 4 Sanders, Jeff W. 4 Schellhorn, Gerhard 4 Wang, Shuling 4 Ye, Kangfeng 3 Backhouse, Roland C. 3 Brink, Chris 3 Butterfield, Andrew 3 Floridi, Luciano 3 Guelev, Dimitar P. 3 Jifeng, He 3 Mili, Ali 3 Möller, Bernhard 3 O’Hearn, Peter W. 3 Peleska, Jan 3 Qiu, Zongyan 3 Roscoe, Andrew William 3 Sun, Jun 3 Xie, Wanling 3 Xu, Qiwen 3 Zhan, Naijun 3 Zhao, Liang 3 Zhao, Yongxin 2 Aceto, Luca 2 Aichernig, Bernhard K. 2 Arenas, Alvaro E. 2 Berghammer, Rudolf 2 Boudriga, Noureddine A. 2 Brown, Carolyn 2 Burns, Alan D. 2 Buszkowski, Wojciech 2 Demri, Stéphane P. 2 d’Inverno, Mark 2 Dong, JinSong 2 Dunne, Steve E. 2 Ernst, Gidon 2 Gritzner, Thomas F. 2 Gurr, Doug 2 Howells, Paul 2 Hung, Dang Van 2 Ingólfsdóttir, Anna 2 Iyoda, Juliano 2 Jaoua, Ali Mohamed 2 Joseph, Mathai 2 Ke, Wei 2 Koutavas, Vasileios 2 Lermer, Karl 2 Li, Jianwen 2 Middelburg, Cornelis A. 2 Morgan, Carroll C. 2 Morisset, Charles 2 Mota, Alexandre C. 2 Oliveira, José Nuno 2 Oliveira, Marcel 2 Perna, Juan Ignacio 2 Pu, Geguang 2 Ramos, Rodrigo A. 2 Ravn, Anders P. 2 Reif, Wolfgang 2 Rewitzky, Ingrid 2 Ribeiro, Pedro 2 Sanán, David 2 Stolz, Volker 2 Struth, Georg 2 Tchier, Fairouz 2 Tiu, Alwen Fernanto 2 van Glabbeek, Robert Jan 2 Vardi, Moshe Ya’akov 2 Wei, Kun 2 Xiang, Shuangqing 2 Yang, Hongseok 2 Zhang, Fuyuan 2 Zhang, Lijun 2 Zhao, Yongwang ...and 254 more Authors all top 5 Cited in 42 Serials 49 Formal Aspects of Computing 38 Theoretical Computer Science 14 Acta Informatica 13 Science of Computer Programming 9 Information Processing Letters 8 The Journal of Logic and Algebraic Programming 8 Journal of Logical and Algebraic Methods in Programming 7 Information and Computation 5 Formal Methods in System Design 4 Journal of Pure and Applied Algebra 3 MSCS. Mathematical Structures in Computer Science 2 International Journal of Theoretical Physics 2 Information Sciences 2 Studia Logica 2 Journal of Computer Science and Technology 2 Distributed Computing 2 Journal of Applied Non-Classical Logics 2 Annals of Mathematics and Artificial Intelligence 2 Frontiers of Computer Science 1 Computers & Mathematics with Applications 1 Algebra Universalis 1 Kybernetes 1 Notre Dame Journal of Formal Logic 1 Programming and Computer Software 1 Semigroup Forum 1 Synthese 1 Topology and its Applications 1 Acta Mathematicae Applicatae Sinica. English Series 1 Journal of Symbolic Computation 1 Real-Time Systems 1 Machine Learning 1 RAIRO. Informatique Théorique et Applications 1 Foundations of Computing and Decision Sciences 1 Cybernetics and Systems Analysis 1 Journal of Logic, Language and Information 1 Mathematical Logic Quarterly (MLQ) 1 Journal of Functional Programming 1 Theory of Computing Systems 1 Natural Computing 1 ACM Transactions on Computational Logic 1 Science in China. Series F 1 Discrete and Continuous Dynamical Systems. Series S all top 5 Cited in 13 Fields 258 Computer science (68-XX) 52 Mathematical logic and foundations (03-XX) 11 Order, lattices, ordered algebraic structures (06-XX) 4 History and biography (01-XX) 4 Category theory; homological algebra (18-XX) 4 Systems theory; control (93-XX) 3 Quantum theory (81-XX) 2 General algebraic systems (08-XX) 2 Probability theory and stochastic processes (60-XX) 1 Topological groups, Lie groups (22-XX) 1 General topology (54-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year