Skip navigation
Skip navigation

Browsing by Author Hou, Zhe

Or enter first few letters:  
Showing results 1 to 4 of 4

An iterative approach to synthesize business process templates from compliance rules

Author(s)Awad, Ahmed; Gore, Rajeev; Hou, Zhe, et al
TypeJournal article
Date Published2012
Date Created-

Automated Theorem Proving for Assertions in Separation Logic with All Connectives

Author(s)Hou, Zhe; Gore, Rajeev; Tiu, Alwen
TypeConference paper
Date Published2015
Date CreatedAugust 1-7 2015
b37881504_H?u_Zh?.pdf.jpg

Labelled sequent calculi and automated reasoning for assertions in separation logic

Author(s)Hou, Zhe
TypeThesis (PhD)
Date Published2015
Date Created-

Proof Search for Propositional Abstract Separation Logics via Labelled Sequents

Author(s)Hou, Zhe; Clouston, Ranald; Gore, Rajeev, et al
TypeConference paper
Date Published2014
Date CreatedJanuary 22-24 2014
  • previous
  • 1
  • next

Updated:  12 April 2016/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator