archives

EPrints submitted by Jia Tao


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    

Click here to see user's record.

User has submitted 3 EPrints

Tao, Jia, Slutzki, Giora and Honavar , Vasant (2010) A PSpace Tableau Algorithm for Acyclic Modalized ALC. Technical Report TR11-01, Computer Science, Iowa State University.

Tao, Jia (2010) Secrecy-preserving Query Answering for Instance Checking in EL. Technical Report TR10-03a, Computer Science, Iowa State University.

Tao, Jia, Slutzki, Giora and Honavar, Vasant (2010) Secrecy-preserving query answering in EL. Technical Report TR10-03, Computer Science, Iowa State University.



Contact site administrator at: ssg@cs.iastate.edu