Christopher M. Poskitt
York, United KingdomResearch field: Computer and Information Science
Theory and applications of algebraic graph transformation; graph-based programming models; program verification; logic
Publications
-
Conference Proceedings (2)
-
Christopher M. Poskitt, Detlef Plump (2010) A Hoare Calculus for Graph Programs, 139-154. In Proc. Fifth International Conference on Graph Transformation (ICGT 2010).Download PDF (233.05 KB)
-
Christopher M. Poskitt, Detlef Plump (2010) Hoare Logic for Graph Programs. In Proc. THEORY Workshop at VSTTE 2010.Download PDF (148.79 KB)
-
-
Journal Article (1)
-
Christopher M. Poskitt, Detlef Plump (2012) Hoare-Style Verification of Graph Programs. In Fundamenta Informaticae.
-
Awards and Grants
-
Nov 2011K M Stott Memorial Prize View website
-
Jul 2011Vice-Chancellor's Teaching Award (University of York) View website
-
Jun 2011William Gibbs Award
-
Oct 2009EPSRC DTA Scholarship View website
Biographical Information
No biographical information added yet.
Contact Information
| Webpage: | www.cs.york.ac.uk/~cposkitt/ |
Publication Statistics
Graphed by cumulative total
Graphed by month
Graphed by day
Graphed by day
Data temporarily unavailable.
Not enough data available.
Public Groups
Public groups Christopher M. is a member of
- Not a member of any groups yet.
Public groups Christopher M. is following
- Not following any groups yet.
- Find new public groups.
Destinations
Sign up today - FREE
Mendeley saves you time finding and organizing research. Learn more