People Search
Phones, Emails, Addresses, Background check, Web references
All public info
Like other search engines (Google or Bing) Radaris collects information from public sources.
Haiyan Xiong, Paul Curzon, Sofiène Tahar, and Ann Blandford Translating HOL to Specifications for the Model Checker SMV Dan Zhou and Paul E. Black
Reasoning with Individuals in Description Logics with Transitive Roles: Preliminary Report: Haiyan Xiong, Paul Curzon, Ann Blandford: Combining Verification Systems in a Trusted Way ...
... 163.com; [email protected]; Jianrui [email protected]; Xinxin Bu-jesscica123@126. com; Yue Cheng-chengyuextp@126. com; [email protected]; Haiyan Xiong ...
Haiyan Xiong (2002) Research topic: Machine assisted proof: Penny Duquenoy (2001)
Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford; Translating HOL to Specifications for the Model Checker SMV Dan Zhou, Paul E. Black
Haiyan Xiong, Paul Curzon, Sofiène Tahar, and Ann Blandford Translating HOL to Specifications for the Model Checker SMV Dan Zhou and Paul E. Black
Reasoning with Individuals in Description Logics with Transitive Roles: Preliminary Report: Haiyan Xiong, Paul Curzon, Ann Blandford: Combining Verification Systems in a ...
... com; [email protected]; Jianrui [email protected]; Xinxin Bu-jesscica123@126. com; Yue Cheng-chengyuextp@126. com; [email protected]; Haiyan Xiong ...
View the profiles of professionals named Haiyan Xiong on LinkedIn. There are 3 professionals named Haiyan Xiong, who use LinkedIn to exchange information, ...
Manchester, United Kingdom - ICTS Professional at Manchester Metropolitan UniversityView Haiyan Xiong's (United Kingdom) professional profile on LinkedIn ...
China - SPI at Founder International Co., LtdView Haiyan Xiong's professional profile on LinkedIn. LinkedIn is the world ...
Everything you need to know about Haiyan Xiong Email addresses, Phone numbers, Biography, Graphs, Logics, Tools, Hardware Verification, Formal Verification.
by H Xiong -
Haiyan Xiong, Paul Curzon, Sofiène Tahar: Importing MDG Verification Results into HOL. TPHOLs 1999: 293-310. Coauthor Index · 1 · Ann Blandford, [2] [3] ...
We have found 1 people in the UK with the name Haiyan Xiong. Click here to find personal data about Haiyan Xiong including phone numbers, addresses, ...
Haiyan Xiong, Paul Curzon, Sofiene Tahar and Ann Blandford (2003) Providing a formal linkage between the MDG verification system and HOL proof system. ...
Haiyan Xiong [FOAF] [Follow] ... [1], Haiyan Xiong, Paul Curzon, Sofiène Tahar. Importing MDG Verification Results into HOL. TPHOLs'1999. pp.293~310 Cited ...
Linkedin