Czeslaw Jeske

	2011
10		Richard Banach, Czeslaw Jeske: Simple feature engineering via neat default retrenchments. J. Log. Algebr. Program. 80(8): 453-480 (2011)
	2010
9		Richard Banach, Czeslaw Jeske: Stronger compositions for retrenchments. J. Log. Algebr. Program. 79(3-5): 215-232 (2010)
	2008
8		Richard Banach, Czeslaw Jeske, Michael Poppleton: Composition mechanisms for retrenchment. J. Log. Algebr. Program. 75(2): 209-229 (2008)
	2007
7		Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney: Retrenchment and the Atomicity Pattern. SEFM 2007: 37-46
6		Richard Banach, Czeslaw Jeske, Michael Poppleton, Susan Stepney: Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1, 1) Forward Refinements. Fundam. Inform. 77(1-2): 29-69 (2007)
5		Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney: Engineering and theoretical underpinnings of retrenchment. Sci. Comput. Program. 67(2-3): 301-329 (2007)
	2006
4		Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney: Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties. ISoLA 2006: 82-90
	2005
3		Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney: Retrenchment and the Mondex Electronic Purse. Abstract State Machines 2005: 41-48
2		Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney: Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern. FM 2005: 382-398
	2002
1		Czeslaw Jeske, Richard Banach: Minimally and Maximally Abstract Retrenchments. IFM 2002: 380-400

Coauthor Index

1	Richard Banach	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10]
2	Anthony Hall	[7]
3	Michael Poppleton (M. Poppleton)	[2] [3] [4] [5] [6] [8]
4	Susan Stepney	[2] [3] [4] [5] [6] [7]

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page