Richard Banach

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Czeslaw Jeske

> Home > Persons > Richard Banach

Publications

2015
[j38]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/BanachJ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/BanachJ15
Richard Banach, Czeslaw Jeske:
Retrenchment and refinement interworking: the tower theorems. Math. Struct. Comput. Sci. 25(1): 135-202 (2015)
2013
[j33]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/BanachJHS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/BanachJHS13
Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney:
Atomicity failure and the retrenchment atomicity pattern. Formal Aspects Comput. 25(3): 439-464 (2013)
2011
[j29]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/BanachJ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/BanachJ11
Richard Banach, Czeslaw Jeske:
Simple feature engineering via neat default retrenchments. J. Log. Algebraic Methods Program. 80(8): 453-480 (2011)
2010
[j26]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/BanachJ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/BanachJ10
Richard Banach, Czeslaw Jeske:
Stronger compositions for retrenchments. J. Log. Algebraic Methods Program. 79(3-5): 215-232 (2010)
2008
[j25]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/BanachJP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/BanachJP08
Richard Banach, Czeslaw Jeske, Michael Poppleton:
Composition mechanisms for retrenchment. J. Log. Algebraic Methods Program. 75(2): 209-229 (2008)
2007
[j24]
- view
  - electronic edition @ iospress.com
  - no references & citations available
- export record
  dblp key:
  - journals/fuin/BanachJPS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/BanachJPS07
Richard Banach, Czeslaw Jeske, Michael Poppleton, Susan Stepney:
Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1, 1) Forward Refinements. Fundam. Informaticae 77(1-2): 29-69 (2007)
[j21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BanachPJS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BanachPJS07
Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney:
Engineering and theoretical underpinnings of retrenchment. Sci. Comput. Program. 67(2-3): 301-329 (2007)
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/BanachJHS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/BanachJHS07
Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney:
Retrenchment and the Atomicity Pattern. SEFM 2007: 37-46
2006
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BanachPJS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BanachPJS06
Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney:
Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties. ISoLA 2006: 82-90
2005
[c24]
- view
  - electronic edition @ univ-paris12.fr
  - no references & citations available
- export record
  dblp key:
  - conf/asm/BanachPJS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/BanachPJS05
Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney:
Retrenchment and the Mondex Electronic Purse. Abstract State Machines 2005: 41-48
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/BanachPJS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BanachPJS05
Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney:
Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern. FM 2005: 382-398
2002
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/JeskeB02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/JeskeB02
Czeslaw Jeske, Richard Banach:
Minimally and Maximally Abstract Retrenchments. IFM 2002: 380-400

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.