Joseph R. Kiniry, Ph.D.
Affiliations: | 2002 | California Institute of Technology, Pasadena, CA |
Area:
Computer ScienceGoogle:
"Joseph Kiniry"Parents
Sign in to add mentor| K. Mani Chandy | grad student | 2002 | Caltech | |
| (Kind theory.) | ||||
| Jason J. Hickey | grad student | 2002 | Caltech (Computer Science Tree) | |
| (Kind theory.) | ||||
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Fairmichael F, Kiniry JR. (2010) Verified Visualisation of Textual Modelling Languages Electronic Communication of the European Association of Software Science and Technology. 36 |
| Kiniry JR, Morkan AE, Cochran D, et al. (2006) Formal techniques in a remote voting system Acm Sigsoft Software Engineering Notes. 31: 1-2 |
| Burdy L, Cheon Y, Cok DR, et al. (2005) An overview of JML tools and applications International Journal On Software Tools For Technology Transfer. 7: 212-232 |
| Kiniry JR. (2004) Formalizing the user's context to support user interfaces for integrated mathematical environments Electronic Notes in Theoretical Computer Science. 103: 81-103 |