Concepedia

Czesław Jeske

CJ

6

Publications

147

Citations

6

H-Index

2006

Active since

Affiliations

University of Manchester(Current)

University of Southampton

University of York

Czesław Jeske is an author at University of Manchester specializing in engineering, computer science, and design.

Top concepts

EngineeringDesignVerificationFormal MethodsComputer ScienceFormal VerificationRecyclingCryptographyData PrivacyData Security

Publications per year

2006–2014

6

Publications

6

Engineering and theoretical underpinnings of retrenchment

Richard Banach, Michael Poppleton, Czesław Jeske et al. · Science of Computer Programming · 2007 · 55 citations

Construction Management, Resilient Building, Structural Collapse +1

Composition mechanisms for retrenchment

Richard Banach, Czesław Jeske, Michael Poppleton · The Journal of Logic and Algebraic Programming · 2008 · 25 citations

Replacement Procedure, Recycling, Remedial Action +2

Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1,1) Forward Refinements

Richard Banach, Czesław Jeske, Michael Poppleton et al. · Research Explorer (The University of Manchester) · 2007 · 23 citations

Algebraic Integration of Retrenchment and Refinement

Czesław Jeske · 2006 · 16 citations

Refinement Technique, Engineering, Model Refinement +4

Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties

Richard Banach, Michael Poppleton, Czesław Jeske et al. · 2006 · 14 citations

Cryptographic Primitive, Engineering, Information Security +30

Rows per page

1–5 of 6