Author Info
Name
Affiliation
Papers
IAN TOYN
Univ. of York, Heslington, York, UK
20
Collaborators
Citations 
PageRank 
23
170
22.66
Referers 
Referees 
References 
281
241
164
Search Limit
100281
Title
Citations
PageRank
Year
Transformation rules for Z10.362010
Integrating safety and formal analyses using UML and PFS171.232007
Formal Validation of Hierarchical State Machines against Expectations90.572007
On the Formal Development of Safety-Critical Software30.692005
Proving properties of stateflow models using ISO standard z and CADiZ111.112005
An outline pattern language for Z: five illustrations and two tables80.782003
Patterns to guide practical refactoring: examples targetting promotion in Z110.882003
ZML: XML support for standard Z121.152003
Characters + Mark-up = Z Lexis10.612002
Refactoring in maintenance and development of Z specifications00.342002
Reasoning Inductively about Z Specifications via Unification10.372000
On Mutually Recursive Free Types in Z20.462000
Type-Constrained Generics for Z10.402000
Innovations in the Notation of Standard Z71.001998
CADiZ : an architecture for Z tools and its implementation211.521995
Efficient binary transfer of pointer structures81.061994
An Incremental, Exploratory and Transformational Environment for the Lazy Functional Programming.50.791993
CADIZ - Computer Aided Design in Z121.801990
Retrieving re-usable software components by polymorphic type366.381989
Performance polymorphism41.171987