Czeslaw Jeske

12 papers B 3C 1Journal 7Unranked 1

Year	Rank	Type	Title / Venue / Authors
2015	J	`jnl`	Retrenchment and refinement interworking: the tower theorems. Math. Struct. Comput. Sci. Richard Banach, Czeslaw Jeske
2013	J	`jnl`	Atomicity failure and the retrenchment atomicity pattern. Formal Aspects Comput. Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney
2011	J	`jnl`	Simple feature engineering via neat default retrenchments. J. Log. Algebraic Methods Program. Richard Banach, Czeslaw Jeske
2010	J	`jnl`	Stronger compositions for retrenchments. J. Log. Algebraic Methods Program. Richard Banach, Czeslaw Jeske
2008	J	`jnl`	Composition mechanisms for retrenchment. J. Log. Algebraic Methods Program. Richard Banach, Czeslaw Jeske, Michael Poppleton
2007	J	`jnl`	Engineering and theoretical underpinnings of retrenchment. Sci. Comput. Program. Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney
2007	J	`jnl`	Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1, 1) Forward Refinements. Fundam. Informaticae Richard Banach, Czeslaw Jeske, Michael Poppleton, Susan Stepney
2007	B	`conf`	Retrenchment and the Atomicity Pattern. SEFM Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney
2006	C	`conf`	Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties. ISoLA Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney
2005	B	`conf`	Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern. FM Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney
2005	—	`conf`	Retrenchment and the Mondex Electronic Purse. Abstract State Machines Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney
2002	B	`conf`	Minimally and Maximally Abstract Retrenchments. IFM Czeslaw Jeske, Richard Banach